All publications

2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1994 1993 1991 1990 1987 1981

2012[top]

Practical Programming with Substructural Types [download]

Jesse A. Tov
(PhD. thesis) at Northeastern University

Typing the numeric tower [PDF]

Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt and Matthias Felleisen
Practical Aspects of Declarative Languages (PADL)

Seeing the futures: profiling shared-memory parallel Racket [PDF]

James Swaine, Burke Fetscher, Vincent St-Amour, Robby Findler and Matthew Flatt
Functional High-Performance Computing (FHPC)

Optimization coaching [PDF]

Vincent St-Amour, Sam Tobin-Hochstadt and Matthias Felleisen
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)

2011[top]

A Theory of Substructural Types and Control [download]

Jesse A. Tov and Riccardo Pucella
Proc 26th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'11) pp. 625-642

Practical Affine Types [download]

Jesse A. Tov and Riccardo Pucella
Proc. 38th Symposium on Principles of Programming Languages (POPL'11) pp. 447-458

A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs [PDF]

Matthew Might and David Van Horn
The 18th International Static Analysis Symposium

Pushdown Flow Analysis of First-Class Control [PDF] [slides]

Dimitrios Vardoulakis and Olin Shivers
International Conference on Functional Programming (ICFP)

CFA2: a Context-Free Approach to Control-Flow Analysis [PDF]

Dimitrios Vardoulakis and Olin Shivers
Logical Methods in Computer Science (LMCS), 7(2:3):1-39

Ordering Multiple Continuations on the Stack [PDF] [slides]

Dimitrios Vardoulakis and Olin Shivers
Partial Evaluation and Program Manipulation (PEPM)

Languages as libraries [PDF]

Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt and Matthias Felleisen
Programming Language Design and Implementation (PLDI)

2010[top]

Stateful Contracts for Affine Types [download]

Jesse A. Tov and Riccardo Pucella
Proc. 19th European Symposium on Programming (ESOP'10) vol. 6012 pp. 550-569

Weaving Generic Programming and Traversal Performance

Bryan Chadwick and Karl Lieberherr
AOSD '10 pp. 61-72

Algorithms for Traversal-Based Generic Programming

Bryan Chadwick and Karl Lieberherr
WGP '10

Abstracting Abstract Machines [PDF]

David Van Horn and Matthew Might
International Conference on Functional Programming

Pushdown Control-Flow Analysis of Higher-Order Programs [PDF]

Christopher Earl, Matthew Might and David Van Horn
Scheme and Functional Programming Workshop

Resolving and Exploiting the k-CFA Paradox [PDF]

Matthew Might, Yannis Smaragdakis and David Van Horn
PLDI

Evaluating Call By Need on the Control Stack

Stephen Chang, David Van Horn and Matthias Felleisen
Symposium on Trends in Functional Programming

CFA2: a Context-Free Approach to Control-Flow Analysis [PDF] [slides]

Dimitrios Vardoulakis and Olin Shivers
European Symposium on Programming (ESOP)

Functional Adaptive Programming [PDF]

Bryan Chadwick
PhD Dissertation, Northeastern University.

A Functional Approach to Generic Programming using Adaptive Traversals [PDF]

Bryan Chadwick and Karl Lieberherr
Higher-Order and Symbolic Computation. Festschrift for Mitch Wand.

Algorithms for Traversal-Based Generic Programming [PDF]

Bryan Chadwick and Karl Lieberherr
Workshop on Generic Programming

Weaving Generic Programming and Traversal Performance [PDF]

Bryan Chadwick and Karl Lieberherr
AOSD

2009[top]

A Type System for Functional Traversal-Based Aspects

Bryan Chadwick and Karl Lieberherr
AOSD '09, FOAL Workshop pp. 1-6

All-Terimation(T) [PDF]

Panagiotis Manolios and Aaron Turon
TACAS

Regular expression derivatives reexamined [PDF]

Scott Owens, John Reppy and Aaron Turon
JFP

The Complexity of Flow Analysis in Higher-Order Languages [PDF]

David Van Horn
PhD dissertation, Brandeis University

A Type System for Functional Traversal-Based Aspects [PDF]

Bryan Chadwick and Karl Lieberherr
FOAL Workshop

2008[top]

Variable-Arity Generic Interfaces [PDF]

T. Stephen Strickland and Richard Cobbe and Matthias Felleisen
(tech report) Northeastern University College of Computer and Information Science no. NU-CCIS-08-01

Haskell Session Types with (Almost) No Class [download]

Riccardo Pucella and Jesse A. Tov
Proc. 1st ACM SIGPLAN Symposium on Haskell (Haskell'08) pp. 25-36

Caml-Shcaml: An OCaml Library for Unix Shell Programming [download]

Alec Heller and Jesse A. Tov
Proc. 2008 ACM SIGPLAN workshop on ML (ML'08) pp. 79-90

Much Ado about Nothing: Putting Java's Null in its Place [PDF]

Richard Cobbe
(PhD. thesis) at Northeastern University

Deciding kCFA is complete for EXPTIME [PDF] [ACM]

David Van Horn and Harry G. Mairson
International Conference on Functional Programming

Flow Analysis, Linearity, and PTIME [PDF] [Springer]

David Van Horn and Harry G. Mairson
Static Analysis Symposium

A Compositional Trace Semantics for Orc [PDF] [slides]

Dimitrios Vardoulakis and Mitchell Wand
International Conference on Coordination Models and Languages (COORDINATION)

2007[top]

Status Report: Specifying JavaScript with ML [PDF]

David Herman and Cormac Flanagan
ML '07: Proceedings of the 2007 Workshop on ML pp. 47--52

Functional Pearl: The Great Escape. Or, How to Jump the Border Without Getting Caught [PDF]

David Herman
ICFP '07: Proceedings of the Twelfth ACM SIGPLAN International Conference on Functional Programming pp. 157--164

Space-Efficient Gradual Typing [PDF]

David Herman, Aaron Tomb and Cormac Flanagan
TFP '07: The Eighth Symposium on Trends in Functional Programming pp. 404--419

Metaprogramming with Traits [PDF]

John Reppy and Aaron Turon
ECOOP

ACL2 for Freshmen: First Experiences [PDF]

Carl Eastlund, Dale Vaillancourt and Matthias Felleisen
ACL2 Workshop

Debugging Macros [PDF]

Ryan Culpepper and Matthias Felleisen
GPCE

Advanced Macrology and the Implementation of Typed Scheme [PDF]

Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt
Scheme Workshop

Adding Delimited and Composable Control to a Production Programming Environment [PDF]

Matthew Flatt, Gang Yu, Robert Bruce Findler and Matthias Felleisen
International Conference on Functional Programming

Implementation and Use of the PLT Scheme Web Server [PDF]

Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul Graunke, Greg Pettyjohn and Matthias Felleisen
Journal of Higher-Order and Symbolic Computing

Relating Complexity and Precision in Control Flow Analysis [PDF] [ACM]

David Van Horn and Harry G. Mairson
International Conference on Functional Programming

A Compositional Trace Semantics for Orc (short version) [PDF] [slides]

Dimitrios Vardoulakis and Mitchell Wand
BPESO/CSCW

2006[top]

Environmental Acquisition Revisited [PDF]

Richard Cobbe and Matthias Felleisen
(tech report) Northeastern University College of Computer and Information Science no. NU-CCIS-06-10

Design of Class Hierarchies: An Introduction to OO Program Design [PDF]

Viera K. Proulx and Kathryn E. Gray
ACM Special Interest Group on Computer Science Education

A foundation for trait-based metaprogramming [PDF]

John Reppy and Aaron Turon
FOOL/WOOD

Modeling Web Interactions and Errors [PDF]

Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke and Matthias Felleisen
Interactive Computation (Editors: Goldin, Smolka, Wegner)

Scheme with Classes, Mixins, and Traits [PDF]

Matthew Flatt, Robert Bruce Findler and Matthias Felleisen
ASPLAS

Interlanguage Migration: From Scripts to Programs [PDF]

Sam Tobin-Hochstadt and Matthias Felleisen
DLS

A Stepper for Scheme Macros [PDF]

Ryan Culpepper and Matthias Felleisen
Scheme Workshop

A Self-Hosting Evaluator using HOAS (Scheme Pearl) [PDF]

Eli Barzilay
Scheme Workshop

ACL2 in DrScheme [PDF]

Dale Vaillancourt, Rex Page and Matthias Felleisen
ACL2 Workshop

Modular Set-Based Analysis from Contracts [PDF]

Philippe Meunier, Robert Bruce Findler and Matthias Felleisen
Principles of Programming Languages

2005[top]

TeachScheme! Proceedings of the TeachScheme! Anniversary Workshop [PDF]

Richard Cobbe, editors
(proceedings) Northeastern University

Environmental acquisition revisited [PDF]

Richard Cobbe and Matthias Felleisen
POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages pp. 14--25

Continuations from Generalized Stack Inspection [PDF]

Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi and Matthias Felleisen
International Conference on Functional Programming

Laziness Without All the Hard Work [PDF]

Eli Barzilay and John Clements
FDPE

Syntactic Abstraction in Component Interfaces [PDF]

Ryan Culpepper, Scott Owens and Matthew Flatt
GPCE

Environmental Acquisition Revisited [PDF]

Richard Cobbe and Matthias Felleisen
Principles of Programming Languages

Common Larceny [PDF] [HTML slides] [MP3 of the conference presentation]

William D Clinger
Proc. International Lisp Conference, June 2005, pages 101-107.

2004[top]

Taming Macros [PDF] [PS]

Ryan Culpepper and Matthias Felleisen
GPCE

Improving the Static Analysis of Embedded Languages via Partial Evaluation [PDF] [PS]

Dave Herman and Philippe Meunier
International Conference on Functional Programming

The Essence of Compiling with Continuations (Retrospective) [PDF] [PS]

Cormac Flanagan, Amr Sabry, Bruce F. Duba and Matthias Felleisen
20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection.

Fostering Little Languages

John Clements, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi
DrDobb's

Building Little Languages with Macros

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi
DrDobb's

A Tail-Recursive Machine with Stack Inspection [PDF]

John Clements and Matthias Felleisen
Transactions on Programming Languages and Systems

Semantic Casts: Contracts and Structural Subtyping in a Nomimal World [PDF]

Robert Bruce Findler, Matthew Flatt and Matthias Felleisen
ECOOP

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems [PDF]

Jacob Matthews, Robert Bruce Findler, Matthew Flatt and Matthias Felleisen
RTA

Validating the Unit Correctness of Spreadsheet Programs [PS]

Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth and Matthias Felleisen
ICSE

Automatically Restructuring Software for the Web [PS] [PDF]

Jacob Matthews, Robert Bruce Findler, Paul Graunke, Shriram Krishnamurthi and Matthias Felleisen
Journal of Automated Software Engineering

How to Read Floating Point Numbers Accurately (Retrospective) [PDF]

William D Clinger
20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection., April 2004

2003[top]

Java IO and Testing Made Simple [PDF]

Viera K. Proulx and Richard Rasala
ACM Special Interest Group on Computer Science Education

Simple Problem Solving in Java: A Problem Set Framework [PDF] [DOC]

Viera K. Proulx, Richard Rasala, and Jason Jay Rodrigues
CCSCNE

Objects From the Beginning - With GUIs [PDF] [DOC]

Viera K. Proulx, Jeff Raab, and Richard Rasala
ITiCSE

A Tail-Recursive Semantics for Stack Inspections [PS] [PDF]

John Clements and Matthias Felleisen
European Symposium on Programming

Modeling Web Interactions [PS] [PDF]

Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi and Matthias Felleisen
European Symposium on Programming

Web Interactions [PDF (1.2MB)] [PS.gz (0.9 MB)]

Paul Graunke

2002[top]

The SIGCSE 2001 Maze Demonstration Program [PDF] [DOC]

Richard Rasala, Jeff Raab, and Viera K. Proulx
ACM Special Interest Group on Computer Science Education

The Structure and Interpretation of the Computer Science Curriculum [PS] [PDF]

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi
FDPE

Developing Interactive Web Programs [ PS.gz ] [PS]

Matthias Felleisen
AFP

Environmental Acquisition in Network Management [PS]

Mark Logan, Matthias Felleisen and David Blank-Edelman
LISA

Component Support in PLT Scheme

Paul A. Steckler
Software Practice and Experience

Advanced Control Flows for Flexible Graphical User Interfaces [PS] [PDF]

Paul Graunke and Shriram Krishnamurthi
ICSE

DrScheme: A Programming Environment for Scheme [PS] [PDF]

Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul A. Steckler, and and Matthias Felleisen
Journal of Automated Software Engineering

An experimental study of renewal-older-first garbage collection [PDF]

Lars T Hansen and William D Clinger
Proceedings of the 2002 ACM International Conference on Functional Programming

Concurrent Remembered Set Refinement in Generational Garbage Collection [PDF] [HTML]

David Detlefs, Ross Knippel, William D Clinger and Matthias Jacob
Proceedings of the 2002 USENIX Java VM Research and Technology Symposium

2001[top]

Java Power Tools: A Foundation for Interactive HCI Exploration [PDF] [DOC]

Viera K. Proulx, Richard Rasala, and Jeff Raab
HCI

Java Power Tools:Model Software for Teaching Object-Oriented Design [PDF] [DOC]

Richard Rasala, Jeff Raab, Viera K. Proulx
ACM Special Interest Group on Computer Science Education

Automatically Restructuring Programs for the Web [PS] [PDF]

Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi and Matthias Felleisen
Automated Software Engineering 2001

Contract Soundness for Object-Oriented Languages [PDF] [PS]

Robert Bruce Findler and Matthias Felleisen
OOPSLA

Behavioral Contracts and Behavioral Subtyping [PDF]

Robert Bruce Findler, Mario Latendresse and Matthias Felleisen
FSE

Little Languages and their Programming Environments [PDF]

John Clements, Paul Graunke, Shriram Krishnamurthi, and and Matthias Felleisen
Monterey Workshop

Modeling an Algebraic Stepper [DVI] [PS] [PDF]

John Clements, Matthew Flatt and Matthias Felleisen
European Symposium on Programming

Programming the Web with High-Level Programming Languages [DVI] [PS] [PDF]

Paul Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven and Matthias Felleisen
European Symposium on Programming

2000[top]

Traffic Light: A Pedagogical Exploration Through a Design Space [PDF] [DOC]

Viera K. Proulx, Jeff Raab, and Richard Rasala
CCSCNE

Programming Patterns and Design Patterns in the Introductory Computer Science Course [PDF] [DOC]

Viera K. Proulx
ACM Special Interest Group on Computer Science Education

1999[top]

Hospital Emergency Room Simulation: Object Oriented Design Issues for CS2 [PDF] [DOC]

Viera K. Proulx
ACM Special Interest Group on Computer Science Education

1998[top]

Traffic Simulation: A Case Study for Teaching Object-Oriented Design [PDF] [DOC]

Viera K. Proulx
ACM Special Interest Group on Computer Science Education

Scaling: A Design Pattern in Introductory Computer Science Courses [PDF] [DOC]

Harriet J. Fell, Viera K. Proulx, and Richard Rasala
ACM Special Interest Group on Computer Science Education

Usage Simulation for Evaluating Educational Materials [PDF] [DOC]

Viera K. Proulx, and Joseph W. Proulx
CCSCNE

Revised^5 Report on the Algorithmic Language Scheme [PS] [alternate]

H. Abelson, R.K. Dybvig, C.T. Haynes, G.J. Rozas, N.I. Adams IV, D.P. Friedman, E. Kohlbecker, G.L. Steele Jr., D.H. Bartley, R. Halstead, D. Oxley, G.J. Sussman, G. Brooks, C. Hanson, K.M. Pitman and M. Wand
Journal of Higher Order and Symbolic Computation (11(1)) pp. 7-105

Proper tail recursion and space efficiency [PS.GZ]

William D Clinger
Proceedings of the 1998 ACM Conference on Programming Language Design and Implementation pp. 174-185

Set constraints for destructive array update optimization [PS]

Mitchell Wand and William D Clinger
Proceedings of the IEEE Computer Society International Conference on Computer Languages 1998 pp. 184-193

1997[top]

Recursion and Grammars for CS2 [PDF] [DOC]

Viera K. Proulx
ACM Special Interest Group on Computer Science Education

Exploring Martian Planetary Images C++ Exercises for CS1 [PDF] [DOC]

Harriet Fell and Viera K. Proulx
ACM Special Interest Group on Computer Science Education

Writing Across Computer Science Curriculum [PDF] [DOC]

Harriet J. Fell, Viera K. Proulx, and John Casey
ACM Special Interest Group on Computer Science Education

Generational garbage collection and the radioactive decay model [PS.GZ]

William D Clinger and Lars Hansen
Proceedings of the 1997 ACM Conference on Programming Language Design and Implementation pp. 97-108

1996[top]

Foundations of Computer Science: What Are They and How Do We Teach Them [PDF]

Harriet J. Fell, Viera K. Proulx, and Richard Rasala
ITiCSE

1994[top]

From Animation to Analysis in Introductory Computer Science [PDF] [DOC]

Richard Rasala Viera K. Proulx, and Harriet J. Fell
ACM Special Interest Group on Computer Science Education

Lambda, the ultimate label, or a simple optimizing compiler for Scheme [ACM]

William D Clinger and Lars Thomas Hansen
Proceedings of the 1994 ACM conference on LISP and Functional Programming, SIGPLAN Lisp Pointers (7(3) (July-September 1994)) pp. 128-139

Parallel destructive updating in strict functional languages [ACM]

A.V.S. Sastry and William D Clinger
Proceedings of the 1994 ACM conference on LISP and Functional Programming, SIGPLAN Lisp Pointers (7(3) (July-September 1994)) pp. 263-272

1993[top]

Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science [PDF] [DOC]

Cynthia Brown, Harriet Fell, Viera Proulx, and Richard Rasala
CSC

1991[top]

Macros that work [tex.gz]

William D Clinger and Jonathan Rees
Proceedings of the 1991 ACM Conference on Principles of Programming Languages pp. 155-162

Macros in Scheme [PS.GZ]

William D Clinger
Lisp Pointers (IV(4)) pp. 17-23

Hygienic macros through explicit renaming [PS.GZ]

William D Clinger
Lisp Pointers (IV(4)) pp. 25-28

1990[top]

How to Read Floating Point Numbers Accurately [PS]

William D Clinger
Proceedings of the 1990 ACM Conference on Programming Language Design and Implementation pp. 92-101

1987[top]

Compiler Optimization for Symbolic Languages [MPEG]

William D Clinger
49-minute video, University Video Communications, 1987. Provided online at the Internet Archive Movie Archive

1981[top]

Foundations of Actor Semantics [PS]

William D Clinger
MIT Artificial Intelligence Laboratory Technical Report 633, May 1981.