Robby Findler’s publications

Conference & Workshop publications
2023
Rhombus: A New Spin on Macros Without All the Parentheses
Flatt, Allred, Angle, De Gabrielle, Findler, Phillips, Porncharoenwase, Gopinathan, Kasivajhula, Knauth, McCarthy, Søgaard, Tobin-Hochstadt
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2023
pdf
2022
Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Hoeflich, Findler, Serrano
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2022
pdf
2021
Sound and Complete Concolic Testing for Higher-order Functions
You, Findler, Dimoulas
International Conference on Functional Programming (ICFP) 2021
pdf
2020
Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects
Serrano, Findler
Compiler Construction (CC) 2020
pdf
Does Blame Shifting Work?
Lazarek, King, Sundar, Findler, Dimoulas
Symposium on Principles of Programming Languages (POPL) 2020
pdf
2019
A Calculus for Esterel: If can, can. If no can, no can.
Florence, You, Tov, Findler
Symposium on Principles of Programming Languages (POPL) 2019
pdf
2018
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Feltey, Greenman, Scholliers, Findler, St-Amour
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2018
pdf
2017
Herbarium Racketensis: A Stroll Through the Woods
St-Amour, Feltey, Florence, You, Findler
International Conference on Functional Programming (ICFP) 2017
pdf
Migratory Typing: Ten Years Later
Tobin-Hochstadt, Felleisen, Findler, Flatt, Greenman, Kent, St-Amour, Strickland, Takikawa
Summit on Advances in Programming Languages (SNAPL) 2017
pdf
2016
Languages the Racket Way: 2016 Language Workbench Challenge
Feltey, Florence, Knutson, St-Amour, Culpepper, Flatt, Findler, Felleisen
LWC@SLE Language Workbench Challenge 2016
pdf
Extensible Access Control with Authorization Contracts
Moore, Dimoulas, Findler, Flatt, Chong
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2016
extended TR   original version
Oh Lord, Please Don’t Let Contracts Be Misunderstood
Dimoulas, New, Findler, Felleisen
International Conference on Functional Programming (ICFP) 2016
pdf
A Coq Library For Internal Verification of Running-Times
McCarthy, Fetscher, New, Feltey, Findler
International Symposium on Functional and Logic Programming (FLOPS) 2016
pdf
2015
POP-PL: A Patient-Oriented Prescription Programming Language
Florence, Fetscher, Flatt, Temps, Kiguradze, West, Niznik, Yarnold, Findler, Belknap
Generative Programming: Concepts & Experience (GPCE) 2015
pdf
The Racket Manifesto
Felleisen, Findler, Flatt, Krishnamurthi, Barzilay, McCarthy, Tobin-Hochstadt
Summit on Advances in Programming Languages (SNAPL) 2015
pdf html
Towards Practical Gradual Typing
Takikawa, Feltey, Dean, Flatt, Findler, Tobin-Hochstadt, Felleisen
European Conference for Object-Oriented Programming (ECOOP) 2015
pdf
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Fetscher, Claessen, Pałka, Hughes, Findler
European Symposium on Programming (ESOP) 2015
pdf online
2013
Option Contracts
Dimoulas, Findler, Felleisen
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2013
pdf
Distributed Places
Tew, Swaine, Flatt, Findler, Dinda
Trends in Functional Programming (TFP) 2013
pdf
Teaching Garbage Collection without Implementing Compilers or Interpreters
Cooper, Guha, Krishnamurthi, McCarthy, Findler
ACM Special Interest Group on Computer Science Education (SIGCSE) 2013
pdf
2012
Chaperones and Impersonators: Run-time Support for Reasonable Interposition
Strickland, Tobin-Hochstadt, Findler, Flatt
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2012
pdf online
Seeing the Futures: Profiling Shared-Memory Parallel Racket
Swaine, Fetscher, St-Amour, Findler, Flatt
Workshop on Functional High-Performance Computing (FHPC) 2012
pdf online
Run Your Research: On the Effectiveness of Lightweight Mechanization
Klein, Clements, Dimoulas, Eastlund, Felleisen, Flatt, McCarthy, Rafkind, Tobin-Hochstadt, Findler
Symposium on Principles of Programming Languages (POPL) 2012
online, with Redex models
2011
A Semantics for Context-Sensitive Reduction Semantics
Klein, McCarthy, Jaconette, Findler
Asian Symposium on Programming Languages and Systems (APLAS) 2011
online, with Redex model
Places: Adding Message-Passing Parallelism to Racket
Tew, Swaine, Flatt, Findler, Dinda
Dynamic Languages Symposium (DLS) 2011
pdf
Exploring Circuit Timing-aware Languages and Compilation
Hoang, Findler, Joseph
Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2011
pdf
Correct Blame for Contracts: No More Scapegoating
Dimoulas, Findler, Flanagan, Felleisen
Symposium on Principles of Programming Languages (POPL) 2011
pdf
Blame for All
Ahmed, Findler, Siek, Wadler
Symposium on Principles of Programming Languages (POPL) 2011
paper & model
2010
Random Testing for Higher-Order, Stateful Programs
Klein, Flatt, Findler
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2010
pdf
Back to the Futures: Incremental Parallelization of Existing Sequential Runtime Systems
Swaine, Tew, Dinda, Findler, Flatt
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2010
pdf
The Design of a Functional Image Library
Barland, Flatt, Findler
Workshop on Scheme and Functional Programming (SFP) 2010
pdf
2009
Randomized Testing in PLT Redex
Klein, Findler
Workshop on Scheme and Functional Programming (SFP) 2009
pdf
Scribble: Closing the Book on Ad Hoc Documentation Tools
Flatt, Barzilay, Findler
International Conference on Functional Programming (ICFP) 2009
pdf
A Functional I/O System, or Fun for Freshmen Kids
Felleisen, Findler, Flatt, Krishnamurthi
International Conference on Functional Programming (ICFP) 2009
pdf
Blame for all
Ahmed, Findler, Matthews, Wadler
Workshop on Script to Program Evolution (STOP) 2009
pdf (with typo corrections)
Cycles without pollution: a gradual typing poem
Tobin-Hochstadt, Findler
Workshop on Script to Program Evolution (STOP) 2009
pdf
Well-typed Programs Can't be Blamed
Wadler, Findler
European Symposium on Programming (ESOP) 1-15 2009
pdf (TR version)
2007
Lazy Contract Checking for Immutable Data Structures
Findler, Guo, 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 (SFP) 15-26 2007
pdf (superceeded by the ESOP 2009 paper)
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 (SFP) 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
Selectors Make Analyzing case-lambda Too Hard
Meunier, Findler, Steckler, Wand
Workshop on Scheme and Functional Programming (SFP) 2001
1999
Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine)
Flatt, Findler, Krishnamurthi, 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
2019
How to Evaluate the Performance of Gradual Type Systems
Greenman, Takikawa, New, Feltey, Findler, Vitek, Felleisen
Journal of Functional Programming (JFP) 2019
pdf via jfp
2018
A Coq Library For Internal Verification of Running-Times
McCarthy, Fetscher, New, Feltey, Findler
Science of Computer Programming (SCP) 2018
pdf  from Elsevier
POP-PL: A Patient-Oriented Prescription Programming Language
Florence, Fetscher, Flatt, Temps, St-Amour, Kiguradze, West, Niznik, Yarnold, Findler, Belknap
Transactions on Programming Languages and Systems (TOPLAS) 2018
pdf ACM DL
2017
Fair Enumeration Combinators
New, Fetscher, McCarthy, Findler
Journal of Functional Programming (JFP) 2017
pdf from JFP
2013
The Racket virtual machine and randomized testing
Klein, Flatt, Findler
Journal of Higher-Order and Symbolic Computing (HOSC) 2013
online from Springer
2012
Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts
Flatt, Culpepper, Darais, Findler
Journal of Functional Programming (JFP) 22(02):181-216 2012
pdf from JFP
2009
Revised^6 Report on the Algorithmic Language Scheme
Sperber, Dybvig, Flatt, van Straaten, Findler, Matthews, Kelsey, Clinger, Rees
Journal of Functional Programming (JFP) 19(s1):1-301 2009
pdf from JFP
Operational Semantics for Multi-Language Programs
Matthews, Findler
Transactions on Programming Languages and Systems (TOPLAS) 31(3): 1-44 2009
pdf
2008
An Operational Semantics for Scheme
Matthews, Findler
Journal of Functional Programming (JFP) 18(1): 47-86 2008
details
2006
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) 14(1): 55-77, 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-378 2004
download
2002
DrScheme: A Programming Environment for Scheme
Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, Felleisen
Journal of Functional Programming (JFP) 12(2): 159-182, 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
 
Book chapter
2006
Modeling Web Interactions and Errors
Krishnamurthi, Findler, Graunke, Felleisen
Interactive Computation: The New Paradigm 255-276 2006
pdf book chapter
 
Unrefereed publications
2018
A Programmable Programming Language
Felleisen, Findler, Flatt, Krishnamurthi, Barzilay, McCarthy, Tobin-Hochstadt
Communications of the ACM (CACM) March 2018
from CACM
2004
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
Findler, 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, 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