Tiark Rompf Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGré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)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Kevin J. Brown: Functional parallels of sequential imperatives (short paper). PEPM 2017: 83-88
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNada Amin, Tiark Rompf: Type soundness proofs with definitional interpreters. POPL 2017: 666-679
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNada Amin, Tiark Rompf: LMS-Verify: abstraction without regret for verified systems programming. POPL 2017: 859-873
2016
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNada 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
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf: The Essence of Multi-stage Evaluation in LMS. A List of Successes That Can Change the World 2016: 318-335
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin 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
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuby Y. Tahboub, Tiark Rompf: On supporting compilation in spatial query engines: (vision paper). SIGSPATIAL/GIS 2016: 9:1-9:4
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf: Lightweight modular staging (LMS): generate all the things! (keynote). GPCE 2016: 1
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo 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
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Nada Amin: Type soundness for dependent object types (DOT). OOPSLA 2016: 624-641
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Ofenbeck, Tiark Rompf, Markus Püschel: RandIR: differential testing for embedded compilers. SCALA@SPLASH 2016: 21-30
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf: Reflections on LMS: exploring front-end alternatives. SCALA@SPLASH 2016: 41-50
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
2015
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Nada Amin: From F to DOT: Type Soundness Proofs with Definitional Interpreters. CoRR abs/1510.05216 (2015)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Nada Amin: Functional pearl: a SQL to C compiler in 500 lines of code. ICFP 2015: 2-9
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell: RRB vector: a practical general purpose immutable sequence. ICFP 2015: 342-354
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark 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
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark 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
2014
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Odersky, Tiark Rompf: Unifying functional and object-oriented programming with Scala. Commun. ACM 57(4): 76-86 (2014)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi: Building Efficient Query Engines in a High-Level Language. PVLDB 7(10): 853-864 (2014)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi: Errata for "Building Efficient Query Engines in a High-Level Language" (PVLDB 7(10): 853-864). PVLDB 7(13): 1784 (2014)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind 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. Embedded Comput. Syst. 13(4s): 134:1-134:25 (2014)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNithin 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
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Tiark Rompf, Kunle Olukotun: Locality-Aware Mapping of Nested Parallel Patterns on GPUs. MICRO 2014: 63-74
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNada Amin, Tiark Rompf, Martin Odersky: Foundations of path-dependent types. OOPSLA 2014: 233-249
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky: Staged parser combinators for efficient data processing. OOPSLA 2014: 637-653
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel: Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. ARRAY@PLDI 2014: 14-19
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun: Surgical precision JIT compilers. PLDI 2014: 41-52
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNada Amin, K. Rustan M. Leino, Tiark Rompf: Computing with an SMT Solver. TAP 2014: 20-35
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
2013
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf: What are the Odds?: probabilistic programming in Scala. SCALA@ECOOP 2013: 11:1-11:9
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind 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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne: Making domain-specific hardware synthesis tools cost-efficient. FPT 2013: 120-127
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg 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
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind 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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark 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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Martin Odersky: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM 55(6): 121-130 (2012)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky: Scala-Virtualized: linguistic reuse for deep embeddings. Higher-Order and Symbolic Computation 25(1): 165-207 (2012)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky: JavaScript as an Embedded DSL. ECOOP 2012: 409-434
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky: StagedSAC: a case study in performance-oriented DSL development. PEPM 2012: 73-82
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky: Scala-virtualized. PEPM 2012: 117-120
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert: A cryptographically t-private auction system. Concurrency and Computation: Practice and Experience 23(12): 1399-1413 (2011)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyoukJoong 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)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin 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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky: A Generic Parallel Collection Framework. Euro-Par (2) 2011: 136-147
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind 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
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark 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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Martin Odersky: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE 2010: 127-136
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHassan 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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiark Rompf, Ingo Maier, Martin Odersky: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP 2009: 317-328
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert: A Cryptographically t-Private Auction System. NSS 2009: 44-51

Coauthor Index

1Christopher R. Aberger[c34]
2Lilliam I. González Alayón[c31]
3Nada Amin[c38] [c37] [c36] [c30] [i1] [c27] [c25] [c22] [c18] [c17] [c12] [j3] [c11]
4Anand R. Atreya[c6]
5Phil Bagwell[c26] [c7]
6Kevin J. Brown[i2] [c39] [c34] [c25] [j5] [c24] [c23] [c19] [c16] [c13] [c12] [j1] [c8] [c6] [c5]
7Hassan Chafi[j7] [j6] [j5] [c19] [c16] [c10] [j1] [c8] [c6] [c5] [c3]
8Thierry Coppey[c21]
9Mohammad Dashti[c25]
10James M. Decker[i2]
11Zach DeVito[c3]
12Martin Erwig[e3]
13Grégory M. Essertel[i2] [c31]
14Nithin George[c24] [c15]
15Austin Gibbons[c13]
16Samuel Grütter[c36]
17Philipp Haller[j3] [c9]
18Pat Hanrahan[c3]
19Markus Hinkelmann[j2] [c1]
20Paolo Ienne[c24] [c15]
21Andreas Jakoby[j2] [c1]
22Manohar Jonnalagedda[c25] [c21] [c17] [c12]
23Vojin Jovanovic[c16] [c12]
24Yannis Klonatos[c25] [j7] [j6]
25Christoph Koch 0001[c25] [j7] [j6]
26Grzegorz Kossakowski[c11]
27HyoukJoong Lee[c34] [c25] [j5] [c24] [c23] [c19] [c16] [c13] [c12] [j1] [c8] [c6] [c5]
28K. Rustan M. Leino[c18]
29José Pedro Magalhães[e1]
30Ingo Maier[c2]
31Geoffrey Mainland[e2]
32Nina Moebius[j2] [c1]
33Adriaan Moors[j3] [c9] [c3]
34David Novo[c24] [c15]
35Martin Odersky[c36] [j8] [j5] [c24] [c22] [c21] [c16] [c15] [c14] [c13] [c12] [j4] [j3] [c11] [c10] [c9] [j1] [c8] [c7] [c6] [c5] [c4] [c3] [c2]
36Georg Ofenbeck[c29] [c25] [c20] [c14]
37Kunle Olukotun[i2] [c34] [c25] [j5] [c24] [c23] [c19] [c16] [c13] [c12] [j1] [c8] [c6] [c5] [c3]
38Leo Osvald[c31]
39Victoria Popic[c16]
40Aleksandar Prokopec[c16] [c7]
41Markus Püschel[c29] [c25] [c20] [c14]
42Christopher De Sa[c34]
43Peer Stechert[j2] [c1]
44Alen Stojanov[c25] [c20] [c14]
45Nicolas Stucki[c26]
46Sandro Stucki[c36] [c21] [c17]
47Arvind K. Sujeeth[c34] [c25] [j5] [c24] [c23] [c19] [c16] [c13] [c12] [c10] [j1] [c8] [c6] [c5] [c3]
48Ruby Y. Tahboub[i2] [c33]
49Vlad Ureche[c26] [c10]
50Michael Wu[c16] [c6]
51Xilun Wu[c31]

 

Last update 2017-06-09 03:25 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page