Robert Bruce Findler

According to our database, Robert Bruce Findler authored at least 77 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., October, 2023

2022

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

2021

Sound and Complete Concolic Testing for Higher-order Functions.

Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

Proceedings of the Programming Languages and Systems, 2021

2020

Does blame shifting work?

Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas

Proc. ACM Program. Lang., 2020

Dynamic Symbolic Execution of Higher-Order Functions.

Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

CoRR, 2020

Dynamic property caches: a step towards faster JavaScript proxy objects.

Manuel Serrano, Robert Bruce Findler

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

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

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

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

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

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 programmable programming language.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Commun. ACM, 2018

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

Fair enumeration combinators.

Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy

J. Funct. Program., 2017

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

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Redex: a language for lightweight semantics engineering (keynote).

Robby Bruce Findler

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Extensible access control with authorization contracts.

Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Oh Lord, please don't let contracts be misunderstood (functional pearl).

Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

The Racket Manifesto.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Proceedings of the 1st Summit on Advances in Programming Languages, 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

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 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, Robert Bruce Findler

Proceedings of the Programming Languages and Systems, 2015

Towards Practical Gradual Typing.

Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Special Issue Dedicated to ICFP 2012: Editorial.

Satnam Singh, Robert Bruce Findler

J. Funct. Program., 2014

Behavioral software contracts.

Robert Bruce Findler

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

ICFP 2002: Contracts for higher-order functions.

Robert Bruce Findler, Matthias Felleisen

ACM SIGPLAN Notices, 2013

Teaching garbage collection without implementing compiler or interpreters.

Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Distributed Places.

Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Option contracts.

Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

The Racket virtual machine and randomized testing.

Casey Klein, Matthew Flatt, Robert Bruce Findler

High. Order Symb. Comput., 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

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

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Chaperones and impersonators: run-time support for reasonable interposition.

T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Seeing the futures: profiling shared-memory parallel racket.

James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2011

Correct blame for contracts: no more scapegoating.

Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Places: adding message-passing parallelism to racket.

Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda

Proceedings of the 7th Symposium on Dynamic Languages, 2011

Exploring circuit timing-aware language and compilation.

Giang Hoang, Robby Bruce Findler, Russ Joseph

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

A Semantics for Context-Sensitive Reduction Semantics.

Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Back to the futures: incremental parallelization of existing sequential runtime systems.

James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Random testing for higher-order, stateful programs.

Casey Klein, Matthew Flatt, Robert Bruce Findler

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

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, ISBN: 978-0-521-19399-3, 2010

2009

Operational semantics for multi-language programs.

Jacob Matthews, Robert Bruce Findler

ACM Trans. Program. Lang. Syst., 2009

Scribble: closing the book on ad hoc documentation tools.

Matthew Flatt, Eli Barzilay, Robert Bruce Findler

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

A functional I/O system or, fun for freshman kids.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Well-Typed Programs Can't Be Blamed.

Philip Wadler, Robert Bruce Findler

Proceedings of the Programming Languages and Systems, 2009

Cycles without pollution: a gradual typing poem.

Sam Tobin-Hochstadt, Robert Bruce Findler

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

Semantics Engineering with PLT Redex.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt

MIT Press, ISBN: 978-0-262-06275-6, 2009

2008

An operational semantics for Scheme.

Jacob Matthews, Robert Bruce Findler

J. Funct. Program., 2008

2007

Lazy Contract Checking for Immutable Data Structures.

Robert Bruce Findler, Shu-yu Guo, Anne Rogers

Proceedings of the Implementation and Application of Functional Languages, 2007

Adding delimited and composable control to a production programming environment.

Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

A Rewriting Semantics for Type Inference.

George Kuan, David MacQueen, Robert Bruce Findler

Proceedings of the Programming Languages and Systems, 2007

Relationally-parametric polymorphic contracts.

Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi

Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006

Scheme and Functional Programming 2006: paper abstracts.

Robert Bruce Findler

ACM SIGPLAN Notices, 2006

Slideshow: functional presentations.

Robert Bruce Findler, Matthew Flatt

J. Funct. Program., 2006

Modular set-based analysis from contracts.

Philippe Meunier, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Contracts as Pairs of Projections.

Robert Bruce Findler, Matthias Blume

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Scheme with Classes, Mixins, and Traits.

Matthew Flatt, Robert Bruce Findler, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Selectors Make Set-Based Analysis Too Hard.

Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand

High. Order Symb. Comput., 2005

Fine-grained interoperability through mirrors and contracts.

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

The structure and interpretation of the computer science curriculum.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

J. Funct. Program., 2004

The TeachScheme! Project: Computing and Programming for Every Student.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Comput. Sci. Educ., 2004

Automatically Restructuring Programs for the Web.

Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen

Autom. Softw. Eng., 2004

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.

Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Kill-safe synchronization abstractions.

Matthew Flatt, Robert Bruce Findler

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Super and inner: together at last!

David S. Goldberg, Robert Bruce Findler, Matthew Flatt

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Semantic Casts: Contracts and Structural Subtyping in a Nominal World.

Robert Bruce Findler, Matthew Flatt, Matthias Felleisen

Proceedings of the ECOOP 2004, 2004

2003

Modeling Web Interactions.

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2003

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

Contracts for higher-order functions.

Robert Bruce Findler, Matthias Felleisen

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

Behavioral contracts and behavioral subtyping.

Robert Bruce Findler, Mario Latendresse, Matthias Felleisen

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Contract Soundness for Object-Oriented Languages.

Robert Bruce Findler, Matthias Felleisen

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Automatically Restructuring Programs for the We.

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1999

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).

Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

The DrScheme Project: An Overview.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

ACM SIGPLAN Notices, 1998

Modular Object-Oriented Programming with Units and Mixins.

Robert Bruce Findler, Matthew Flatt

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

DrScheme: A Pedagogic Programming Environment for Scheme.

Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Programming Languages: Implementations, 1997