Conference publications

2007

Lazy Contract Checking for Immutable Data Structures
Findler, Guo, and Rogers
International Symposium on Implementation and Application of Functional Languages (IFL) 2007
pdf

Well-typed programs can't be blamed
Wadler, Findler
Workshop on Scheme and Functional Programming 15-26 2007
pdf

Relationally-Parametric Polymorphic Contracts
Guha, Matthews, Findler, Krishnamurthi
Dynamic Languages Symposium (DLS) 29-40 2007
pdf

Adding Delimited and Composable Control to a Production Programming Environment
Flatt, Yu, Findler, Felleisen
International Conference on Functional Programming (ICFP) 165-176 2007
pdf redex model

A Rewriting Semantics for Type Inference
Kuan, MacQueen, Findler
European Symposium on Programming (ESOP) 426-440 2007
pdf

Operational Semantics for Multi-Language Programs
Matthews, Findler
Symposium on Principles of Programming Languages (POPL) 3-10 2007
color pdf b&w pdf

2006

Scheme with Classes, Mixins, and Traits
Flatt, Findler, Felleisen
Asian Symposium on Programming Languages and Systems (APLAS) 270-289 2006
pdf

Contracts as Pairs of Projections
Findler, Blume
International Symposium on Functional and Logic Programming (FLOPS) 226-241 2006
expanded tech report, pdf

Modular Set-Based Analysis from Contracts
Meunier, Findler, Felleisen
Symposium on Principles of Programming Languages (POPL) 218-231 2006
pdf

2005

An Operational Semantics for R5RS Scheme
Matthews, Findler
Workshop on Scheme and Functional Programming 41-54 2005
pdf

Fine-Grained Interoperability through Contracts and Mirrors
Gray, Findler, Flatt
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 231-246 2005
pdf

2004

Super and Inner - Together at Last!
Goldberg, Findler, Flatt
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 116-129 2004
pdf model, in PLT Redex

Slideshow: Functional Presentations
Findler, Flatt
International Conference on Functional Programming (ICFP) 224-235 2004
pdf

Kill-Safe Synchronization Abstractions
Flatt, Findler
Programming Language Design and Implementation (PLDI) 47-58 2004
online

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
Matthews, Findler, Flatt, Felleisen
International Conference on Rewriting Techniques and Applications (RTA) 301-312 2004
pdf

Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Findler, Flatt, Felleisen
European Conference for Object-Oriented Programming (ECOOP) 364-388 2004
pdf

2003

Modeling Web Interactions
Graunke, Findler, Krishnamurthi, Felleisen
European Symposium on Programming (ESOP) 238-252 2003
ps.gz pdf

2002

The Structure and Interpretation of the Computer Science Curriculum
Felleisen, Findler, Flatt, Krishnamurthi
Functional and Declarative Programming in Education (FDPE) 21-26 2002
pdf ps

Contracts for Higher-Order Functions
Findler, Felleisen
International Conference on Functional Programming (ICFP) 48-59 2002
expanded techreport version: pdf ps; original ICFP version (with corrections): pdf ps;

2001

Automatically Restructuring Programs for the Web
Graunke, Findler, Krishnamurthi, Felleisen
Automated Software Engineering (ASE) 211-222 2001
download

Contract Soundness for Object-Oriented Languages
Findler, Felleisen
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 1-15 2001
download

Behavioral Contracts and Behavioral Subtyping
Findler, Latendresse, Felleisen
Foundations of Software Engineering (FSE) 229-236 2001
download

1999

Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine)
Flatt, Findler, Krishnamurthi, and Felleisen
International Conference on Functional Programming (ICFP) 138-147 1999
download

1998

Modular Object-Oriented Programming with Units and Mixins
Findler, Flatt
International Conference on Functional Programming (ICFP) 94-104 1998
download

1997

DrScheme: A Pedagogic Programming Environment for Scheme
Findler, Flanagan, Flatt, Krishnamurthi, Felleisen
Programming Languages: Implementations, Logics, and Programs (PLILP) 369-388 1997
download

 

Journal publications

2009

Operational Semantics for Multi-Language Programs
Matthews, Findler
Transactions on Programming Languages and Systems (TOPLAS) to appear 2009
pdf

2008

An Operational Semantics for Scheme
Matthews, Findler
Journal of Functional Programming (JFP) 18(1): 47-86 2008
details

2006

Modeling Web Interactions and Errors
Krishnamurthi, Findler, Graunke, Felleisen
Interactive Computation: The New Paradigm 255-276 2006
pdf book chapter

Slideshow: Functional Presentations
Findler, Flatt
Journal of Functional Programming (JFP) 16(4-5): 583-619 2006
pdf (greyscale) pdf (color)

2005

Selectors Make Set-based Analysis too Hard
Meunier, Findler, Steckler, Wand
Journal of Higher-Order and Symbolic Computing (HOSC) 18(3-4) 245-269 December 2005
pdf ps.gz publisher's site

2004

The TeachScheme! Project: Computing and Programming for Every Student
Felleisen, Findler, Flatt, Krishnamurthi
Computer Science Education (CSE) March 2004
pdf ps.gz from the publisher

Automatically Restructing Programs for the Web
Matthews, Findler, Graunke, Krishnamurthi, Felleisen
Automated Software Engineering, an International Journal (ASEj) 11(4): 337-364, October 2004
pdf from the publisher

The Structure and Interpretation of the Computer Science Curriculum
Felleisen, Findler, Flatt, Krishnamurthi
Journal of Functional Programming (JFP) 14(4): 365-37 2004
download

2002

DrScheme: A Programming Environment for Scheme
Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, and Felleisen
Journal of Functional Programming (JFP) 12(2) March 2002
download

1995

Rapid construction of integrated maps using inner product mapping: YAC coverage of human chromosome 11
Perlin, M.W., Duggan, D.J., Davis, K., Farr, J.E., Findler, R.B., Higgins, M.J., Nowak, N.J., Evans, G.A., Qin, S., Zhang, J., Shows, T.B., James, M.R., and Richard III, C.W.
Genomics 28(2): 315-327 1995
download

 

Unrefereed publications

2004

Building Little Languages with Macros
Felleisen, Findler, Flatt, Krishnamurthi
Dr. Dobb's Journal (DDJ) April 2004
from www.ddj.org

Fostering Little Languages
Clements, Felleisen, Findler, Flatt, Krishnamurthi
Dr. Dobb's Journal (DDJ) March 2004
from www.ddj.org

An Investigation of Contracts as Projections
Finder, Blume, Felleisen
University of Chicago Computer Science Technical Report TR-2004-02 2004
from uc

2002

Behavioral Software Contracts (dissertation)
Findler
Rice University Computer Science Technical Report TR02-402 June 2002
pdf ps

2001

Object-oriented Programming Languages Need Well-founded Contracts
Findler, Latendresse, and Felleisen
Rice University Computer Science Technical Report TR01-372 January 2001
download

2000

Behavioral Interface Contracts for Java
Findler, Felleisen
Rice University Computer Science Technical Report TR00-366 August 2000
download

1995

Modular Abstract Interpreters
Findler
Undergraduate Senior Thesis 1995
pdf