Tiark Rompf - RankMe

116 papers A* 9A 14B 14C 5Misc 1Journal 46Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types. CoRR Siyuan He, Songlin Jia, Tiark Rompf
2025	J	`jnl`	Complete the Cycle: Reachability Types with Expressive Cyclic References. CoRR Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025	J	`jnl`	Complete the Cycle: Reachability Types with Expressive Cyclic References. Proc. ACM Program. Lang. Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025	J	`jnl`	Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer. CoRR Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2025	J	`jnl`	Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory. Proc. ACM Program. Lang. Yuyan Bao, Songlin Jia, Guannan Wei, Oliver Bracevac, Tiark Rompf
2025	J	`jnl`	Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness. CoRR Yuyan Bao, Tiark Rompf
2025	J	`jnl`	Typestate via Revocable Capabilities. CoRR Songlin Jia, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao, Tiark Rompf
2025	J	`jnl`	When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking. CoRR Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
2024	J	`jnl`	Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking. CoRR Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
2024	J	`jnl`	Flan: An Expressive and Efficient Datalog Compiler for Program Analysis. Proc. ACM Program. Lang. Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf
2024	J	`jnl`	Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proc. ACM Program. Lang. Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
2024	C	`conf`	Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. PADL Supun Abeysinghe, Tiark Rompf
2024	Misc	`conf`	Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description. FLOPS Supun Abeysinghe, Tiark Rompf
2024	B	`conf`	Specializing Data Access in a Distributed File System (Generative Pearl). GPCE Pratyush Das, Anxhelo Xhebraj, Tiark Rompf
2023	J	`jnl`	Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems. CoRR Supun Abeysinghe, Fei Wang, Grégory M. Essertel, Tiark Rompf
2023	A*	`conf`	Compiling Parallel Symbolic Execution with Continuations. ICSE Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2023	J	`jnl`	Graph IRs for Impure Higher-Order Languages (Technical Report). CoRR Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
2023	J	`jnl`	Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. Proc. ACM Program. Lang. Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
2023	J	`jnl`	Modeling Reachability Types with Logical Relations. CoRR Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf
2023	J	`jnl`	Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. CoRR Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
2022	—	`conf`	Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI). SIGMOD Conference Supun Abeysinghe, Qiyang He, Tiark Rompf
2022	J	`jnl`	OCTAL: Graph Representation Learning for LTL Model Checking. CoRR Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf
2022	J	`jnl`	What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact). Dagstuhl Artifacts Ser. Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
2022	A	`conf`	What If We Don't Pop the Stack? The Return of 2nd-Class Values. ECOOP Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
2021	B	`conf`	HACCLE: metaprogramming for secure multi-party computation. GPCE Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
2021	—	`conf`	LLSC: a parallel symbolic execution compiler for LLVM IR. ESEC/SIGSOFT FSE Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2021	B	`conf`	On-stack replacement for program generators and source-to-source compilers. GPCE Grégory M. Essertel, Ruby Y. Tahboub, Tiark Rompf
2021	J	`jnl`	Reachability types: tracking aliasing and separation in higher-order functional programs. Proc. ACM Program. Lang. Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf
2020	—	`conf`	Architecting a Query Compiler for Spatial Workloads. SIGMOD Conference Ruby Y. Tahboub, Tiark Rompf
2020	J	`jnl`	Compiling symbolic execution with staging and algebraic effects. Proc. ACM Program. Lang. Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf
2020	J	`jnl`	HACCLE: An Ecosystem for Building Secure Multi-Party Computations. CoRR Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
2020	J	`jnl`	Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi, Mung Chiang, David Corman, Brian J. Henz, Suman Jana, Na Li, Shaoshuai Mou, Meeko Oishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller
2019	J	`jnl`	A SQL to C compiler in 500 lines of code. J. Funct. Program. Tiark Rompf, Nada Amin
2019	B	`conf`	A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions. GPCE Alen Stojanov, Tiark Rompf, Markus Püschel
2019	—	`conf`	AutoGraph: Imperative-style Coding with Graph-based Performance. SysML Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko
2019	J	`jnl`	Compiling with continuations, or without? whatever. Proc. ACM Program. Lang. Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf
2019	J	`jnl`	Demystifying differentiable programming: shift/reset the penultimate backpropagator. Proc. ACM Program. Lang. Fei Wang, Daniel Zheng, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf
2019	J	`jnl`	Flare & Lantern: Efficiently Swapping Horses Midstream. Proc. VLDB Endow. Grégory M. Essertel, Ruby Y. Tahboub, Fei Wang, James M. Decker, Tiark Rompf
2019	J	`jnl`	Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers. CoRR Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf
2019	B	`conf`	Lightweight Functional Logic Meta-Programming. APLAS Nada Amin, William E. Byrd, Tiark Rompf
2019	—	`conf`	Parallel Training via Computation Graph Transformation. IEEE BigData Fei Wang, Guoyang Chen, Weifeng Zhang, Tiark Rompf
2019	J	`jnl`	Precise reasoning with structured time, structured heaps, and collective operations. Proc. ACM Program. Lang. Grégory M. Essertel, Guannan Wei, Tiark Rompf
2019	J	`jnl`	Staged abstract interpreters: fast and modular whole-program analysis via meta-programming. Proc. ACM Program. Lang. Guannan Wei, Yuxuan Chen, Tiark Rompf
2019	—	`conf`	Towards compiling graph queries in relational engines. DBPL Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, Tiark Rompf
2018	—	`conf`	A Language and Compiler View on Differentiable Programming. ICLR (Workshop) Fei Wang, Tiark Rompf
2018	J	`jnl`	AutoGraph: Imperative-style Coding with Graph-based Performance. CoRR Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko
2018	A*	`conf`	Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming. NeurIPS Fei Wang, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf
2018	J	`jnl`	Collapsing towers of interpreters. Proc. ACM Program. Lang. Nada Amin, Tiark Rompf
2018	J	`jnl`	Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator. CoRR Fei Wang, Xilun Wu, Grégory M. Essertel, James M. Decker, Tiark Rompf
2018	A*	`conf`	Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data. OSDI Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf
2018	J	`jnl`	From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero. CoRR Fei Wang, Tiark Rompf
2018	—	`conf`	How to Architect a Query Compiler, Revisited. SIGMOD Conference Ruby Y. Tahboub, Grégory M. Essertel, Tiark Rompf
2018	J	`jnl`	Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7). NII Shonan Meet. Rep. Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
2018	B	`ed.`	Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018 GPCE Eric Van Wyk, Tiark Rompf
2018	J	`jnl`	Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl). Proc. ACM Program. Lang. Guannan Wei, James M. Decker, Tiark Rompf
2018	A	`conf`	SIMD intrinsics on managed language runtimes. CGO Alen Stojanov, Ivaylo Toskov, Tiark Rompf, Markus Püschel
2017	—	`conf`	Composing middlebox and traffic engineering policies in SDNs. INFOCOM Workshops Yiyang Chang, Gustavo Petri, Sanjay G. Rao, Tiark Rompf
2017	J	`jnl`	Flare: Native Compilation for Heterogeneous Workloads in Apache Spark. CoRR Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf
2017	—	`conf`	Flexible data views: design and implementation. ARRAY@PLDI Leo Osvald, Tiark Rompf
2017	C	`conf`	Functional parallels of sequential imperatives (short paper). PEPM Tiark Rompf, Kevin J. Brown
2017	A*	`conf`	LMS-Verify: abstraction without regret for verified systems programming. POPL Nada Amin, Tiark Rompf
2017	—	`ed.`	Proceedings of The 16th International Symposium on Database Programming Languages, DBPL 2017, Munich, Germany, September 1, 2017 DBPL Tiark Rompf, Alexander Alexandrov
2017	—	`conf`	Rust-like borrowing with 2nd-class values (short paper). SCALA@SPLASH Leo Osvald, Tiark Rompf
2017	B	`conf`	Staging for generic programming in space and time. GPCE Georg Ofenbeck, Tiark Rompf, Markus Püschel
2017	J	`jnl`	Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). Dagstuhl Artifacts Ser. Fei Wang, Tiark Rompf
2017	A	`conf`	Towards Strong Normalization for Dependent Object Types (DOT). ECOOP Fei Wang, Tiark Rompf
2017	A*	`conf`	Type soundness proofs with definitional interpreters. POPL Nada Amin, Tiark Rompf
2016	A	`conf`	Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. OOPSLA Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf
2016	A	`conf`	Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns. CGO Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Arvind K. Sujeeth, Christopher De Sa, Christopher R. Aberger, Kunle Olukotun
2016	B	`conf`	Lightweight modular staging (LMS): generate all the things! (keynote). GPCE Tiark Rompf
2016	—	`conf`	On supporting compilation in spatial query engines: (vision paper). SIGSPATIAL/GIS Ruby Y. Tahboub, Tiark Rompf
2016	C	`ed.`	Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 PEPM Martin Erwig, Tiark Rompf
2016	—	`conf`	RandIR: differential testing for embedded compilers. SCALA@SPLASH Georg Ofenbeck, Tiark Rompf, Markus Püschel
2016	—	`conf`	Reflections on LMS: exploring front-end alternatives. SCALA@SPLASH Tiark Rompf
2016	—	`conf`	The Essence of Dependent Object Types. A List of Successes That Can Change the World Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
2016	—	`conf`	The Essence of Multi-stage Evaluation in LMS. A List of Successes That Can Change the World Tiark Rompf
2016	A	`conf`	Type soundness for dependent object types (DOT). OOPSLA Tiark Rompf, Nada Amin
2015	J	`jnl`	From F to DOT: Type Soundness Proofs with Definitional Interpreters. CoRR Tiark Rompf, Nada Amin
2015	A	`conf`	Functional pearl: a SQL to C compiler in 500 lines of code. ICFP Tiark Rompf, Nada Amin
2015	—	`conf`	Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. SNAPL Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, Kunle Olukotun
2015	—	`ed.`	Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC@ICFP 2015, Vancouver, BC, Canada, September 3, 2015 FHPC@ICFP Tiark Rompf, Geoffrey Mainland
2015	A	`conf`	RRB vector: a practical general purpose immutable sequence. ICFP Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell
2014	—	`conf`	Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters. ARRAY@PLDI Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel
2014	J	`jnl`	Building Efficient Query Engines in a High-Level Language. Proc. VLDB Endow. Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi
2014	—	`conf`	Computing with an SMT Solver. TAP@STAF Nada Amin, K. Rustan M. Leino, Tiark Rompf
2014	J	`jnl`	Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages. ACM Trans. Embed. Comput. Syst. Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
2014	J	`jnl`	Errata for "Building Efficient Query Engines in a High-Level Language" (PVLDB 7(10): 853-864). Proc. VLDB Endow. Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi
2014	A	`conf`	Foundations of path-dependent types. OOPSLA Nada Amin, Tiark Rompf, Martin Odersky
2014	B	`conf`	Hardware system synthesis from Domain-Specific Languages. FPL Nithin George, HyoukJoong Lee, David Novo, Tiark Rompf, Kevin J. Brown, Arvind K. Sujeeth, Martin Odersky, Kunle Olukotun, Paolo Ienne
2014	A*	`conf`	Locality-Aware Mapping of Nested Parallel Patterns on GPUs. MICRO HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Tiark Rompf, Kunle Olukotun
2014	—	`ed.`	Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014 WGP@ICFP José Pedro Magalhães, Tiark Rompf
2014	A	`conf`	Staged parser combinators for efficient data processing. OOPSLA Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
2014	A*	`conf`	Surgical precision JIT compilers. PLDI Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun
2014	J	`jnl`	Unifying functional and object-oriented programming with Scala. Commun. ACM Martin Odersky, Tiark Rompf
2013	A	`conf`	Composition and Reuse with Compiled Domain-Specific Languages. ECOOP Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun
2013	B	`conf`	Forge: generating a high performance DSL implementation from a declarative specification. GPCE Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun
2013	—	`conf`	Making domain-specific hardware synthesis tools cost-efficient. FPT Nithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne
2013	A*	`conf`	Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
2013	B	`conf`	Spiral in scala: towards the systematic construction of generators for performance libraries. GPCE Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel
2013	—	`conf`	What are the Odds?: probabilistic programming in Scala. SCALA@ECOOP Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
2012	A	`conf`	JavaScript as an Embedded DSL. ECOOP Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
2012	—	`—`	Lightweight Modular Staging and Embedded Compilers - Abstraction without Regret for High-Level High-Performance Programming. Tiark Rompf
2012	J	`jnl`	Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM Tiark Rompf, Martin Odersky
2012	J	`jnl`	Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
2012	C	`conf`	Scala-virtualized. PEPM Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
2012	C	`conf`	StagedSAC: a case study in performance-oriented DSL development. PEPM Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky
2011	—	`conf`	A Generic Parallel Collection Framework. Euro-Par (2) Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky
2011	B	`conf`	A Heterogeneous Parallel Framework for Domain-Specific Languages. PACT Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
2011	J	`jnl`	A cryptographically Concurr. Comput. Pract. Exp. Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert
2011	—	`conf`	Building-Blocks for Performance Oriented DSLs DSL Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun
2011	J	`jnl`	Implementing Domain-Specific Languages for Heterogeneous Parallel Computing. IEEE Micro HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Hassan Chafi, Tiark Rompf, Martin Odersky, Kunle Olukotun
2011	A*	`conf`	OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. ICML Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun
2010	A	`conf`	Language virtualization for heterogeneous parallel computing. OOPSLA Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun
2010	B	`conf`	Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE Tiark Rompf, Martin Odersky
2009	B	`conf`	A Cryptographically t-Private Auction System. NSS Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert
2009	A	`conf`	Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP Tiark Rompf, Ingo Maier, Martin Odersky