Travelled to:1 × Canada
1 × China
1 × France
1 × Italy
2 × The Netherlands
3 × United Kingdom
5 × USA
Collaborated with:N.Amin M.Odersky H.Chafi K.J.Brown A.K.Sujeeth M.Püschel K.Olukotun Guannan Wei H.Lee G.Ofenbeck A.Stojanov Grégory M. Essertel Y.Klonatos C.Koch ∅ F.Wang V.Ureche A.Moors K.R.M.Leino I.Maier Yuxuan Chen M.Jonnalagedda N.Stucki P.Bagwell G.Kossakowski P.Haller M.Wu V.Jovanovic T.Coppey S.Stucki L.Osvald Xilun Wu Lilliam I. González Alayón A.Gibbons Z.DeVito P.Hanrahan A.R.Atreya V.Popic A.Prokopec
Talks about:stage (8) compil (6) type (6) program (5) languag (5) generat (4) high (4) interpret (3) structur (3) parallel (3)
Person: Tiark Rompf
DBLP: Rompf:Tiark
Facilitated 2 volumes:
Ed
EdContributed to:
2015
2014
2014
2014
2014
20132013
201320122012
2011201020102009201620172019201620172019201720172018Wrote 31 papers:
- ICFP-2015-RompfA #c #compilation #functional #sql
- Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
- ICFP-2015-StuckiRUB #sequence
- RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
- OOPSLA-2014-AminRO #dependent type
- Foundations of path-dependent types (NA, TR, MO), pp. 233–249.
- OOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance #staged
- Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
- PLDI-2014-RompfSBLCO #compilation #jit #precise
- Surgical precision JIT compilers (TR, AKS, KJB, HL, HC, KO), p. 8.
- TAP-2014-AminLR #smt
- Computing with an SMT Solver (NA, KRML, TR), pp. 20–35.
- VLDB-2014-KlonatosKRC #performance #query
- Building Efficient Query Engines in a High-Level Language (YK, CK, TR, HC), pp. 853–864.
- VLDB-2014-KlonatosKRC14a #performance #query
- Errata for “Building Efficient Query Engines in a High-Level Language” (PVLDB 7(10): 853-864) (YK, CK, TR, HC), p. 1784.
- ECOOP-2013-SujeethRBLCPWPJOO #composition #domain-specific language #reuse
- Composition and Reuse with Compiled Domain-Specific Languages (AKS, TR, KJB, HL, HC, VP, MW, AP, VJ, MO, KO), pp. 52–78.
- GPCE-2013-OfenbeckRSOP #generative #library #performance #scala #towards
- Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.
- GPCE-2013-SujeethGBLROO #declarative #domain-specific language #generative #implementation #named #performance #specification
- Forge: generating a high performance DSL implementation from a declarative specification (AKS, AG, KJB, HL, TR, MO, KO), pp. 145–154.
- POPL-2013-RompfSABJLJOO #compilation #data type #optimisation #source code #staging
- Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
- ECOOP-2012-KossakowskiARO #domain-specific language #embedded #javascript
- JavaScript as an Embedded DSL (GK, NA, TR, MO), pp. 409–434.
- PEPM-2012-MoorsRHO #scala
- Scala-virtualized (AM, TR, PH, MO), pp. 117–120.
- PEPM-2012-UrecheRSCO #case study #development #domain-specific language #named
- StagedSAC: a case study in performance-oriented DSL development (VU, TR, AKS, HC, MO), pp. 73–82.
- ICML-2011-SujeethLBRCWAOO #domain-specific language #machine learning #named #parallel
- OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning (AKS, HL, KJB, TR, HC, MW, ARA, MO, KO), pp. 609–616.
- GPCE-2010-RompfO #approach #code generation #composition #domain-specific language #lightweight #runtime #staging
- Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.
- OOPSLA-2010-ChafiDMRSHOO #parallel
- Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
- ICFP-2009-RompfMO #continuation #implementation #polymorphism
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.
- GPCE-2016-Rompf #composition #exclamation #lightweight #staging
- Lightweight modular staging (LMS): generate all the things! (TR), p. 1.
- GPCE-2017-OfenbeckRP #programming #staging
- Staging for generic programming in space and time (GO, TR, MP), pp. 15–28.
- GPCE-2019-StojanovRP #compilation #information retrieval
- A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions (AS, TR, MP), pp. 34–47.
- OOPSLA-2016-OsvaldEWAR
- Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect (LO, GME, XW, LIGA, TR), pp. 234–251.
- OOPSLA-2016-RompfA
- Type soundness for dependent object types (DOT) (TR, NA), pp. 624–641.
- ECOOP-2017-WangR #normalisation #towards
- Towards Strong Normalization for Dependent Object Types (DOT) (FW, TR), p. 25.
- OOPSLA-2019-EssertelWR #precise #reasoning
- Precise reasoning with structured time, structured heaps, and collective operations (GME, GW, TR), p. 30.
- OOPSLA-2019-WeiCR #composition #metaprogramming #performance #program analysis #staged
- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
- PEPM-2017-RompfB #functional
- Functional parallels of sequential imperatives (short paper) (TR, KJB), pp. 83–88.
- POPL-2017-AminR #proving
- Type soundness proofs with definitional interpreters (NA, TR), pp. 666–679.
- POPL-2017-AminR17a #abstraction #named #programming
- LMS-Verify: abstraction without regret for verified systems programming (NA, TR), pp. 859–873.
- POPL-2018-AminR
- Collapsing towers of interpreters (NA, TR), p. 33.