Tiark Rompf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
49
Venues
22
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
49 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FLOPS | Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description. | Supun Abeysinghe, Tiark Rompf |
| 2024 | GPCE | Specializing Data Access in a Distributed File System (Generative Pearl). | Pratyush Das, Anxhelo Xhebraj, Tiark Rompf |
| 2024 | PADL | Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. | Supun Abeysinghe, Tiark Rompf |
| 2023 | ICSE | Compiling Parallel Symbolic Execution with Continuations. | Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf |
| 2022 | ECOOP | What If We Don't Pop the Stack? The Return of 2nd-Class Values. | Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf |
| 2022 | SIGMOD | Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI). | Supun Abeysinghe, Qiyang He, Tiark Rompf |
| 2021 | GPCE | 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, Benot Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni |
| 2021 | GPCE | On-stack replacement for program generators and source-to-source compilers. | Grgory M. Essertel, Ruby Y. Tahboub, Tiark Rompf |
| 2020 | SIGMOD | Architecting a Query Compiler for Spatial Workloads. | Ruby Y. Tahboub, Tiark Rompf |
| 2019 | APLAS | Lightweight Functional Logic Meta-Programming. | Nada Amin, William E. Byrd, Tiark Rompf |
| 2019 | GPCE | A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. | Alen Stojanov, Tiark Rompf, Markus Pschel |
| 2018 | CGO | SIMD intrinsics on managed language runtimes. | Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Pschel |
| 2018 | ICLR | A Language and Compiler View on Differentiable Programming. | Fei Wang, Tiark Rompf |
| 2018 | OSDI | Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data. | Grgory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf |
| 2018 | SIGMOD | How to Architect a Query Compiler, Revisited. | Ruby Y. Tahboub, Grgory M. Essertel, Tiark Rompf |
| 2017 | ECOOP | Towards Strong Normalization for Dependent Object Types (DOT). | Fei Wang, Tiark Rompf |
| 2017 | GPCE | Staging for generic programming in space and time. | Georg Ofenbeck, Tiark Rompf, Markus Pschel |
| 2017 | INFOCOM | Composing middlebox and traffic engineering policies in SDNs. | Yiyang Chang, Gustavo Petri, Sanjay G. Rao, Tiark Rompf |
| 2017 | PEPM | Functional parallels of sequential imperatives (short paper). | Tiark Rompf, Kevin J. Brown |
| 2017 | PLDI | Flexible data views: design and implementation. | Leo Osvald, Tiark Rompf |
| 2017 | POPL | Type soundness proofs with definitional interpreters. | Nada Amin, Tiark Rompf |
| 2017 | POPL | LMS-Verify: abstraction without regret for verified systems programming. | Nada Amin, Tiark Rompf |
| 2016 | CGO | 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 |
| 2016 | GPCE | Lightweight modular staging (LMS): generate all the things! (keynote). | Tiark Rompf |
| 2016 | OOPSLA | Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. | Leo Osvald, Grgory M. Essertel, Xilun Wu, Lilliam I. Gonzlez Alayn, Tiark Rompf |
| 2016 | OOPSLA | Type soundness for dependent object types (DOT). | Tiark Rompf, Nada Amin |
| 2015 | ICFP | Functional pearl: a SQL to C compiler in 500 lines of code. | Tiark Rompf, Nada Amin |
| 2015 | ICFP | RRB vector: a practical general purpose immutable sequence. | Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell |
| 2014 | FPL | 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 |
| 2014 | MICRO | Locality-Aware Mapping of Nested Parallel Patterns on GPUs. | HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Tiark Rompf, Kunle Olukotun |
| 2014 | OOPSLA | Foundations of path-dependent types. | Nada Amin, Tiark Rompf, Martin Odersky |
| 2014 | OOPSLA | Staged parser combinators for efficient data processing. | Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky |
| 2014 | PLDI | Surgical precision JIT compilers. | Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun |
| 2014 | PLDI | Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. | Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Pschel |
| 2014 | TAP | Computing with an SMT Solver. | Nada Amin, K. Rustan M. Leino, Tiark Rompf |
| 2013 | ECOOP | What are the Odds?: probabilistic programming in Scala. | Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf |
| 2013 | ECOOP | 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 |
| 2013 | GPCE | Spiral in scala: towards the systematic construction of generators for performance libraries. | Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Pschel |
| 2013 | GPCE | 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 |
| 2013 | POPL | 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 |
| 2012 | ECOOP | JavaScript as an Embedded DSL. | Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky |
| 2012 | PEPM | Scala-virtualized. | Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky |
| 2012 | PEPM | StagedSAC: a case study in performance-oriented DSL development. | Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky |
| 2011 | EuroPar | A Generic Parallel Collection Framework. | Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky |
| 2011 | ICML | 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 |
| 2010 | GPCE | Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. | Tiark Rompf, Martin Odersky |
| 2010 | OOPSLA | Language virtualization for heterogeneous parallel computing. | Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun |
| 2009 | ICFP | Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. | Tiark Rompf, Ingo Maier, Martin Odersky |
| 2009 | NSS | A Cryptographically t-Private Auction System. | Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert |