Robert Bruce Findler | Academic Influence

Robert Bruce Findler's AcademicInfluence.com Rankings

Robert Bruce Findler

Computer Science

#937

World Rank

#972

Historical Rank

Database

#4763

World Rank

#4948

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Robert Bruce Findler's Degrees

PhD Computer Science Rice University
Masters Computer Science Rice University
Bachelors Computer Science Rice University

Similar Degrees You Can Earn

Why Is Robert Bruce Findler Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Robert Bruce Findler, colloquially known as "Robby", is an American computer scientist, currently, a professor of computer science at Northwestern University. He is also a member of the PLT group and, as such, responsible for the creation and maintenance of DrRacket. In addition to DrRacket, Findler has contributed numerous components to Racket and supervises its Web-based software library, called PLaneT. Findler is also a leading team member of the ProgramByDesign project.

(See a Problem?)

Robert Bruce Findler's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Contracts for higher-order functions (2002) (486)
DrScheme: a programming environment for Scheme (2002) (333)
Semantics Engineering with PLT Redex (2009) (311)
Well-Typed Programs Can't Be Blamed (2009) (262)
Operational semantics for multi-language programs (2007) (200)
Modular object-oriented programming with units and mixins (1998) (198)
How to design programs: an introduction to programming and computing (2001) (191)
Blame for all (2011) (140)
How to Design Programs (2001) (139)
Contract Soundness for object-oriented languages (2001) (117)
Run your research: on the effectiveness of lightweight mechanization (2012) (114)
DrScheme: A Pedagogic Programming Environment for Scheme (1997) (105)
The TeachScheme! Project: Computing and Programming for Every Student (2004) (104)
Automatically restructuring programs for the Web (2001) (102)
Replication package for (2020) (102)
Behavioral contracts and behavioral subtyping (2001) (91)
Chaperones and impersonators: run-time support for reasonable interposition (2012) (87)
Correct blame for contracts: no more scapegoating (2011) (86)
A functional I/O system or, fun for freshman kids (2009) (82)
Programming Languages and Systems (2009) (80)
The DrScheme project: an overview (1998) (73)
Contracts as Pairs of Projections (2006) (72)
Modeling Web Interactions (2003) (66)
Programming languages as operating systems (or revenge of the son of the lisp machine) (1999) (66)
The Racket Manifesto (2015) (65)
Scheme with Classes, Mixins, and Traits (2006) (60)
The structure and interpretation of the computer science curriculum (2004) (59)
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems (2004) (58)
A programmable programming language (2018) (57)
Fine-grained interoperability through mirrors and contracts (2005) (57)
Relationally-parametric polymorphic contracts (2007) (51)
Kill-safe synchronization abstractions (2004) (48)
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (2015) (46)
Adding delimited and composable control to a production programming environment (2007) (42)
Modular set-based analysis from contracts (2006) (40)
Super and inner: together at last! (2004) (39)
Towards Practical Gradual Typing (2015) (37)
Lazy Contract Checking for Immutable Data Structures (2008) (37)
Exploring circuit timing-aware language and compilation (2011) (35)
Scribble: closing the book on ad hoc documentation tools (2009) (35)
Semantic Casts: Contracts and Structural Subtyping in a Nominal World (2004) (33)
Slideshow: functional presentations (2004) (27)
Migratory Typing: Ten Years Later (2017) (25)
How to Design Programs: An Introduction to Computing and Programming (2006) (24)
Random testing for higher-order, stateful programs (2010) (24)
An Investigation of Contracts as Projections (2004) (23)
A Rewriting Semantics for Type Inference (2007) (22)
Back to the futures: incremental parallelization of existing sequential runtime systems (2010) (22)
How to evaluate the performance of gradual type systems (2019) (21)
Macros that Work Together (2012) (20)
Collapsible contracts: fixing a pathology of gradual typing (2018) (20)
A Coq Library for Internal Verification of Running-Times (2016) (20)
The Racket virtual machine and randomized testing (2012) (19)
An operational semantics for R5RS Scheme (2005) (17)
An operational semantics for Scheme (2008) (17)
Modeling web interactions and errors (2006) (17)
Automatically restructuring software for the web (2004) (16)
Places: adding message-passing parallelism to racket (2011) (15)
Fostering Little Languages (2004) (15)
Rapid construction of integrated maps using inner product mapping: YAC coverage of human chromosome 11. (1995) (14)
Option contracts (2013) (14)
Memory for Functions (2001) (13)
Behavioral Interface Contracts for Java (2000) (12)
Extensible access control with authorization contracts (2016) (11)
Oh Lord, please don't let contracts be misunderstood (functional pearl) (2016) (10)
DrRacket: Programming Environment (1996) (10)
Object-oriented Programming Languages Need Well-founded Contracts (2001) (8)
Fine-grained interoperability through contracts and mirrors (2005) (8)
POP-PL: a patient-oriented prescription programming language (2015) (8)
ICFP 2002: Contracts for higher-order functions (2013) (8)
Fair enumeration combinators (2017) (7)
Building Little Languages With Macros (2004) (7)
A Semantics for Context-Sensitive Reduction Semantics (2011) (6)
Selectors Make Set-Based Analysis Too Hard (2005) (6)
A calculus for Esterel: if can, can. if no can, no can. (2019) (6)
Blame for all (2009) (6)
Seeing the futures: profiling shared-memory parallel racket (2012) (6)
Cycles without pollution: a gradual typing poem (2009) (3)
Teaching garbage collection without implementing compiler or interpreters (2013) (2)
Behavioral software contracts (2014) (2)
Artifact for (2019) (2)
Redex: Debugging Operational Semantics (2004) (2)
Sound and Complete Concolic Testing for Higher-order Functions (2021) (2)
Plt framework: gui application framework (2000) (2)
Dynamic property caches: a step towards faster JavaScript proxy objects (2020) (2)
An operational semantics for R 5 RS Scheme (2005) (1)
The Loss of Knowledge (2001) (1)
POP-PL (2018) (1)
Scheme and Functional Programming 2006: paper abstracts (2006) (1)
Distributed Places (2013) (1)
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (2008) (1)
PLaneT: Automatic Package Distribution (2006) (1)
The meaning of multilanguage programs (2008) (1)
For Internal Verification of Running-Times (2015) (1)
On the Effectiveness of Lightweight Mechanization (2012) (1)
Herbarium Racketensis: A Stroll through the Woods (2017) (1)
Session details: Session 4 (2006) (0)
Dynamic Symbolic Execution of Higher-Order Functions (2020) (0)
Mutually Referential Data Definitions (2001) (0)
More on Processing Lists (2001) (0)
Designing Accumulator-Style Functions (2001) (0)
Redex: a language for lightweight semantics engineering (keynote) (2016) (0)
Functional Programming 1 EDUCATIONAL PEARL The Structure and Interpretation of the Computer Science Curriculum (2003) (0)
Intermezzo 6: The Nature of Inexact Numbers (2001) (0)
Changong Structures, Vectors, and Objects (2001) (0)
Intermezzo 4: Defining Functions on the Fly (2001) (0)
An operational semantics for Scheme 1 (2007) (0)
The Varieties of Data (2001) (0)
1 Modular Set-Based Analysis from Contracts (2006) (0)
Designing Functions with Memory (2001) (0)
Modeling Web Interactions and Errors: The New Paradigm (2006) (0)
Session details: Keynote address 2 (2012) (0)
Examples of Memory Usage (2001) (0)
Session details: Web applications (2012) (0)
Intermezzo 2: List Abbreviations (2001) (0)
Special Issue Dedicated to ICFP 2012: Editorial (2014) (0)
Assignments to Variables (2001) (0)
Artifact for A Calculus for Esterel (2018) (0)
Does blame shifting work? (2019) (0)
Numbers, Expressions, Simple Programs (2001) (0)
Behavioral Interface Contracts for Java ( Rice University CS TR 00-366 ) (2000) (0)
Herbarium Racketensis: a stroll through the woods (functional pearl) (2017) (0)
Designing Functions that Change Structures (2001) (0)
Changing the State of Variables (2001) (0)
E D U C A T I O N A L P E A R L The structure and interpretation of the computer science curriculum (2004) (0)
Plugins: Extending DrRacket (1998) (0)
Functions are Values (2001) (0)
More Self-referential Data Definitions (2001) (0)
Processing Two Complex Pieces of Data (2001) (0)
Processing Simple Forms of Data (2001) (0)
Compound Data, Part 1: Structures (2001) (0)
Session details: Submitted papers (2005) (0)
Intermezzo 1: Syntax and Semantics (2001) (0)
Similarities in Definitions (2001) (0)
More Uses of Accumulation (2001) (0)
Session details: Keynote address 3 (2012) (0)
More on Processing Arbitrarily Large Data (2001) (0)
Designing Abstractions from Examples (2001) (0)
Session details: Keynote address 2 (2012) (0)
Artifact Virtual Machine Image for Collapsible Contracts (2018) (0)
Algorithms that Backtrack (2001) (0)
A Calculus for Esterel (2019) (0)
Intermezzo 7: The Final Syntax and Semantics (2001) (0)
Automatically Restructuring Programs for the We (2001) (0)
Intermezzo 5: The Cost of Computing and Vectors (2001) (0)
Kill-Safe Synchronization Abstractions "Well, it just so happens that your friend here is only mostly dead. There's a big difference between mostly dead and all dead ." - Miracle Max in The Princess Bride (2004) (0)
Framework: Racket GUI Application Framework (1997) (0)
Slideshow: Racket Figure and Presentation Tools (2005) (0)
FDPE'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education: Foreword (2005) (0)
Conditional Expressions and Functions (2001) (0)
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters (2022) (0)
Composing Functions, Revisited Again (2001) (0)
A New Form of Recursion (2001) (0)
Intermezzo 3: Local Definitions and Lexical Scope (2001) (0)
Session details: Web applications (2012) (0)
Development through Iterative Refinement (2001) (0)
Behavioral software contracts (2014) (0)
Changing Compound Values (2001) (0)
Designing Abstractions with First-Class Functions (2001) (0)
Processing Arbitrarily Large Data (2001) (0)
Session details: Keynote address 3 (2012) (0)
Programs are Function Plus Variable Definitions (2001) (0)
Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005 (2005) (0)
Variations on a Theme (2001) (0)
Students, Teachers, and Computers (2001) (0)

This paper list is powered by the following services:

Other Resources About Robert Bruce Findler

en.wikipedia.org

What Schools Are Affiliated With Robert Bruce Findler?

Robert Bruce Findler is affiliated with the following schools: