Matthias Felleisen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
73
Venues
15
Active years
1986–2025
Best venue rank
A*
Where they publish
Papers
73 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea). | Cameron Moy, Ryan Jung, Matthias Felleisen |
| 2024 | ECOOP | Type Tailoring. | Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman |
| 2016 | ESOP | Coordinated Concurrent Programming in Syndicate. | Tony Garnock-Jones, Matthias Felleisen |
| 2016 | ICFP | Oh Lord, please don't let contracts be misunderstood (functional pearl). | Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen |
| 2016 | POPL | Is sound gradual typing dead? | Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen |
| 2015 | CC | Feature-Specific Profiling. | Vincent St-Amour, Leif Andersen, Matthias Felleisen |
| 2015 | ECOOP | Towards Practical Gradual Typing. | Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2015 | SIGCSE | Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. | Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen |
| 2014 | ESOP | The Network as a Language Construct. | Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2014 | POPL | Profiling for laziness. | Stephen Chang, Matthias Felleisen |
| 2013 | OOPSLA | Option contracts. | Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen |
| 2012 | ESOP | The Call-by-Need Lambda Calculus, Revisited. | Stephen Chang, Matthias Felleisen |
| 2012 | ESOP | Complete Monitors for Behavioral Contracts. | Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | OOPSLA | Optimization coaching: optimizers learn to communicate with programmers. | Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | OOPSLA | Gradual typing for first-class classes. | Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | PADL | Typing the Numeric Tower. | Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
| 2012 | POPL | Run your research: on the effectiveness of lightweight mechanization. | Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler |
| 2011 | GPCE | Multilingual component programming in racket. | Matthias Felleisen |
| 2011 | PLDI | Languages as libraries. | Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen |
| 2011 | POPL | Correct blame for contracts: no more scapegoating. | Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen |
| 2011 | SIGCSE | TeachScheme! | Matthias Felleisen |
| 2010 | DLS | Contracts for first-class classes. | T. Stephen Strickland, Matthias Felleisen |
| 2010 | ICFP | Fortifying macros. | Ryan Culpepper, Matthias Felleisen |
| 2010 | ICFP | TeachScheme!: a checkpoint. | Matthias Felleisen |
| 2010 | ICFP | Logical types for untyped languages. | Sam Tobin-Hochstadt, Matthias Felleisen |
| 2009 | DLS | Contracts for first-class modules. | T. Stephen Strickland, Matthias Felleisen |
| 2009 | ESOP | Practical Variable-Arity Polymorphism. | T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2009 | ICFP | A functional I/O system or, fun for freshman kids. | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
| 2009 | PADL | Toward a Practical Module System for ACL2. | Carl Eastlund, Matthias Felleisen |
| 2009 | PPDP | Future contracts. | Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
| 2009 | PPDP | Making induction manifest in modular ACL2. | Carl Eastlund, Matthias Felleisen |
| 2008 | ICFP | Functional programming and theorem proving for undergraduates: a progress report. | Rex L. Page, Carl Eastlund, Matthias Felleisen |
| 2008 | POPL | The design and implementation of typed scheme. | Sam Tobin-Hochstadt, Matthias Felleisen |
| 2007 | GPCE | Debugging macros. | Ryan Culpepper, Matthias Felleisen |
| 2007 | ICFP | Adding delimited and composable control to a production programming environment. | Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen |
| 2006 | APLAS | Scheme with Classes, Mixins, and Traits. | Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
| 2006 | OOPSLA | Interlanguage migration: from scripts to programs. | Sam Tobin-Hochstadt, Matthias Felleisen |
| 2006 | POPL | Modular set-based analysis from contracts. | Philippe Meunier, Robert Bruce Findler, Matthias Felleisen |
| 2005 | ICFP | How to design class hierarchies. | Matthias Felleisen |
| 2005 | ICFP | Continuations from generalized stack inspection. | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
| 2005 | POPL | Environmental acquisition revisited. | Richard Cobbe, Matthias Felleisen |
| 2004 | ECOOP | Functional Objects. | Matthias Felleisen |
| 2004 | ECOOP | Semantic Casts: Contracts and Structural Subtyping in a Nominal World. | Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
| 2004 | GPCE | Taming Macros. | Ryan Culpepper, Matthias Felleisen |
| 2004 | ICSE | Validating the Unit Correctness of Spreadsheet Programs. | Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen |
| 2003 | ESOP | A Tail-Recursive Semantics for Stack Inspections. | John Clements, Matthias Felleisen |
| 2003 | ESOP | Modeling Web Interactions. | Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 2002 | ICFP | Contracts for higher-order functions. | Robert Bruce Findler, Matthias Felleisen |
| 2002 | POPL | From POPL to the classroom and back. | Matthias Felleisen |
| 2001 | ESOP | Modeling an Algebraic Stepper. | John Clements, Matthew Flatt, Matthias Felleisen |
| 2001 | ESOP | Programming the Web with High-Level Programming Languages. | Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen |
| 2001 | OOPSLA | Contract Soundness for Object-Oriented Languages. | Robert Bruce Findler, Matthias Felleisen |
| 1999 | ESOP | Expressing Structural Properties as Language Constructs. | Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen |
| 1999 | ICFP | Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). | Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 1998 | ECOOP | Synthesizing Object-Oriented and Functional Design to Promote Re-Use. | Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman |
| 1998 | PLDI | Units: Cool Modules for HOT Languages. | Matthew Flatt, Matthias Felleisen |
| 1998 | POPL | Classes and Mixins. | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
| 1997 | PLDI | Componential Set-Based Analysis. | Cormac Flanagan, Matthias Felleisen |
| 1996 | PLDI | Static Debugging: Browsing the Web of Program Invariants. | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |
| 1995 | POPL | The Call-by-Need Lambda Calculus. | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
| 1995 | POPL | The Semantics of Future and Its Use in Program Optimizations. | Cormac Flanagan, Matthias Felleisen |
| 1994 | PLDI | Is Continuation-Passing Useful for Data Flow Analysis? | Amr Sabry, Matthias Felleisen |
| 1993 | PLDI | The Essence of Compiling with Continuations. | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |
| 1993 | PLDI | The essence of compiling with continuations (with retrospective) | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |
| 1993 | POPL | On the Orthogonality of Assignments and Procedures in Algol. | Stephen Weeks, Matthias Felleisen |
| 1992 | POPL | Observable Sequentiality and Full Abstraction. | Robert Cartwright, Matthias Felleisen |
| 1991 | POPL | Parameter-Passing and the Lambda Calculus. | Erik Crank, Matthias Felleisen |
| 1991 | POPL | Modeling Continuations without Continuations. | Dorai Sitaram, Matthias Felleisen |
| 1990 | ESOP | On the Expressive Power of Programming Languages. | Matthias Felleisen |
| 1989 | PLDI | The Semantics of Program Dependence. | Robert Cartwright, Matthias Felleisen |
| 1988 | POPL | The Theory and Practice of First-Class Prompts. | Matthias Felleisen |
| 1987 | POPL | A Calculus for Assignments in Higher-Order Languages. | Matthias Felleisen, Daniel P. Friedman |
| 1986 | LICS | Reasoning with Continuations | Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba |