DrScheme: A Pedagogic Programming Environment for Scheme. - Robert Bruce Findler; Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Matthias Felleisen (PLILP, 1997)

Modular Object-Oriented Programming with Units and Mixins. - Robert Bruce Findler; Matthew Flatt (ICFP, 1998)

The DrScheme Project: An Overview. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (ACM SIGPLAN Notices, 1998)

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). - Matthew Flatt; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ICFP, 1999)

Automatically Restructuring Programs for the We. - Paul T. Graunke; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ASE, 2001)

Contract Soundness for Object-Oriented Languages. - Robert Bruce Findler; Matthias Felleisen (OOPSLA, 2001)

Behavioral contracts and behavioral subtyping. - Robert Bruce Findler; Mario Latendresse; Matthias Felleisen (ESEC / SIGSOFT FSE, 2001)

Contracts for higher-order functions. - Robert Bruce Findler; Matthias Felleisen (ICFP, 2002)

DrScheme: a programming environment for Scheme. - Robert Bruce Findler; John Clements; Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Paul Steckler; Matthias Felleisen (J. Funct. Program., 2002)

Modeling Web Interactions. - Paul T. Graunke; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ESOP, 2003)

Semantic Casts: Contracts and Structural Subtyping in a Nominal World. - Robert Bruce Findler; Matthew Flatt; Matthias Felleisen (ECOOP, 2004)

Super and inner: together at last! - David S. Goldberg; Robert Bruce Findler; Matthew Flatt (OOPSLA, 2004)

Kill-safe synchronization abstractions. - Matthew Flatt; Robert Bruce Findler (PLDI, 2004)

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. - Jacob Matthews; Robert Bruce Findler; Matthew Flatt; Matthias Felleisen (RTA, 2004)

Automatically Restructuring Programs for the Web. - Jacob Matthews; Robert Bruce Findler; Paul T. Graunke; Shriram Krishnamurthi; Matthias Felleisen (Autom. Softw. Eng., 2004)

The TeachScheme! Project: Computing and Programming for Every Student. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (Comput. Sci. Educ., 2004)

The structure and interpretation of the computer science curriculum. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (J. Funct. Program., 2004)

Fine-grained interoperability through mirrors and contracts. - Kathryn E. Gray; Robert Bruce Findler; Matthew Flatt (OOPSLA, 2005)

Selectors Make Set-Based Analysis Too Hard. - Philippe Meunier; Robert Bruce Findler; Paul Steckler; Mitchell Wand (High. Order Symb. Comput., 2005)

Scheme with Classes, Mixins, and Traits. - Matthew Flatt; Robert Bruce Findler; Matthias Felleisen (APLAS, 2006)

Contracts as Pairs of Projections. - Robert Bruce Findler; Matthias Blume (FLOPS, 2006)

Modular set-based analysis from contracts. - Philippe Meunier; Robert Bruce Findler; Matthias Felleisen (POPL, 2006)

Slideshow: functional presentations. - Robert Bruce Findler; Matthew Flatt (J. Funct. Program., 2006)

Scheme and Functional Programming 2006: paper abstracts. - Robert Bruce Findler (ACM SIGPLAN Notices, 2006)

Relationally-parametric polymorphic contracts. - Arjun Guha; Jacob Matthews; Robert Bruce Findler; Shriram Krishnamurthi (DLS, 2007)

A Rewriting Semantics for Type Inference. - George Kuan; David MacQueen; Robert Bruce Findler (ESOP, 2007)

Adding delimited and composable control to a production programming environment. - Matthew Flatt; Gang Yu; Robert Bruce Findler; Matthias Felleisen (ICFP, 2007)

Lazy Contract Checking for Immutable Data Structures. - Robert Bruce Findler; Shu-yu Guo; Anne Rogers (IFL, 2007)

An operational semantics for Scheme. - Jacob Matthews; Robert Bruce Findler (J. Funct. Program., 2008)

Semantics Engineering with PLT Redex. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt (MIT Press, 2009)

Blame for all. - Amal Ahmed 001; Robert Bruce Findler; Jacob Matthews; Philip Wadler (STOP@ECOOP, 2009)

Cycles without pollution: a gradual typing poem. - Sam Tobin-Hochstadt; Robert Bruce Findler (STOP@ECOOP, 2009)

Well-Typed Programs Can't Be Blamed. - Philip Wadler; Robert Bruce Findler (ESOP, 2009)

A functional I/O system or, fun for freshman kids. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (ICFP, 2009)

Scribble: closing the book on ad hoc documentation tools. - Matthew Flatt; Eli Barzilay; Robert Bruce Findler (ICFP, 2009)

Operational semantics for multi-language programs. - Jacob Matthews; Robert Bruce Findler (ACM Trans. Program. Lang. Syst., 2009)

Revised6 Report on the Algorithmic Language Scheme. - Michael Sperber; R. Kent Dybvig; Matthew Flatt; Anton van Straaten; Robert Bruce Findler; Jacob Matthews (Cambridge University Press, 2010)

Random testing for higher-order, stateful programs. - Casey Klein; Matthew Flatt; Robert Bruce Findler (OOPSLA, 2010)

Back to the futures: incremental parallelization of existing sequential runtime systems. - James Swaine; Kevin Tew; Peter A. Dinda; Robert Bruce Findler; Matthew Flatt (OOPSLA, 2010)

A Semantics for Context-Sensitive Reduction Semantics. - Casey Klein; Jay A. McCarthy; Steven Jaconette; Robert Bruce Findler (APLAS, 2011)

Exploring circuit timing-aware language and compilation. - Giang Hoang; Robby Bruce Findler; Russ Joseph (ASPLOS, 2011)

Places: adding message-passing parallelism to racket. - Kevin Tew; James Swaine; Matthew Flatt; Robert Bruce Findler; Peter A. Dinda (DLS, 2011)

Blame for all. - Amal Ahmed 001; Robert Bruce Findler; Jeremy G. Siek; Philip Wadler (POPL, 2011)

Correct blame for contracts: no more scapegoating. - Christos Dimoulas; Robert Bruce Findler; Cormac Flanagan; Matthias Felleisen (POPL, 2011)

Seeing the futures: profiling shared-memory parallel racket. - James Swaine; Burke Fetscher; Vincent St-Amour; Robert Bruce Findler; Matthew Flatt (FHPC@ICFP, 2012)

Chaperones and impersonators: run-time support for reasonable interposition. - T. Stephen Strickland; Sam Tobin-Hochstadt; Robert Bruce Findler; Matthew Flatt (OOPSLA, 2012)

Run your research: on the effectiveness of lightweight mechanization. - Casey Klein; John Clements; Christos Dimoulas; Carl Eastlund; Matthias Felleisen; Matthew Flatt; Jay A. McCarthy; Jon Rafkind; Sam Tobin-Hochstadt; Robert Bruce Findler (POPL, 2012)

Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. - Matthew Flatt; Ryan Culpepper; David Darais; Robert Bruce Findler (J. Funct. Program., 2012)

The Racket virtual machine and randomized testing. - Casey Klein; Matthew Flatt; Robert Bruce Findler (High. Order Symb. Comput., 2012)

Option contracts. - Christos Dimoulas; Robert Bruce Findler; Matthias Felleisen (OOPSLA, 2013)

Distributed Places. - Kevin Tew; James Swaine; Matthew Flatt; Robert Bruce Findler; Peter A. Dinda (Trends in Functional Programming, 2013)

Teaching garbage collection without implementing compiler or interpreters. - Gregory H. Cooper; Arjun Guha; Shriram Krishnamurthi; Jay A. McCarthy; Robert Bruce Findler (SIGCSE, 2013)

ICFP 2002: Contracts for higher-order functions. - Robert Bruce Findler; Matthias Felleisen (ACM SIGPLAN Notices, 2013)

Behavioral software contracts. - Robert Bruce Findler (ICFP, 2014)

Special Issue Dedicated to ICFP 2012: Editorial. - Satnam Singh; Robert Bruce Findler (J. Funct. Program., 2014)

Towards Practical Gradual Typing. - Asumu Takikawa; Daniel Feltey; Earl Dean; Matthew Flatt; Robert Bruce Findler; Sam Tobin-Hochstadt; Matthias Felleisen (ECOOP, 2015)

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. - Burke Fetscher; Koen Claessen; Michal H. Palka; John Hughes 001; Robert Bruce Findler (ESOP, 2015)

POP-PL: a patient-oriented prescription programming language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (GPCE, 2015)

The Racket Manifesto. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (SNAPL, 2015)

Oh Lord, please don't let contracts be misunderstood (functional pearl). - Christos Dimoulas; Max S. New; Robert Bruce Findler; Matthias Felleisen (ICFP, 2016)

Extensible access control with authorization contracts. - Scott Moore 001; Christos Dimoulas; Robert Bruce Findler; Matthew Flatt; Stephen Chong (OOPSLA, 2016)

Redex: a language for lightweight semantics engineering (keynote). - Robby Bruce Findler (SLE, 2016)

Migratory Typing: Ten Years Later. - Sam Tobin-Hochstadt; Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Ben Greenman; Andrew M. Kent; Vincent St-Amour; T. Stephen Strickland; Asumu Takikawa (SNAPL, 2017)

Fair enumeration combinators. - Max S. New; Burke Fetscher; Robert Bruce Findler; Jay A. McCarthy (J. Funct. Program., 2017)

Herbarium Racketensis: a stroll through the woods (functional pearl). - Vincent St-Amour; Daniel Feltey; Spencer P. Florence; Shu-Hung You; Robert Bruce Findler (Proc. ACM Program. Lang., 2017)

A programmable programming language. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (Commun. ACM, 2018)

Collapsible contracts: fixing a pathology of gradual typing. - Daniel Feltey; Ben Greenman; Christophe Scholliers; Robert Bruce Findler; Vincent St-Amour (Proc. ACM Program. Lang., 2018)

A Coq library for internal verification of running-times. - Jay A. McCarthy; Burke Fetscher; Max S. New; Daniel Feltey; Robert Bruce Findler (Sci. Comput. Program., 2018)

POP-PL: A Patient-Oriented Prescription Programming Language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Vincent St-Amour; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (ACM Trans. Program. Lang. Syst., 2018)

How to evaluate the performance of gradual type systems. - Ben Greenman; Asumu Takikawa; Max S. New; Daniel Feltey; Robert Bruce Findler; Jan Vitek; Matthias Felleisen (J. Funct. Program., 2019)

A calculus for Esterel: if can, can. if no can, no can. - Spencer P. Florence; Shu-Hung You; Jesse A. Tov; Robert Bruce Findler (Proc. ACM Program. Lang., 2019)

Dynamic property caches: a step towards faster JavaScript proxy objects. - Manuel Serrano; Robert Bruce Findler (CC, 2020)

Dynamic Symbolic Execution of Higher-Order Functions. - Shu-Hung You; Robert Bruce Findler; Christos Dimoulas (CoRR, 2020)

Does blame shifting work? - Lukas Lazarek; Alexis King; Samanvitha Sundar; Robert Bruce Findler; Christos Dimoulas (Proc. ACM Program. Lang., 2020)

Sound and Complete Concolic Testing for Higher-order Functions. - Shu-Hung You; Robert Bruce Findler; Christos Dimoulas (ESOP, 2021)

Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters. - Joshua Hoeflich; Robert Bruce Findler; Manuel Serrano (Proc. ACM Program. Lang., 2022)

Rhombus: A New Spin on Macros without All the Parentheses. - Matthew Flatt; Taylor Allred; Nia Angle; Stephen De Gabrielle; Robert Bruce Findler; Jack Firth; Kiran Gopinathan; Ben Greenman; Siddhartha Kasivajhula; Alex Knauth; Jay A. McCarthy; Sam Phillips; et al. (Proc. ACM Program. Lang., 2023)

A Calculus for Unreachable Code. - Peter Zhong; Shu-Hung You; Simone Campanoni; Robert Bruce Findler; Matthew Flatt; Christos Dimoulas (CoRR, 2024)

The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl). - Manuel Serrano; Robert Bruce Findler (Proc. ACM Program. Lang., 2024)