Robert Bruce Findler

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

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): 181-216 (2012)

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

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: 285-296

Peter Thiemann, Robby Bruce Findler (Eds.): ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, isbn 978-1-4503-1054-3

Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler: A Semantics for Context-Sensitive Reduction Semantics. APLAS 2011: 369-383

Giang Hoang, Robby Bruce Findler, Russ Joseph: Exploring circuit timing-aware language and compilation. ASPLOS 2011: 345-356

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

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler: Blame for all. POPL 2011: 201-214

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

Casey Klein, Matthew Flatt, Robert Bruce Findler: Random testing for higher-order, stateful programs. OOPSLA 2010: 555-566

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: 583-597

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt: Semantics Engineering with PLT Redex. MIT Press 2009, isbn 978-0-262-06275-6, pp. I-XII, 1-502

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

Philip Wadler, Robert Bruce Findler: Well-Typed Programs Can't Be Blamed. ESOP 2009: 1-16

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

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

Jacob Matthews, Robert Bruce Findler: An operational semantics for Scheme. J. Funct. Program. 18(1): 47-86 (2008)

Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40

George Kuan, David MacQueen, Robert Bruce Findler: A Rewriting Semantics for Type Inference. ESOP 2007: 426-440

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

Robert Bruce Findler, Shu-yu Guo, Anne Rogers: Lazy Contract Checking for Immutable Data Structures. IFL 2007: 111-128

Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. POPL 2007: 3-10

Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006)

Robert Bruce Findler: Scheme and Functional Programming 2006: paper abstracts. SIGPLAN Notices 41(8): 6-9 (2006)

Matthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289

Robert Bruce Findler, Matthias Blume: Contracts as Pairs of Projections. FLOPS 2006: 226-241

Philippe Meunier, Robert Bruce Findler, Matthias Felleisen: Modular set-based analysis from contracts. POPL 2006: 218-231

Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand: Selectors Make Set-Based Analysis Too Hard. Higher-Order and Symbolic Computation 18(3-4): 245-269 (2005)

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt: Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245

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

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

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

Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. ICFP 2004: 224-235

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

Matthew Flatt, Robert Bruce Findler: Kill-safe synchronization abstractions. PLDI 2004: 47-58

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

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Modeling Web Interactions. ESOP 2003: 238-252

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): 159-182 (2002)

Robert Bruce Findler, Matthias Felleisen: Contracts for higher-order functions. ICFP 2002: 48-59

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the We. ASE 2001: 211-222

Robert Bruce Findler, Matthias Felleisen: Contract Soundness for Object-Oriented Languages. OOPSLA 2001: 1-15

Robert Bruce Findler, Mario Latendresse, Matthias Felleisen: Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE 2001: 229-236

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: 138-147

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)

Robert Bruce Findler, Matthew Flatt: Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104

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