Santosh Nagarakatte - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Registered user since Fri 17 Jun 2016

Name:Santosh Nagarakatte

Country:United States

Affiliation:Rutgers University

Personal website: http://www.cs.rutgers.edu/~santosh.nagarakatte/

Research interests:Compilers, Programming Languages, Verification, Computer Architecture

Contributions

2024

PLDI

Session Chair of Solvers for Fun and Profit (part of PLDI Research Papers)
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation

RTFM

Show activities from other conferences

PLDI 2024-profile
View general profile