Martin Odersky

Not registered as user yet

Name: Martin Odersky

Bio: Martin Odersky is a professor at EPFL in Lausanne, Switzerland. He has been working on programming languages for most of his career. He first studied structured and object-oriented programming as a PhD student of Niklaus Wirth, then fell in love with functional programming while working as a post doc at IBM and Yale. When Java came out, he started to add functional programming constructs to the new platform. This led to Pizza and GJ and eventually to Java 5 with generics. During that time he also developed javac, the current reference compiler for Java.

Over the last 10 years, Martin worked on unifying object-oriented and functional programming in the Scala language. Scala quickly escaped from the research lab and became a popular open source tool and industrial language. He now oversees development of Scala as head of the programming group at EPFL and as academic director of the Scala center.

Country: Switzerland

Affiliation: EPFL, Switzerland

Personal website: http://lampwww.epfl.ch/~odersky/

Research interests: Programming Languages, Scala, Objects, Functions

Contributions

Scala 2019Author in Steering Committee within the Scala 2019-track
Scala 2018Author of Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication within the Scala 2018-track
Author of Initialization Patterns in Dotty within the Scala 2018-track
Committee Member in Steering Committee within the Scala 2018-track
Author of Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem within the Scala 2018-track
GPCE 2018Author of A Practical Unification of Multi-Stage Programming and Macros within the GPCE 2018-track
SPLASH 2018Author of A Practical Unification of Multi-Stage Programming and Macros within the Posters-track
Scala 2017Committee Member in Steering Committee within the Scala 2017-track
Committee Member in Program Committee within the Scala 2017-track
CurryOn 2017Author of What to Leave Implicit within the Curry On Keynotes-track
POPL 2018Author of Simplicitly: Foundations and Applications of Implicit Function Types within the Research Papers-track
Author of Simplicitly: Foundations and Applications of Implicit Function Types within the Artifact Evaluation-track
Scala 2016Author of Implementing Higher-Kinded Types in Dotty within the Scala-track
HOPE 2016Author of Effects as Capabilities within the HOPE-track
PLDI 2017Keynote Speaker of What to Leave Implicit within the PLDI Invited Speakers-track
Author of Miniphases: Compilation using Modular and Efficient Tree Transformations within the PLDI Research Papers-track
SPLASH 2016Session Chair of Program Synthesis (part of OOPSLA)
Author of Call Graphs for Languages with Parametric Polymorphism within the OOPSLA-track
Keynote Speaker of SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Objects As Modules within the Keynotes and Awards-track
PLOOC 2015Author of Functional Programming For All! Scaling a MOOC for Students and Professionals Alike within the PLOOC 2015-track
DSLDI 2015Author of Dynamic Compilation of DSLs within the DSLDI-track
Onward! 2015Author of Isolates, Channels and Event Streams for Composable Distributed Programming within the Onward! Papers-track
SPLASH 2015Author of Automating Ad-hoc Data Representation Transformations within the OOPSLA Artifacts-track
Author of Automating Ad-hoc Data Representation Transformations within the OOPSLA-track
SPLASH 2014Presenter of Late Data Layout: Unifying Data Representation Transformations within the OOPSLA Artifacts-track
Author of Late Data Layout: Unifying Data Representation Transformations within the OOPSLA-track
Author of Foundations of Path-Dependent Types within the OOPSLA-track
Author of Staged Parser Combinators for Efficient Data Processing within the OOPSLA-track
GPCE 2013Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track
Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track
SPLASH 2013Author of Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations within the OOPSLA-track
Author of Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization within the OOPSLA-track
FOOL 2012Author of Dependent Object Types within the FOOL 2012-track