Tiark Rompf

According to our database, Tiark Rompf authored at least 99 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.

Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., January, 2024

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis.

Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf

Proc. ACM Program. Lang., January, 2024

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking.

Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf

CoRR, 2024

Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures.

Supun Abeysinghe, Tiark Rompf

Proceedings of the Practical Aspects of Declarative Languages, 2024

Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description.

Supun Abeysinghe, Tiark Rompf

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

2023

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., October, 2023

Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems.

Supun Abeysinghe, Fei Wang, Grégory M. Essertel, Tiark Rompf

CoRR, 2023

Graph IRs for Impure Higher-Order Languages (Technical Report).

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

CoRR, 2023

Modeling Reachability Types with Logical Relations.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf

CoRR, 2023

Compiling Parallel Symbolic Execution with Continuations.

Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact).

Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf

Dagstuhl Artifacts Ser., 2022

OCTAL: Graph Representation Learning for LTL Model Checking.

Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf

CoRR, 2022

Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI).

Supun Abeysinghe, Qiyang He, Tiark Rompf

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

What If We Don't Pop the Stack? The Return of 2nd-Class Values.

Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Reachability types: tracking aliasing and separation in higher-order functional programs.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf

Proc. ACM Program. Lang., 2021

LLSC: a parallel symbolic execution compiler for LLVM IR.

Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

On-stack replacement for program generators and source-to-source compilers.

Grégory M. Essertel, Ruby Y. Tahboub, Tiark Rompf

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

HACCLE: metaprogramming for secure multi-party computation.

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

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Compiling symbolic execution with staging and algebraic effects.

Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf

Proc. ACM Program. Lang., 2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

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

CoRR, 2020

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap.

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

CoRR, 2020

Architecting a Query Compiler for Spatial Workloads.

Ruby Y. Tahboub, Tiark Rompf

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

Flare & Lantern: Efficiently Swapping Horses Midstream.

Grégory M. Essertel, Ruby Y. Tahboub, Fei Wang, James M. Decker, Tiark Rompf

Proc. VLDB Endow., 2019

Staged abstract interpreters: fast and modular whole-program analysis via meta-programming.

Guannan Wei, Yuxuan Chen, Tiark Rompf

Proc. ACM Program. Lang., 2019

Demystifying differentiable programming: shift/reset the penultimate backpropagator.

Fei Wang, Daniel Zheng, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf

Proc. ACM Program. Lang., 2019

Precise reasoning with structured time, structured heaps, and collective operations.

Grégory M. Essertel, Guannan Wei, Tiark Rompf

Proc. ACM Program. Lang., 2019

Compiling with continuations, or without? whatever.

Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf

Proc. ACM Program. Lang., 2019

A SQL to C compiler in 500 lines of code.

Tiark Rompf, Nada Amin

J. Funct. Program., 2019

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.

Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf

CoRR, 2019

AutoGraph: Imperative-style Coding with Graph-based Performance.

Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko

Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions.

Alen Stojanov, Tiark Rompf, Markus Püschel

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Towards compiling graph queries in relational engines.

Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, Tiark Rompf

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

Parallel Training via Computation Graph Transformation.

Fei Wang, Guoyang Chen, Weifeng Zhang, Tiark Rompf

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Lightweight Functional Logic Meta-Programming.

Nada Amin, William E. Byrd, Tiark Rompf

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).

Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama

NII Shonan Meet. Rep., 2018

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl).

Guannan Wei, James M. Decker, Tiark Rompf

Proc. ACM Program. Lang., 2018

Collapsing towers of interpreters.

Nada Amin, Tiark Rompf

Proc. ACM Program. Lang., 2018

Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator.

Fei Wang, Xilun Wu, Grégory M. Essertel, James M. Decker, Tiark Rompf

CoRR, 2018

From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero.

Fei Wang, Tiark Rompf

CoRR, 2018

How to Architect a Query Compiler, Revisited.

Ruby Y. Tahboub, Grégory M. Essertel, Tiark Rompf

Proceedings of the 2018 International Conference on Management of Data, 2018

Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data.

Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming.

Fei Wang, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

A Language and Compiler View on Differentiable Programming.

Fei Wang, Tiark Rompf

Proceedings of the 6th International Conference on Learning Representations, 2018

SIMD intrinsics on managed language runtimes.

Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2017

Towards Strong Normalization for Dependent Object Types (DOT) (Artifact).

Fei Wang, Tiark Rompf

Dagstuhl Artifacts Ser., 2017

Flare: Native Compilation for Heterogeneous Workloads in Apache Spark.

Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf

CoRR, 2017

Rust-like borrowing with 2nd-class values (short paper).

Leo Osvald, Tiark Rompf

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

LMS-Verify: abstraction without regret for verified systems programming.

Nada Amin, Tiark Rompf

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Type soundness proofs with definitional interpreters.

Nada Amin, Tiark Rompf

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Flexible data views: design and implementation.

Leo Osvald, Tiark Rompf

Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

Functional parallels of sequential imperatives (short paper).

Tiark Rompf, Kevin J. Brown

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Composing middlebox and traffic engineering policies in SDNs.

Yiyang Chang, Gustavo Petri, Sanjay G. Rao, Tiark Rompf

Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017

Staging for generic programming in space and time.

Georg Ofenbeck, Tiark Rompf, Markus Püschel

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Towards Strong Normalization for Dependent Object Types (DOT).

Fei Wang, Tiark Rompf

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Reflections on LMS: exploring front-end alternatives.

Tiark Rompf

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

RandIR: differential testing for embedded compilers.

Georg Ofenbeck, Tiark Rompf, Markus Püschel

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Type soundness for dependent object types (DOT).

Tiark Rompf, Nada Amin

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect.

Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Lightweight modular staging (LMS): generate all the things! (keynote).

Tiark Rompf

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

On supporting compilation in spatial query engines: (vision paper).

Ruby Y. Tahboub, Tiark Rompf

Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31, 2016

Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns.

Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Arvind K. Sujeeth, Christopher De Sa, Christopher R. Aberger, Kunle Olukotun

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

The Essence of Multi-stage Evaluation in LMS.

Tiark Rompf

Proceedings of the A List of Successes That Can Change the World, 2016

The Essence of Dependent Object Types.

Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki

Proceedings of the A List of Successes That Can Change the World, 2016

2015

From F to DOT: Type Soundness Proofs with Definitional Interpreters.

Tiark Rompf, Nada Amin

CoRR, 2015

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems.

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

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

RRB vector: a practical general purpose immutable sequence.

Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Functional pearl: a SQL to C compiler in 500 lines of code.

Tiark Rompf, Nada Amin

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages.

Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun

ACM Trans. Embed. Comput. Syst., 2014

Errata for "Building Efficient Query Engines in a High-Level Language" (PVLDB 7(10): 853-864).

Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi

Proc. VLDB Endow., 2014

Building Efficient Query Engines in a High-Level Language.

Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi

Proc. VLDB Endow., 2014

Unifying functional and object-oriented programming with Scala.

Martin Odersky, Tiark Rompf

Commun. ACM, 2014

Computing with an SMT Solver.

Nada Amin, K. Rustan M. Leino, Tiark Rompf

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters.

Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Surgical precision JIT compilers.

Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Staged parser combinators for efficient data processing.

Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Foundations of path-dependent types.

Nada Amin, Tiark Rompf, Martin Odersky

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Locality-Aware Mapping of Nested Parallel Patterns on GPUs.

HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Tiark Rompf, Kunle Olukotun

Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture, 2014

Hardware system synthesis from Domain-Specific Languages.

Nithin George, HyoukJoong Lee, David Novo, Tiark Rompf, Kevin J. Brown, Arvind K. Sujeeth, Martin Odersky, Kunle Olukotun, Paolo Ienne

Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014

2013

Optimizing data structures in high-level programs: new directions for extensible compilers based on staging.

Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Forge: generating a high performance DSL implementation from a declarative specification.

Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun

Proceedings of the Generative Programming: Concepts and Experiences, 2013

Spiral in scala: towards the systematic construction of generators for performance libraries.

Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel

Proceedings of the Generative Programming: Concepts and Experiences, 2013

Making domain-specific hardware synthesis tools cost-efficient.

Nithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne

Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

Composition and Reuse with Compiled Domain-Specific Languages.

Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

What are the Odds?: probabilistic programming in Scala.

Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf

Proceedings of the 4th Workshop on Scala, 2013

2012

Lightweight Modular Staging and Embedded Compilers - Abstraction without Regret for High-Level High-Performance Programming.

Tiark Rompf

PhD thesis, 2012

Scala-Virtualized: linguistic reuse for deep embeddings.

Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky

High. Order Symb. Comput., 2012

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs.

Tiark Rompf, Martin Odersky

Commun. ACM, 2012

StagedSAC: a case study in performance-oriented DSL development.

Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Scala-virtualized.

Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

JavaScript as an Embedded DSL.

Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Implementing Domain-Specific Languages for Heterogeneous Parallel Computing.

HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Hassan Chafi, Tiark Rompf, Martin Odersky, Kunle Olukotun

IEEE Micro, 2011

Building-Blocks for Performance Oriented DSLs

Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

A cryptographically <i>t</i>-private auction system.

Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert

Concurr. Comput. Pract. Exp., 2011

OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning.

Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun

Proceedings of the 28th International Conference on Machine Learning, 2011

A Generic Parallel Collection Framework.

Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

A Heterogeneous Parallel Framework for Domain-Specific Languages.

Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Language virtualization for heterogeneous parallel computing.

Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

A Cryptographically t-Private Auction System.

Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert

Proceedings of the Third International Conference on Network and System Security, 2009

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform.

Tiark Rompf, Ingo Maier, Martin Odersky

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009