![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Tiark Rompf
Person information
- affiliation: Purdue University
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2012
- [b1]Tiark Rompf:
Lightweight Modular Staging and Embedded Compilers - Abstraction without Regret for High-Level High-Performance Programming. EPFL, Switzerland, 2012
Journal Articles
- 2024
- [j23]Guannan Wei
, Oliver Bracevac
, Songlin Jia
, Yuyan Bao
, Tiark Rompf
:
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proc. ACM Program. Lang. 8(POPL): 393-424 (2024) - [j22]Supun Abeysinghe
, Anxhelo Xhebraj
, Tiark Rompf
:
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis. Proc. ACM Program. Lang. 8(POPL): 2577-2609 (2024) - 2023
- [j21]Oliver Bracevac
, Guannan Wei
, Songlin Jia
, Supun Abeysinghe
, Yuxuan Jiang
, Yuyan Bao
, Tiark Rompf
:
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. Proc. ACM Program. Lang. 7(OOPSLA2): 400-430 (2023) - 2022
- [j20]Anxhelo Xhebraj, Oliver Bracevac
, Guannan Wei, Tiark Rompf:
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact). Dagstuhl Artifacts Ser. 8(2): 26:1-26:2 (2022) - 2021
- [j19]Yuyan Bao
, Guannan Wei
, Oliver Bracevac
, Yuxuan Jiang, Qiyang He, Tiark Rompf:
Reachability types: tracking aliasing and separation in higher-order functional programs. Proc. ACM Program. Lang. 5(OOPSLA): 1-32 (2021) - 2020
- [j18]Guannan Wei
, Oliver Bracevac
, Shangyin Tan, Tiark Rompf:
Compiling symbolic execution with staging and algebraic effects. Proc. ACM Program. Lang. 4(OOPSLA): 164:1-164:33 (2020) - 2019
- [j17]Tiark Rompf, Nada Amin:
A SQL to C compiler in 500 lines of code. J. Funct. Program. 29: e9 (2019) - [j16]Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf:
Compiling with continuations, or without? whatever. Proc. ACM Program. Lang. 3(ICFP): 79:1-79:28 (2019) - [j15]Fei Wang, Daniel Zheng, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf:
Demystifying differentiable programming: shift/reset the penultimate backpropagator. Proc. ACM Program. Lang. 3(ICFP): 96:1-96:31 (2019) - [j14]Guannan Wei
, Yuxuan Chen, Tiark Rompf:
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming. Proc. ACM Program. Lang. 3(OOPSLA): 126:1-126:32 (2019) - [j13]Grégory M. Essertel, Guannan Wei
, Tiark Rompf:
Precise reasoning with structured time, structured heaps, and collective operations. Proc. ACM Program. Lang. 3(OOPSLA): 157:1-157:30 (2019) - [j12]Grégory M. Essertel, Ruby Y. Tahboub, Fei Wang, James M. Decker, Tiark Rompf:
Flare & Lantern: Efficiently Swapping Horses Midstream. Proc. VLDB Endow. 12(12): 1910-1913 (2019) - 2018
- [j11]Guannan Wei
, James M. Decker, Tiark Rompf:
Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl). Proc. ACM Program. Lang. 2(ICFP): 105:1-105:28 (2018) - [j10]Nada Amin, Tiark Rompf:
Collapsing towers of interpreters. Proc. ACM Program. Lang. 2(POPL): 52:1-52:33 (2018) - 2017
- [j9]Fei Wang, Tiark Rompf:
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). Dagstuhl Artifacts Ser. 3(2): 05:1-05:3 (2017) - 2014
- [j8]Martin Odersky, Tiark Rompf:
Unifying functional and object-oriented programming with Scala. Commun. ACM 57(4): 76-86 (2014) - [j7]Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi:
Building Efficient Query Engines in a High-Level Language. Proc. VLDB Endow. 7(10): 853-864 (2014) - [j6]Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi:
Errata for "Building Efficient Query Engines in a High-Level Language" (PVLDB 7(10): 853-864). Proc. VLDB Endow. 7(13): 1784 (2014) - [j5]Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
:
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages. ACM Trans. Embed. Comput. Syst. 13(4s): 134:1-134:25 (2014) - 2012
- [j4]Tiark Rompf, Martin Odersky:
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM 55(6): 121-130 (2012) - [j3]Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky:
Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. 25(1): 165-207 (2012) - 2011
- [j2]Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert:
A cryptographically t-private auction system. Concurr. Comput. Pract. Exp. 23(12): 1399-1413 (2011) - [j1]HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Hassan Chafi, Tiark Rompf, Martin Odersky, Kunle Olukotun:
Implementing Domain-Specific Languages for Heterogeneous Parallel Computing. IEEE Micro 31(5): 42-53 (2011)
Conference and Workshop Papers
- 2024
- [c63]Supun Abeysinghe
, Tiark Rompf
:
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description. FLOPS 2024: 273-288 - [c62]Supun Abeysinghe
, Tiark Rompf
:
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. PADL 2024: 64-81 - 2023
- [c61]Guannan Wei
, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac
, Tiark Rompf:
Compiling Parallel Symbolic Execution with Continuations. ICSE 2023: 1316-1328 - 2022
- [c60]Anxhelo Xhebraj, Oliver Bracevac
, Guannan Wei
, Tiark Rompf:
What If We Don't Pop the Stack? The Return of 2nd-Class Values. ECOOP 2022: 15:1-15:29 - [c59]Supun Abeysinghe, Qiyang He, Tiark Rompf:
Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI). SIGMOD Conference 2022: 136-149 - 2021
- [c58]Yuyan Bao
, Kirshanthan Sundararajah
, Raghav Malik
, Qianchuan Ye
, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki
, Pierre-David Letourneau, Benoît Meister
, Jonathan Springer, Tiark Rompf, Milind Kulkarni
:
HACCLE: metaprogramming for secure multi-party computation. GPCE 2021: 130-143 - [c57]Grégory M. Essertel, Ruby Y. Tahboub, Tiark Rompf:
On-stack replacement for program generators and source-to-source compilers. GPCE 2021: 156-169 - [c56]Guannan Wei
, Shangyin Tan, Oliver Bracevac
, Tiark Rompf:
LLSC: a parallel symbolic execution compiler for LLVM IR. ESEC/SIGSOFT FSE 2021: 1495-1499 - 2020
- [c55]Ruby Y. Tahboub, Tiark Rompf:
Architecting a Query Compiler for Spatial Workloads. SIGMOD Conference 2020: 2103-2118 - 2019
- [c54]Nada Amin, William E. Byrd, Tiark Rompf:
Lightweight Functional Logic Meta-Programming. APLAS 2019: 225-243 - [c53]Fei Wang, Guoyang Chen, Weifeng Zhang, Tiark Rompf:
Parallel Training via Computation Graph Transformation. IEEE BigData 2019: 3430-3439 - [c52]Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, Tiark Rompf:
Towards compiling graph queries in relational engines. DBPL 2019: 30-41 - [c51]Alen Stojanov, Tiark Rompf, Markus Püschel:
A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. GPCE 2019: 34-47 - [c50]Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko:
AutoGraph: Imperative-style Coding with Graph-based Performance. SysML 2019 - 2018
- [c49]Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel:
SIMD intrinsics on managed language runtimes. CGO 2018: 2-15 - [c48]Fei Wang, Tiark Rompf:
A Language and Compiler View on Differentiable Programming. ICLR (Workshop) 2018 - [c47]Fei Wang, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf:
Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming. NeurIPS 2018: 10201-10212 - [c46]Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf:
Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data. OSDI 2018: 799-815 - [c45]Ruby Y. Tahboub, Grégory M. Essertel, Tiark Rompf:
How to Architect a Query Compiler, Revisited. SIGMOD Conference 2018: 307-322 - 2017
- [c44]Fei Wang, Tiark Rompf:
Towards Strong Normalization for Dependent Object Types (DOT). ECOOP 2017: 27:1-27:25 - [c43]Georg Ofenbeck, Tiark Rompf, Markus Püschel:
Staging for generic programming in space and time. GPCE 2017: 15-28 - [c42]Yiyang Chang, Gustavo Petri, Sanjay G. Rao, Tiark Rompf:
Composing middlebox and traffic engineering policies in SDNs. INFOCOM Workshops 2017: 396-401 - [c41]Tiark Rompf, Kevin J. Brown:
Functional parallels of sequential imperatives (short paper). PEPM 2017: 83-88 - [c40]Leo Osvald, Tiark Rompf:
Flexible data views: design and implementation. ARRAY@PLDI 2017: 25-32 - [c39]Nada Amin, Tiark Rompf:
Type soundness proofs with definitional interpreters. POPL 2017: 666-679 - [c38]Nada Amin, Tiark Rompf:
LMS-Verify: abstraction without regret for verified systems programming. POPL 2017: 859-873 - [c37]Leo Osvald, Tiark Rompf:
Rust-like borrowing with 2nd-class values (short paper). SCALA@SPLASH 2017: 13-17 - 2016
- [c36]Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
:
The Essence of Dependent Object Types. A List of Successes That Can Change the World 2016: 249-272 - [c35]Tiark Rompf:
The Essence of Multi-stage Evaluation in LMS. A List of Successes That Can Change the World 2016: 318-335 - [c34]Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Arvind K. Sujeeth, Christopher De Sa, Christopher R. Aberger, Kunle Olukotun:
Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns. CGO 2016: 194-205 - [c33]Ruby Y. Tahboub, Tiark Rompf:
On supporting compilation in spatial query engines: (vision paper). SIGSPATIAL/GIS 2016: 9:1-9:4 - [c32]Tiark Rompf:
Lightweight modular staging (LMS): generate all the things! (keynote). GPCE 2016: 1 - [c31]Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf:
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. OOPSLA 2016: 234-251 - [c30]Tiark Rompf, Nada Amin:
Type soundness for dependent object types (DOT). OOPSLA 2016: 624-641 - [c29]Georg Ofenbeck, Tiark Rompf, Markus Püschel:
RandIR: differential testing for embedded compilers. SCALA@SPLASH 2016: 21-30 - [c28]Tiark Rompf:
Reflections on LMS: exploring front-end alternatives. SCALA@SPLASH 2016: 41-50 - 2015
- [c27]Tiark Rompf, Nada Amin:
Functional pearl: a SQL to C compiler in 500 lines of code. ICFP 2015: 2-9 - [c26]Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell:
RRB vector: a practical general purpose immutable sequence. ICFP 2015: 342-354 - [c25]Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, Kunle Olukotun:
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. SNAPL 2015: 238-261 - 2014
- [c24]Nithin George, HyoukJoong Lee, David Novo, Tiark Rompf, Kevin J. Brown, Arvind K. Sujeeth, Martin Odersky, Kunle Olukotun, Paolo Ienne:
Hardware system synthesis from Domain-Specific Languages. FPL 2014: 1-8 - [c23]HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Tiark Rompf, Kunle Olukotun:
Locality-Aware Mapping of Nested Parallel Patterns on GPUs. MICRO 2014: 63-74 - [c22]Nada Amin, Tiark Rompf, Martin Odersky:
Foundations of path-dependent types. OOPSLA 2014: 233-249 - [c21]Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki
, Tiark Rompf, Martin Odersky:
Staged parser combinators for efficient data processing. OOPSLA 2014: 637-653 - [c20]Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel:
Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. ARRAY@PLDI 2014: 14-19 - [c19]Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun
:
Surgical precision JIT compilers. PLDI 2014: 41-52 - [c18]Nada Amin, K. Rustan M. Leino, Tiark Rompf:
Computing with an SMT Solver. TAP@STAF 2014: 20-35 - 2013
- [c17]Sandro Stucki
, Nada Amin, Manohar Jonnalagedda, Tiark Rompf:
What are the Odds?: probabilistic programming in Scala. SCALA@ECOOP 2013: 11:1-11:9 - [c16]Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec
, Vojin Jovanovic, Martin Odersky, Kunle Olukotun:
Composition and Reuse with Compiled Domain-Specific Languages. ECOOP 2013: 52-78 - [c15]Nithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne:
Making domain-specific hardware synthesis tools cost-efficient. FPT 2013: 120-127 - [c14]Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel:
Spiral in scala: towards the systematic construction of generators for performance libraries. GPCE 2013: 125-134 - [c13]Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun
:
Forge: generating a high performance DSL implementation from a declarative specification. GPCE 2013: 145-154 - [c12]Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun
, Martin Odersky:
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL 2013: 497-510 - 2012
- [c11]Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky:
JavaScript as an Embedded DSL. ECOOP 2012: 409-434 - [c10]Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky:
StagedSAC: a case study in performance-oriented DSL development. PEPM 2012: 73-82 - [c9]Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky:
Scala-virtualized. PEPM 2012: 117-120 - 2011
- [c8]Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun:
A Heterogeneous Parallel Framework for Domain-Specific Languages. PACT 2011: 89-100 - [c7]Aleksandar Prokopec
, Phil Bagwell, Tiark Rompf, Martin Odersky:
A Generic Parallel Collection Framework. Euro-Par (2) 2011: 136-147 - [c6]Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun:
OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. ICML 2011: 609-616 - [c5]Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun:
Building-Blocks for Performance Oriented DSLs. DSL 2011: 93-117 - 2010
- [c4]Tiark Rompf, Martin Odersky:
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE 2010: 127-136 - [c3]Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun
:
Language virtualization for heterogeneous parallel computing. OOPSLA 2010: 835-847 - 2009
- [c2]Tiark Rompf, Ingo Maier, Martin Odersky:
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP 2009: 317-328 - [c1]Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert:
A Cryptographically t-Private Auction System. NSS 2009: 44-51
Editorship
- 2018
- [e5]Eric Van Wyk, Tiark Rompf:
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018. ACM 2018, ISBN 978-1-4503-6045-6 [contents] - 2017
- [e4]Tiark Rompf, Alexander Alexandrov:
Proceedings of The 16th International Symposium on Database Programming Languages, DBPL 2017, Munich, Germany, September 1, 2017. ACM 2017, ISBN 978-1-4503-5354-0 [contents] - 2016
- [e3]Martin Erwig, Tiark Rompf:
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM 2016, ISBN 978-1-4503-4097-7 [contents] - 2015
- [e2]Tiark Rompf, Geoffrey Mainland:
Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC@ICFP 2015, Vancouver, BC, Canada, September 3, 2015. ACM 2015, ISBN 978-1-4503-3807-3 [contents] - 2014
- [e1]José Pedro Magalhães, Tiark Rompf:
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014. ACM 2014, ISBN 978-1-4503-3042-8 [contents]
Informal and Other Publications
- 2024
- [i15]Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf:
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking. CoRR abs/2404.08217 (2024) - 2023
- [i14]Guannan Wei, Oliver Bracevac
, Songlin Jia, Yuyan Bao
, Tiark Rompf:
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. CoRR abs/2307.13844 (2023) - [i13]Yuyan Bao
, Guannan Wei, Oliver Bracevac
, Tiark Rompf:
Modeling Reachability Types with Logical Relations. CoRR abs/2309.05885 (2023) - [i12]Oliver Bracevac
, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao
, Tiark Rompf:
Graph IRs for Impure Higher-Order Languages (Technical Report). CoRR abs/2309.08118 (2023) - [i11]Supun Abeysinghe, Fei Wang, Grégory M. Essertel, Tiark Rompf:
Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems. CoRR abs/2311.02781 (2023) - 2022
- [i10]Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf:
OCTAL: Graph Representation Learning for LTL Model Checking. CoRR abs/2207.11649 (2022) - 2020
- [i9]Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi, Mung Chiang, David Corman, Brian J. Henz, Suman Jana, Na Li, Shaoshuai Mou, Meeko Oishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller:
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR abs/2001.00090 (2020) - [i8]Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni:
HACCLE: An Ecosystem for Building Secure Multi-Party Computations. CoRR abs/2009.01489 (2020) - 2019
- [i7]Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf:
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers. CoRR abs/1904.12084 (2019) - 2018
- [i6]Fei Wang, Tiark Rompf:
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero. CoRR abs/1802.05340 (2018) - [i5]Fei Wang, Xilun Wu, Grégory M. Essertel, James M. Decker, Tiark Rompf:
Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator. CoRR abs/1803.10228 (2018) - [i4]Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko:
AutoGraph: Imperative-style Coding with Graph-based Performance. CoRR abs/1810.08061 (2018) - [i3]Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama:
Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7). NII Shonan Meet. Rep. 2018 (2018) - 2017
- [i2]Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf:
Flare: Native Compilation for Heterogeneous Workloads in Apache Spark. CoRR abs/1703.08219 (2017) - 2015
- [i1]Tiark Rompf, Nada Amin:
From F to DOT: Type Soundness Proofs with Definitional Interpreters. CoRR abs/1510.05216 (2015)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint