Tiark Rompf

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 66

Top Venues

CoRR

Proc. ACM Program. Lang.

GPCE

OOPSLA

Publications

Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
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 (2024)
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) (2024)
Supun Abeysinghe, Tiark Rompf
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description. FLOPS (2024)
Supun Abeysinghe, Tiark Rompf
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. PADL (2024)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages (Technical Report). CoRR (2023)
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) (2023)
Supun Abeysinghe, Fei Wang, Grégory M. Essertel, Tiark Rompf
Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems. CoRR (2023)
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
Compiling Parallel Symbolic Execution with Continuations. ICSE (2023)
Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf
Modeling Reachability Types with Logical Relations. CoRR (2023)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. CoRR (2023)
Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf
OCTAL: Graph Representation Learning for LTL Model Checking. CoRR (2022)
Supun Abeysinghe, Qiyang He, Tiark Rompf
Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI). SIGMOD Conference (2022)
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) (2022)
Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
What If We Don't Pop the Stack? The Return of 2nd-Class Values. ECOOP (2022)
Grégory M. Essertel, Ruby Y. Tahboub, Tiark Rompf
On-stack replacement for program generators and source-to-source compilers. GPCE (2021)
Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf
LLSC: a parallel symbolic execution compiler for LLVM IR. ESEC/SIGSOFT FSE (2021)
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)
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) (2021)
Prasita Mukherjee, Tiark Rompf
A GNN Based Approach to LTL Model Checking. CoRR (2021)
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 (2020)
Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf
Compiling symbolic execution with staging and algebraic effects. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ruby Y. Tahboub, Tiark Rompf
Architecting a Query Compiler for Spatial Workloads. SIGMOD Conference (2020)
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 (2020)
Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, Tiark Rompf
Towards compiling graph queries in relational engines. DBPL (2019)
Alen Stojanov, Tiark Rompf, Markus Püschel
A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. GPCE (2019)
Guannan Wei, Yuxuan Chen, Tiark Rompf
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
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. MLSys (2019)
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) (2019)
Fei Wang, Guoyang Chen, Weifeng Zhang, Tiark Rompf
Parallel Training via Computation Graph Transformation. IEEE BigData (2019)
Nada Amin, William E. Byrd, Tiark Rompf
Lightweight Functional Logic Meta-Programming. APLAS (2019)
Tiark Rompf, Nada Amin
A SQL to C compiler in 500 lines of code. J. Funct. Program. 29 (2019)
Grégory M. Essertel, Guannan Wei, Tiark Rompf
Precise reasoning with structured time, structured heaps, and collective operations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
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) (2019)
Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf
Compiling with continuations, or without? whatever. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers. CoRR (2019)
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)
Nada Amin, Tiark Rompf
Collapsing towers of interpreters. Proc. ACM Program. Lang. 2 (POPL) (2018)
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)
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 (2018)
Fei Wang, Tiark Rompf
A Language and Compiler View on Differentiable Programming. ICLR (Workshop) (2018)
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)
Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel
SIMD intrinsics on managed language runtimes. CGO (2018)
Ruby Y. Tahboub, Grégory M. Essertel, Tiark Rompf
How to Architect a Query Compiler, Revisited. SIGMOD Conference (2018)
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) (2018)
Fei Wang, Xilun Wu, Grégory M. Essertel, James M. Decker, Tiark Rompf
Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator. CoRR (2018)
Fei Wang, Tiark Rompf
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero. CoRR (2018)
Georg Ofenbeck, Tiark Rompf, Markus Püschel
Staging for generic programming in space and time. GPCE (2017)
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 (2017)
Leo Osvald, Tiark Rompf
Flexible data views: design and implementation. ARRAY@PLDI (2017)
Nada Amin, Tiark Rompf
Type soundness proofs with definitional interpreters. POPL (2017)
Fei Wang, Tiark Rompf
Towards Strong Normalization for Dependent Object Types (DOT). ECOOP (2017)
Yiyang Chang, Gustavo Petri, Sanjay G. Rao, Tiark Rompf
Composing middlebox and traffic engineering policies in SDNs. INFOCOM Workshops (2017)
Tiark Rompf, Kevin J. Brown
Functional parallels of sequential imperatives (short paper). PEPM (2017)
Leo Osvald, Tiark Rompf
Rust-like borrowing with 2nd-class values (short paper). SCALA@SPLASH (2017)
Nada Amin, Tiark Rompf
LMS-Verify: abstraction without regret for verified systems programming. POPL (2017)
Fei Wang, Tiark Rompf
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Georg Ofenbeck, Tiark Rompf, Markus Püschel
RandIR: differential testing for embedded compilers. SCALA@SPLASH (2016)
Tiark Rompf
The Essence of Multi-stage Evaluation in LMS. A List of Successes That Can Change the World (2016)
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)
Tiark Rompf
Lightweight modular staging (LMS): generate all the things! (keynote). GPCE (2016)
Tiark Rompf, Nada Amin
Type soundness for dependent object types (DOT). OOPSLA (2016)
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)
Ruby Y. Tahboub, Tiark Rompf
On supporting compilation in spatial query engines: (vision paper). SIGSPATIAL/GIS (2016)
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)
Tiark Rompf
Reflections on LMS: exploring front-end alternatives. SCALA@SPLASH (2016)
Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell
RRB vector: a practical general purpose immutable sequence. ICFP (2015)
Tiark Rompf, Nada Amin
Functional pearl: a SQL to C compiler in 500 lines of code. ICFP (2015)
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)
Tiark Rompf, Nada Amin
From F to DOT: Type Soundness Proofs with Definitional Interpreters. CoRR (2015)
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) (2014)
Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel
Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. ARRAY@PLDI (2014)
Martin Odersky, Tiark Rompf
Unifying functional and object-oriented programming with Scala. Commun. ACM 57 (4) (2014)
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)
Nada Amin, K. Rustan M. Leino, Tiark Rompf
Computing with an SMT Solver. TAP@STAF (2014)
Nada Amin, Tiark Rompf, Martin Odersky
Foundations of path-dependent types. OOPSLA (2014)
HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Tiark Rompf, Kunle Olukotun
Locality-Aware Mapping of Nested Parallel Patterns on GPUs. MICRO (2014)
Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi
Building Efficient Query Engines in a High-Level Language. Proc. VLDB Endow. 7 (10) (2014)
Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
Staged parser combinators for efficient data processing. OOPSLA (2014)
Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun
Surgical precision JIT compilers. PLDI (2014)
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) (2014)
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)
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)
Nithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne
Making domain-specific hardware synthesis tools cost-efficient. FPT (2013)
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)
Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
What are the Odds?: probabilistic programming in Scala. SCALA@ECOOP (2013)
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)
Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
JavaScript as an Embedded DSL. ECOOP (2012)
Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky
StagedSAC: a case study in performance-oriented DSL development. PEPM (2012)
Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. 25 (1) (2012)
Tiark Rompf, Martin Odersky
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM 55 (6) (2012)
Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
Scala-virtualized. PEPM (2012)
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)
Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert
-private auction system. Concurr. Comput. Pract. Exp. 23 (12) (2011)
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) (2011)
Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky
A Generic Parallel Collection Framework. Euro-Par (2) (2011)
Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun
Building-Blocks for Performance Oriented DSLs DSL (2011)
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)
Tiark Rompf, Martin Odersky
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE (2010)
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)

Tiark Rompf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tiark Rompf