Conference & Workshop publications
2024
The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)Serrano,
FindlerInternational Conference on Functional Programming (ICFP) 2024
pdf 2023
Rhombus: A New Spin on Macros Without All the ParenthesesFlatt, Allred, Angle, De Gabrielle,
Findler, Phillips, Porncharoenwase, Gopinathan, Kasivajhula, Knauth,
McCarthy, Søgaard,
Tobin-HochstadtObject-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 LintersHoeflich,
Findler,
SerranoObject-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2022
pdf 2021
Sound and Complete Concolic Testing for Higher-order FunctionsYou,
Findler,
DimoulasInternational Conference on Functional Programming (ICFP) 2021
pdf 2020
Dynamic Property Caches: A Step towards Faster JavaScript Proxy ObjectsSerrano,
FindlerCompiler Construction (CC) 2020
pdf 2019
A Calculus for Esterel: If can, can. If no can, no can.Florence,
You,
Tov,
FindlerSymposium on Principles of Programming Languages (POPL) 2019
pdf 2018
2017
2016
Oh Lord, Please Don’t Let Contracts Be MisunderstoodDimoulas,
New,
Findler,
FelleisenInternational Conference on Functional Programming (ICFP) 2016
pdf 2015
POP-PL: A Patient-Oriented Prescription Programming LanguageFlorence,
Fetscher,
Flatt, Temps, Kiguradze, West, Niznik,
Yarnold,
Findler, Belknap
Generative Programming: Concepts & Experience (GPCE) 2015
pdf 2013
2012
Run Your Research: On the Effectiveness of Lightweight MechanizationKlein,
Clements,
Dimoulas,
Eastlund,
Felleisen,
Flatt,
McCarthy,
Rafkind,
Tobin-Hochstadt,
FindlerSymposium on Principles of Programming Languages (POPL) 2012
online, with Redex models 2011
Exploring Circuit Timing-aware Languages and CompilationHoang,
Findler,
JosephArchitectural Support for Programming Languages and Operating Systems (ASPLOS) 2011
pdf 2010
Random Testing for Higher-Order, Stateful ProgramsKlein,
Flatt,
FindlerObject-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2010
pdf Back to the Futures: Incremental Parallelization of Existing Sequential Runtime SystemsSwaine,
Tew,
Dinda,
Findler,
FlattObject-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2010
pdf The Design of a Functional Image LibraryBarland,
Flatt,
FindlerWorkshop on Scheme and Functional Programming (SFP) 2010
pdf 2009
Randomized Testing in PLT RedexKlein,
FindlerWorkshop on Scheme and Functional Programming (SFP) 2009
pdf Scribble: Closing the Book on Ad Hoc Documentation ToolsFlatt,
Barzilay,
FindlerInternational Conference on Functional Programming (ICFP) 2009
pdf Cycles without pollution: a gradual typing poemTobin-Hochstadt,
FindlerWorkshop on Script to Program Evolution (STOP) 2009
pdf Well-typed Programs Can't be BlamedWadler,
FindlerEuropean Symposium on Programming (ESOP) 1-15 2009
pdf (TR version)
2007
Lazy Contract Checking for Immutable Data StructuresFindler,
Guo,
RogersInternational Symposium on Implementation and Application of Functional Languages (IFL) 2007
pdf Adding Delimited and Composable Control to a Production Programming EnvironmentFlatt, Yu,
Findler,
FelleisenInternational Conference on Functional Programming (ICFP) 165-176 2007
pdf redex model A Rewriting Semantics for Type InferenceKuan,
MacQueen,
FindlerEuropean Symposium on Programming (ESOP) 426-440 2007
pdf 2006
Scheme with Classes, Mixins, and TraitsFlatt,
Findler,
FelleisenAsian Symposium on Programming Languages and Systems (APLAS) 270-289 2006
pdf Modular Set-Based Analysis from ContractsMeunier,
Findler,
FelleisenSymposium on Principles of Programming Languages (POPL) 218-231 2006
pdf 2005
An Operational Semantics for R5RS SchemeMatthews,
FindlerWorkshop on Scheme and Functional Programming (SFP) 41-54 2005
pdf Fine-Grained Interoperability through Contracts and MirrorsGray,
Findler,
FlattObject-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 231-246 2005
pdf 2004
Slideshow: Functional PresentationsFindler,
FlattInternational Conference on Functional Programming (ICFP) 224-235 2004
pdf Kill-Safe Synchronization AbstractionsFlatt,
FindlerProgramming Language Design and Implementation (PLDI) 47-58 2004
online A Visual Environment for Developing Context-Sensitive Term Rewriting SystemsMatthews,
Findler,
Flatt,
FelleisenInternational Conference on Rewriting Techniques and Applications (RTA) 301-312 2004
pdf Semantic Casts: Contracts and Structural Subtyping in a Nominal WorldFindler,
Flatt,
FelleisenEuropean Conference for Object-Oriented Programming (ECOOP) 364-388 2004
pdf 2003
2002
Contracts for Higher-Order FunctionsFindler,
FelleisenInternational Conference on Functional Programming (ICFP) 48-59 2002
expanded techreport version:
pdf ps; original ICFP version (with corrections):
pdf ps;
2001
Contract Soundness for Object-Oriented LanguagesFindler,
FelleisenObject-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 1-15 2001
download Behavioral Contracts and Behavioral SubtypingFindler, Latendresse,
FelleisenFoundations of Software Engineering (FSE) 229-236 2001
download Selectors Make Analyzing case-lambda Too HardMeunier,
Findler, Steckler,
WandWorkshop on Scheme and Functional Programming (SFP) 2001
1999
1998
Modular Object-Oriented Programming with Units and MixinsFindler,
FlattInternational Conference on Functional Programming (ICFP) 94-104 1998
download 1997
Journal publications
2019
2018
POP-PL: A Patient-Oriented Prescription Programming LanguageFlorence,
Fetscher,
Flatt, Temps,
St-Amour, Kiguradze, West, Niznik,
Yarnold,
Findler, Belknap
Transactions on Programming Languages and Systems (TOPLAS) 2018
pdf ACM DL 2017
2013
2012
Macros that Work Together: Compile-time bindings, partial expansion, and definition contextsFlatt,
Culpepper,
Darais,
FindlerJournal of Functional Programming (JFP) 22(02):181-216 2012
pdf from JFP 2009
Operational Semantics for Multi-Language ProgramsMatthews,
FindlerTransactions on Programming Languages and Systems (TOPLAS) 31(3): 1-44 2009
pdf 2008
An Operational Semantics for SchemeMatthews,
FindlerJournal of Functional Programming (JFP) 18(1): 47-86 2008
details 2006
2005
2004
2002
1995
Rapid construction of integrated maps using inner product mapping: YAC coverage of human chromosome 11Perlin, 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
Unrefereed publications
2018
2004
An Investigation of Contracts as ProjectionsFindler,
Blume,
FelleisenUniversity of Chicago Computer Science Technical Report TR-2004-02 2004
from uc 2002
Behavioral Software Contracts (dissertation)FindlerRice University Computer Science Technical Report TR02-402 June 2002
pdf ps 2001
Object-oriented Programming Languages Need Well-founded ContractsFindler, Latendresse,
FelleisenRice University Computer Science Technical Report TR01-372 January 2001
download 2000
Behavioral Interface Contracts for JavaFindler,
FelleisenRice University Computer Science Technical Report TR00-366 August 2000
download 1995
Modular Abstract InterpretersFindlerUndergraduate Senior Thesis 1995
pdf
