Get my own profile
Public access
View all12 articles
0 articles
available
not available
Based on funding mandates
Co-authors
William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Qianchuan YeUniversity at Buffalo, SUNYVerified email at buffalo.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Clément Pit-ClaudelEPFLVerified email at epfl.ch
Don BatoryUniversity of Texas at AustinVerified email at cs.utexas.edu
Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
Suresh JagannathanSamuel D. Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Robert DickersonPhD Student, Purdue UniversityVerified email at purdue.edu
Peng WangMIT CSAILVerified email at csail.mit.edu
Kia RahmaniPostdoctoral Fellow, University of Texas at AustinVerified email at utexas.edu
Kartik NagarAssistant Professor at Department of CSE, IIT MadrasVerified email at cse.iitm.ac.in
Zhe ZhouPhD student of Computer Science, Purdue UniversityVerified email at purdue.edu
Steven KeuchelVrije Universiteit BrusselVerified email at vub.be
Roopsha SamantaAssistant Professor, Purdue UniversityVerified email at purdue.edu
Donghang LuTikTokVerified email at tiktok.com
Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityVerified email at purdue.edu
Aniket KatePurdue University / Supra ResearchVerified email at purdue.edu
Jeremiah BlockiPurdue UniversityVerified email at purdue.edu
Follow