关注
Tushar Sharma
Tushar Sharma
Synopsys Inc
在 cs.wisc.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Consistency without ordering.
V Chidambaram, T Sharma, AC Arpaci-Dusseau, RH Arpaci-Dusseau
FAST 12, 101-116, 2012
1642012
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
512014
Speeding up machine-code synthesis
V Srinivasan, T Sharma, T Reps
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
122016
Sound bit-precise numerical domains
T Sharma, T Reps
International Conference on Verification, Model Checking, and Abstract …, 2017
102017
An abstract domain for bit-vector inequalities
T Reps, A Thakur, T Sharma
University of Wisconsin-Madison Department of Computer Sciences, 2013
82013
A New Abstraction Framework for Affine Transformers
T Sharma, T Reps
TR-1846, Computer Science Department, University of Wisconsin, Madison, WI, 2017
62017
Consistency without ordering
RH Arpaci-Dusseau, AC Arpaci-Dusseau, T Sharma, V Chidambaram
12012
Vijay Chidambaram
T Sharma, AC Arpaci-Dusseau, RH Arpaci-Dusseau
2012
系统目前无法执行此操作，请稍后再试。
文章 1–8