World's Best Scientists 2026 revealed!
Robert Bruce Findler

Robert Bruce Findler

D-Index & Metrics

Computer Science

D-Index
41
Citations
8263
World Ranking
8748
National Ranking
3739

Overview

Robert Bruce Findler is affiliated with Northwestern University in the United States. Their research contributions primarily fall within the field of Computer Science, with a focus on software-related areas.

The main subfields of study addressed in Findler's work include:

  • Software
  • Artificial Intelligence
  • Information Systems
  • Hardware and Architecture
  • Condensed Matter Physics

Findler's research covers diverse topics, including:

  • Logic, programming, and type systems
  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Software Reliability and Analysis Research
  • Natural Language Processing Techniques
  • Model-Driven Software Engineering Techniques
  • Theoretical and Computational Physics

Frequent co-authors that have collaborated with Findler are:

  • Christos Dimoulas
  • Matthew Flatt
  • Manuel Serrano
  • Taylor Allred
  • Jack Firth

The scientist has published notably in the following venues:

  • Proceedings of the ACM on Programming Languages
  • Artifact Digital Object Group
  • arXiv (Cornell University)

Recent papers authored or co-authored by Findler include:

  • "Rhombus: A New Spin on Macros without All the Parentheses" (2023), Proceedings of the ACM on Programming Languages
  • "Replication package for" (2020), Artifact Digital Object Group
  • "Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters" (2022), Proceedings of the ACM on Programming Languages
  • "Artifact for "Rhombus: A New Spin on Macros without All the Parentheses"" (2023), Artifact Digital Object Group
  • "Dynamic Symbolic Execution of Higher-Order Functions" (2020), arXiv (Cornell University)

Best Publications

  • Programming Languages and Systems

    Philip Wadler;Robert Bruce Findler

  • Contracts for higher-order functions

    Robert Bruce Findler;Matthias Felleisen

  • Semantics Engineering with PLT Redex

    Matthias Felleisen;Robert Bruce Findler;Matthew Flatt

  • DrScheme: a programming environment for Scheme

    Robert Bruce Findler;John Clements;Cormac Flanagan;Matthew Flatt

  • Well-Typed Programs Can't Be Blamed

    Philip Wadler;Robert Bruce Findler

  • Operational semantics for multi-language programs

    Jacob Matthews;Robert Bruce Findler

  • Modular object-oriented programming with units and mixins

    Robert Bruce Findler;Matthew Flatt

  • How to design programs: an introduction to programming and computing

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

  • Replication package for

    Unknown

  • Contract Soundness for object-oriented languages

    Robert Bruce Findler;Matthias Felleisen

  • Blame for all

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

  • DrScheme: A Pedagogic Programming Environment for Scheme

    Robert Bruce Findler;Cormac Flanagan;Matthew Flatt;Shriram Krishnamurthi

  • Run your research: on the effectiveness of lightweight mechanization

    Casey Klein;John Clements;Christos Dimoulas;Carl Eastlund

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

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

  • Behavioral contracts and behavioral subtyping

    Robert Bruce Findler;Mario Latendresse;Matthias Felleisen

  • Operational semantics for multi-language programs

    Jacob Matthews;Robert Bruce Findler

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

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

  • Correct blame for contracts: no more scapegoating

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

  • Contracts as pairs of projections

    Robert Bruce Findler;Matthias Blume

  • Automatically restructuring programs for the Web

    P. Graunke;R.B. Findler;S. Krishnamurthi;M. Felleisen

  • How to Design Programs: An Introduction to Computing and Programming

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

  • Slideshow: functional presentations

    Robert Bruce Findler;Matthew Flatt

Frequent Co-Authors

Matthew Flatt
Matthew Flatt University of Utah
Matthias Felleisen
Matthias Felleisen Northeastern University
Shriram Krishnamurthi
Shriram Krishnamurthi Brown University
Philip Wadler
Philip Wadler University of Edinburgh
Cormac Flanagan
Cormac Flanagan University of California, Santa Cruz
Jeremy G. Siek
Jeremy G. Siek Indiana University
Koen Claessen
Koen Claessen Chalmers University of Technology
Thomas B. Shows
Thomas B. Shows Roswell Park Cancer Institute
Norma J. Nowak
Norma J. Nowak University at Buffalo, State University of New York
Glen A. Evans
Glen A. Evans The University of Texas Southwestern Medical Center

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA can open up a wide array of related fields, especially as online education continues to grow. Many students look into mechanical engineering cost of education to understand tuition fees, financial aid options, and the overall investment required for a technical degree. Comparing costs can help students plan and choose the best path within STEM fields.

If you're interested in the theoretical side of technology, earning a physics degree online can provide a strong foundation in scientific reasoning. These programs are designed to be flexible and accessible, appealing to students with busy schedules or those needing remote learning options.

For those focused on the rapidly growing tech sector, consider a data science degree. This pathway leads to roles in analytics, machine learning, and big data—areas highly sought after by employers.

Alternatively, students interested in innovation and technology infrastructure may explore the best online electrical engineering programs USA. These programs combine technical skills with hands-on experience, preparing graduates for a range of engineering careers.

Best Scientists Citing Robert Bruce Findler

Trending Scientists