PLT logo NU
Home of NU PLT

PLT: Publications

Northeastern PLT: Publications

This archive collects NU PLT's Papers,   Technical Reports, and Dissertations.

© : The documents contained in this archive are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are retained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. All persons copying this information are expected to adhere to the terms and constraints invoked by each paper's copyright. Unless explicitly noted to the contrary, these works may not be reposted without the explicit permission of the copyright holder.

Reduction Semantics and Redex

Matthias Felleisen, Matthew Flatt
Programming Languages and Lambda Calculi
Soon to be published manuscript, in development since 1989
PLT Redex Workshop

Published Papers


POPL 2008 : Tobin-Hochstadt, Felleisen
The Design and Implementation of Typed Scheme
pdf
popl08-thf
ACL2 2007 : Eastlund, Vaillancourt, Felleisen
ACL2 for Freshmen: First Experiences
pdf
acl207-evf
GPCE 2007 : Culpepper, Felleisen
Debugging Macros
pdf
gpce07-cf
Scheme 2007 : Culpepper, Tobin-Hochstadt, Flatt
Advanced Macrology and the Implementation of Typed Scheme
pdf
scheme2007-ctf
ICFP 2007 : Flatt, Yu, Findler, Felleisen
Adding Delimited and Composable Control to a Production Programming Environment
pdf
the working system and model
icfp07-fyff
Krishnamurthi, Hopkins, McCarthy, Graunke, Pettyjohn , Felleisen
(Journal of Higher-Order and Symbolic Computing)
Implementation and Use of the PLT Scheme Web Server
pdf
hosc-07
Krishnamurthi, Findler, Graunke, Felleisen
(Interactive Computation (Editors: Goldin, Smolka, Wegner))
Modeling Web Interactions and Errors
pdf
interaction06-kfgf
APLAS 2006 : Flatt, Findler, Felleisen
Scheme with Classes, Mixins, and Traits
pdf
aplas06-fff
DLS 2006 : Tobin-Hochstadt, Felleisen
Interlanguage Migration: From Scripts to Programs
pdf
dsl06-tf
Scheme 2006 and Functional Programming : Culpepper, Felleisen
A Stepper for Scheme Macros
pdf
scheme06-cf
Scheme 2006 and Functional Programming : Barzilay
A Self-Hosting Evaluator using HOAS (Scheme Pearl)
pdf
scheme06-b
ACL2 2006 : Vaillancourt, Page, Felleisen
ACL2 in DrScheme
pdf
acl206-vpf
POPL 2006 : Meunier, Findler, Felleisen
Modular Set-Based Analysis from Contracts
pdf
popl06-mff
ICFP 2005 : Pettyjohn, Clements, Marshall, Krishnamurthi, Felleisen
Continuations from Generalized Stack Inspection
pdf
Also see: Joe Marshall's "Hacking the Stack"
icfp05-pcmkf
FDPE 2005 : Barzilay and Clements
Laziness Without All the Hard Work
pdf
fdpe05-bc
GPCE 2005 : Culpepper, Owens, Flatt
Syntactic Abstraction in Component Interfaces
pdf
gpce05-cof
Meunier, Findler, Steckler, Wand
(Journal of Higher-Order and Symbolic Computing)
Selectors Make Set-Based Analysis Too Hard
pdf
hosc05-mfsw
POPL 2005 : Cobbe, Felleisen
Environmental Acquisition Revisited
pdf
popl05-cf
GPCE 2004 : Culpepper, Felleisen
Taming Macros
pdf ps
gpce2004-cf
ICFP 2004 : Herman, Meunier
Improving the Static Analysis of Embedded Languages via Partial Evaluation
pdf
icfp2004-hm
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.
pldi20-fsdf
Clements, Felleisen, Findler, Flatt, Krishnamurthi
(DrDobb's)
Fostering Little Languages

available on request
ddj04-cfffk
Felleisen, Findler, Flatt, Krishnamurthi
(DrDobb's)
Building Little Languages with Macros

available on request
ddj04-fffk
Clements, Felleisen
(Transactions on Programming Languages and Systems)
A Tail-Recursive Machine with Stack Inspection
pdf
toplas04-cf
ECOOP 2004 : Findler, Flatt, Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nomimal World
pdf
ecoop2004-fff
Scheme 2004 and Functional Programming : Barzilay, Orlovsky
Foreign Interface for PLT Scheme
pdf
scheme04-bo
RTA 2004 : Matthews, Findler, Flatt, Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
pdf
rta04-mfff
ICSE 2004 : Antoniu, Steckler, Krishnamurthi, Neuwirth, Felleisen
Validating the Unit Correctness of Spreadsheet Programs
ps
asknf-icse04
Felleisen, Findler, Flatt, Krishnamurthi
(Journal of Functional Programming)
The Structure and Interpretation of the Computer Science Curriculum
pdf ps
jfp2004-fffk
Matthews, Findler, Graunke, Krishnamurthi, Felleisen
(Journal of Automated Software Engineering)
Automatically Restructuring Software for the Web
pdf ps
jase2003-mfgkf
Scheme and Functional Programming 2004 : Meunier and Silva
From Python to PLT Scheme
pdf
scheme2003-ms
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
cse2003-fffk
ESOP 2003 : Clements, Felleisen
A Tail-Recursive Semantics for Stack Inspections
pdf ps
esop2003-cf
ESOP 2003 : Graunke, Findler, Krishnamurthi, Felleisen
Modeling Web Interactions
pdf ps
esop2003-gfkf
FDPE 2002 : Felleisen, Findler, Flatt, Krishnamurthi
The Structure and Interpretation of the Computer Science Curriculum
pdf ps
fdpe2002-fffk
ICFP 2002 : Findler, Felleisen
Contracts for Higher-order Functions
pdf
icfp2002-ff
AFP 2002 : Felleisen
Developing Interactive Web Programs
ps
afp2002-f
LISA 2002 : Logan, Felleisen, Blank-Edelman
Environmental Acquisition in Network Management
ps
lisa2002-lfb
Steckler
(Software Practice and Experience)
Component Support in PLT Scheme

[Not available here for copyright reasons.]
sfp2002-s
ICSE 2002 : Graunke, Krishnamurthi
Advanced Control Flows for Flexible Graphical User Interfaces
pdf ps
icse2002-gk
Automated Software Engineering 2001 : Graunke, Findler, Krishnamurthi, Felleisen
Automatically Restructuring Programs for the Web
pdf ps
ase2001-gfkf
Scheme and Functional Programming 2001 : Meunier, Findler, Steckler, and Wand
Selectors Make Analysis of
ps
scmfun01-mfsw
OOPSLA 2001 : Findler, Felleisen.
Contract Soundness for Object-Oriented Languages
pdf ps
oopsla01-ff
FSE 2001 : Findler, Latendresse, Felleisen.
Behavioral Contracts and Behavioral Subtyping
pdf
fse01-flf
Monterey Workshop 2001 : Clements, Graunke, Krishnamurthi, and Felleisen
Little Languages and their Programming Environments
pdf
mw01-cgkf
Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, and Felleisen.
(Journal of Functional Programming)
DrScheme: A Programming Environment for Scheme
pdf ps
jfp01-fcffksf
ESOP 2001 : Clements, Flatt, Felleisen
Modeling an Algebraic Stepper
pdf ps
esop2001-cff
ESOP 2001 : Graunke, Krishnamurthi, Van der Hoeven and Felleisen
Programming the Web with High-Level Programming Languages
pdf ps
esop2001-gkvf
WMF 2000 : Steckler and A. Moreira (Universidade de Caxias do Sul, Brazil)
Type-Based Locality Analysis
ps
wmf2000-sm
Scheme and Functional Programming 2000 : Steckler
Component Support in PLT Scheme (short presentation)
ps
scmfun2000-s
PADL 2000 : Krishnamurthi, Gray and Graunke
Transformation-by-Example for XML

[no on-line version of paper due to copyright restrictions]
abstract
padl2000-kgg
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
gcse99-kfd
Flanagan and Felleisen
(Journal of Functional Programming)
The Semantics of Future and an Application
ps
popl95-ff
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)
icfp99-ffkf
TOOLS 99 : Steckler
MysterX: A Scheme Toolkit for Building Interactive Applications with COM
ps
Copyright (C) 1999, IEEE
tools99-s
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)
esop99-kef
Flanagan and Felleisen
(Transactions on Programming Languages and Systems)
Componential Set-Based Analysis
ps
toplas99-ff
LUGM 98 : Flanagan and Felleisen
A New Way of Debugging LISP Programs
ps
lugm98-ff
FSE 98 : Krishnamurthi and Felleisen
Toward a Formal Theory of Extensible Software
ps
Slides (PS, ledger)
fse98-kf
ICFP 98 : Findler and Flatt
Modular Object-Oriented Programming with Units and Mixins
pdf ps
HTML
Code
icfp98-ff
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
ecoop98-kff
PLDI 98 : Flatt and Felleisen
Units: Cool Modules for HOT Languages
ps
pldi98-ff
Felleisen, Findler, Flatt, and Krishnamurthi
(Sigplan Notices: Functional Programming Column)
The DrScheme Project: An Overview.
pdf ps
sigplan98-fffk
POPL 98 : Flatt, Krishnamurthi, and Felleisen
Classes and Mixins
ps
corrections in Rice TR 97-293
popl98-fkf
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
lncs98-fkf
PLILP 97 : Findler, Flanagan, Flatt, Krishnamurthi and Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme
ps
plilp97-fffkf
PLDI 97 : Flanagan and Felleisen
Componential Set-Based Analysis
ps
pldi97-ff
Cartwright and Felleisen
(Computing Surveys)
Program Verification through Soft Typing
ps
cs96-cf
Felleisen and Weeks
(R. Tennent (Ed.), ALGOL-like Languages)
On the Orthogonality of Assignments and Procedures in Algol
ps
algol96-fw
Ariola and Felleisen
(Journal of Functional Programming)
The Call-by-Need Lambda-Calculus
ps
jfp96-af
PLDI 96 : Flanagan, Flatt, Krishnamurthi, Weirich and Felleisen
Catching Bugs in the Web of Program Invariants
ps
pldi96-ffkwf
FPCA 95 : Morrisett, Felleisen and Harper
Abstract Models of Memory Management
ps
fpca95-mfh
POPL 95 : Flanagan and Felleisen
The Semantics of Future and Its Use in Program Optimizations
ps
popl95-ff
Wright and Felleisen
(Information and Computation)
A Syntactic Approach to Type Soundness
ps
ic94-wf
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 Chicago.
ic94-ccf
PLDI 94 : Sabry and Felleisen
Is Continuation-Passing Useful for Data Flow Analysis?
ps
pldi94-sf
TACS 94 : Cartwright and Felleisen
Extensible Denotational Language Specifications
ps
tacs94-cf
Sabry and Felleisen
(LISP and Symbolic Computation)
Reasoning about Programs in Continuation-Passing Style
ps
lasc93-sf
PLDI 93 : Flanagan, Sabry, Duba and Felleisen
The Essence of Compiling with Continuations
ps
fsdf-pldi
PLDI 93 : Sitaram
Handling Control
pdf
fsdf-pldi
POPL 93 : Weeks and Felleisen
On the orthogonality of assignments and procedures in Algol
ps
popl93-wf
Felleisen and Hieb
(Theoretical Computer Science)
The revised report on the syntactic theories of sequential control and state
pdf ps
tcs92-fh
POPL 92 : Cartwright and Felleisen
Observable sequentiality and full abstraction
ps
popl92-cf
Lecture Notes in Computer Science 666: REX 92 : Kanneganti, Cartwright and Felleisen
SPCF: its model, calculus, and computational power
ps
rex92-kcf
LFP 92 : Sabry and Felleisen
Reasoning about Programs in Continuation-Passing Style
ps
lfp92-sf
POPL 91 : Crank and Felleisen
Parameter-Passing and the Lambda Calculus
ps
popl91-cf
Felleisen
(Science of Computer ProgrammingScience of Computer Programming)
On the Expressive Power of Programming Languages
ps
scp91-felleisen
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.)
lasc1990-sf
LFP 90 : Sitaram and Felleisen
Reasoning with Continuations II: Full Abstraction for Models of Control
ps
Models of Control: Two Corrections: DVI   PS
lfp90-sf
PLDI 89 : Cartwright and Felleisen
The Semantics of Program Dependence
ps
pldi89-cf

Dissertations


NORTHEASTERN UNIVERSITY : Philippe Meunier
Modular Set-Based Analysis from Contracts
pdf
dissertation-meunier
NORTHEASTERN UNIVERSITY : John Clements
Portable and High-Level Access to the Stack with Continuation Marks
pdf
dissertation-clements
NORTHEASTERN UNIVERSITY : Paul Graunke
Web Interactions
pdf
thesis-graunke
RICE UNIVERSITY : Robby Findler
Behavioral Software Contracts
pdf
thesis-robby
RICE UNIVERSITY : Shriram Krishnamurthi
Linguistic Reuse
ps
thesis-shriram
RICE UNIVERSITY : Matthew Flatt
Programming Languages for Reusable Software Components
ps
thesis-flatt
RICE UNIVERSITY : Cormac Flanagan
Effective Static Debugging via Componential Set-Based Analysis
ps
thesis-flanagan
RICE UNIVERSITY : Amr Sabry
The Formal Relationship between Direct and Continuation-passing Style Optimizing Compilers: A Synthesis of Two Paradigms
ps
thesis-sabry
RICE UNIVERSITY : Andrew K. Wright
Practical Soft Typing
ps
thesis-wright
RICE UNIVERSITY : Rama Kanneganti
Universal Domains for Sequential Computation
ps
thesis-rama
RICE UNIVERSITY : Dorai Sitaram
Models of Control and Their Implications for Programming Language Design
ps
thesis-sitaram
RICE UNIVERSITY : Mike Fagan
Soft Typing: An Approach to Type Checking for Dynamically Typed Languages
ps
thesis-fagan
INDIANA UNIVERSITY : Felleisen
The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages

Thanks to Chung-chieh Shan (Harvard) for scanning in this document and making it available in electronic form (DJVU) .
felleisen87

Technical Reports


Northeastern U. Computer Science TR NU-CCIS-06-11 : Eastlund and Felleisen
Sequence Traces for Object-Oriented Execution
pdf
NU-CCIS-06-10
Northeastern U. Computer Science TR NU-CCIS-06-10 : Cobbe and Felleisen
Envrionmental Acquisition Revisited
pdf
NU-CCIS-06-10
Rice U. Computer Science TR 01-372 : Findler, Latendresse and Felleisen
Object-oriented Programming Languages Need Well-founded Contracts
pdf
tr01-372
Rice U. Computer Science TR 00-366 : Findler and Felleisen
Behavioral Interface Contracts for Java
pdf
tr00-366
Rice U. Computer Science TR 00-364 : Krishnamurthi, Felleisen and Duba
From Macros to Reusable Generative Programming
ps
tr00-364
Rice U. Computer Science TR 99-346 : Felleisen, Hanus, Thompson
Functional and Declarative Programming in Education

Directory
tr99-346
Rice U. Computer Science TR 98-299 : Krishnamurthi, Felleisen and Friedman
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
ps
tr98-299
Rice U. Computer Science TR 97-293 : Flatt, Krishnamurthi and Felleisen (
A Programmer's Reduction Semantics for Classes and Mixins
pdf ps
tr97-293
Rice U. Computer Science TR 97-292 : Krishnamurthi and Felleisen
Lecture Notes on the Principles of Programming Languages
ps
tr97-292
Rice U. Computer Science TR 96-266 : Flanagan and Felleisen
Modular and Polymorphic Set-Based Analysis: Theory and Practice
ps
tr96-266
Rice U. Computer Science TR 91-160 : Wright and Felleisen
A Syntactic Approach to Type Soundness
ps
tr91-160
Rice U. Computer Science TR 89-100 : Felleisen and Hieb
The revised report on the syntactic theories of sequential control and state
ps
tr89-100
Indiana U. Computer Science TR 87-216 : Felleisen, Friedman, Duba, Merrill
Beyond Continuations
pdf
Thanks to Chung-chieh Shan (Harvard) for scanning in this document and making it available in electronic form (DJVU) .
felleisen-beyond