Robert Bruce Findler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
12
Active years
1998–2021
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ESOP | Sound and Complete Concolic Testing for Higher-order Functions. | Shu-Hung You, Robert Bruce Findler, Christos Dimoulas |
| 2020 | CC | Dynamic property caches: a step towards faster JavaScript proxy objects. | Manuel Serrano, Robert Bruce Findler |
| 2016 | FLOPS | A Coq Library for Internal Verification of Running-Times. | Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler |
| 2016 | ICFP | Oh Lord, please don't let contracts be misunderstood (functional pearl). | Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen |
| 2016 | OOPSLA | Extensible access control with authorization contracts. | Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong |
| 2015 | ECOOP | Towards Practical Gradual Typing. | Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2015 | ESOP | Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. | Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler |
| 2015 | GPCE | 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 |
| 2014 | ICFP | Behavioral software contracts. | Robert Bruce Findler |
| 2013 | OOPSLA | Option contracts. | Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen |
| 2013 | SIGCSE | Teaching garbage collection without implementing compiler or interpreters. | Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler |
| 2012 | ICFP | Seeing the futures: profiling shared-memory parallel racket. | James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt |
| 2012 | OOPSLA | Chaperones and impersonators: run-time support for reasonable interposition. | T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt |
| 2012 | POPL | 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 |
| 2011 | APLAS | A Semantics for Context-Sensitive Reduction Semantics. | Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler |
| 2011 | DLS | Places: adding message-passing parallelism to racket. | Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda |
| 2011 | POPL | Blame for all. | Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler |
| 2011 | POPL | Correct blame for contracts: no more scapegoating. | Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen |
| 2010 | OOPSLA | Random testing for higher-order, stateful programs. | Casey Klein, Matthew Flatt, Robert Bruce Findler |
| 2010 | OOPSLA | Back to the futures: incremental parallelization of existing sequential runtime systems. | James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt |
| 2009 | ECOOP | Blame for all. | Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler |
| 2009 | ECOOP | Cycles without pollution: a gradual typing poem. | Sam Tobin-Hochstadt, Robert Bruce Findler |
| 2009 | ESOP | Well-Typed Programs Can't Be Blamed. | Philip Wadler, Robert Bruce Findler |
| 2009 | ICFP | A functional I/O system or, fun for freshman kids. | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
| 2009 | ICFP | Scribble: closing the book on ad hoc documentation tools. | Matthew Flatt, Eli Barzilay, Robert Bruce Findler |
| 2007 | DLS | Relationally-parametric polymorphic contracts. | Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi |
| 2007 | ESOP | A Rewriting Semantics for Type Inference. | George Kuan, David MacQueen, Robert Bruce Findler |
| 2007 | ICFP | Adding delimited and composable control to a production programming environment. | Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen |
| 2007 | POPL | Operational semantics for multi-language programs. | Jacob Matthews, Robert Bruce Findler |
| 2006 | APLAS | Scheme with Classes, Mixins, and Traits. | Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
| 2006 | FLOPS | Contracts as Pairs of Projections. | Robert Bruce Findler, Matthias Blume |
| 2006 | POPL | Modular set-based analysis from contracts. | Philippe Meunier, Robert Bruce Findler, Matthias Felleisen |
| 2005 | OOPSLA | Fine-grained interoperability through mirrors and contracts. | Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt |
| 2004 | ECOOP | Semantic Casts: Contracts and Structural Subtyping in a Nominal World. | Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
| 2004 | ICFP | Slideshow: functional presentations. | Robert Bruce Findler, Matthew Flatt |
| 2004 | OOPSLA | Super and inner: together at last! | David S. Goldberg, Robert Bruce Findler, Matthew Flatt |
| 2004 | PLDI | Kill-safe synchronization abstractions. | Matthew Flatt, Robert Bruce Findler |
| 2003 | ESOP | Modeling Web Interactions. | Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 2002 | ICFP | Contracts for higher-order functions. | Robert Bruce Findler, Matthias Felleisen |
| 2001 | OOPSLA | Contract Soundness for Object-Oriented Languages. | Robert Bruce Findler, Matthias Felleisen |
| 1999 | ICFP | Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). | Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 1998 | ICFP | Modular Object-Oriented Programming with Units and Mixins. | Robert Bruce Findler, Matthew Flatt |