| 2026 | ECOOP | Language-Integrated Recursive Queries. | Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky |
| 2026 | GPCE | Modular Substructural Constraints for Embedded DSLs. | Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky |
| 2024 | ICDE | Adaptive Recursive Query Optimization. | Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky |
| 2021 | GPCE | Multi-stage programming with generative and analytical macros. | Nicolas Stucki, Jonathan Immanuel Brachthuser, Martin Odersky |
| 2018 | GPCE | A practical unification of multi-stage programming and macros. | Nicolas Stucki, Aggelos Biboudis, Martin Odersky |
| 2017 | PLDI | Miniphases: compilation using modular and efficient tree transformations. | Dmitry Petrashko, Ondrej Lhotk, Martin Odersky |
| 2016 | OOPSLA | Call graphs for languages with parametric polymorphism. | Dmitry Petrashko, Vlad Ureche, Ondrej Lhotk, Martin Odersky |
| 2015 | OOPSLA | Isolates, channels, and event streams for composable distributed programming. | Aleksandar Prokopec, Martin Odersky |
| 2015 | OOPSLA | Automating ad hoc data representation transformations. | Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky |
| 2015 | PDP | Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections. | Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky |
| 2014 | ECOOP | ScalaDyno: making name resolution and type checking fault-tolerant. | Cdric Bastin, Vlad Ureche, Martin Odersky |
| 2014 | ECOOP | Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. | Heather Miller, Philipp Haller, Martin Odersky |
| 2014 | ECOOP | The evolution of Scala: PLE'14 keynote. | Martin Odersky |
| 2014 | ECOOP | Containers and aggregates, mutators and isolates for reactive programming. | Aleksandar Prokopec, Philipp Haller, Martin Odersky |
| 2014 | FPL | Hardware system synthesis from Domain-Specific Languages. | Nithin George, HyoukJoong Lee, David Novo, Tiark Rompf, Kevin J. Brown, Arvind K. Sujeeth, Martin Odersky, Kunle Olukotun, Paolo Ienne |
| 2014 | GPCE | Yin-yang: concealing the deep embedding of DSLs. | Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, Martin Odersky |
| 2014 | ICSE | Functional programming for all! scaling a MOOC for students and professionals alike. | Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky |
| 2014 | OOPSLA | Foundations of path-dependent types. | Nada Amin, Tiark Rompf, Martin Odersky |
| 2014 | OOPSLA | Staged parser combinators for efficient data processing. | Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky |
| 2014 | OOPSLA | Late data layout: unifying data representation transformations. | Vlad Ureche, Eugene Burmako, Martin Odersky |
| 2013 | ECOOP | Higher-Order Reactive Programming with Incremental Lists. | Ingo Maier, Martin Odersky |
| 2013 | ECOOP | A flow-insensitive, modular effect system for purity. | Lukas Rytz, Nada Amin, Martin Odersky |
| 2013 | ECOOP | Composition and Reuse with Compiled Domain-Specific Languages. | 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 | GPCE | Spiral in scala: towards the systematic construction of generators for performance libraries. | Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Pschel |
| 2013 | GPCE | Forge: generating a high performance DSL implementation from a declarative specification. | Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun |
| 2013 | OOPSLA | Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. | Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky |
| 2013 | OOPSLA | Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. | Vlad Ureche, Cristian Talau, Martin Odersky |
| 2013 | POPL | Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. | Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky |
| 2012 | ECOOP | JavaScript as an Embedded DSL. | Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky |
| 2012 | ECOOP | When Compilers Are Mirrors. | Martin Odersky |
| 2012 | ECOOP | Lightweight Polymorphic Effects. | Lukas Rytz, Martin Odersky, Philipp Haller |
| 2012 | PEPM | Scala-virtualized. | Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky |
| 2012 | PEPM | StagedSAC: a case study in performance-oriented DSL development. | Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky |
| 2012 | PPoPP | Concurrent tries with efficient non-blocking snapshots. | Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky |
| 2011 | CC | Future-Proofing Collections: From Mutable to Persistent to Parallel. | Martin Odersky |
| 2011 | EuroPar | A Generic Parallel Collection Framework. | Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky |
| 2011 | ICML | OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. | Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun |
| 2010 | ECOOP | Capabilities for Uniqueness and Borrowing. | Philipp Haller, Martin Odersky |
| 2010 | GPCE | Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. | Tiark Rompf, Martin Odersky |
| 2010 | OOPSLA | Language virtualization for heterogeneous parallel computing. | Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun |
| 2010 | OOPSLA | Type classes as objects and implicits. | Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky |
| 2010 | SAC | Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. | Lukas Rytz, Martin Odersky |
| 2010 | RV | Contracts for Scala. | Martin Odersky |
| 2009 | ECOOP | Compiling generics through user-directed type specialization. | Iulian Dragos, Martin Odersky |
| 2009 | ECOOP | Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective. | Gilles Dubochet, Martin Odersky |
| 2009 | ICFP | Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. | Tiark Rompf, Ingo Maier, Martin Odersky |
| 2008 | ICSoft | Scala Roles - A Lightweight Approach Towards Reusable Collaborations. | Michael Pradel, Martin Odersky |
| 2008 | ICSoft | Scala Roles: Reusable Object Collaborations in a Library. | Michael Pradel, Martin Odersky |
| 2008 | OOPSLA | Generics of a higher kind. | Adriaan Moors, Frank Piessens, Martin Odersky |
| 2007 | APLAS | Translation Correctness for First-Order Object-Oriented Pattern Matching. | Burak Emir, Qin Ma, Martin Odersky |
| 2007 | Coordination | Actors That Unify Threads and Events. | Philipp Haller, Martin Odersky |
| 2007 | ECOOP | Matching Objects with Patterns. | Burak Emir, Martin Odersky, John Williams |
| 2006 | MFCS | A Core Calculus for Scala Type Checking. | Vincent Cremet, Franois Garillot, Sergue Lenglet, Martin Odersky |
| 2006 | POPL | The Scala experiment: can we provide better language support for component systems? | Martin Odersky |
| 2005 | OOPSLA | Scalable component abstractions. | Martin Odersky, Matthias Zenger |
| 2004 | APLAS | The Scala Experiment - Can We Provide Better Language Support for Component Systems? | Martin Odersky |
| 2003 | ECOOP | A Nominal Theory of Objects with Dependent Types. | Martin Odersky, Vincent Cremet, Christine Rckl, Matthias Zenger |
| 2001 | ICFP | Extensible Algebraic Datatypes with Defaults. | Matthias Zenger, Martin Odersky |
| 2001 | POPL | Colored local type inference. | Martin Odersky, Christoph Zenger, Matthias Zenger |
| 2000 | ESOP | Functional Nets. | Martin Odersky |
| 1998 | ECOOP | A Statically Safe Alternative to Virtual Types. | Kim B. Bruce, Martin Odersky, Philip Wadler |
| 1998 | ICFP | Programming with Variable Functions. | Martin Odersky |
| 1998 | ICSR | Leftover curry and reheated Pizza: how functional programming nourishes software reuse. | Martin Odersky, Philip Wadler |
| 1998 | OOPSLA | Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. | Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler |
| 1997 | POPL | Pizza into Java: Translating Theory into Practice. | Martin Odersky, Philip Wadler |
| 1996 | POPL | Putting Type Annotations to Work. | Martin Odersky, Konstantin Lufer |
| 1995 | CP | A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. | Kim Marriott, Martin Odersky |
| 1995 | POPL | The Call-by-Need Lambda Calculus. | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
| 1994 | POPL | A Functional Theory of Local Names. | Martin Odersky |
| 1993 | POPL | Call by Name, Assignment, and the Lambda Calculus. | Martin Odersky, Dan Rabin, Paul Hudak |
| 1992 | ESOP | Observers for Linear Types. | Martin Odersky |
| 1991 | CHI | Building visual language parsers. | Richard Helm, Kim Marruitt, Martin Odersky |
| 1991 | PODS | Constraint-Based Query Optimization for Spatial Databases. | Richard Helm, Kim Marriott, Martin Odersky |
| 1991 | POPL | How to Make Destructive Updates Less Destructive. | Martin Odersky |