Caldwell, Garnock-Jones, Felleisen
(Journal of Functional Programming)
Programming and Reasoning about Actors that Share State
pdf  
Also see the JFP version

ECOOP 2024: Wiersdorf, Chang, Felleisen, Greenman
Type tailoring
pdf  

POPL 2024: Moy, Dimoulas, Felleisen
Effectful Software Contracts
pdf  
Also see the ACM version

Moy, Felleisen
(Journal of Functional Programming)
Trace Contracts
pdf  
Also see the JFP version

OOPSLA 2023: Greenman, Felleisen, Dimoulas
How Profilers Can Help Navigate Type Migration
pdf  

ICFP 2023: Lazarek, Greenman, Felleisen, Dimoulas
How to Evaluate Blame, Part II
pdf  

Eelco Visser Commemorative Symposium: Ballantyne, Felleisen
Injecting Language Workbench Technology into Mainstream Languages
pdf  
Also see the published Symposium version

Greenman, Dimoulas, Felleisen
(Transactions on Programming Languages and Systems)
Typed–Untyped Interactions: A Comparative Analysis
pdf  
Also see the published TOPLAS version

Greenman, Lazarek, Dimoulas, Felleisen
(Programming)
A Transient Semantics for Typed Racket
pdf  

ICFP 2021: Lazarek, Greenman, Felleisen, Dimoulas
How to Evaluate Blame
pdf  

OOPSLA 2020: Andersen, Ballantyne, Felleisen
Adding Interactive Visual Syntax to Textual Code
pdf  
take a look at the conference presentation

OOPSLA 2020: Ballantyne, King, Felleisen
Macros for Domain-Specific Languages
pdf  

Caldwell, Garnock-Jones, Felleisen
(Journal of Functional Programming)
Typed Dataspace Actors
pdf  
Also see the actual JFP version and the video abstract for JFP

OOPSLA 2019: Greenman, Felleisen, Dimoulas
Complete Monitors for Gradual Types
pdf  
Also see the technical report version with proofs.

SNAPL 2019: Culpepper, Felleisen, Flatt, Krishnamurthi
From Macros to DSLs: The Evolution of Racket
pdf  
Also see the actual LIPICS version and the BibTeX citation.
The full proceedings is available at LIPIcs Vol. 136, SNAPL 2019.

Greenmean, Takikawa, New, Feltey, Findler, Vitek, Felleisen
(Journal of Functional Programming)
How to Evaluate the Performance of Gradual Type Systems
pdf  
Also see the actual JFP version

ICFP 2018: Greenman, Felleisen
A Spectrum of Soundness and Performance
pdf  

Andersen, St-Amour, Vitek, Felleisen
(Transactions on Programming Languages and Systems)
Feature-Specific Profiling
pdf  

CACM 2018: Felleisen, Findler, Flatt, Krishnamurthi, Barzilay, McCarthy, and Tobin-Hochstadt
A Programmable Programming Language [draft]
pdf  
the actual CACM version, the CACM Video, the Video preview, and CACM front page for March 2018

ICFP 2017: Andersen, Chang, and Felleisen
Super 8 Languages for Making Movies
pdf  
download the video language

SNAPL 2017: Tobin-Hochstadt, Felleisen, Findler, Flatt, Greenman, Kent, St-Amour, Strickland, Takikawa
Migratory Typing: Ten Years Later
pdf  

ICFP 2016: Dimoulas, New, Findler, and Felleisen
Oh Lord, Please Don't Let Contracts be Misunderstood, a Variation on Old Gems
pdf  

ESOP 2016: Garnock-Jones and Felleisen
Coordinated Concurrent Programming in Syndicate
pdf  

POPL 2016: Takikawa, Feltey, Greenman, New, Vitek, and Felleisen
Is sound gradual typing dead?
pdf  
a preliminary link to the accompanying artifact, which contains the Racket implementation used for the measurements, all benchmarks, and all timings.

ECOOP 2015: Takikawa, Feltey, Dean, Flatt, Findler, Tobin-Hochstadt, and Felleisen
Toward practical gradual typing
pdf  
Our artifact could not be evaluated because Matthew Flatt was chairman of the AEC for ECOOP 2015.

SNAPL 2015: Felleisen, Findler, Flatt, Krishnamurthi, Barzilay, McCarthy, Tobin-Hochstadt
The Racket Manifesto
pdf  

CC 2015: St-Amour, Andersen, Felleisen
Feature-specific Profiling
pdf  

SIGCSE 2015: Schanzer, Fisler, Krishnamurthi, Felleisen
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap
pdf  

ESOP 2014: Garnock-Jones, Tobin-Hochstadt, Felleisen
The Network as a Language Construct
pdf  
supplemental materials

POPL 2014: Chang, Felleisen
Profiling for Laziness
pdf  

Strickland, Dimoulas, Takikawa, Felleisen
(Transactions on Programming Languages and Systems)
Contracts for First-Class Classes
pdf  

OOPSLA 2013: Dimoulas, Findler, Felleisen
Option Contracts
pdf  

OOPSLA 2012: Takikawa, Strickland, Dimoulas, Tobin-Hochstadt, Felleisen
Gradual Typing for First-Class Classes
pdf  

OOPSLA 2012: St-Amour, Tobin-Hochstadt, Felleisen
Optimization Coaching
pdf  

ESOP 2012: Chang and Felleisen
The Call-by-need Lambda Calculus, Revisited
pdf  

ESOP 2012: Dimoulas, Tobin-Hochstadt, and Felleisen
Complete Monitors for Behavioral Contracts
pdf  

IFL 2011 (appears in 2012): Chang, Barzilay, Clements, Felleisen
From Stack Traces to Lazy Rewriting Sequences
pdf  

Dimoulas, Felleisen
(Transactions on Programming Languages and Systems)
On Contract Satisfaction in a Higher-Order World
pdf  

POPL 2012: Klein, Clements, Dimoulas, Eastlund, Felleisen, Flatt, McCarthy, Rafkind, Tobin-Hochstadt, Findler
Run Your Research

pdf   also visit the senior author's publication site for the Redex models

PADL 2012: St-Amour, Tobin-Hochstadt, Flatt, and Felleisen
Typing the Numeric Tower
pdf  

PLDI 2011: Tobin-Hochstadt, St-Amour, Culpepper, Flatt, Felleisen
Languages as Libraries
pdf  

POPL 2011: Dimoulas, Findler, Flanagan, Felleisen
Correct Blame for Contracts: No More Scapegoating
pdf  

TFP 2010: Eastlund, Felleisen
Hygienic Macros for ACL2
pdf  

DLS 2010: Strickland, Felleisen
Contracts for First-Class Classes
pdf  

ICFP 2010: Culpepper, Felleisen
Fortifying Macros
pdf  

ICFP 2010: Tobin-Hochstadt, Felleisen
Logical Types for Untyped Languages
pdf  

ICFP 2010: Felleisen
TeachScheme!---A Checkpoint (Abstract)
pdf  

TLDI 2010: Felleisen
Adding Types to Untyped Languages (Abstract)
pdf  

CACM 2009: Felleisen and Krishnamurthi
Computer Science Doesn't Matter [draft]
pdf  

IFL 2009 (appeared in 2010): Strickland, Felleisen
Nested and Dynamic Contract Boundaries
pdf  

DLS 2009: Strickland, Felleisen
Contracts for First-Class Modules
pdf  

Scheme 2009: Eastlund, Felleisen
Sequence Traces for Object-Oriented Executions
pdf  

PPDP 2009: Eastlund, Felleisen
Making Induction Manifest in Modular ACL2
pdf  

PPDP 2009: Dimoulas, Pucella, Felleisen
Future Contracts
pdf  

Culpepper, Felleisen
(Science of Computer Programming)
Debugging Hygienic Macros
pdf  

ICFP 2009: Felleisen, Findler, Flatt, Krishnamurthi
A Functional I/O System (or Fun for Freshman Kids)
pdf  

ACL2 2009: Eastlund and Felleisen
Automatic Verification for Interactive Graphical Programs
pdf  

ESOP 2009: Strickland, Tobin-Hochstadt, and Felleisen
Practical Variable-Arity Polymorphism
pdf  

PADL 2009: Eastlund and Felleisen
Toward a Practical Module System for ACL2
pdf  

FDPE 2008: Page, Eastlund, and Felleisen
Functional Programming and Theorem Proving for Undergraduates: A Progress Report
pdf  

POPL 2008: Tobin-Hochstadt, Felleisen
The Design and Implementation of Typed Scheme
pdf  

ACL2 2007: Eastlund, Vaillancourt, Felleisen
ACL2 for Freshmen: First Experiences
pdf  

GPCE 2007: Culpepper, Felleisen
Debugging Macros
pdf  

ICFP 2007: Flatt, Yu, Findler, Felleisen
Adding Delimited and Composable Control to a Production Programming Environment
pdf  
the working system and model

Krishnamurthi, Hopkins, McCarthy, Graunke, Pettyjohn , Felleisen
(Journal of Higher-Order and Symbolic Computing)
Implementation and Use of the PLT Scheme Web Server
pdf  

Krishnamurthi, Findler, Graunke, Felleisen
(Interactive Computation (Editors: Goldin, Smolka, Wegner))
Modeling Web Interactions and Errors
pdf  

APLAS 2006: Flatt, Findler, Felleisen
Scheme with Classes, Mixins, and Traits
pdf  

DLS 2006: Tobin-Hochstadt, Felleisen
Interlanguage Migration: From Scripts to Programs
pdf  

Scheme 2006 and Functional Programming: Culpepper, Felleisen
A Stepper for Scheme Macros
pdf  

ACL2 2006: Vaillancourt, Page, Felleisen
ACL2 in DrScheme
pdf  

POPL 2006: Meunier, Findler, Felleisen
Modular Set-Based Analysis from Contracts
pdf  

ICFP 2005: Pettyjohn, Clements, Marshall, Krishnamurthi, Felleisen
Continuations from Generalized Stack Inspection
pdf  
Also see: Joe Marshall's "Hacking the Stack"

POPL 2005: Cobbe, Felleisen
Environmental Acquisition Revisited
pdf  

GPCE 2004: Culpepper, Felleisen
Taming Macros
pdf  ps  

20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection.: Flanagan, Sabry, Duba and Felleisen
The Essence of Compiling with Continuations (Retrospective)
pdf  ps  
See below for the paper.

Clements, Felleisen, Findler, Flatt, Krishnamurthi
(DrDobb's)
Fostering Little Languages

available on request

Felleisen, Findler, Flatt, Krishnamurthi
(DrDobb's)
Building Little Languages with Macros

available on request

Clements, Felleisen
(Transactions on Programming Languages and Systems)
A Tail-Recursive Machine with Stack Inspection
pdf  

ECOOP 2004: Findler, Flatt, Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nomimal World
pdf  

RTA 2004 : Matthews, Findler, Flatt, Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
pdf  

ICSE 2004 : Antoniu, Steckler, Krishnamurthi, Neuwirth, Felleisen
Validating the Unit Correctness of Spreadsheet Programs
ps  

Felleisen, Findler, Flatt, Krishnamurthi
(Journal of Functional Programming)
The Structure and Interpretation of the Computer Science Curriculum
pdf  ps  

Matthews, Findler, Graunke, Krishnamurthi, Felleisen
(Journal of Automated Software Engineering)
Automatically Restructuring Software for the Web
pdf  ps  

Felleisen, Findler, Flatt, Krishnamurthi
(Computer Science Education)
The TeachScheme! Project: Computing and Programming for Every Student
pdf  ps  
The original submission contains additional material: PS, PDF

ESOP 2003: Clements, Felleisen
A Tail-Recursive Semantics for Stack Inspections
pdf  ps  

ESOP 2003: Graunke, Findler, Krishnamurthi, Felleisen
Modeling Web Interactions
pdf  ps  

FDPE 2002: Felleisen, Findler, Flatt, Krishnamurthi
The Structure and Interpretation of the Computer Science Curriculum
pdf  ps  

ICFP 2002 : Findler, Felleisen
Contracts for Higher-order Functions
pdf  

AFP 2002 : Felleisen
Developing Interactive Web Programs
ps  

LISA 2002 : Logan, Felleisen, Blank-Edelman
Environmental Acquisition in Network Management
ps  

Automated Software Engineering 2001: Graunke, Findler, Krishnamurthi, Felleisen
Automatically Restructuring Programs for the Web
pdf  ps  

OOPSLA 2001: Findler, Felleisen.
Contract Soundness for Object-Oriented Languages
pdf  ps  

FSE 2001: Findler, Latendresse, Felleisen.
Behavioral Contracts and Behavioral Subtyping
pdf  

Monterey Workshop 2001: Clements, Graunke, Krishnamurthi, and Felleisen
Little Languages and their Programming Environments
pdf  

Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, and Felleisen.
(Journal of Functional Programming)
DrScheme: A Programming Environment for Scheme
pdf  ps  

ESOP 2001: Clements, Flatt, Felleisen
Modeling an Algebraic Stepper
pdf  ps  

ESOP 2001: Graunke, Krishnamurthi, Van der Hoeven and Felleisen
Programming the Web with High-Level Programming Languages
pdf  ps  

GCSE 99: Krishnamurthi, Felleisen and Duba
From Macros to Reusable Generative Programming

[no on-line version of paper due to copyright restrictions]
but see Technical Report

Flanagan and Felleisen
(Journal of Functional Programming)
The Semantics of Future and an Application
ps  

ICFP 99: Flatt, Findler, Krishnamurthi and Felleisen
Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine)
pdf  ps  
DVI (sans screen dump)

IEEE Software Engineering Education and Training '99: Felleisen, Cartwright
Safety as a metric
pdf  
Copyright (C) 1999, IEEE

ESOP 99: Krishnamurthi, Erlich and Felleisen
Expressing Structural Properties as Language Constructs

[no on-line version of paper due to copyright restrictions]
abstract
slides (PowerPoint)

Flanagan and Felleisen
(Transactions on Programming Languages and Systems)
Componential Set-Based Analysis
ps  

LUGM 98: Flanagan and Felleisen
A New Way of Debugging LISP Programs
ps  

FSE 98: Krishnamurthi and Felleisen
Toward a Formal Theory of Extensible Software
ps  
Slides (PS, ledger)

ECOOP 98: Krishnamurthi, Felleisen and Friedman
Synthesizing Object-Oriented and Functional Design to Promote Re-Use

[no on-line version of paper due to copyright restrictions]
see Technical Report abstract

PLDI 98: Flatt and Felleisen
Units: Cool Modules for HOT Languages
ps  

Felleisen, Findler, Flatt, and Krishnamurthi
(Sigplan Notices: Functional Programming Column)
The DrScheme Project: An Overview.
pdf  ps  

POPL 98: Flatt, Krishnamurthi, and Felleisen
Classes and Mixins
ps  
corrections in Rice TR 97-293

Flatt, Krishnamurthi and Felleisen
(Lecture Notes in Computer Science 1523: Formal Syntax and Semantics of Java)
A Programmer's Reduction Semantics for Classes and Mixins

expanded version of the POPL 98 paper,
corrections in Rice TR 97-293

PLILP 97: Findler, Flanagan, Flatt, Krishnamurthi and Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme
ps  

PLDI 97: Flanagan and Felleisen
Componential Set-Based Analysis
ps  

Cartwright and Felleisen
(Computing Surveys)
Program Verification through Soft Typing
ps  

Felleisen and Weeks
(R. Tennent (Ed.), ALGOL-like Languages)
On the Orthogonality of Assignments and Procedures in Algol
ps  

Ariola and Felleisen
(Journal of Functional Programming)
The Call-by-Need Lambda-Calculus
ps  

PLDI 96: Flanagan, Flatt, Krishnamurthi, Weirich and Felleisen
Catching Bugs in the Web of Program Invariants
ps  

FPCA 95: Morrisett, Felleisen and Harper
Abstract Models of Memory Management
ps  

POPL 95: Flanagan and Felleisen
The Semantics of Future and Its Use in Program Optimizations
ps  

Wright and Felleisen
(Information and Computation)
A Syntactic Approach to Type Soundness
ps  

Cartwright, Curien, and Felleisen
(Information and Computation)
Fully Abstract Semantics for Observably Sequential Languages
pdf  ps  
R. Findler has been correcting typos in the journal version; his new version is available from his web page.

PLDI 94: Sabry and Felleisen
Is Continuation-Passing Useful for Data Flow Analysis?
ps  

TACS 94: Cartwright and Felleisen
Extensible Denotational Language Specifications
ps  

Sabry and Felleisen
(LISP and Symbolic Computation)
Reasoning about Programs in Continuation-Passing Style
ps  

PLDI 93: Flanagan, Sabry, Duba and Felleisen
The Essence of Compiling with Continuations
ps  

POPL 93: Weeks and Felleisen
On the orthogonality of assignments and procedures in Algol
ps  

Felleisen and Hieb
(Theoretical Computer Science)
The revised report on the syntactic theories of sequential control and state
pdf  ps  

POPL 92: Cartwright and Felleisen
Observable sequentiality and full abstraction
ps  

Lecture Notes in Computer Science 666: REX 92: Kanneganti, Cartwright and Felleisen
SPCF: its model, calculus, and computational power
ps  

LFP 92: Sabry and Felleisen
Reasoning about Programs in Continuation-Passing Style
ps  

POPL 91: Crank and Felleisen
Parameter-Passing and the Lambda Calculus
ps  

Felleisen
(Science of Computer Programming)
On the Expressive Power of Programming Languages
ps  

Sitaram and Felleisen
(Lisp and Symbolic Computation)
Control Delimiters and Their Hierarchies
pdf  
(Thanks to Robert Findler for scanning in this document and making it available in electronic form.)

LFP 90: Sitaram and Felleisen
Reasoning with Continuations II: Full Abstraction for Models of Control
ps  
Models of Control: Two Corrections: DVI   PS

PLDI 89: Cartwright and Felleisen
The Semantics of Program Dependence
ps  

POPL 88 (2): Felleisen
The Theory and Practice of First-Class Prompts
pdf  

LiCS 86: Felleisen, Friedman, Kohlbecker, and Duba
Reasoning with Continuations
pdf  
(Thanks to Tony Garnock-Jones for scanning in this document and making it available in electronic form.)

INDIANA UNIVERSITY: Felleisen
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages
pdf  djvu  
Thanks to Chung-chieh Shan for creating the djvu version.
And thanks to Jim Bender for converting it to PDF.

Northeastern U. Computer Science TR NU-CCIS-8-28-14-01: St-Amour, Felleisen
Feature-Specific Profiling
pdf  

Northeastern U. Computer Science TR NU-CCIS-10-04: Strickland and Felleisen
Contracts for First-Class Classes
pdf  

Northeastern U. Computer Science TR NU-CCIS-08-03: Strickland, Tobin-Hochstadt, and Felleisen
Variable-Arity Polymorphism
pdf  

Northeastern U. Computer Science TR NU-CCIS-08-01: Strickland, Cobbe, and Felleisen
Variable-Arity Generic Interfaces
pdf  

Northeastern U. Computer Science TR NU-CCIS-06-11: Eastlund and Felleisen
Sequence Traces for Object-Oriented Execution
pdf  

Northeastern U. Computer Science TR NU-CCIS-06-10: Cobbe and Felleisen
Envrionmental Acquisition Revisited
pdf  

Northeastern U. Computer Science TR NU-CCIS-02-05: Findler and Felleisen
Contracts for Higher-Order Functions
pdf  

Rice U. Computer Science TR 01-372: Findler, Latendresse and Felleisen
Object-oriented Programming Languages Need Well-founded Contracts
pdf  

Rice U. Computer Science TR 00-366: Findler and Felleisen
Behavioral Interface Contracts for Java
pdf  

Rice U. Computer Science TR 00-364: Krishnamurthi, Felleisen and Duba
From Macros to Reusable Generative Programming
ps  

Rice U. Computer Science TR 99-352: Felleisen and Krishnamurthi
Safety in Programming Languages
pdf  ps  

Rice U. Computer Science TR 99-346: Felleisen, Hanus, Thompson
Functional and Declarative Programming in Education

Directory

Rice U. Computer Science TR 98-299: Krishnamurthi, Felleisen and Friedman
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
ps  

Rice U. Computer Science TR 97-293: Flatt, Krishnamurthi and Felleisen (
A Programmer's Reduction Semantics for Classes and Mixins
pdf  ps  

Rice U. Computer Science TR 97-292: Krishnamurthi and Felleisen
Lecture Notes on the Principles of Programming Languages
ps  

Rice U. Computer Science TR 96-266: Flanagan and Felleisen
Modular and Polymorphic Set-Based Analysis: Theory and Practice
ps  

Rice U. Computer Science TR 91-160: Wright and Felleisen
A Syntactic Approach to Type Soundness
ps  

Rice U. Computer Science TR 89-100: Felleisen and Hieb
The revised report on the syntactic theories of sequential control and state
ps  

Indiana U. Computer Science TR 87-216: Felleisen, Friedman, Duba, Merrill
Beyond Continuations
pdf  djvu  
Thanks to Chung-chieh Shan for creating the djvu version.

Indiana U. Computer Science TR 85-182: Felleisen
Transliterating Prolog into Scheme
pdf