Robert Bruce Findler

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 19

Top Topics

Denotational Semantics

Automatically Generating

Special Features

Programming Language

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas
A Calculus for Unreachable Code. CoRR (2024)
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Joshua Hoeflich, Robert Bruce Findler, Manuel Serrano
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
Sound and Complete Concolic Testing for Higher-order Functions. ESOP (2021)
Manuel Serrano, Robert Bruce Findler
Dynamic property caches: a step towards faster JavaScript proxy objects. CC (2020)
Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
Dynamic Symbolic Execution of Higher-Order Functions. CoRR (2020)
Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas
Does blame shifting work? Proc. ACM Program. Lang. 4 (POPL) (2020)
Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
How to evaluate the performance of gradual type systems. J. Funct. Program. 29 (2019)
Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler
A calculus for Esterel: if can, can. if no can, no can. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq library for internal verification of running-times. Sci. Comput. Program. 164 (2018)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
A programmable programming language. Commun. ACM 61 (3) (2018)
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour
Collapsible contracts: fixing a pathology of gradual typing. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
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
POP-PL: A Patient-Oriented Prescription Programming Language. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
Migratory Typing: Ten Years Later. SNAPL (2017)
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy
Fair enumeration combinators. J. Funct. Program. 27 (2017)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, Robert Bruce Findler
Herbarium Racketensis: a stroll through the woods (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
Oh Lord, please don't let contracts be misunderstood (functional pearl). ICFP (2016)
Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong
Extensible access control with authorization contracts. OOPSLA (2016)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq Library for Internal Verification of Running-Times. FLOPS (2016)
Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP (2015)
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
Towards Practical Gradual Typing. ECOOP (2015)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
The Racket Manifesto. SNAPL (2015)
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
POP-PL: a patient-oriented prescription programming language. GPCE (2015)
Satnam Singh, Robert Bruce Findler
Special Issue Dedicated to ICFP 2012: Editorial. J. Funct. Program. 24 (2-3) (2014)
Robert Bruce Findler
Behavioral software contracts. ICFP (2014)
Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
Distributed Places. Trends in Functional Programming (2013)
Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler
Teaching garbage collection without implementing compiler or interpreters. SIGCSE (2013)
Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
Option contracts. OOPSLA (2013)
Robert Bruce Findler, Matthias Felleisen
ICFP 2002: Contracts for higher-order functions. ACM SIGPLAN Notices 48 (4S) (2013)
T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt
Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA (2012)
Casey Klein, Matthew Flatt, Robert Bruce Findler
The Racket virtual machine and randomized testing. High. Order Symb. Comput. 25 (2-4) (2012)
James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt
Seeing the futures: profiling shared-memory parallel racket. FHPC@ICFP (2012)
Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
Run your research: on the effectiveness of lightweight mechanization. POPL (2012)
Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler
Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. 22 (2) (2012)
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
Blame for all. POPL (2011)
Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
Places: adding message-passing parallelism to racket. DLS (2011)
Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen
Correct blame for contracts: no more scapegoating. POPL (2011)
Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler
A Semantics for Context-Sensitive Reduction Semantics. APLAS (2011)
James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt
Back to the futures: incremental parallelization of existing sequential runtime systems. OOPSLA (2010)
Casey Klein, Matthew Flatt, Robert Bruce Findler
Random testing for higher-order, stateful programs. OOPSLA (2010)
Philip Wadler, Robert Bruce Findler
Well-Typed Programs Can't Be Blamed. ESOP (2009)
Matthew Flatt, Eli Barzilay, Robert Bruce Findler
Scribble: closing the book on ad hoc documentation tools. ICFP (2009)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
A functional I/O system or, fun for freshman kids. ICFP (2009)
Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
Blame for all. STOP@ECOOP (2009)
Sam Tobin-Hochstadt, Robert Bruce Findler
Cycles without pollution: a gradual typing poem. STOP@ECOOP (2009)
Jacob Matthews, Robert Bruce Findler
Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. 31 (3) (2009)
Jacob Matthews, Robert Bruce Findler
An operational semantics for Scheme. J. Funct. Program. 18 (1) (2008)
Jacob Matthews, Robert Bruce Findler
Operational semantics for multi-language programs. POPL (2007)
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
Adding delimited and composable control to a production programming environment. ICFP (2007)
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
Lazy Contract Checking for Immutable Data Structures. IFL (2007)
George Kuan, David MacQueen, Robert Bruce Findler
A Rewriting Semantics for Type Inference. ESOP (2007)
Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi
Relationally-parametric polymorphic contracts. DLS (2007)
Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
Modular set-based analysis from contracts. POPL (2006)
Robert Bruce Findler, Matthew Flatt
Slideshow: functional presentations. J. Funct. Program. 16 (4-5) (2006)
Robert Bruce Findler, Matthias Blume
Contracts as Pairs of Projections. FLOPS (2006)
Robert Bruce Findler
Scheme and Functional Programming 2006: paper abstracts. ACM SIGPLAN Notices 41 (8) (2006)
Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
Scheme with Classes, Mixins, and Traits. APLAS (2006)
Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
Fine-grained interoperability through mirrors and contracts. OOPSLA (2005)
Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand
Selectors Make Set-Based Analysis Too Hard. High. Order Symb. Comput. 18 (3-4) (2005)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. 14 (1) (2004)
Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11 (4) (2004)
Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP (2004)
Matthew Flatt, Robert Bruce Findler
Kill-safe synchronization abstractions. PLDI (2004)
Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA (2004)
David S. Goldberg, Robert Bruce Findler, Matthew Flatt
Super and inner: together at last! OOPSLA (2004)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The structure and interpretation of the computer science curriculum. J. Funct. Program. 14 (4) (2004)
Robert Bruce Findler, Matthew Flatt
Slideshow: functional presentations. ICFP (2004)
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Modeling Web Interactions. ESOP (2003)
Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
DrScheme: a programming environment for Scheme. J. Funct. Program. 12 (2) (2002)
Robert Bruce Findler, Matthias Felleisen
Contracts for higher-order functions. ICFP (2002)
Robert Bruce Findler, Matthias Felleisen
Contract Soundness for Object-Oriented Languages. OOPSLA (2001)
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the We. ASE (2001)
Robert Bruce Findler, Mario Latendresse, Matthias Felleisen
Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE (2001)
Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP (1999)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The DrScheme Project: An Overview. ACM SIGPLAN Notices 33 (6) (1998)
Robert Bruce Findler, Matthew Flatt
Modular Object-Oriented Programming with Units and Mixins. ICFP (1998)
Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP (1997)