| Home |
| People |
| Projects |
| Seminars |
| Publications |
Publications
2007 2006 2005 2004 2003 2002 2001
- Carl Eastlund, Dale Vaillancourt, Matthias Felleisen
ACL2 for Freshmen: First Experiences
(ACL2 Workshop, 2007)
PDF - Ryan Culpepper, Matthias Felleisen
Debugging Macros
(GPCE, 2007)
PDF - Ryan Culpepper, Sam Tobin-Hochstadt, Matthew Flatt
Advanced Macrology and the Implementation of Typed Scheme
(Scheme Workshop, 2007)
PDF - Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
Adding Delimited and Composable Control to a Production Programming Environment
(ICFP, 2007)
PDF - Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul Graunke, Greg Pettyjohn, Matthias Felleisen
Implementation and Use of the PLT Scheme Web Server
(Journal of Higher-Order and Symbolic Computing, 2007)
PDF - David Herman and Cormac Flanagan
Status Report: Specifying JavaScript with ML
(ML '07: Proceedings of the 2007 Workshop on ML, pages 47--52, October 2007)
PDF - David Herman
Functional Pearl: The Great Escape. Or, How to Jump the Border Without Getting Caught
(ICFP '07: Proceedings of the Twelfth ACM SIGPLAN International Conference on Functional Programming, pages 157--164, October 2007)
PDF - David Herman and Aaron Tomb and Cormac Flanagan
Space-Efficient Gradual Typing
(TFP '07: The Eighth Symposium on Trends in Functional Programming, pages 404--419, April 2007)
PDF - Vasileios Koutavas and Mitchell Wand
Reasoning About Class Behavior
(Informal Workshop Record of FOOL 2007, January 2007, to appear)
PDF - Vasileios Koutavas and Mitchell Wand
Small Bisimulations for Reasoning About Higher-Order Imperative Programs
(POPL '06: Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 141--152, 2006) - Vasileios Koutavas and Mitchell Wand
Bisimulations for Untyped Imperative Objects
(Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2005, Vienna, Austria., 2006, to appear) - Viera K. Proulx and Kathryn E. Gray
Design of Class Hierarchies: An Introduction to OO Program Design
(SIGCSE, 2006) - Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, Matthias Felleisen
Modeling Web Interactions and Errors
(Interactive Computation (Editors: Goldin, Smolka, Wegner), 2006)
PDF - Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
Scheme with Classes, Mixins, and Traits
(ASPLAS, 2006)
PDF - Sam Tobin-Hochstadt, Matthias Felleisen
Interlanguage Migration: From Scripts to Programs
(DLS, 2006)
PDF - Ryan Culpepper, Matthias Felleisen
A Stepper for Scheme Macros
(Scheme Workshop, 2006)
PDF - Eli Barzilay
A Self-Hosting Evaluator using HOAS (Scheme Pearl)
(Scheme Workshop, 2006)
PDF - Dale Vaillancourt, Rex Page, Matthias Felleisen
ACL2 in DrScheme
(ACL2 Workshop, 2006)
PDF - Phillippe Meunier, Robert Bruce Findler, Matthias Felleisen
Modular Set-Based Analysis from Contracts
(POPL, 2006)
PDF - Vasileios Koutavas and Mitchell Wand
Bisimulations for Untyped Imperative Objects
(Proc. ESOP 2006, pages 146-161, March 2006)
PDF - Vasileios Koutavas and Mitchell Wand
Small Bisimulations for Reasoning About Higher-Order Imperative Programs
(Proceedings 33rd ACM Symposium on Programming Languages, pages 141-152, January 2006)
PDF - Olin Shivers and Mitchell Wand
Bottom-up beta-reduction: uplinks and lambda-DAGs
(Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings, 2005, expanded version available as BRICS Technical Report RS-04-38, Department of Computer Science, University of \AArhus.)
PDF - Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen
Continuations from Generalized Stack Inspection
(ICFP, 2005)
PDF - Eli Barzilay, John Clements
Laziness Without All the Hard Work
(FDPE, 2005)
PDF - Ryan Culpepper, Scott Owens, Matthew Flatt
Syntactic Abstraction in Component Interfaces
(GPCE, 2005)
PDF - Phillippe Meunier, Robert Bruce Findler, Paul A. Steckler, Mitchell Wand
Selectors Make Set-Based Analysis Too Hard
(Journal of Higher-Order and Symbolic Computing , 2005)
PDF - Richard Cobbe, Matthias Felleisen
Environmental Acquisition Revisited
(POPL, 2005)
PDF - Philippe Meunier and Robby Findler and Paul A. Steckler and Mitchell Wand
Selectors Make Analyzing Case-Lambda Too Hard
(Higher-Order and Symbolic Computation, pages 245-269, December 2005)
PDF - William D Clinger
Common Larceny
(Proc. International Lisp Conference, June 2005, pages 101-107. , June 2005)
PDF, HTML slides, MP3 of the conference presentation - Mitchell Wand and Dale Vaillancourt
Relating Models of Backtracking
(Proc. ACM SIGPLAN International Conference on Functional Programming, pages 54--65, 2004)
PDF - Ryan Culpepper, Matthias Felleisen
Taming Macros
(GPCE, 2004)
PDF, PS - Dave Herman, Phillippe Meunier
Improving the Static Analysis of Embedded Languages via Partial Evaluation
(ICFP, 2004)
PDF, PS - John Clements, Matthias Felleisen
A Tail-Recursive Machine with Stack Inspection
(Transactions on Programming Languages and Systems, 2004)
PDF - Jacob Matthews, Robert Bruce Findler, Paul Graunke, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Software for the Web
(Journal of Automated Software Engineering, October 2004)
PS , PDF - Mitchell Wand and Gregor Kiczales and Christopher Dutchyn
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
(TOPLAS, pages 890-910, September 2004, Earlier versions of this paper were presented at the 9th International Workshop on Foundations of Object-Oriented Languages, January 19, 2002, and at the Workshop on Foundations of Aspect-Oriented Languages (FOAL), April 22, 2002.)
PS - Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nomimal World
(ECOOP, June 2004)
PDF - Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
(RTA, June 2004)
PDF - Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen
Validating the Unit Correctness of Spreadsheet Programs
(ICSE, May 2004)
PS - William D Clinger
How to Read Floating Point Numbers Accurately (Retrospective)
(20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection., April 2004 , April 2004)
PDF - Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
The Essence of Compiling with Continuations (Retrospective)
(20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection., April 2004)
PDF, PS - Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
Building Little Languages with Macros
(DrDobb's, April 2004) - John Clements, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
Fostering Little Languages
(DrDobb's, March 2004) - Viera K. Proulx and Richard Rasala
Java IO and Testing Made Simple
(SIGCSE, 2003)
PDF - Viera K. Proulx, Richard Rasala, and Jason Jay Rodrigues
Simple Problem Solving in Java: A Problem Set Framework
(CCSCNE, 2003)
PDF, DOC - Viera K. Proulx, Jeff Raab, and Richard Rasala
Objects From the Beginning - With GUIs
(ITiCSE, 2003)
PDF, DOC - Mitchell Wand
On the Correctness of the Krivine Machine
(to appear in HOSC Special Issue on the Krivine Machine (expected in 2006), October 2003)
PS - Jens Palsberg and Mitchell Wand
CPS Transformation of Flow Information
(Journal of Functional Programming, pages 905-923, September 2003)
PDF - Mitchell Wand
Understanding Aspects (Extended Abstract)
(Proc. ACM SIGPLAN International Conference on Functional Programming, August 2003, Summary of invited talk to be given at ICFP 2003)
PS - Paul Graunke
Web Interactions
PDF (1.2MB) , PS.gz (0.9 mb) - John Clements, Matthias Felleisen
A Tail-Recursive Semantics for Stack Inspections
(ESOP, April 2003)
PS , PDF - Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Modeling Web Interactions
(ESOP, April 2003)
PS , PDF - Mitchell Wand and Galen B. Williamson
A Modular, Extensible Proof Method for Small-step Flow Analyses
(Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pages 213-227, 2002)
PS - Richard Rasala, Jeff Raab, and Viera K. Proulx
The SIGCSE 2001 Maze Demonstration Program
(SIGCSE, 2002)
PDF, DOC - Mark Logan, Matthias Felleisen, David Blank-Edelman
Environmental Acquisition in Network Management
(LISA, November 2002)
PS - Lars T Hansen, William D Clinger
An experimental study of renewal-older-first garbage collection
( Proceedings of the 2002 ACM International Conference on Functional Programming , October 2002)
PDF - Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The Structure and Interpretation of the Computer Science Curriculum
(FDPE, October 2002)
PS , PDF - David Detlefs, Ross Knippel, William D Clinger, Matthias Jacob
Concurrent Remembered Set Refinement in Generational Garbage Collection
( Proceedings of the 2002 USENIX Java VM Research and Technology Symposium , August 2002)
PDF, HTML - Matthias Felleisen
Developing Interactive Web Programs
(AFP, August 2002)
PS.gz , PS - Paul A. Steckler
Component Support in PLT Scheme
(Software Practice and Experience, August 2002) - Mitchell Wand and Karl Lieberherr
Navigating through Object Graphs Using Local Meta-Information
(unpublished report, June 2002)
PS - Paul Graunke, Shriram Krishnamurthi
Advanced Control Flows for Flexible Graphical User Interfaces
(ICSE, May 2002)
PS , PDF - Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul A. Steckler, and Matthias Felleisen
DrScheme: A Programming Environment for Scheme
(Journal of Automated Software Engineering, March 2002)
PS , PDF - Daniel P. Friedman and Mitchell Wand and Christopher T. Haynes
Essentials of Programming Languages
(MIT Press Tech Report, 2001)
HTML - Viera K. Proulx, Richard Rasala, and Jeff Raab
Java Power Tools: A Foundation for Interactive HCI Exploration
(HCI, 2001)
PDF, DOC - Richard Rasala, Jeff Raab, Viera K. Proulx
Java Power Tools:Model Software for Teaching Object-Oriented Design
(SIGCSE, 2001)
PDF, DOC - Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the Web
(Automated Software Engineering 2001, November 2001)
PS , PDF - Robert Bruce Findler, Matthias Felleisen
Contract Soundness for Object-Oriented Languages
(OOPSLA, October 2001)
PDF , PS - Mitchell Wand
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
(Proceedings of SAIG '01, September 2001, invited talk)
PS - Philippe Meunier and Robby Findler and Paul A. Steckler and Mitchell Wand
Selectors Make Analyzing Case-Lambda Too Hard
(Proc. Scheme 2001 Workshop, pages 54-64, September 2001)
PS - Phillippe Meunier, Robert Bruce Findler, Paul A. Steckler, and Mitchell Wand
Selectors Make Analysis of case-lambda Too Hard
(Scheme and Functional Programming 2001, September 2001)
DVI , PS - Robert Bruce Findler, Mario Latendresse, Matthias Felleisen
Behavioral Contracts and Behavioral Subtyping
(FSE, September 2001)
PDF - Mitchell Wand and William D. Clinger
Set Constraints for Destructive Array Update Optimization
(Journal of Functional Programming, pages 319-346, May 2001)
PS - John Clements, Matthew Flatt, Matthias Felleisen
Modeling an Algebraic Stepper
(ESOP, April 2001)
DVI , PS , PDF - Paul Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
Programming the Web with High-Level Programming Languages
(ESOP, April 2001)
DVI , PS , PDF - John Clements, Paul Graunke, Shriram Krishnamurthi, and Matthias Felleisen
Little Languages and their Programming Environments
(Monterey Workshop, March 2001)
PDF