Martin Odersky

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 26

Top Venues

CoRR

OOPSLA

Proc. ACM Program. Lang.

SCALA@ICFP

ETH Zurich, Zürich, Switzerland (PHD)

Education History

ETH Zurich, Zürich, Switzerland

PHD

Publications

Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky
Adaptive Recursive Query Optimization. ICDE (2024)
Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
Degrees of Separation: A Flexible Type System for Safe Concurrency. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yichen Xu, Martin Odersky
A Formal Foundation of Reach Capabilities. Programming (2024)
Yichen Xu, Martin Odersky
Degrees of Separation: A Flexible Type System for Data Race Prevention. CoRR (2023)
Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky
Adaptive Recursive Query Optimization. CoRR (2023)
Yichen Xu, Martin Odersky
Formalizing Box Inference for Capture Calculus. CoRR (2023)
Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
Capturing Types. ACM Trans. Program. Lang. Syst. 45 (4) (2023)
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
Scoped Capabilities for Polymorphic Effects. CoRR (2022)
Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky
Type-level programming with match types. Proc. ACM Program. Lang. 6 (POPL) (2022)
Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
Multi-stage programming with generative and analytical macros. GPCE (2021)
Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
Virtual ADTs for portable metaprogramming. MPLR (2021)
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
Tracking Captured Variables in Types. CoRR (2021)
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
Safer exceptions for Scala. SCALA@SPLASH (2021)
Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky
A type-and-effect system for object initialization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky
Semantics-preserving inlining for metaprogramming. SCALA@SPLASH (2020)
Denys Shabalin, Martin Odersky
Interflow: interprocedural flow-sensitive type inference and method duplication. SCALA@ICFP (2018)
Nicolas Stucki, Aggelos Biboudis, Martin Odersky
A practical unification of multi-stage programming and macros. GPCE (2018)
Fengyun Liu, Aggelos Biboudis, Martin Odersky
Initialization patterns in Dotty. SCALA@ICFP (2018)
Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Aggelos Biboudis, Oleg Kiselyov, Martin Odersky
Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14). NII Shonan Meet. Rep. 2018 (2018)
Nicolas Stucki, Paolo G. Giarrusso, Martin Odersky
Truly abstract interfaces for algebraic data types: the extractor typing problem. SCALA@ICFP (2018)
Dmitry Petrashko, Ondrej Lhoták, Martin Odersky
Miniphases: compilation using modular and efficient tree transformations. PLDI (2017)
Aleksandar Prokopec, Phil Bagwell, Martin Odersky
Cache-Aware Lock-Free Concurrent Hash Tries. CoRR (2017)
Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
The Essence of Dependent Object Types. A List of Successes That Can Change the World (2016)
Martin Odersky, Guillaume Martres, Dmitry Petrashko
Implementing higher-kinded types in Dotty. SCALA@SPLASH (2016)
Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky
Call graphs for languages with parametric polymorphism. OOPSLA (2016)
Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky
Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections. PDP (2015)
Vlad Ureche, Milos Stojanovic, Romain Beguet, Nicolas Stucki, Martin Odersky
Improving the Interoperation between Generics Translations. PPPJ (2015)
Aleksandar Prokopec, Martin Odersky
Isolates, channels, and event streams for composable distributed programming. Onward! (2015)
Aleksandar Prokopec, Martin Odersky
Conc-Trees for Functional and Parallel Programming. LCPC (2015)
Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky
Automating ad hoc data representation transformations. OOPSLA (2015)
Vlad Ureche, Eugene Burmako, Martin Odersky
Late data layout: unifying data representation transformations. OOPSLA (2014)
Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Martin Odersky, Tiark Rompf
Unifying functional and object-oriented programming with Scala. Commun. ACM 57 (4) (2014)
Martin Odersky
The evolution of Scala: PLE'14 keynote. PLE@ECOOP (2014)
Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, Martin Odersky
Yin-yang: concealing the deep embedding of DSLs. GPCE (2014)
Nithin George, HyoukJoong Lee, David Novo, Tiark Rompf, Kevin J. Brown, Arvind K. Sujeeth, Martin Odersky, Kunle Olukotun, Paolo Ienne
Hardware system synthesis from Domain-Specific Languages. FPL (2014)
Aleksandar Prokopec, Philipp Haller, Martin Odersky
Containers and aggregates, mutators and isolates for reactive programming. SCALA@ECOOP (2014)
Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky
Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion (2014)
Nada Amin, Tiark Rompf, Martin Odersky
Foundations of path-dependent types. OOPSLA (2014)
Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
Staged parser combinators for efficient data processing. OOPSLA (2014)
Cédric Bastin, Vlad Ureche, Martin Odersky
ScalaDyno: making name resolution and type checking fault-tolerant. SCALA@ECOOP (2014)
Heather Miller, Philipp Haller, Martin Odersky
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP (2014)
Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun
Forge: generating a high performance DSL implementation from a declarative specification. GPCE (2013)
Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun
Composition and Reuse with Compiled Domain-Specific Languages. ECOOP (2013)
Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA (2013)
Ingo Maier, Martin Odersky
Higher-Order Reactive Programming with Incremental Lists. ECOOP (2013)
Nithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne
Making domain-specific hardware synthesis tools cost-efficient. FPT (2013)
Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL (2013)
Aleksandar Prokopec, Martin Odersky
Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads. LCPC (2013)
Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel
Spiral in scala: towards the systematic construction of generators for performance libraries. GPCE (2013)
Vlad Ureche, Cristian Talau, Martin Odersky
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. OOPSLA (2013)
Lukas Rytz, Nada Amin, Martin Odersky
A flow-insensitive, modular effect system for purity. FTfJP@ECOOP (2013)
Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
JavaScript as an Embedded DSL. ECOOP (2012)
Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky
Concurrent tries with efficient non-blocking snapshots. PPOPP (2012)
Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC (2012)
Martin Odersky
When Compilers Are Mirrors. ECOOP (2012)
Lukas Rytz, Martin Odersky, Philipp Haller
Lightweight Polymorphic Effects. ECOOP (2012)
Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky
StagedSAC: a case study in performance-oriented DSL development. PEPM (2012)
Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. 25 (1) (2012)
Tiark Rompf, Martin Odersky
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM 55 (6) (2012)
Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
Scala-virtualized. PEPM (2012)
Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun
OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. ICML (2011)
Aleksandar Prokopec, Phil Bagwell, Martin Odersky
Lock-Free Resizeable Concurrent Tries. LCPC (2011)
HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Hassan Chafi, Tiark Rompf, Martin Odersky, Kunle Olukotun
Implementing Domain-Specific Languages for Heterogeneous Parallel Computing. IEEE Micro 31 (5) (2011)
Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky
A Generic Parallel Collection Framework. Euro-Par (2) (2011)
Martin Odersky
Future-Proofing Collections: From Mutable to Persistent to Parallel. CC (2011)
Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun
Building-Blocks for Performance Oriented DSLs DSL (2011)
Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
A Heterogeneous Parallel Framework for Domain-Specific Languages. PACT (2011)
Tiark Rompf, Martin Odersky
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE (2010)
Philipp Haller, Martin Odersky
Capabilities for Uniqueness and Borrowing. ECOOP (2010)
Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun
Language virtualization for heterogeneous parallel computing. OOPSLA (2010)
Lukas Rytz, Martin Odersky
Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. SAC (2010)
Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky
Type classes as objects and implicits. OOPSLA (2010)
Martin Odersky
Contracts for Scala. RV (2010)
Martin Odersky, Adriaan Moors
Fighting bit Rot with Types (Experience Report: Scala Collections). FSTTCS (2009)
Gilles Dubochet, Martin Odersky
Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective. ICOOOLPS@ECOOP (2009)
Martin Odersky
Essentials of Scala. LMO (2009)
Philipp Haller, Martin Odersky
Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. 410 (2-3) (2009)
Iulian Dragos, Martin Odersky
Compiling generics through user-directed type specialization. ICOOOLPS@ECOOP (2009)
Tiark Rompf, Ingo Maier, Martin Odersky
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP (2009)
Michael Pradel, Martin Odersky
Scala Roles - A Lightweight Approach Towards Reusable Collaborations. ICSOFT (PL/DPS/KE) (2008)
Adriaan Moors, Frank Piessens, Martin Odersky
Generics of a higher kind. OOPSLA (2008)
Michael Pradel, Martin Odersky
Scala Roles: Reusable Object Collaborations in a Library. ICSOFT (Selected Papers) (2008)
Philipp Haller, Martin Odersky
Actors That Unify Threads and Events. COORDINATION (2007)
Burak Emir, Martin Odersky, John Williams
Matching Objects with Patterns. ECOOP (2007)
Burak Emir, Qin Ma, Martin Odersky
Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS (2007)
Philipp Haller, Martin Odersky
Event-Based Programming Without Inversion of Control. JMLC (2006)
Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
A Core Calculus for Scala Type Checking. MFCS (2006)
Martin Odersky
The Scala experiment: can we provide better language support for component systems? POPL (2006)
Burak Emir, Sebastian Maneth, Martin Odersky
Scalable Programming Abstractions for XML Services. Research Results of the DICS Program (2006)
Martin Odersky, Matthias Zenger
Scalable component abstractions. OOPSLA (2005)
Martin Odersky
The Scala Experiment - Can We Provide Better Language Support for Component Systems? APLAS (2004)
Martin Odersky, Benjamin C. Pierce
Guest editorial. ACM Trans. Program. Lang. Syst. 26 (5) (2004)
Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
A Nominal Theory of Objects with Dependent Types. ECOOP (2003)
Vincent Cremet, Martin Odersky
PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Domain-Specific Program Generation (2003)
Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky
An Equational Theory for Transactions. FSTTCS (2003)
Matthias Zenger, Martin Odersky
Extensible Algebraic Datatypes with Defaults. ICFP (2001)
Martin Odersky, Christoph Zenger, Matthias Zenger
Colored local type inference. POPL (2001)
Michel Schinz, Martin Odersky
Tail call elimination on the Java Virtual Machine. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)

Martin Odersky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Odersky