Tushar Sharma
发表
Tushar Sharma,
Thomas Reps,
2018,
Formal Methods in System Design.
Christopher McComb,
Tushar Sharma,
Akash Agrawal,
2021,
Proceedings of the Design Society.
George Varghese,
Vyas Sekar,
Ratul Mahajan,
2016,
OSDI.
Andrea C. Arpaci-Dusseau,
Remzi H. Arpaci-Dusseau,
Vijay Chidambaram,
2012,
FAST.
Thomas W. Reps,
Tushar Sharma,
Matt Elder,
2011,
SAS.
Thomas W. Reps,
Venkatesh Srinivasan,
Tushar Sharma,
2016,
OOPSLA.
G. Varghese,
T. Millstein,
S. K. Fayaz,
2016,
OSDI.