Registered user since Sat 17 Sep 2016
Name:Tushar Sharma
Affiliation:University of Wisconsin - Madison, USA
Contributions
VMCAI 2017 | Sound Bit-Precise Numerical Domains | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile