Robby Findler's Publicationswith selected abstracts | sorted by venue
| | | | Lazy Contract Checking for Immutable Data Structures
Findler, Guo, and Rogers
International Symposium on Implementation and Application of Functional Languages (IFL) 2007
pdf abstract |
| | 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 abstract |
|
| | | Scheme with Classes, Mixins, and Traits
Flatt, Findler, Felleisen
Asian Symposium on Programming Languages and Systems (APLAS) 270-289 2006
pdf abstract |
| | | | Modular Set-Based Analysis from Contracts
Meunier, Findler, Felleisen
Symposium on Principles of Programming Languages (POPL) 218-231 2006
pdf |
|
| | | 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 |
|
| | | 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 abstract |
|
| | | Modeling Web Interactions
Graunke, Findler, Krishnamurthi, Felleisen
European Symposium on Programming (ESOP) 238-252 2003
ps.gz pdf |
|
| | | 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; abstract |
|
| | | 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 abstract |
| | Behavioral Contracts and Behavioral Subtyping
Findler, Latendresse, Felleisen
Foundations of Software Engineering (FSE) 229-236 2001
download abstract |
|
| | | 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 abstract |
|
| | | Modular Object-Oriented Programming with Units and Mixins
Findler, Flatt
International Conference on Functional Programming (ICFP) 94-104 1998
download abstract |
|
| | | DrScheme: A Pedagogic Programming Environment for Scheme
Findler, Flanagan, Flatt, Krishnamurthi, Felleisen
Programming Languages: Implementations, Logics, and Programs (PLILP) 369-388 1997
download |
|
|
|
| | | | | Operational Semantics for Multi-Language Programs
Matthews, Findler
Transactions on Programming Languages and Systems (TOPLAS) to appear 2009
pdf |
|
| | | An Operational Semantics for Scheme
Matthews, Findler
Journal of Functional Programming (JFP) 18(1): 47-86 2008
details abstract |
|
| | | Modeling Web Interactions and Errors
Krishnamurthi, Findler, Graunke, Felleisen
Interactive Computation: The New Paradigm 255-276 2006
pdf book chapter |
| | |
| | | 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 |
|
| | | 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 |
|
| | | DrScheme: A Programming Environment for Scheme
Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, and Felleisen
Journal of Functional Programming (JFP) 12(2) March 2002
download abstract |
|
| | | 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 |
|
|
|
| | | | | 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 abstract |
|
| | | Behavioral Software Contracts (dissertation)
Findler
Rice University Computer Science Technical Report TR02-402 June 2002
pdf ps |
|
| | | Object-oriented Programming Languages Need Well-founded Contracts
Findler, Latendresse, and Felleisen
Rice University Computer Science Technical Report TR01-372 January 2001
download |
|
| | | Behavioral Interface Contracts for Java
Findler, Felleisen
Rice University Computer Science Technical Report TR00-366 August 2000
download |
|
| | | Modular Abstract Interpreters
Findler
Undergraduate Senior Thesis 1995
pdf |
|
|
|
|
|