Martin Odersky

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: 497-510

Tiark Rompf, Martin Odersky: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM 55(6): 121-130 (2012)

Martin Odersky: When Compilers Are Mirrors. ECOOP 2012: 1

Lukas Rytz, Martin Odersky, Philipp Haller: Lightweight Polymorphic Effects. ECOOP 2012: 258-282

Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky: JavaScript as an Embedded DSL. ECOOP 2012: 409-434

Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky: FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC 2012: 158-173

Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky: StagedSAC: a case study in performance-oriented DSL development. PEPM 2012: 73-82

Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky: Scala-virtualized. PEPM 2012: 117-120

Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky: Concurrent tries with efficient non-blocking snapshots. PPOPP 2012: 151-160

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): 42-53 (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: 89-100

Martin Odersky: Future-Proofing Collections: From Mutable to Persistent to Parallel. CC 2011: 1

Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky: A Generic Parallel Collection Framework. Euro-Par (2) 2011: 136-147

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: 609-616

Aleksandar Prokopec, Phil Bagwell, Martin Odersky: Lock-Free Resizeable Concurrent Tries. LCPC 2011: 156-170

Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun: Building-Blocks for Performance Oriented DSLs. DSL 2011: 93-117

Philipp Haller, Martin Odersky: Capabilities for Uniqueness and Borrowing. ECOOP 2010: 354-378

Tiark Rompf, Martin Odersky: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE 2010: 127-136

Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky: Type classes as objects and implicits. OOPSLA 2010: 341-360

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: 835-847

Martin Odersky: Contracts for Scala. RV 2010: 51-57

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: 2090-2095

Philipp Haller, Martin Odersky: Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. 410(2-3): 202-220 (2009)

Martin Odersky, Adriaan Moors: Fighting bit Rot with Types (Experience Report: Scala Collections). FSTTCS 2009: 427-451

Tiark Rompf, Ingo Maier, Martin Odersky: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP 2009: 317-328

Michael Pradel, Martin Odersky: Scala Roles - A Lightweight Approach Towards Reusable Collaborations. ICSOFT (PL/DPS/KE) 2008: 13-20

Adriaan Moors, Frank Piessens, Martin Odersky: Generics of a higher kind. OOPSLA 2008: 423-438

Burak Emir, Qin Ma, Martin Odersky: Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007: 54-70

Philipp Haller, Martin Odersky: Actors That Unify Threads and Events. COORDINATION 2007: 171-190

Burak Emir, Martin Odersky, John Williams: Matching Objects with Patterns. ECOOP 2007: 273-298

Shriram Krishnamurthi, Martin Odersky (Eds.): Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings. Lecture Notes in Computer Science 4420, Springer 2007, isbn 978-3-540-71228-2

Burak Emir, Sebastian Maneth, Martin Odersky: Scalable Programming Abstractions for XML Services. Research Results of the DICS Program 2006: 103-126

Philipp Haller, Martin Odersky: Event-Based Programming Without Inversion of Control. JMLC 2006: 4-22

Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23

Martin Odersky: The Scala experiment: can we provide better language support for component systems? POPL 2006: 166-167

Martin Odersky, Matthias Zenger: Scalable component abstractions. OOPSLA 2005: 41-57

Martin Odersky, Benjamin C. Pierce: Guest editorial. ACM Trans. Program. Lang. Syst. 26(5): 767-768 (2004)

Martin Odersky: The Scala Experiment - Can We Provide Better Language Support for Component Systems? APLAS 2004: 364

Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (Eds.): Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016, Springer 2004, isbn 3-540-22119-0

Martin Odersky (Ed.): ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings. Lecture Notes in Computer Science 3086, Springer 2004, isbn 3-540-22159-X

Vincent Cremet, Martin Odersky: PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Domain-Specific Program Generation 2003: 180-195

Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger: A Nominal Theory of Objects with Dependent Types. ECOOP 2003: 201-224

Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky: An Equational Theory for Transactions. FSTTCS 2003: 38-49

Michel Schinz, Martin Odersky: Tail call elimination on the Java Virtual Machine. Electr. Notes Theor. Comput. Sci. 59(1): 158-171 (2001)

Matthias Zenger, Martin Odersky: Extensible Algebraic Datatypes with Defaults. ICFP 2001: 241-252

Martin Odersky, Christoph Zenger, Matthias Zenger: Colored local type inference. POPL 2001: 41-53

Martin Odersky: An Introduction to Functional Nets. APPSEM 2000: 333-377

Martin Odersky: Objects + Views = Components? Abstract State Machines 2000: 50-68

Martin Odersky: Programming with Functional Nets. The School of Niklaus Wirth 2000: 173-202

Martin Odersky: Functional Nets. ESOP 2000: 1-25

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Lecture Notes in Computer Science 1912, Springer 2000, isbn 3-540-67959-6

Martin Odersky, Philip Wadler (Eds.): Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. ACM 2000, isbn 1-58113-202-6

Martin Odersky, Martin Sulzmann, Martin Wehr: Type Inference with Constrained Types. TAPOS 5(1): 35-55 (1999)

John Maraist, Martin Odersky, David N. Turner, Philip Wadler: Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. 228(1-2): 175-210 (1999)

John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. J. Funct. Program. 8(3): 275-317 (1998)

Martin Odersky, Enno Runne, Philip Wadler: Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming 1998: 114-132

Kim B. Bruce, Martin Odersky, Philip Wadler: A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549

Martin Odersky: Programming with Variable Functions. ICFP 1998: 105-116

Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler: Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA 1998: 183-200

Martin Odersky: Challenges in Type Systems Research. SIGPLAN Notices 32(1): 92-93 (1997)

Kim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming. Theor. Comput. Sci. 173(1): 209-233 (1997)

Martin Odersky, Philip Wadler: Pizza into Java: Translating Theory into Practice. POPL 1997: 146-159

Martin Odersky: Challenges in Type Systems Research. ACM Comput. Surv. 28(4es): 169 (1996)

Kim Marriott, Martin Odersky: Negative Boolean Constraints. Theor. Comput. Sci. 160(1&2): 365-380 (1996)

Martin Odersky, Konstantin Läufer: Putting Type Annotations to Work. POPL 1996: 54-67

John Maraist, Martin Odersky, David N. Turner, Philip Wadler: Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Electr. Notes Theor. Comput. Sci. 1: 370-392 (1995)

Richard Helm, Kim Marriott, Martin Odersky: Spatial Query Optimization: From Boolean Constraints to Range Queries. J. Comput. Syst. Sci. 51(2): 197-210 (1995)

Ian A. Mason, Martin Odersky: Special Issue on State in Programming Languages - Introduction. Lisp and Symbolic Computation 8(4): 291-292 (1995)

Kim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. CP 1995: 310-327

Martin Odersky, Philip Wadler, Martin Wehr: A Second Look at Overloading. FPCA 1995: 135-146

Martin Odersky: Polarized Name Passing. FSTTCS 1995: 324-337

Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. POPL 1995: 233-246

Konstantin Läufer, Martin Odersky: Polymorphic Type Inference and Abstract Data Types. ACM Trans. Program. Lang. Syst. 16(5): 1411-1430 (1994)

Martin Odersky: A Functional Theory of Local Names. POPL 1994: 48-59

Kung Chen, Martin Odersky: A Type System for a Lambda Calculus with Assignments. TACS 1994: 347-364

Martin Odersky: Defining Context-Dependent Syntax Without Using Contexts. ACM Trans. Program. Lang. Syst. 15(3): 535-562 (1993)

Martin Odersky, Dan Rabin, Paul Hudak: Call by Name, Assignment, and the Lambda Calculus. POPL 1993: 43-56

Martin Odersky: Observers for Linear Types. ESOP 1992: 390-407

Kung Chen, Paul Hudak, Martin Odersky: Parametric Type Classes. LISP and Functional Programming 1992: 170-181

Richard Helm, Kim Marruitt, Martin Odersky: Building visual language parsers. CHI 1991: 105-112

Konstantin Läufer, Martin Odersky: Type Classes are Signatures of Abstract Types. Declarative Programming 1991: 148-162

Richard Helm, Kim Marriott, Martin Odersky: Constraint-Based Query Optimization for Spatial Databases. PODS 1991: 181-191

Martin Odersky: How to Make Destructive Updates Less Destructive. POPL 1991: 25-36

Martin Odersky: MINOS: A New Approach to the Design of an Input/Output Library for Modula-2. Structured Programming 10(2): 89-105 (1989)

Martin Odersky: Einfache und effiziente inkrementelle Syntaxanalyse. Inform., Forsch. Entwickl. 2(2): 73-82 (1987)