Tushar Sharma

Orcid: 0000-0002-5250-9533

Affiliations:
  • Synopsys Inc., San Francisco, CA, USA
  • University of Wisconsin, Madison, WI, USA


According to our database1, Tushar Sharma authored at least 4 papers between 2014 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2014
2015
2016
2017
2018
2019
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
A new abstraction framework for affine transformers.
Formal Methods Syst. Des., 2019

2017
Sound Bit-Precise Numerical Domains.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016
Speeding up machine-code synthesis.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014
Abstract Domains of Affine Relations.
ACM Trans. Program. Lang. Syst., 2014


  Loading...