Back to USENIX
Sign In
Conferences
Register Now
Attend
Registration Information
Registration Discounts
Grant Opportunities
Venue, Hotel, and Travel
Program
Technical Sessions
Participate
Call for Papers
Requirements for Authors
Call for Artifacts
Call for Posters
Instructions for Presenters
Mentorship
Sponsors
Exhibitor Resources
About
Symposium Organizers
Past Symposia
Conference Policies
Code of Conduct
Questions
Succinct Proofs for Numerical Computations
Zachary DeStefano, Noah Golub, Zile Huang, Julius Zhang, Sam Frank, and Michael Walfish,
NYU
