Tushar Sharma
Tushar Sharma
Synopsys Inc
Verified email at cs.wisc.edu - Homepage
Title
Cited by
Cited by
Year
Consistency without ordering.
V Chidambaram, T Sharma, AC Arpaci-Dusseau, RH Arpaci-Dusseau
FAST, 9, 2012
1402012
Abstract domains of affine relations
M Elder, J Lim, T Sharma, T Andersen, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 1-73, 2014
422014
Speeding up machine-code synthesis
V Srinivasan, T Sharma, T Reps
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
82016
A New Abstraction Framework for Affine Transformers
T Sharma, T Reps
TR-1846, Computer Science Department, University of Wisconsin, Madison, WI, 2017
62017
Sound bit-precise numerical domains
T Sharma, T Reps
International Conference on Verification, Model Checking, and Abstract …, 2017
52017
An abstract domain for bit-vector inequalities
T Sharma, A Thakur, T Reps
Tech. Rep. TR1789, University of Wisconsin-Madison, 2013
52013
Vijay Chidambaram
T Sharma, AC Arpaci-Dusseau, RH Arpaci-Dusseau
2012
The system can't perform the operation now. Try again later.
Articles 1–7