Skip directly to content

Minimize RSR Award Detail

Research Spending & Results

Award Detail

Awardee:RUTGERS, THE STATE UNIVERSITY OF NEW JERSEY
Doing Business As Name:Rutgers University New Brunswick
PD/PI:
  • Santosh Nagarakatte
  • (848) 445-8407
  • santosh.nagarakatte@rutgers.edu
Award Date:06/14/2019
Estimated Total Award Amount: $ 500,000
Funds Obligated to Date: $ 500,000
  • FY 2019=$500,000
Start Date:07/01/2019
End Date:06/30/2022
Transaction Type:Grant
Agency:NSF
Awarding Agency Code:4900
Funding Agency Code:4900
CFDA Number:47.070
Primary Program Source:040100 NSF RESEARCH & RELATED ACTIVIT
Award Title or Description:SHF: Small: Formalisms, Implementations, and Verification Procedures for Alternatives to Floating Point
Federal Award ID Number:1908798
DUNS ID:001912864
Parent DUNS ID:001912864
Program:Software & Hardware Foundation
Program Officer:
  • Nina Amla
  • (703) 292-7991
  • namla@nsf.gov

Awardee Location

Street:33 Knightsbridge Road
City:Piscataway
State:NJ
ZIP:08854-3925
County:Piscataway
Country:US
Awardee Cong. District:06

Primary Place of Performance

Organization Name:Rutgers University New Brunswick
Street:110 Frelinghuysen Road
City:Piscataway
State:NJ
ZIP:08854-3925
County:Piscataway
Country:US
Cong. District:06

Abstract at Time of Award

Efficient and accurate representation of real numbers is a foundational question in computer science. A floating-point number is widely used to approximate a real number using a finite number of bits. Given the need for good performance and challenges in reasoning about rounding errors or exceptional conditions with the floating-point representation, there is interest in the community to explore possible alternatives to it. The Posit representation is a recently proposed alternative to the IEEE-754 floating point representation. This project develops techniques, tools, and procedures to determine whether Posit is a viable alternative to floating point. This project's impacts are the following: (1) enable programmers to effectively write correct programs using Posits, (2) make foundational advances for generating high-performance math libraries and automated reasoning for Posits, (3) influence domain experts in scientific computing and alleviate their concerns about correctness and accuracy, and (4) educate graduate, undergraduate, and high-school students on foundational abstractions and reasoning techniques. The Posit representation can represent more real numbers than the floating-point representation given the same number of bits. Depending on the configuration, it can represent every real value that floating point can. The Posit community is attempting to find specific applications where a Posit outperforms floating point in accuracy, performance, or storage. This project develops techniques, tools, and procedures to reason about the feasibility, performance, and accuracy of applications written with Posits. Specifically for performance, the project develops high performance math libraries for the Posit representation and explores hardware support for Posit operations. To reason about the accuracy of computation, the investigators develop techniques for fast shadow execution that compares a Posit execution to an execution with real numbers. To enable automated reasoning for programs using Posits, the project develops a theory of Posits usable with satisfiability modulo theory solvers. 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.

For specific questions or comments about this information including the NSF Project Outcomes Report, contact us.