FMitF: Track II: Educating Developers about Ownership in Rust

Information

  • NSF Award
  • 2319014
Owner
  • Award Id
    2319014
  • Award Effective Date
    8/1/2023 - 10 months ago
  • Award Expiration Date
    7/31/2024 - a month from now
  • Award Amount
    $ 99,936.00
  • Award Instrument
    Standard Grant

FMitF: Track II: Educating Developers about Ownership in Rust

Rust is an important new programming language that enables programmers to build low-level systems in a way that is both fast and efficient, a combination that has traditionally been extremely difficult. However, using Rust requires programmers to understand the language's "ownership" mechanism, which many find daunting. The project's novelties are to create a strong understanding of the difficulties in learning it, create tools to improve understanding, and evaluate that these tools work. The project's impacts are an understanding of important programming language concepts, a collection of useful tools, and a collection of pedagogic materials.<br/><br/>Concretely, the project has multiple phases. First, it examines StackOverflow postings to determine what troubles programmers seem to have. Next, it turns these into a concept inventory for ownership. Then, it creates visualization tools for understanding both the dynamic and static semantics of Rust. These are then deployed in a copy of a widely used Rust book. The project then assesses the impact of these interventions.<br/><br/>This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

  • Program Officer
    Damian Dechevddechev@nsf.gov7032928910
  • Min Amd Letter Date
    7/20/2023 - 11 months ago
  • Max Amd Letter Date
    7/20/2023 - 11 months ago
  • ARRA Amount

Institutions

  • Name
    Brown University
  • City
    PROVIDENCE
  • State
    RI
  • Country
    United States
  • Address
    1 PROSPECT ST
  • Postal Code
    029129127
  • Phone Number
    4018632777

Investigators

  • First Name
    Shriram
  • Last Name
    Krishnamurthi
  • Email Address
    sk+17@cs.brown.edu
  • Start Date
    7/20/2023 12:00:00 AM

Program Element

  • Text
    FMitF: Formal Methods in the F

Program Reference

  • Text
    FMitF-Formal Methods in the Field
  • Text
    EXP PROG TO STIM COMP RES
  • Code
    9150