Publications

2019

B. Knuchel : Staged Tagless Interpreters in Dotty. 2019-01-17.

2018

N. A. Stucki; P. G. Giarrusso; M. Odersky : Truly abstract interfaces for algebraic data types: the extractor typing problem. 2018-09-28. Scala 2018, St. Louis, Missouri, USA, September 28-28, 2018. DOI : 10.1145/3241653.3241658.
D. Shabalin; M. Odersky : Interflow: interprocedural flow-sensitive type inference and method duplication, Proceedings of the 9th ACM SIGPLAN International Symposium on Scala - Scala 2018. 2018-09-28. Scala 2018, St. Louis, MO, USA, September 28 - 28, 2018. p. 61-71. DOI : 10.1145/3241653.3241660.
F. Liu; A. Biboudis; M. Odersky : Initialization patterns in Dotty. 2018-09-28. p. 51-55. DOI : 10.1145/3241653.3241662.
D. Klug; H. Miller : Open Source Is A-Changin': How Qualitative Research Can Help Us Adapt. 2018-05-01.
A. Prokopec; F. Liu : Theory and Practice of Coroutines with Snapshots. 2018. DOI : 10.4230/LIPICS.ECOOP.2018.3.
N. Stucki; A. Biboudis; M. Odersky : A Practical Unification of Multi-stage Programming and Macros. 2018. 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Boston, MA, USA, November 5–6, 2018. DOI : 10.1145/3278122.3278139.
C. Meiklejohn; Z. Lakhani; H. Miller : Towards a Solution to the Red Wedding Problem. 2018.
P. Haller; H. Miller; N. Müller : A Programming Model and Foundation for Lineage-Based Distributed Computation; Journal of Functional Programming. 2018. DOI : 10.1017/S0956796818000035.

2017

D. Petrashko / M. Odersky (Dir.) : Design and implementation of an optimizing type-centric compiler for a high-level language. Lausanne, EPFL, 2017. DOI : 10.5075/epfl-thesis-7979.
S. Stucki / M. Odersky (Dir.) : Higher-Order Subtyping with Type Intervals. Lausanne, EPFL, 2017. DOI : 10.5075/epfl-thesis-8014.
K. Clancy; H. Miller; C. Meiklejohn : Monotonicity Types. 2017.
F. Liu; E. Burmako : Two approaches to portable macros. 2017.
K. Clancy; H. Miller : Monotonicity Types for Distributed Dataflow. 2017. 2nd Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017.
M. Odersky; O. Blanvillain; F. Liu; A. Biboudis; H. Miller et al. : Simplicitly: Foundations and Applications of Implicit Function Types. 2017. 45th ACM SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, California, United States, Sun 7 - Sat 13 January 2018. DOI : 10.1145/3158130.
M. Odersky; A. Biboudis; F. Liu; O. Blanvillain : Foundations of Implicit Function Types. 2017.
D. Petrashko; O. Lhoták; M. Odersky : Miniphases: Compilation using Modular and Efficient Tree Transformations. 2017. PLDI, Barcelona, Spain, Sun 18 - Fri 23 June 2017. p. 201-216. DOI : 10.1145/3062341.3062346.
N. Amin; T. Rompf : LMS-Verify: Abstraction without Regret for Verified Systems Programming’. 2017. POPL 2017, Paris, France, January 15 - 21, 2017. DOI : 10.1145/3009837.3009867.
N. Amin; T. Rompf : Type Soundness Proofs with Definitional Interpreters. 2017. POPL 2017, Paris, France, January 15 - 21, 2017. DOI : 10.1145/3009837.3009866.
E. Burmako / M. Odersky (Dir.) : Unification of Compile-Time and Runtime Metaprogramming in Scala. Lausanne, EPFL, 2017. DOI : 10.5075/epfl-thesis-7159.
R. M. Beguet; N. A. Stucki; D. Petrashko; M. Odersky : Call-graph-based Optimizations in Scala. 2017.

2016

T. Rompf; N. Amin : Type Soundness for Dependent Object Types’. 2016. OOPSLA 2016, Amsterdam, Netherlands, November 02 - 04, 2016. DOI : 10.1145/2983990.2984008.
N. Amin; R. Tate : Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers. 2016. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Amsterdam, NETHERLANDS, NOV 02-04, 2016. p. 838-848. DOI : 10.1145/2983990.2984004.
T. Rompf; N. Amin : Type Soundness for Dependent Object Types (DOT). 2016. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Amsterdam, NETHERLANDS, NOV 02-04, 2016. p. 624-641. DOI : 10.1145/2983990.2984008.
M. Odersky; E. Burmako; D. Petrashko : A TASTY Alternative. 2016.
M. Odersky; E. Burmako; D. Petrashko : TASTY Reference Manual. 2016.
F. Liu : A generic algorithm for checking exhaustivity of pattern matching. 2016. SCALA 2016, Amsterdam, Netherlands, October 30 - 31, 2016. p. 61-64. DOI : 10.1145/2998392.2998401.
S. Doeraene; T. Schlatter; N. Stucki : Semantics-Driven Interoperability between Scala.js and JavaScript. 2016. 7th ACM SIGPLAN Symposium on Scala, Amsterdam, Netherlands, October 30-31, 2016. p. 85-94. DOI : 10.1145/2998392.2998404.
N. Amin / M. Odersky (Dir.) : Dependent Object Types. Lausanne, EPFL, 2016. DOI : 10.5075/epfl-thesis-7156.
M. Jonnalagedda / M. Odersky (Dir.) : Specialising Parsers for Queries. Lausanne, EPFL, 2016. DOI : 10.5075/epfl-thesis-7249.
M. Odersky; G. Martres; D. Petrashko : Implementing Higher-Kinded Types in Dotty. 2016. Scala Symposium 2016, Amsterdam, Oct 30-31, 2016. DOI : 10.1145/2998392.2998400.
A. V. R. Renucci; D. Petrashko : Auto-Collections for Scala. 2016.
A. Alfonso Peterssen; D. Petrashko : Delaying arrays. 2016.
P. Haller; N. Müller; H. Miller : The Function Passing Model: Types, Proofs, and Semantics. 2016.
F. Liu : A Study of Capability-Based Effect Systems ; 2016.
V. Jovanovic / M. Odersky (Dir.) : Uniting Language Embeddings for Fast and Friendly DSLs. Lausanne, EPFL, 2016. DOI : 10.5075/epfl-thesis-6882.
D. Petrashko; V. Ureche; O. Lhot\'{a}k; M. Odersky : Call Graphs for Languages with Parametric Polymorphism. 2016.
N. Amin; K. S. Grütter; M. Odersky; T. Rompf; S. Stucki : The Essence of Dependent Object Types. 2016. WadlerFest 2016, Edinburgh, UK, April 11-12, 2016. p. 249-272. DOI : 10.1007/978-3-319-30936-1_14.
H. Plociniczak / M. Odersky (Dir.) : Decrypting Local Type Inference. Lausanne, EPFL, 2016. DOI : 10.5075/epfl-thesis-6741.
H. Miller; P. Haller; N. Müller; J. Boullier : Function Passing: A Model for Typed, Distributed Functional Programming. 2016. ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity, Onward! Research Papers, Amsterdam, Netherlands, November 2-4, 2016. p. 82-97. DOI : 10.1145/2986012.2986014.

2015

A. Prokopec; M. Odersky : Isolates, channels, and event streams for composable distributed programming. 2015. 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Pittsburgh, PA, USA, October 25 - 30, 2015. p. 171-182. DOI : 10.1145/2814228.2814245.
N. Amin; R. Tate : Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers. 2015. OOPSLA 2016, Amsterdam, Netherlands, November 02 - 04, 2016. DOI : 10.1145/2983990.2984004.
T. Rompf; N. Amin : Functional Pearl: A SQL to C Compiler in 500 Lines of Code’. 2015. ICFP 2015, Vancouver, BC, Canada, August 31 - September 02, 2015. DOI : 10.1145/2784731.2784760.
A. V. R. Renucci; D. Petrashko; M. Odersky : Common Subexpression Elimination in Dotty. 2015.
A. J. D. Sikiaridis; D. Petrashko; M. Odersky : Implementing Method Type Specialisation In Dotty. 2015.
M. Duhem; E. Burmako : Parser Macros for Scala. 2015.
M. Demarne; E. Burmako : Style Checking With Scala.Meta. 2015.
T. Rompf; N. Amin : Functional Pearl: A SQL to C Compiler in 500 Lines of Code. 2015. 20th ACM SIGPLAN International Conference on Functional Programming (ICFP), Vancouver, CANADA, AUG 31-SEP 02, 2015. p. 2-9. DOI : 10.1145/2784731.2784760.
M. O. Denys Shabalin : Region-based off-heap memory for Scala. 2015.
N. A. Stucki; T. Rompf; P. Bagwell; V. Ureche; M. Odersky : RRB Vector: A Practical General Purpose Immutable Sequence. 2015. International Conference on Functional Programming (ICFP), Vancouver, BC, Canada, August 31 – September 2, 2015. p. 342--354. DOI : 10.1145/2784731.2784739.
H. Miller / M. Odersky (Dir.) : Language Support for Distributed Functional Programming. Lausanne, EPFL, 2015. DOI : 10.5075/epfl-thesis-6784.
M. Stojanovic : Interoperation between Miniboxing and Other Generics Translations ; 2015.
V. Danos; T. Heindel; R. Honorato-Zimmer; S. Stucki : Moment Semantics for Reversible Rule-Based Systems. 2015. 7th International Conference on Reversible Computation, Grenoble, France, July 16-17, 2015. p. 3-26. DOI : 10.1007/978-3-319-20860-2_1.
M. Jonnalagedda; S. Stucki : Fold-based fusion as a library: a generative programming pearl. 2015. 6th ACM SIGPLAN Symposium on Scala, Portland, OR, USA, June 13, 2015. p. 41-50. DOI : 10.1145/2774975.2774981.
R. M. Beguet : Miniboxing and the MbArray API ; 2015.
V. Ureche; M. Stojanovic; R. M. Beguet; N. A. Stucki; M. Odersky : Improving the Interoperation between Generics Translations. 2015. Principles and Practices of Programming on the Java platform (PPPJ), Melbourne, Florida, USA, September 9-11, 2015.
V. Ureche; A. Biboudis; Y. Smaragdakis; M. Odersky : Automating Ad hoc Data Representation Transformations. 2015. Object Oriented Programming Systems Languages and Applications (OOPSLA)', u"[u'ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Pittsburgh, PA, USA, October 25-30, 2015. p. 801-820. DOI : 10.1145/2814270.2814271.
N. Stucki : Turning Relaxed Radix Balanced Vector from Theory into Practice for Scala Collections (Master Thesis) ; 2015.
P. Haller; H. Miller : Distributed Programming via Safe Closure Passing. 2015. Programming Language Approaches to Communication and Concurrency Centric Systems, London, UK, April 18, 2015.
M. N. Duhem; E. Burmako : Macros in sbt: Problem Solved!. 2015.
A. Ghosn; E. Burmako : Obey: Code Health for Scala.Meta. 2015.
E. Beguet; E. Burmako : Traversal Query Language For Scala.Meta. 2015.

2014

V. Danos; T. Heindel; R. Honorato-Zimmer; S. Stucki : Reversible Sesqui-Pushout Rewriting, Graph Transformation. 2014-07-22. 7th International Conference on Graph Transformation, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. p. 161-176. DOI : 10.1007/978-3-319-09108-2_11.
N. Amin; R. Leino; T. Rompf : Computing with an SMT Solver. 2014. DOI : 10.1007/978-3-319-09099-3_2.
A. Angel; D. Petrashko; M. Odersky : BlitzViews - lazy parallel operations for Scala collections. 2014.
D. Shabalin : Hygiene for Scala ; 2014.
V. Danos; T. Heindel; R. Honorato-Zimmer; S. Stucki : Approximations for Stochastic Graph Rewriting. 2014. 16th International Conference on Formal Engineering Methods, ICFEM '14, Luxembourg, Luxembourg, November 3-5, 2014. p. 1-10. DOI : 10.1007/978-3-319-11737-9_1.
V. Salvisberg : Better Loop Fusion for LMS ; 2014.
M. Jonnalagedda; T. Coppey; S. Stucki; T. Rompf; M. Odersky : Staged Parser Combinators for Efficient Data Processing; Acm Sigplan Notices. 2014. DOI : 10.1145/2660193.2660241.
N. Amin; T. Rompf; M. Odersky : Foundations of Path-Dependent Types; Acm Sigplan Notices. 2014. DOI : 10.1145/2660193.2660216.
T. Rompf; A. K. Sujeeth; K. J. Brown; H. Lee; H. Chafi et al. : Surgical Precision JIT Compilers. 2014. 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Edinburgh, SCOTLAND, JUN 09-11, 2014. p. 41-52. DOI : 10.1145/2594291.2594316.
A. Prokopec; M. Odersky : Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads. 2014. 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC), San Jose, CA, SEP 25-27, 2013. p. 55-86. DOI : 10.1007/978-3-319-09967-5_4.
V. Jovanovic; A. Shaikhha; S. Stucki; V. Nikolaev; C. Koch et al. : Yin-yang: concealing the deep embedding of DSLs. 2014. International Conference on Generative Programming: Concepts and Experiences - GPCE 2014, Västerås, Sweden, 15-16 09 2014. p. 73-82. DOI : 10.1145/2658761.2658771.
M. Jonnalagedda; T. Coppey; S. Stucki; T. Rompf; M. Odersky : Staged parser combinators for efficient data processing. 2014. Object Oriented Programming Systems Languages & Applications (OOPSLA), Portland, Oregon, USA, 20-24 October 2014. p. 637-653. DOI : 10.1145/2660193.2660241.
A. K. Sujeeth; K. J. Brown; H. Lee; T. Rompf; H. Chafi et al. : Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages; Acm Transactions On Embedded Computing Systems. 2014. DOI : 10.1145/2584665.
A. K. Sujeeth; A. Gibbons; K. J. Brown; H. Lee; T. Rompf et al. : Forge: Generating a High Performance DSL Implementation from a Declarative Specification; Acm Sigplan Notices. 2014. DOI : 10.1145/2517208.2517220.
G. Ofenbeck; T. Rompf; A. Stojanov; M. Odersky; M. Pueschel : Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries; Acm Sigplan Notices. 2014. DOI : 10.1145/2517208.2517228.
A. Prokopec / M. Odersky (Dir.) : Data Structures and Algorithms for Data-Parallel Computing in a Managed Runtime. Lausanne, EPFL, 2014. DOI : 10.5075/epfl-thesis-6264.
V. Ureche; E. Burmako; M. Odersky : Late Data Layout: Unifying Data Representation Transformations. 2014. Object Oriented Programming Systems Languages and Applications (OOPSLA), Portland, OR, USA, October 19-21 2014. p. 397-416. DOI : 10.1145/2660193.2660197.
C. Bastin; V. Ureche; M. Odersky : ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant. 2014. Fifth Annual Scala Workshop, Uppsala, Sweden, July 28-29, 2014. DOI : 10.1145/2637647.2637649.
E. Béguet; M. Jonnalagedda : Accelerating parser combinators with macros. 2014. the Fifth Annual Scala Workshop (SCALA '14), Uppsala, Sweden, 28-29 07 2014. p. 7-17. DOI : 10.1145/2637647.2637653.
V. Jovanovic; A. Shaikhha; S. Stucki; V. NIkolaev; C. Koch et al. : Yin-Yang: Concealing the Deep Embedding of DSLs. 2014.
A. Prokopec; P. Haller; M. Odersky : Containers and Aggregates, Mutators and Isolates for Reactive Programming. 2014. Scala 2014, Uppsala, Sweden, July 28-29, 2014.
V. Ureche : Additional Material for "Unifying Data Representation Transformations". 2014.
A. Genêt; V. Ureche; M. Odersky : Improving the Performance of Scala Collections with Miniboxing. 2014.
M. N. Duhem; E. Burmako : Making sbt Macro-Aware. 2014.
M. B. Demarne; A. Ghosn; E. Burmako : Scala AST Persistence. 2014.
H. Miller; P. Haller; d. S. Oliveira; C. Bruno : Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!. 2014.
M. Odersky; T. Rompf : Unifying Functional and Object-Oriented Programming with Scala; Communications Of The Acm. 2014. DOI : 10.1145/2591013.
I. Klonatos; C. Koch; T. Rompf; H. Chafi : Building Efficient Query Engines in a High-Level Language. 2014. 40th International Conference on Very Large Data Bases (VLDB), Hangzhou, China, September 1st - 5th 2014.
H. Plociniczak; H. Miller; M. Odersky : Improving Human-Compiler Interaction Through Customizable Type Feedback. 2014.
A. Prokopec; D. Petrashko; M. Odersky : On Lock-Free Work-stealing Iterators for Parallel Data Structures. 2014.
L. Rytz / M. Odersky (Dir.) : A Practical Effect System for Scala. Lausanne, EPFL, 2014. DOI : 10.5075/epfl-thesis-5935.
H. Miller; P. Haller; M. Odersky : Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. 2014. European Conference on Object-Oriented Programming (ECOOP'14), Uppsala, Sweden, July 28 - August 1, 2014.
H. Miller; P. Haller; L. Rytz; M. Odersky : Functional Programming For All! Scaling a MOOC for Students and Professionals Alike. 2014. 36th International Conference on Software Engineering (ICSE'14) SEET Track, Hyderabad, India, May 31 - June 7, 2014.

2013

A. Shaikhha : An Embedded Query Language in Scala ; 2013.
N. Stucki : Using Reified Types for Specialization ; 2013.
T. Rompf; N. Amin; A. Moors; P. Haller; M. Odersky : Scala-Virtualized: Linguistic Reuse for Deep Embeddings; Higher Order and Symbolic Computation. 2013. DOI : 10.1007/s10990-013-9096-9.
S. Stucki; N. Amin; M. Jonnalagedda; T. Rompf : What are the Odds? Probabilistic programming in Scala. 2013. SCALA '13, 4th Workshop on Scala, Montpellier, France, July 2, 2013. p. 11:1--11:9. DOI : 10.1145/2489837.2489848.
H. Miller; P. Haller; E. Burmako; M. Odersky : Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization; Acm Sigplan Notices. 2013. DOI : 10.1145/2509136.2509547.
H. Miller; P. Haller : Spores, Formally. 2013.
S. Doeraene : Scala.js: Type-Directed Interoperability with Dynamically Typed Languages. 2013.
T. Coppey : DynaProg for Scala ; 2013.
T. Rompf; A. K. Sujeeth; N. Amin; K. J. Brown; V. Jovanovic et al. : Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging; Acm Sigplan Notices. 2013. DOI : 10.1145/2480359.2429128.
A. Prokopec; M. Odersky : On a Near Optimal Work-Stealing Tree Data-Parallel Scheduler for Highly Irregular Workloads. 2013.
P. Haller; H. Miller : RAY: Integrating Rx and Async for Direct-Style Reactive Streams. 2013. Workshop on Reactivity, Events and Modularity, Indianapolis, Indiana, USA, October 28, 2013.
I. Maier / M. Odersky (Dir.) : Reactive Programming Abstractions for Complex Event Logic and Dynamic Data Dependencies. Lausanne, EPFL, 2013. DOI : 10.5075/epfl-thesis-5805.
N. Stucki; V. Ureche : Bridging Islands of Specialized Code using Macros and Reified Types. 2013. The 4th Workshop on Scala, Montpellier, France, 02 07 2013. DOI : 10.1145/2489837.2489847.
V. Ureche; C. Talau; M. Odersky : Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations. 2013. ACM SIGPLAN 2013 Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'13), Indianapolis, Indiana, USA, October 26-31, 2013. DOI : 10.1145/2509136.2509537.
H. Miller; P. Haller; E. Burmako; M. Odersky : Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization. 2013. ACM SIGPLAN 2013 Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'13), Indianapolis, Indiana, USA, October 26-31, 2013.
E. Burmako : Scala Macros: Let Our Powers Combine!. 2013. 4th Annual Workshop Scala 2013, Montpellier, France, July 2, 2013. p. 3. DOI : 10.1145/2489837.2489840.
L. Rytz; N. Amin; M. Odersky : A Flow-Insensitive, Modular Effect System for Purity. 2013. Formal Techniques for Java-like Programs, Montpellier, France, July 1, 2013.
A. Prokopec; M. Odersky : Achieving Efficient Work-Stealing for Data-Parallel Collections. 2013.
D. Shabalin; E. Burmako; M. Odersky : Quasiquotes for Scala. 2013.

2012

D. Obrist : Scaladoc Diagrams for Class Hierarchies ; 2012.
C. Talau : Miniboxing: An Encoding for Specialization ; 2012.
T. Schlatter; A. Prokopec; H. Miller; P. Haller; M. Odersky : Multi-Lane FlowPools: A Detailed Look. 2012.
A. Prokopec; N. G. Bronson; P. Bagwell; M. Odersky : Concurrent Tries with Efficient Non-Blocking Snapshots; Acm Sigplan Notices. 2012. DOI : 10.1145/2370036.2145836.
E. Burmako; M. Odersky : Scala Macros, a Technical Report. 2012. Third International Valentin Turchin Workshop on Metacomputation, Pereslavl-Zalessky, Russia, July 5-9, 2012.
N. Amin; A. Moors; M. Odersky : Dependent Object Types. 2012. 19th International Workshop on Foundations of Object-Oriented Languages, Tucson, Arizona, USA, October 22, 2012.
S. Ackermann; V. Jovanovic; T. Rompf; M. Odersky : Jet: An Embedded DSL for High Performance Big Data Processing. 2012. International Workshop on End-to-end Management of Big Data (BigData 2012).
A. Prokopec; H. Miller; P. Haller; T. Schlatter; M. Odersky : FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs. 2012.
T. Rompf / M. Odersky (Dir.) : Lightweight Modular Staging and Embedded Compilers. Lausanne, EPFL, 2012. DOI : 10.5075/epfl-thesis-5456.
T. Rompf; A. Sujeeth; N. Amin; K. Brown; V. Jovanovic et al. : Optimizing Data Structures in High-Level Programs: New Directions for Extensible Compilers based on Staging. 2012.
A. Prokopec; H. Miller; T. Schlatter; P. Haller; M. Odersky : FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. 2012. 25th International Workshop on Languages and Compilers for Parallel Computing, Tokyo, Japan, September 11-13, 2012.
G. Kossakowski; N. Amin; T. Rompf; M. Odersky : JavaScript as an Embedded DSL. 2012. 26th European Conference on Object-Oriented Programming, Beijing, China, June 11-16, 2012. p. 409-434. DOI : 10.1007/978-3-642-31057-7_19.
H. Plociniczak; M. Odersky : Implementing a Type Debugger for Scala. 2012. Asia-Pacific Programming Languages and Compilers Workshop, Beijing, China, June 14, 2012.
T. Rompf; M. Odersky : Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs; Communications Of The Acm. 2012. DOI : 10.1145/2184319.2184345.
I. Maier; M. Odersky : Deprecating the Observer Pattern with Scala.React. 2012.
L. Rytz; M. Odersky : Relative Effect Declarations for Lightweight Effect-Polymorphism. 2012.
L. Rytz; M. Odersky; P. Haller : Lightweight Polymorphic Effects. 2012. 26th European Conference on Object-Oriented Programming, Beijing, China, June 14 - 16, 2012.
L. Rytz; M. Odersky; P. Haller : Lightweight Polymorphic Effects - Proofs. 2012.

2011

V. Kuncak; M. Odersky : PhoneLab: Cloud-Backed Development Environment for Smartphones. 2011.
V. Ureche; T. Rompf; A. Sujeeth; H. Chafi; M. Odersky : StagedSAC: a case study in performance-oriented DSL development. 2011. p. 73-82. DOI : 10.1145/2103746.2103762.
M. Hinkelmann; A. Jakoby; N. Moebius; T. Rompf; P. Stechert : A cryptographically t-private auction system; Concurrency And Computation-Practice & Experience. 2011. DOI : 10.1002/cpe.1684.
M. Odersky : Future-Proofing Collections: From Mutable to Persistent to Parallel. 2011. 20th International Conference on Compiler Construction, Saarbrucken, GERMANY, Mar 26-Apr 03, 2011. p. 1-1.
H. Lee; K. J. Brown; A. K. Sujeeth; H. Chafi; K. Olukotun et al. : Implementing Domain-Specific Languages For Heterogeneous Parallel Computing; Ieee Micro. 2011. DOI : 10.1109/MM.2011.68.
H. Miller; P. Haller; M. Odersky : Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance. 2011. NIPS 2011 Workshop on Parallel and Large-Scale Machine Learning (BigLearn), Sierra Nevada, Spain, December 16-17, 2011.
P. Bagwell; T. Rompf : RRB-Trees: Efficient Immutable Vectors. 2011.
A. Prokopec; P. Bagwell; M. Odersky : Cache-Aware Lock-Free Concurrent Hash Tries. 2011.
A. Prokopec; T. Rompf; P. Bagwell; M. Odersky : On A Generic Parallel Collection Framework. 2011.
P. Haller; H. Miller : Parallelizing Machine Learning- Functionally: A Framework and Abstractions for Parallel Graph Processing. 2011. 2nd Annual Scala Workshop, Stanford, California, USA, June 2, 2011.
G. Dubochet / M. Odersky (Dir.) : Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming. Lausanne, EPFL, 2011. DOI : 10.5075/epfl-thesis-5007.

2010

L. Rytz; M. Odersky : Named and default arguments for polymorphic object-oriented languages. 2010. 25th Symposium On Applied Computing, Sierre, Switzerland, March 22-26, 2010. p. 2090-2095. DOI : 10.1145/1774088.1774529.
H. Plociniczak; S. Eisenbach : JErlang: Erlang with Joins. 2010. 12th International Conference on Coordination Models and Languages (COORDINATION 2010), Amsterdam, NETHERLANDS, Jun 07-09, 2010. p. 61-75.
M. Odersky : Contracts for Scala. 2010. 1st International Conference on Runtime Verification, St Julians, MALTA, Nov 01-04, 2010. p. 51-57.
P. Haller / M. Odersky (Dir.) : Isolated Actors for Race-Free Concurrent Programming. Lausanne, EPFL, 2010. DOI : 10.5075/epfl-thesis-4874.
G. Dubochet; D. Malayeri : Improving API Documentation for Java-like Languages. 2010. Evaluation and Usability of Programming Languages and Tools, Reno, Nevada, USA, October 18, 2010.
T. Rompf; M. Odersky : Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs. 2010. GPCE, Eindhoven, The Netherlands, October 10-13, 2010. p. 127-136. DOI : 10.1145/1942788.1868314.
H. Chafi; Z. DeVito; A. Moors; T. Rompf; A. K. Sujeeth et al. : Language Virtualization for Heterogeneous Parallel Computing. 2010. Onward!, Reno/Tahoe, Nevada, USA, October 17-21, 2010.
B. C. d. S. Oliveira; A. Moors; M. Odersky : Type Classes as Objects and Implicits. 2010. OOPSLA/SPLASH’10, Reno/Tahoe, Nevada, USA, October 17-21, 2010. p. 341-360.
I. Dragos / M. Odersky (Dir.) : Compiling Scala for Performance. Lausanne, EPFL, 2010. DOI : 10.5075/epfl-thesis-4820.
A. Prokopec; T. Rompf; P. Bagwell; M. Odersky : A Generic Parallel Collection Framework. 2010.
T. Rompf; M. Odersky : Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs. 2010.
H. Chafi; Z. DeVito; A. Moors; T. Rompf; A. Sujeeth et al. : Language Virtualization for Heterogeneous Parallel Computing. 2010.
P. Haller; M. Odersky : Capabilities for Uniqueness and Borrowing. 2010. 24th European Conference on Object-Oriented Programming, Maribor, Slovenia, EU, June 21-25, 2010.
I. Maier; T. Rompf; M. Odersky : Deprecating the Observer Pattern. 2010.

2009

T. Rompf; I. Maier; M. Odersky : Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform. 2009. 14th ACM SIGPLAN International Conference on Functional Programming, Edinburgh, SCOTLAND, Aug 31-Sep 02, 2009. p. 317-328.
M. Lesani; N. Montazeri : Fuzzy Trust Aggregation And Personalized Trust Inference In Virtual Social Networks; Computational Intelligence. 2009. DOI : 10.1111/j.1467-8640.2009.00334.x.
I. Dragos; M. Odersky : Compiling generics through user-directed type specialization. 2009. 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, Genova, Italy, July, 2009. p. 42-47.
T. Rompf; I. Maier; M. Odersky : Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform. 2009. International Conference on Functional Programming, Edinburgh, Scotland, August 31-September 02, 2009. DOI : 10.1145/1596550.1596596.
P. Haller; M. Odersky : Capabilities for Uniqueness and Borrowing. 2009.
S. Micheloud / M. Odersky (Dir.) : Programming language abstractions for mobile code. Lausanne, EPFL, 2009. DOI : 10.5075/epfl-thesis-4515.
M. Lesani; M. Odersky; R. Guerraoui : Transactors: Unifying Transactions and Actors. 2009.
G. Dubochet; M. Odersky : Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective. 2009. 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, Genova, Italy, July 6, 2009. p. 34-41. DOI : 10.1145/1565824.1565829.
G. Dubochet : Computer Code as a Medium for Human Communication: Are Programming Languages Improving?. 2009. 21st Annual Psychology of Programming Interest Group Conference, Limerick, Ireland, June 24-26, 2009. p. 174-187.
M. Lesani; M. Odersky; R. Guerraoui : Concurrent Programming Paradigms, A Comparison in Scala. 2009.
P. Haller; M. Odersky : Capabilities for External Uniqueness. 2009.
P. Haller; M. Odersky : Scala actors: Unifying thread-based and event-based programming; Theoretical Computer Science. 2009. DOI : 10.1016/j.tcs.2008.09.019.

2008

A. Moors; F. Piessens; M. Odersky : Generics of a Higher Kind; Acm Sigplan Notices. 2008. DOI : 10.1145/1449955.1449798.
I. Dragos : Optimizing Higher-Order Functions in Scala. 2008. Third International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Paphos, Cyprus, July 7, 2008.
P. Haller; T. Van Cutsem : Implementing Joins using Extensible Pattern Matching. 2008. 10th International Conference on Coordination Models and Languages, Oslo, Norway, June 4-6, 2008. p. 135-152.
G. Dubochet : Scala ; I&C Research Day 2008, Lausanne, June 12, 2008.
S. Briais / U. Nestmann; M. Odersky (Dir.) : Theory and tool support for the formal verification of cryptographic protocols. Lausanne, EPFL, 2008. DOI : 10.5075/epfl-thesis-4007.
R. Fuzzati / U. Nestmann; A. Schiper (Dir.) : A formal approach to fault tolerant distributed consensus. Lausanne, EPFL, 2008. DOI : 10.5075/epfl-thesis-3980.

2007

I. Dragos; A. Cunei; J. Vitek : Continuations in the Java Virtual Machine. 2007. ICOOOLPS 2007, Berlin, July 30, 2007.
P. Haller; T. Van Cutsem : Implementing Joins using Extensible Pattern Matching. 2007.
B. Emir / M. Odersky (Dir.) : Object-oriented pattern matching. Lausanne, EPFL, 2007. DOI : 10.5075/epfl-thesis-3899.
B. Emir; Q. Ma; M. Odersky : Translation Correctness for First-Order Object-Oriented Pattern Matching. 2007.
S. Briais : A Symbolic Characterisation of Open Bisimulation for the Spi Calculus. 2007.
P. Haller; M. Odersky : Actors that Unify Threads and Events. 2007. International Conference on Coordination Models and Languages, Paphos, Cyprus, 5-8 June 2007. p. 171-190.
R. Fuzzati; M. Merro; U. Nestmann : Distributed Consensus, Revisited; Acta Informatica. 2007. DOI : 10.1007/s00236-007-0052-1.
P. Haller; M. Odersky : Actors that Unify Threads and Events. 2007.
S. Briais; U. Nestmann : A formal semantics for protocol narrations; Theoretical Computer Science. 2007. DOI : 10.1016/j.tcs.2007.09.005.
S. Briais; U. Nestmann : Open Bisimulation, Revisited; Theoretical Computer Science. 2007. DOI : 10.1016/j.tcs.2007.07.010.

2006

B. Emir; A. Kennedy; C. Russo; D. Yu : Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP), Berlin. 2006. European Conference on Object-Oriented Programming (ECOOP).
B. Emir; M. Odersky; J. Williams : Matching Objects with Patterns. 2006.
S. Briais; U. Nestmann : A Formal Semantics For Protocol Narrations. 2006.
V. Cremet; F. Garillot; S. Lenglet; M. Odersky : A Core Calculus for Scala Type Checking. 2006. Mathematical Foundations of Computer Science, Stará Lesná, Slovak Republic, 28 August - 1 September 2006.
P. Haller; M. Odersky : Event-Based Programming without Inversion of Control. 2006. Joint Modular Languages Conference, Jesus College, Oxford, England, 13–15 September 2006. p. 4-22.
S. A. Spoon : Anti-Deprecation: Towards Complete Static Checking for API Evolution (Extended Version). 2006.
R. Fuzzati; M. Merro; U. Nestmann : Distributed Consensus, Revisited. 2006.
A. Spoon : Package Universes: Which Components Are Real Candidates?. 2006.
G. Dubochet : On Embedding Domain-specific Languages with User-friendly Syntax. 2006. 1st Workshop on Domain-Specific Program Development, Nantes, France, 3 July 2006. p. 19–22.
V. Cremet / M. Odersky (Dir.) : Foundations for SCALA. Lausanne, EPFL, 2006. DOI : 10.5075/epfl-thesis-3556.
M. Odersky; P. Altherr; V. Cremet; I. Dragos; G. Dubochet et al. : An Overview of the Scala Programming Language (2. Edition). 2006.
A. Kennedy; C. Russo; B. Emir; D. Yu : Variance and Generalized Constraints for C# Generics. 2006. European Conference on Object-Oriented Programming (ECOOP), Nantes, July 3-7.
F. Borran-Dejnabadi : Efficient Semi-structured Queries in Scala using XQuery Shipping ; 2006.
P. Altherr / M. Odersky (Dir.) : A typed intermediate language and algorithms for compiling scala by successive rewritings. Lausanne, EPFL, 2006. DOI : 10.5075/epfl-thesis-3509.

2005

S. Briais; U. Nestmann : A Formal Semantics For Protocol Narrations. 2005. Trustworthy Global Computing, Edinburgh, April 7-9 2005. p. 163-181.
G. Dubochet : Better Relational Queries using For-comprehensions ; I&C Research Day, Lausanne, 23 June 2005.
G. Dubochet : The SLinks Language ; 2005.
M. Odersky; M. Zenger : Scalable Component Abstractions. 2005. OOPSLA 2005, San Diego, October 2005.
R. Fuzzati : Organ Transplantation Management. 2005.
P. Altherr; V. Cremet : Inner Classes and Virtual Types. 2005.
D. C. Bünzli; S. Mena; U. Nestmann : Protocol Composition Frameworks, A Header Driven Model. 2005.

2004

M. Odersky; M. Zenger : Scalable Component Abstractions. 2004.
M. O. EPFL; M. Z. Google : Scalable Component Abstractions. 2004.
J. Borgström; U. Nestmann : On Bisimulations for the Spi Calculus. 2004.
J. Borgström; U. Nestmann; L. O. Alima; D. Gurov : Verifying a Structured Peer-to-peer Overlay Network: The Static Case. 2004.
B. Emir : Compiling Regular Patterns to Sequential Machines. 2004.
M. Odersky; P. Altherr; V. Cremet; B. Emir; S. Maneth et al. : An Overview of the Scala Programming Language. 2004.
M. Zenger; M. Odersky : Independently Extensible Solutions to the Expression Problem. 2004.
G. Busatto; M. Lohrey; S. Maneth : Grammar-Based Tree Compression. 2004.

2003

T. Mens; J. Buckley; M. Zenger; A. Rashid : Towards a Taxonomy of Software Evolution. 2003. International Workshop on Unanticipated Software Evolution, Warsaw, Poland, April 2003.
U. Nestmann; R. Fuzzati; M. Merro : Modeling Consensus in a Process Calculus. 2003.
U. Nestmann; R. Fuzzati : Unreliable Failure Detectors via Operational Semantics. 2003.
V. Cremet; M. Odersky : PiLib: A Hosted Language for Pi-Calculus Style Concurrency. 2003. Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 2003.
A. P. Black; V. Cremet; R. Guerraoui; M. Odersky : An Equational Theory for Transactions. 2003.
U. Nestmann; R. Fuzzati; M. Merro : Modeling Consensus in a Process Calculus. 2003. CONCUR 2003, Marseille, France, 3-5 September 2003. p. 399-414.
U. Nestmann; R. Fuzzati : Unreliable Failure Detectors via Operational Semantics. 2003. ASIAN '03, Mumbai, India, December 10-14, 2003. p. 54-71.
J. Borgström; U. Nestmann : On Bisimulations for the Spi Calculus. 2003.
A. P. Black; V. Cremet; R. Guerraoui; M. Odersky : An Equational Theory for Transactions. 2003.

2002

M. Zenger : Type-Safe Prototype-Based Component Evolution. 2002. ECOOP 2002 — Object-Oriented Programming - 16th European Conference, Málaga, Spain, June 10–14, 2002. p. 470-497. DOI : 10.1007/3-540-47993-7_20.
S. Briais; U. Nestmann : Mobile Objects "Must" Move Safely. 2002. Formal Methods for Open Object-based Distributed Systems, University of Twente, the Netherlands, March 2002.
M. Zenger : Evolving Software with Extensible Modules. 2002. International Workshop on Unanticipated Software Evolution, Málaga, Spain, June 2002.
M. Odersky; V. Cremet; C. Röckl; M. Zenger : A Nominal Theory of Objects with Dependent Types. 2002.
M. Merro; J. Kleist; U. Nestmann : Mobile Objects as Mobile Processes. 2002.
M. Odersky; V. Cremet; C. Roeckl; M. Zenger : A Nominal Theory of Objects with Dependent Types. 2002.
P. Bagwell : Fast Functional Lists, Hash-Lists, Deques and Variable Length Arrays. 2002.
M. Zenger : Type-Safe Prototype-Based Component Evolution. 2002.

2001

M. Odersky; C. Zenger; M. Zenger : Colored Local Type Inference (colored version) (black and white version). 2001. POPL 2001, January 2001.
M. Odersky; C. Zenger : Nested Types. 2001. FOOL8, Workshop on Foundations of Object-Oriented Languages, January 2001.
S. Kramer : A Formal Specification for a Real-Time Train Controller ; 2001.
U. Nestmann : Local pi-Calculus at Work: Mobile Objects as Mobile Processes (Full version). 2001.
M. Zenger; M. Odersky : Implementing Extensible Compilers. 2001. ECOOP 2001 Workshop on Multiparadigm Programming with Object-Oriented Languages, Budapest, June 2001.
C. Röckl : A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations. 2001. MERLIN'01, June 2001.
M. Zenger; M. Odersky : Extensible Algebraic Datatypes with Defaults. 2001. International Conference on Functional Programming, Firenze, September 2001.
M. Schinz; M. Odersky : Tail Call Elimination on the Java Virtual Machine. 2001. First Workshop on Multi-Language Infrastructure and Interoperability, Firenze, September 2001.
P. Bagwell : Ideal Hash Trees. 2001.

2000

M. Odersky : Objects + Views = Components?.
M. Odersky : Functional Nets. 2000. European Symposium on Programming 2000.
M. Odersky : Programming With Functional Nets. 2000.
P. Bagwell : Fast And Space Efficient Trie Searches. 2000.
M. Odersky : An Overview of Functional Nets.
U. Nestmann : Decoding Choice Encodings; Journal of Information & Computation. 2000. DOI : 10.1006/inco.2000.2868/pdf.

1999

M. Odersky : Functional Nets. 1999. Colloque d'Informatique, EPFL, Lausanne, Oct 19, 1999.
M. Odersky; M. Zenger; G. Chen; C. Zenger : A Functional View of Join. 1999.
J. Maraist; M. Odersky; D. N. Turner; P. Wadler : Call-by-name, call-by-value, call-by-need, and the linear lambda calculus; Theoretical Computer Science. 1999.
M. Odersky; M. Sulzmann; M. Wehr : Type Inference with Constrained Types; Theory and Practice of Object Systems. 1999. DOI : 10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4.

1998

G. Bracha; M. Odersky; D. Stoutamire; P. Wadler : Making the future safe for the past: Adding Genericity to the Java Programming Language,. 1998. OOPSLA 1998.
M. Odersky : Programming with Variable Functions. 1998. International Conference on Functional Programming, Baltimore, September 1998.

1997

M. Odersky; E. Runne; P. Wadler : Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. 1997.
M. Odersky; P. Wadler : Pizza into Java: Translating theory into practice. 1997. 24th ACM Symposium on Principles of Programming Languages, Paris, France, January 1997.
M. Odersky : Funktionale Programmierung; Handbuch der Informatik; Hanser Verlag, 1997.