Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tiark Rompf
@article{DBLP:journals/pacmpl/WeiBJBR24,
author = {Guannan Wei and
Oliver Bracevac and
Songlin Jia and
Yuyan Bao and
Tiark Rompf},
title = {Polymorphic Reachability Types: Tracking Freshness, Aliasing, and
Separation in Higher-Order Generic Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {393--424},
year = {2024},
url = {https://doi.org/10.1145/3632856},
doi = {10.1145/3632856},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WeiBJBR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AbeysingheXR24,
author = {Supun Abeysinghe and
Anxhelo Xhebraj and
Tiark Rompf},
title = {Flan: An Expressive and Efficient Datalog Compiler for Program Analysis},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {2577--2609},
year = {2024},
url = {https://doi.org/10.1145/3632928},
doi = {10.1145/3632928},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AbeysingheXR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AbeysingheR24,
author = {Supun Abeysinghe and
Tiark Rompf},
editor = {Martin Gebser and
Ilya Sergey},
title = {Rhyme: {A} Data-Centric Expressive Query Language for Nested Data
Structures},
booktitle = {Practical Aspects of Declarative Languages - 26th International Symposium,
{PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14512},
pages = {64--81},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-52038-9\_5},
doi = {10.1007/978-3-031-52038-9\_5},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/AbeysingheR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BracevacWJAJBR23,
author = {Oliver Bracevac and
Guannan Wei and
Songlin Jia and
Supun Abeysinghe and
Yuxuan Jiang and
Yuyan Bao and
Tiark Rompf},
title = {Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations
Affordable with Precise Effect Dependencies},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {400--430},
year = {2023},
url = {https://doi.org/10.1145/3622813},
doi = {10.1145/3622813},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BracevacWJAJBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WeiJGDTBR23,
author = {Guannan Wei and
Songlin Jia and
Ruiqi Gao and
Haotian Deng and
Shangyin Tan and
Oliver Bracevac and
Tiark Rompf},
title = {Compiling Parallel Symbolic Execution with Continuations},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1316--1328},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00116},
doi = {10.1109/ICSE48619.2023.00116},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WeiJGDTBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13844,
author = {Guannan Wei and
Oliver Bracevac and
Songlin Jia and
Yuyan Bao and
Tiark Rompf},
title = {Polymorphic Reachability Types: Tracking Freshness, Aliasing, and
Separation in Higher-Order Generic Programs},
journal = {CoRR},
volume = {abs/2307.13844},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13844},
doi = {10.48550/ARXIV.2307.13844},
eprinttype = {arXiv},
eprint = {2307.13844},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-05885,
author = {Yuyan Bao and
Guannan Wei and
Oliver Bracevac and
Tiark Rompf},
title = {Modeling Reachability Types with Logical Relations},
journal = {CoRR},
volume = {abs/2309.05885},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.05885},
doi = {10.48550/ARXIV.2309.05885},
eprinttype = {arXiv},
eprint = {2309.05885},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-05885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-08118,
author = {Oliver Bracevac and
Guannan Wei and
Songlin Jia and
Supun Abeysinghe and
Yuxuan Jiang and
Yuyan Bao and
Tiark Rompf},
title = {Graph IRs for Impure Higher-Order Languages (Technical Report)},
journal = {CoRR},
volume = {abs/2309.08118},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.08118},
doi = {10.48550/ARXIV.2309.08118},
eprinttype = {arXiv},
eprint = {2309.08118},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-02781,
author = {Supun Abeysinghe and
Fei Wang and
Gr{\'{e}}gory M. Essertel and
Tiark Rompf},
title = {Architecting Intermediate Layers for Efficient Composition of Data
Management and Machine Learning Systems},
journal = {CoRR},
volume = {abs/2311.02781},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.02781},
doi = {10.48550/ARXIV.2311.02781},
eprinttype = {arXiv},
eprint = {2311.02781},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-02781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/XhebrajB0R22,
author = {Anxhelo Xhebraj and
Oliver Bracevac and
Guannan Wei and
Tiark Rompf},
title = {What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {26:1--26:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.26},
doi = {10.4230/DARTS.8.2.26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/XhebrajB0R22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/XhebrajB0R22,
author = {Anxhelo Xhebraj and
Oliver Bracevac and
Guannan Wei and
Tiark Rompf},
editor = {Karim Ali and
Jan Vitek},
title = {What If We Don't Pop the Stack? The Return of 2nd-Class Values},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {15:1--15:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.15},
doi = {10.4230/LIPICS.ECOOP.2022.15},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/XhebrajB0R22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AbeysingheHR22,
author = {Supun Abeysinghe and
Qiyang He and
Tiark Rompf},
editor = {Zachary G. Ives and
Angela Bonifati and
Amr El Abbadi},
title = {Efficient Incrementialization of Correlated Nested Aggregate Queries
using Relative Partial Aggregate Indexes {(RPAI)}},
booktitle = {{SIGMOD} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
pages = {136--149},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3514221.3517889},
doi = {10.1145/3514221.3517889},
timestamp = {Thu, 16 Mar 2023 09:51:25 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/AbeysingheHR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11649,
author = {Prasita Mukherjee and
Haoteng Yin and
Susheel Suresh and
Tiark Rompf},
title = {{OCTAL:} Graph Representation Learning for {LTL} Model Checking},
journal = {CoRR},
volume = {abs/2207.11649},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11649},
doi = {10.48550/ARXIV.2207.11649},
eprinttype = {arXiv},
eprint = {2207.11649},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaoWBJHR21,
author = {Yuyan Bao and
Guannan Wei and
Oliver Bracevac and
Yuxuan Jiang and
Qiyang He and
Tiark Rompf},
title = {Reachability types: tracking aliasing and separation in higher-order
functional programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--32},
year = {2021},
url = {https://doi.org/10.1145/3485516},
doi = {10.1145/3485516},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BaoWBJHR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BaoSMYWJWALSDSK21,
author = {Yuyan Bao and
Kirshanthan Sundararajah and
Raghav Malik and
Qianchuan Ye and
Christopher Wagner and
Nouraldin Jaber and
Fei Wang and
Mohammad Hassan Ameri and
Donghang Lu and
Alexander Seto and
Benjamin Delaware and
Roopsha Samanta and
Aniket Kate and
Christina Garman and
Jeremiah Blocki and
Pierre{-}David Letourneau and
Beno{\^{\i}}t Meister and
Jonathan Springer and
Tiark Rompf and
Milind Kulkarni},
editor = {Eli Tilevich and
Coen De Roover},
title = {{HACCLE:} metaprogramming for secure multi-party computation},
booktitle = {{GPCE} '21: Concepts and Experiences, Chicago, IL, USA, October 17
- 18, 2021},
pages = {130--143},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486609.3487205},
doi = {10.1145/3486609.3487205},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/BaoSMYWJWALSDSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/EssertelTR21,
author = {Gr{\'{e}}gory M. Essertel and
Ruby Y. Tahboub and
Tiark Rompf},
editor = {Eli Tilevich and
Coen De Roover},
title = {On-stack replacement for program generators and source-to-source compilers},
booktitle = {{GPCE} '21: Concepts and Experiences, Chicago, IL, USA, October 17
- 18, 2021},
pages = {156--169},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486609.3487207},
doi = {10.1145/3486609.3487207},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/EssertelTR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0001TBR21,
author = {Guannan Wei and
Shangyin Tan and
Oliver Bracevac and
Tiark Rompf},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {{LLSC:} a parallel symbolic execution compiler for {LLVM} {IR}},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1495--1499},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3473108},
doi = {10.1145/3468264.3473108},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/0001TBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WeiBTR20,
author = {Guannan Wei and
Oliver Bracevac and
Shangyin Tan and
Tiark Rompf},
title = {Compiling symbolic execution with staging and algebraic effects},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {164:1--164:33},
year = {2020},
url = {https://doi.org/10.1145/3428232},
doi = {10.1145/3428232},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WeiBTR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/TahboubR20,
author = {Ruby Y. Tahboub and
Tiark Rompf},
editor = {David Maier and
Rachel Pottinger and
AnHai Doan and
Wang{-}Chiew Tan and
Abdussalam Alawini and
Hung Q. Ngo},
title = {Architecting a Query Compiler for Spatial Workloads},
booktitle = {Proceedings of the 2020 International Conference on Management of
Data, {SIGMOD} Conference 2020, online conference [Portland, OR, USA],
June 14-19, 2020},
pages = {2103--2118},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3318464.3389701},
doi = {10.1145/3318464.3389701},
timestamp = {Wed, 04 May 2022 13:02:28 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/TahboubR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-00090,
author = {Somali Chaterji and
Parinaz Naghizadeh and
Muhammad Ashraful Alam and
Saurabh Bagchi and
Mung Chiang and
David Corman and
Brian J. Henz and
Suman Jana and
Na Li and
Shaoshuai Mou and
Meeko Oishi and
Chunyi Peng and
Tiark Rompf and
Ashutosh Sabharwal and
Shreyas Sundaram and
James Weimer and
Jennifer Weller},
title = {Resilient Cyberphysical Systems and their Application Drivers: {A}
Technology Roadmap},
journal = {CoRR},
volume = {abs/2001.00090},
year = {2020},
url = {http://arxiv.org/abs/2001.00090},
eprinttype = {arXiv},
eprint = {2001.00090},
timestamp = {Mon, 22 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-00090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01489,
author = {Yuyan Bao and
Kirshanthan Sundararajah and
Raghav Malik and
Qianchuan Ye and
Christopher Wagner and
Fei Wang and
Mohammad Hassan Ameri and
Donghang Lu and
Alexander Seto and
Benjamin Delaware and
Roopsha Samanta and
Aniket Kate and
Christina Garman and
Jeremiah Blocki and
Pierre{-}David Letourneau and
Beno{\^{\i}}t Meister and
Jonathan Springer and
Tiark Rompf and
Milind Kulkarni},
title = {{HACCLE:} An Ecosystem for Building Secure Multi-Party Computations},
journal = {CoRR},
volume = {abs/2009.01489},
year = {2020},
url = {https://arxiv.org/abs/2009.01489},
eprinttype = {arXiv},
eprint = {2009.01489},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-01489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/RompfA19,
author = {Tiark Rompf and
Nada Amin},
title = {A {SQL} to {C} compiler in 500 lines of code},
journal = {J. Funct. Program.},
volume = {29},
pages = {e9},
year = {2019},
url = {https://doi.org/10.1017/S0956796819000054},
doi = {10.1017/S0956796819000054},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/RompfA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CongOER19,
author = {Youyou Cong and
Leo Osvald and
Gr{\'{e}}gory M. Essertel and
Tiark Rompf},
title = {Compiling with continuations, or without? whatever},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {79:1--79:28},
year = {2019},
url = {https://doi.org/10.1145/3341643},
doi = {10.1145/3341643},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CongOER19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangZDWER19,
author = {Fei Wang and
Daniel Zheng and
James M. Decker and
Xilun Wu and
Gr{\'{e}}gory M. Essertel and
Tiark Rompf},
title = {Demystifying differentiable programming: shift/reset the penultimate
backpropagator},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {96:1--96:31},
year = {2019},
url = {https://doi.org/10.1145/3341700},
doi = {10.1145/3341700},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangZDWER19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WeiCR19,
author = {Guannan Wei and
Yuxuan Chen and
Tiark Rompf},
title = {Staged abstract interpreters: fast and modular whole-program analysis
via meta-programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {126:1--126:32},
year = {2019},
url = {https://doi.org/10.1145/3360552},
doi = {10.1145/3360552},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WeiCR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/EssertelWR19,
author = {Gr{\'{e}}gory M. Essertel and
Guannan Wei and
Tiark Rompf},
title = {Precise reasoning with structured time, structured heaps, and collective
operations},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {157:1--157:30},
year = {2019},
url = {https://doi.org/10.1145/3360583},
doi = {10.1145/3360583},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/EssertelWR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/EssertelTWDR19,
author = {Gr{\'{e}}gory M. Essertel and
Ruby Y. Tahboub and
Fei Wang and
James M. Decker and
Tiark Rompf},
title = {Flare {\&} Lantern: Efficiently Swapping Horses Midstream},
journal = {Proc. {VLDB} Endow.},
volume = {12},
number = {12},
pages = {1910--1913},
year = {2019},
url = {http://www.vldb.org/pvldb/vol12/p1910-essertel.pdf},
doi = {10.14778/3352063.3352097},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/EssertelTWDR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AminBR19,
author = {Nada Amin and
William E. Byrd and
Tiark Rompf},
editor = {Anthony Widjaja Lin},
title = {Lightweight Functional Logic Meta-Programming},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {225--243},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_12},
doi = {10.1007/978-3-030-34175-6\_12},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AminBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/WangCZR19,
author = {Fei Wang and
Guoyang Chen and
Weifeng Zhang and
Tiark Rompf},
editor = {Chaitanya K. Baru and
Jun Huan and
Latifur Khan and
Xiaohua Hu and
Ronay Ak and
Yuanyuan Tian and
Roger S. Barga and
Carlo Zaniolo and
Kisung Lee and
Yanfang (Fanny) Ye},
title = {Parallel Training via Computation Graph Transformation},
booktitle = {2019 {IEEE} International Conference on Big Data {(IEEE} BigData),
Los Angeles, CA, USA, December 9-12, 2019},
pages = {3430--3439},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigData47090.2019.9006180},
doi = {10.1109/BIGDATA47090.2019.9006180},
timestamp = {Tue, 18 Oct 2022 14:44:48 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/WangCZR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/TahboubWER19,
author = {Ruby Y. Tahboub and
Xilun Wu and
Gr{\'{e}}gory M. Essertel and
Tiark Rompf},
editor = {Alvin Cheung and
Kim Nguyen},
title = {Towards compiling graph queries in relational engines},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Symposium on
Database Programming Languages, {DBPL} 2019, Phoenix, AZ, USA, June
23, 2019},
pages = {30--41},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315507.3330200},
doi = {10.1145/3315507.3330200},
timestamp = {Sun, 12 Nov 2023 02:16:34 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/TahboubWER19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/StojanovRP19,
author = {Alen Stojanov and
Tiark Rompf and
Markus P{\"{u}}schel},
editor = {Ina Schaefer and
Christoph Reichenbach and
Tijs van der Storm},
title = {A stage-polymorphic {IR} for compiling MATLAB-style dynamic tensor
expressions},
booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2019, Athens,
Greece, October 21-22, 2019},
pages = {34--47},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3357765.3359514},
doi = {10.1145/3357765.3359514},
timestamp = {Tue, 29 Dec 2020 18:41:51 +0100},
biburl = {https://dblp.org/rec/conf/gpce/StojanovRP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/MoldovanDWJLNSR19,
author = {Dan Moldovan and
James M. Decker and
Fei Wang and
Andrew A. Johnson and
Brian K. Lee and
Zachary Nado and
D. Sculley and
Tiark Rompf and
Alexander B. Wiltschko},
editor = {Ameet Talwalkar and
Virginia Smith and
Matei Zaharia},
title = {AutoGraph: Imperative-style Coding with Graph-based Performance},
booktitle = {Proceedings of Machine Learning and Systems 2019, MLSys 2019, Stanford,
CA, USA, March 31 - April 2, 2019},
publisher = {mlsys.org},
year = {2019},
url = {https://proceedings.mlsys.org/book/272.pdf},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/MoldovanDWJLNSR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-12084,
author = {Zhanfu Yang and
Fei Wang and
Ziliang Chen and
Guannan Wei and
Tiark Rompf},
title = {Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers},
journal = {CoRR},
volume = {abs/1904.12084},
year = {2019},
url = {http://arxiv.org/abs/1904.12084},
eprinttype = {arXiv},
eprint = {1904.12084},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WeiDR18,
author = {Guannan Wei and
James M. Decker and
Tiark Rompf},
title = {Refunctionalization of abstract abstract machines: bridging the gap
between abstract abstract machines and abstract definitional interpreters
(functional pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {105:1--105:28},
year = {2018},
url = {https://doi.org/10.1145/3236800},
doi = {10.1145/3236800},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WeiDR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AminR18,
author = {Nada Amin and
Tiark Rompf},
title = {Collapsing towers of interpreters},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {52:1--52:33},
year = {2018},
url = {https://doi.org/10.1145/3158140},
doi = {10.1145/3158140},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AminR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/StojanovTRP18,
author = {Alen Stojanov and
Ivaylo Toskov and
Tiark Rompf and
Markus P{\"{u}}schel},
editor = {Jens Knoop and
Markus Schordan and
Teresa Johnson and
Michael F. P. O'Boyle},
title = {{SIMD} intrinsics on managed language runtimes},
booktitle = {Proceedings of the 2018 International Symposium on Code Generation
and Optimization, {CGO} 2018, V{\"{o}}sendorf / Vienna, Austria,
February 24-28, 2018},
pages = {2--15},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3168810},
doi = {10.1145/3168810},
timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
biburl = {https://dblp.org/rec/conf/cgo/StojanovTRP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/WangR18,
author = {Fei Wang and
Tiark Rompf},
title = {A Language and Compiler View on Differentiable Programming},
booktitle = {6th International Conference on Learning Representations, {ICLR} 2018,
Vancouver, BC, Canada, April 30 - May 3, 2018, Workshop Track Proceedings},
publisher = {OpenReview.net},
year = {2018},
url = {https://openreview.net/forum?id=SJxJtYkPG},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/WangR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/WangDWER18,
author = {Fei Wang and
James M. Decker and
Xilun Wu and
Gr{\'{e}}gory M. Essertel and
Tiark Rompf},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Backpropagation with Callbacks: Foundations for Efficient and Expressive
Differentiable Programming},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {10201--10212},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/34e157766f31db3d2099831d348a7933-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/WangDWER18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/EssertelTDBOR18,
author = {Gr{\'{e}}gory M. Essertel and
Ruby Y. Tahboub and
James M. Decker and
Kevin J. Brown and
Kunle Olukotun and
Tiark Rompf},
editor = {Andrea C. Arpaci{-}Dusseau and
Geoff Voelker},
title = {Flare: Optimizing Apache Spark with Native Compilation for Scale-Up
Architectures and Medium-Size Data},
booktitle = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018},
pages = {799--815},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/osdi18/presentation/essertel},
timestamp = {Tue, 02 Feb 2021 08:06:02 +0100},
biburl = {https://dblp.org/rec/conf/osdi/EssertelTDBOR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/TahboubER18,
author = {Ruby Y. Tahboub and
Gr{\'{e}}gory M. Essertel and
Tiark Rompf},
editor = {Gautam Das and
Christopher M. Jermaine and
Philip A. Bernstein},
title = {How to Architect a Query Compiler, Revisited},
booktitle = {Proceedings of the 2018 International Conference on Management of
Data, {SIGMOD} Conference 2018, Houston, TX, USA, June 10-15, 2018},
pages = {307--322},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183713.3196893},
doi = {10.1145/3183713.3196893},
timestamp = {Wed, 21 Nov 2018 12:44:08 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/TahboubER18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2018,
editor = {Eric Van Wyk and
Tiark Rompf},
title = {Proceedings of the 17th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston,
MA, USA, November 5-6, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278122},
doi = {10.1145/3278122},
isbn = {978-1-4503-6045-6},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05340,
author = {Fei Wang and
Tiark Rompf},
title = {From Gameplay to Symbolic Reasoning: Learning {SAT} Solver Heuristics
in the Style of Alpha(Go) Zero},
journal = {CoRR},
volume = {abs/1802.05340},
year = {2018},
url = {http://arxiv.org/abs/1802.05340},
eprinttype = {arXiv},
eprint = {1802.05340},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10228,
author = {Fei Wang and
Xilun Wu and
Gr{\'{e}}gory M. Essertel and
James M. Decker and
Tiark Rompf},
title = {Demystifying Differentiable Programming: Shift/Reset the Penultimate
Backpropagator},
journal = {CoRR},
volume = {abs/1803.10228},
year = {2018},
url = {http://arxiv.org/abs/1803.10228},
eprinttype = {arXiv},
eprint = {1803.10228},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-08061,
author = {Dan Moldovan and
James M. Decker and
Fei Wang and
Andrew A. Johnson and
Brian K. Lee and
Zachary Nado and
D. Sculley and
Tiark Rompf and
Alexander B. Wiltschko},
title = {AutoGraph: Imperative-style Coding with Graph-based Performance},
journal = {CoRR},
volume = {abs/1810.08061},
year = {2018},
url = {http://arxiv.org/abs/1810.08061},
eprinttype = {arXiv},
eprint = {1810.08061},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-08061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovRNK18,
author = {Oleg Kiselyov and
Tiark Rompf and
Jennifer Neville and
Yukiyoshi Kameyama},
title = {Meta-Programming for Statistical Machine Learning {(NII} Shonan Meeting
2018-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/113/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KiselyovRNK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/WangR17,
author = {Fei Wang and
Tiark Rompf},
title = {Towards Strong Normalization for Dependent Object Types {(DOT)} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {05:1--05:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.5},
doi = {10.4230/DARTS.3.2.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/WangR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WangR17,
author = {Fei Wang and
Tiark Rompf},
editor = {Peter M{\"{u}}ller},
title = {Towards Strong Normalization for Dependent Object Types {(DOT)}},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {27:1--27:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.27},
doi = {10.4230/LIPICS.ECOOP.2017.27},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WangR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/OfenbeckRP17,
author = {Georg Ofenbeck and
Tiark Rompf and
Markus P{\"{u}}schel},
editor = {Matthew Flatt and
Sebastian Erdweg},
title = {Staging for generic programming in space and time},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2017, Vancouver,
BC, Canada, October 23-24, 2017},
pages = {15--28},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136040.3136060},
doi = {10.1145/3136040.3136060},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/OfenbeckRP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/ChangPRR17,
author = {Yiyang Chang and
Gustavo Petri and
Sanjay G. Rao and
Tiark Rompf},
title = {Composing middlebox and traffic engineering policies in SDNs},
booktitle = {2017 {IEEE} Conference on Computer Communications Workshops, {INFOCOM}
Workshops, Atlanta, GA, USA, May 1-4, 2017},
pages = {396--401},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INFCOMW.2017.8116409},
doi = {10.1109/INFCOMW.2017.8116409},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/ChangPRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RompfB17,
author = {Tiark Rompf and
Kevin J. Brown},
editor = {Ulrik Pagh Schultz and
Jeremy Yallop},
title = {Functional parallels of sequential imperatives (short paper)},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
2017},
pages = {83--88},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018882.3018891},
doi = {10.1145/3018882.3018891},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/RompfB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OsvaldR17,
author = {Leo Osvald and
Tiark Rompf},
editor = {Martin Elsman and
Clemens Grelck and
Andreas Kl{\"{o}}ckner and
David A. Padua and
Edgar Solomonik},
title = {Flexible data views: design and implementation},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Libraries,
Languages, and Compilers for Array Programming, ARRAY@PLDI 2017, Barcelona,
Spain, June 18, 2017},
pages = {25--32},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3091966.3091970},
doi = {10.1145/3091966.3091970},
timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
biburl = {https://dblp.org/rec/conf/pldi/OsvaldR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AminR17,
author = {Nada Amin and
Tiark Rompf},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Type soundness proofs with definitional interpreters},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {666--679},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009866},
doi = {10.1145/3009837.3009866},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/AminR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AminR17a,
author = {Nada Amin and
Tiark Rompf},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {LMS-Verify: abstraction without regret for verified systems programming},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {859--873},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009867},
doi = {10.1145/3009837.3009867},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AminR17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/OsvaldR17,
author = {Leo Osvald and
Tiark Rompf},
editor = {Heather Miller and
Philipp Haller and
Ondrej Lhot{\'{a}}k},
title = {Rust-like borrowing with 2nd-class values (short paper)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017},
pages = {13--17},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136000.3136010},
doi = {10.1145/3136000.3136010},
timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
biburl = {https://dblp.org/rec/conf/scala/OsvaldR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/2017,
editor = {Tiark Rompf and
Alexander Alexandrov},
title = {Proceedings of The 16th International Symposium on Database Programming
Languages, {DBPL} 2017, Munich, Germany, September 1, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122831},
doi = {10.1145/3122831},
isbn = {978-1-4503-5354-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EssertelTDBOR17,
author = {Gr{\'{e}}gory M. Essertel and
Ruby Y. Tahboub and
James M. Decker and
Kevin J. Brown and
Kunle Olukotun and
Tiark Rompf},
title = {Flare: Native Compilation for Heterogeneous Workloads in Apache Spark},
journal = {CoRR},
volume = {abs/1703.08219},
year = {2017},
url = {http://arxiv.org/abs/1703.08219},
eprinttype = {arXiv},
eprint = {1703.08219},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EssertelTDBOR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AminGORS16,
author = {Nada Amin and
Samuel Gr{\"{u}}tter and
Martin Odersky and
Tiark Rompf and
Sandro Stucki},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {The Essence of Dependent Object Types},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {249--272},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_14},
doi = {10.1007/978-3-319-30936-1\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AminGORS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rompf16,
author = {Tiark Rompf},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {The Essence of Multi-stage Evaluation in {LMS}},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {318--335},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_17},
doi = {10.1007/978-3-319-30936-1\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rompf16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/BrownLRSSAO16,
author = {Kevin J. Brown and
HyoukJoong Lee and
Tiark Rompf and
Arvind K. Sujeeth and
Christopher De Sa and
Christopher R. Aberger and
Kunle Olukotun},
editor = {Bj{\"{o}}rn Franke and
Youfeng Wu and
Fabrice Rastello},
title = {Have abstraction and eat performance, too: optimized heterogeneous
computing with parallel patterns},
booktitle = {Proceedings of the 2016 International Symposium on Code Generation
and Optimization, {CGO} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {194--205},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854038.2854042},
doi = {10.1145/2854038.2854042},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/cgo/BrownLRSSAO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/TahboubR16,
author = {Ruby Y. Tahboub and
Tiark Rompf},
editor = {Siva Ravada and
Mohammed Eunus Ali and
Shawn D. Newsam and
Matthias Renz and
Goce Trajcevski},
title = {On supporting compilation in spatial query engines: (vision paper)},
booktitle = {Proceedings of the 24th {ACM} {SIGSPATIAL} International Conference
on Advances in Geographic Information Systems, {GIS} 2016, Burlingame,
California, USA, October 31 - November 3, 2016},
pages = {9:1--9:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2996913.2996945},
doi = {10.1145/2996913.2996945},
timestamp = {Tue, 06 Nov 2018 11:07:36 +0100},
biburl = {https://dblp.org/rec/conf/gis/TahboubR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Rompf16,
author = {Tiark Rompf},
editor = {Bernd Fischer and
Ina Schaefer},
title = {Lightweight modular staging {(LMS):} generate all the things! (keynote)},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2016, Amsterdam,
The Netherlands, October 31 - November 1, 2016},
pages = {1},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993236.2993237},
doi = {10.1145/2993236.2993237},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Rompf16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OsvaldEWAR16,
author = {Leo Osvald and
Gr{\'{e}}gory M. Essertel and
Xilun Wu and
Lilliam I. Gonz{\'{a}}lez Alay{\'{o}}n and
Tiark Rompf},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Gentrification gone too far? affordable 2nd-class values for fun and
(co-)effect},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {234--251},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984009},
doi = {10.1145/2983990.2984009},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OsvaldEWAR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RompfA16,
author = {Tiark Rompf and
Nada Amin},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Type soundness for dependent object types {(DOT)}},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {624--641},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984008},
doi = {10.1145/2983990.2984008},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RompfA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/OfenbeckRP16,
author = {Georg Ofenbeck and
Tiark Rompf and
Markus P{\"{u}}schel},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {RandIR: differential testing for embedded compilers},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {21--30},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998397},
doi = {10.1145/2998392.2998397},
timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
biburl = {https://dblp.org/rec/conf/scala/OfenbeckRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/Rompf16,
author = {Tiark Rompf},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Reflections on {LMS:} exploring front-end alternatives},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {41--50},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998399},
doi = {10.1145/2998392.2998399},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/Rompf16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2016,
editor = {Martin Erwig and
Tiark Rompf},
title = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
20 - 22, 2016},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2847538},
isbn = {978-1-4503-4097-7},
timestamp = {Fri, 08 Jan 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RompfA15,
author = {Tiark Rompf and
Nada Amin},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Functional pearl: a {SQL} to {C} compiler in 500 lines of code},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {2--9},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784760},
doi = {10.1145/2784731.2784760},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/RompfA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/StuckiRUB15,
author = {Nicolas Stucki and
Tiark Rompf and
Vlad Ureche and
Phil Bagwell},
editor = {Kathleen Fisher and
John H. Reppy},
title = {{RRB} vector: a practical general purpose immutable sequence},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {342--354},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784739},
doi = {10.1145/2784731.2784739},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/StuckiRUB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/RompfBLSJAOSKDK15,
author = {Tiark Rompf and
Kevin J. Brown and
HyoukJoong Lee and
Arvind K. Sujeeth and
Manohar Jonnalagedda and
Nada Amin and
Georg Ofenbeck and
Alen Stojanov and
Yannis Klonatos and
Mohammad Dashti and
Christoph Koch and
Markus P{\"{u}}schel and
Kunle Olukotun},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Go Meta! {A} Case for Generative Programming and DSLs in Performance
Critical Systems},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {238--261},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.238},
doi = {10.4230/LIPICS.SNAPL.2015.238},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/RompfBLSJAOSKDK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015fhpc,
editor = {Tiark Rompf and
Geoffrey Mainland},
title = {Proceedings of the 4th {ACM} {SIGPLAN} Workshop on Functional High-Performance
Computing, FHPC@ICFP 2015, Vancouver, BC, Canada, September 3, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808091},
doi = {10.1145/2808091},
isbn = {978-1-4503-3807-3},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2015fhpc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RompfA15,
author = {Tiark Rompf and
Nada Amin},
title = {From {F} to {DOT:} Type Soundness Proofs with Definitional Interpreters},
journal = {CoRR},
volume = {abs/1510.05216},
year = {2015},
url = {http://arxiv.org/abs/1510.05216},
eprinttype = {arXiv},
eprint = {1510.05216},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RompfA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/OderskyR14,
author = {Martin Odersky and
Tiark Rompf},
title = {Unifying functional and object-oriented programming with Scala},
journal = {Commun. {ACM}},
volume = {57},
number = {4},
pages = {76--86},
year = {2014},
url = {https://doi.org/10.1145/2591013},
doi = {10.1145/2591013},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/OderskyR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/KlonatosKRC14,
author = {Yannis Klonatos and
Christoph Koch and
Tiark Rompf and
Hassan Chafi},
title = {Building Efficient Query Engines in a High-Level Language},
journal = {Proc. {VLDB} Endow.},
volume = {7},
number = {10},
pages = {853--864},
year = {2014},
url = {http://www.vldb.org/pvldb/vol7/p853-klonatos.pdf},
doi = {10.14778/2732951.2732959},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/KlonatosKRC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/KlonatosKRC14a,
author = {Yannis Klonatos and
Christoph Koch and
Tiark Rompf and
Hassan Chafi},
title = {Errata for "Building Efficient Query Engines in a High-Level
Language" {(PVLDB} 7(10): 853-864)},
journal = {Proc. {VLDB} Endow.},
volume = {7},
number = {13},
pages = {1784},
year = {2014},
url = {http://www.vldb.org/pvldb/vol7/p1784-klonatos.pdf},
doi = {10.14778/2733004.2733084},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/KlonatosKRC14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SujeethBLRCOO14,
author = {Arvind K. Sujeeth and
Kevin J. Brown and
HyoukJoong Lee and
Tiark Rompf and
Hassan Chafi and
Martin Odersky and
Kunle Olukotun},
title = {Delite: {A} Compiler Architecture for Performance-Oriented Embedded
Domain-Specific Languages},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {13},
number = {4s},
pages = {134:1--134:25},
year = {2014},
url = {https://doi.org/10.1145/2584665},
doi = {10.1145/2584665},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SujeethBLRCOO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/GeorgeLNRBSOOI14,
author = {Nithin George and
HyoukJoong Lee and
David Novo and
Tiark Rompf and
Kevin J. Brown and
Arvind K. Sujeeth and
Martin Odersky and
Kunle Olukotun and
Paolo Ienne},
title = {Hardware system synthesis from Domain-Specific Languages},
booktitle = {24th International Conference on Field Programmable Logic and Applications,
{FPL} 2014, Munich, Germany, 2-4 September, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FPL.2014.6927454},
doi = {10.1109/FPL.2014.6927454},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/fpl/GeorgeLNRBSOOI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/LeeBSRO14,
author = {HyoukJoong Lee and
Kevin J. Brown and
Arvind K. Sujeeth and
Tiark Rompf and
Kunle Olukotun},
title = {Locality-Aware Mapping of Nested Parallel Patterns on GPUs},
booktitle = {47th Annual {IEEE/ACM} International Symposium on Microarchitecture,
{MICRO} 2014, Cambridge, United Kingdom, December 13-17, 2014},
pages = {63--74},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/MICRO.2014.23},
doi = {10.1109/MICRO.2014.23},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micro/LeeBSRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AminRO14,
author = {Nada Amin and
Tiark Rompf and
Martin Odersky},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Foundations of path-dependent types},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {233--249},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660216},
doi = {10.1145/2660193.2660216},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AminRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JonnalageddaCSRO14,
author = {Manohar Jonnalagedda and
Thierry Coppey and
Sandro Stucki and
Tiark Rompf and
Martin Odersky},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Staged parser combinators for efficient data processing},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {637--653},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660241},
doi = {10.1145/2660193.2660241},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JonnalageddaCSRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/StojanovORP14,
author = {Alen Stojanov and
Georg Ofenbeck and
Tiark Rompf and
Markus P{\"{u}}schel},
editor = {Laurie J. Hendren and
Alex Rubinsteyn and
Mary Sheeran and
Jan Vitek},
title = {Abstracting Vector Architectures in Library Generators: Case Study
Convolution Filters},
booktitle = {ARRAY'14: Proceedings of the 2014 {ACM} {SIGPLAN} International Workshop
on Libraries, Languages, and Compilers for Array Programming, Edinburgh,
United Kingdom, June 12-13, 2014},
pages = {14--19},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2627373.2627376},
doi = {10.1145/2627373.2627376},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/StojanovORP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RompfSBLCO14,
author = {Tiark Rompf and
Arvind K. Sujeeth and
Kevin J. Brown and
HyoukJoong Lee and
Hassan Chafi and
Kunle Olukotun},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Surgical precision {JIT} compilers},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {41--52},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594316},
doi = {10.1145/2594291.2594316},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RompfSBLCO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AminLR14,
author = {Nada Amin and
K. Rustan M. Leino and
Tiark Rompf},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Computing with an {SMT} Solver},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {20--35},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_2},
doi = {10.1007/978-3-319-09099-3\_2},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/AminLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014wgp,
editor = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Tiark Rompf},
title = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2014, Gothenburg, Sweden, August 31, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633628},
doi = {10.1145/2633628},
isbn = {978-1-4503-3042-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2014wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StuckiAJR13,
author = {Sandro Stucki and
Nada Amin and
Manohar Jonnalagedda and
Tiark Rompf},
title = {What are the Odds?: probabilistic programming in Scala},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {11:1--11:9},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489848},
doi = {10.1145/2489837.2489848},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/StuckiAJR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SujeethRBLCPWPJOO13,
author = {Arvind K. Sujeeth and
Tiark Rompf and
Kevin J. Brown and
HyoukJoong Lee and
Hassan Chafi and
Victoria Popic and
Michael Wu and
Aleksandar Prokopec and
Vojin Jovanovic and
Martin Odersky and
Kunle Olukotun},
editor = {Giuseppe Castagna},
title = {Composition and Reuse with Compiled Domain-Specific Languages},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {52--78},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_3},
doi = {10.1007/978-3-642-39038-8\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SujeethRBLCPWPJOO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/GeorgeNROI13,
author = {Nithin George and
David Novo and
Tiark Rompf and
Martin Odersky and
Paolo Ienne},
title = {Making domain-specific hardware synthesis tools cost-efficient},
booktitle = {2013 International Conference on Field-Programmable Technology, {FPT}
2013, Kyoto, Japan, December 9-11, 2013},
pages = {120--127},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FPT.2013.6718341},
doi = {10.1109/FPT.2013.6718341},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fpt/GeorgeNROI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/OfenbeckRSOP13,
author = {Georg Ofenbeck and
Tiark Rompf and
Alen Stojanov and
Martin Odersky and
Markus P{\"{u}}schel},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Spiral in scala: towards the systematic construction of generators
for performance libraries},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {125--134},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517228},
doi = {10.1145/2517208.2517228},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/OfenbeckRSOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/SujeethGBLROO13,
author = {Arvind K. Sujeeth and
Austin Gibbons and
Kevin J. Brown and
HyoukJoong Lee and
Tiark Rompf and
Martin Odersky and
Kunle Olukotun},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Forge: generating a high performance {DSL} implementation from a declarative
specification},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {145--154},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517220},
doi = {10.1145/2517208.2517220},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/SujeethGBLROO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RompfSABJLJOO13,
author = {Tiark Rompf and
Arvind K. Sujeeth and
Nada Amin and
Kevin J. Brown and
Vojin Jovanovic and
HyoukJoong Lee and
Manohar Jonnalagedda and
Kunle Olukotun and
Martin Odersky},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Optimizing data structures in high-level programs: new directions
for extensible compilers based on staging},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {497--510},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429128},
doi = {10.1145/2429069.2429128},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RompfSABJLJOO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ch/Rompf12,
author = {Tiark Rompf},
title = {Lightweight Modular Staging and Embedded Compilers - Abstraction without
Regret for High-Level High-Performance Programming},
school = {EPFL, Switzerland},
year = {2012},
url = {https://doi.org/10.5075/epfl-thesis-5456},
doi = {10.5075/EPFL-THESIS-5456},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ch/Rompf12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RompfO12,
author = {Tiark Rompf and
Martin Odersky},
title = {Lightweight modular staging: a pragmatic approach to runtime code
generation and compiled DSLs},
journal = {Commun. {ACM}},
volume = {55},
number = {6},
pages = {121--130},
year = {2012},
url = {https://doi.org/10.1145/2184319.2184345},
doi = {10.1145/2184319.2184345},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/RompfO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/RompfAMHO12,
author = {Tiark Rompf and
Nada Amin and
Adriaan Moors and
Philipp Haller and
Martin Odersky},
title = {Scala-Virtualized: linguistic reuse for deep embeddings},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {1},
pages = {165--207},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9096-9},
doi = {10.1007/S10990-013-9096-9},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/RompfAMHO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KossakowskiARO12,
author = {Grzegorz Kossakowski and
Nada Amin and
Tiark Rompf and
Martin Odersky},
editor = {James Noble},
title = {JavaScript as an Embedded {DSL}},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {409--434},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_19},
doi = {10.1007/978-3-642-31057-7\_19},
timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KossakowskiARO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/UrecheRSCO12,
author = {Vlad Ureche and
Tiark Rompf and
Arvind K. Sujeeth and
Hassan Chafi and
Martin Odersky},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {StagedSAC: a case study in performance-oriented {DSL} development},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {73--82},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103762},
doi = {10.1145/2103746.2103762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/UrecheRSCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MoorsRHO12,
author = {Adriaan Moors and
Tiark Rompf and
Philipp Haller and
Martin Odersky},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Scala-virtualized},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {117--120},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103769},
doi = {10.1145/2103746.2103769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MoorsRHO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/HinkelmannJMRS11,
author = {Markus Hinkelmann and
Andreas Jakoby and
Nina Moebius and
Tiark Rompf and
Peer Stechert},
title = {A cryptographically \emph{t}-private auction system},
journal = {Concurr. Comput. Pract. Exp.},
volume = {23},
number = {12},
pages = {1399--1413},
year = {2011},
url = {https://doi.org/10.1002/cpe.1684},
doi = {10.1002/CPE.1684},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/HinkelmannJMRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/LeeBSCROO11,
author = {HyoukJoong Lee and
Kevin J. Brown and
Arvind K. Sujeeth and
Hassan Chafi and
Tiark Rompf and
Martin Odersky and
Kunle Olukotun},
title = {Implementing Domain-Specific Languages for Heterogeneous Parallel
Computing},
journal = {{IEEE} Micro},
volume = {31},
number = {5},
pages = {42--53},
year = {2011},
url = {https://doi.org/10.1109/MM.2011.68},
doi = {10.1109/MM.2011.68},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/LeeBSCROO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/BrownSLRCOO11,
author = {Kevin J. Brown and
Arvind K. Sujeeth and
HyoukJoong Lee and
Tiark Rompf and
Hassan Chafi and
Martin Odersky and
Kunle Olukotun},
editor = {Lawrence Rauchwerger and
Vivek Sarkar},
title = {A Heterogeneous Parallel Framework for Domain-Specific Languages},
booktitle = {2011 International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2011, Galveston, TX, USA, October 10-14, 2011},
pages = {89--100},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PACT.2011.15},
doi = {10.1109/PACT.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/BrownSLRCOO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ProkopecBRO11,
author = {Aleksandar Prokopec and
Phil Bagwell and
Tiark Rompf and
Martin Odersky},
editor = {Emmanuel Jeannot and
Raymond Namyst and
Jean Roman},
title = {A Generic Parallel Collection Framework},
booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference,
Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6853},
pages = {136--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23397-5\_14},
doi = {10.1007/978-3-642-23397-5\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/ProkopecBRO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SujeethLBRCWAOO11,
author = {Arvind K. Sujeeth and
HyoukJoong Lee and
Kevin J. Brown and
Tiark Rompf and
Hassan Chafi and
Michael Wu and
Anand R. Atreya and
Martin Odersky and
Kunle Olukotun},
editor = {Lise Getoor and
Tobias Scheffer},
title = {OptiML: An Implicitly Parallel Domain-Specific Language for Machine
Learning},
booktitle = {Proceedings of the 28th International Conference on Machine Learning,
{ICML} 2011, Bellevue, Washington, USA, June 28 - July 2, 2011},
pages = {609--616},
publisher = {Omnipress},
year = {2011},
url = {https://icml.cc/2011/papers/373\_icmlpaper.pdf},
timestamp = {Wed, 03 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/SujeethLBRCWAOO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0778,
author = {Tiark Rompf and
Arvind K. Sujeeth and
HyoukJoong Lee and
Kevin J. Brown and
Hassan Chafi and
Martin Odersky and
Kunle Olukotun},
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Building-Blocks for Performance Oriented DSLs},
booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
pages = {93--117},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66.5},
doi = {10.4204/EPTCS.66.5},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/RompfO10,
author = {Tiark Rompf and
Martin Odersky},
editor = {Eelco Visser and
Jaakko J{\"{a}}rvi},
title = {Lightweight modular staging: a pragmatic approach to runtime code
generation and compiled DSLs},
booktitle = {Generative Programming And Component Engineering, Proceedings of the
Ninth International Conference on Generative Programming and Component
Engineering, {GPCE} 2010, Eindhoven, The Netherlands, October 10-13,
2010},
pages = {127--136},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868294.1868314},
doi = {10.1145/1868294.1868314},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/RompfO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChafiDMRSHOO10,
author = {Hassan Chafi and
Zach DeVito and
Adriaan Moors and
Tiark Rompf and
Arvind K. Sujeeth and
Pat Hanrahan and
Martin Odersky and
Kunle Olukotun},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Language virtualization for heterogeneous parallel computing},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {835--847},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869527},
doi = {10.1145/1869459.1869527},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChafiDMRSHOO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RompfMO09,
author = {Tiark Rompf and
Ingo Maier and
Martin Odersky},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Implementing first-class polymorphic delimited continuations by a
type-directed selective CPS-transform},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {317--328},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596596},
doi = {10.1145/1596550.1596596},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/RompfMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nss/HinkelmannJMRS09,
author = {Markus Hinkelmann and
Andreas Jakoby and
Nina Moebius and
Tiark Rompf and
Peer Stechert},
editor = {Yang Xiang and
Javier L{\'{o}}pez and
Haining Wang and
Wanlei Zhou},
title = {A Cryptographically t-Private Auction System},
booktitle = {Third International Conference on Network and System Security, {NSS}
2009, Gold Coast, Queensland, Australia, October 19-21, 2009},
pages = {44--51},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/NSS.2009.41},
doi = {10.1109/NSS.2009.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nss/HinkelmannJMRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
