Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Vikram AdveUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Maria KotsifakouRuntime Verification, Inc.Verified email at runtimeverification.com
Sarita AdveProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Rakesh KomuravelliResearch Scientist, FacebookVerified email at fb.com
Matthew D. SinclairUniversity of Wisconsin-MadisonVerified email at cs.wisc.edu
Muhammad HuzaifaPhD Candidate, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Johnathan AlsopAMD ResearchVerified email at illinois.edu
Mingu KangAssistant Professor, UC San DiegoVerified email at ucsd.edu
Nam Sung KimW.J. ‘Jerry’ Sanders III – AMD, Inc. Endowed Chair Professor and Fellow of ACM/IEEEVerified email at illinois.edu
Naresh ShanbhagProfessor of Electrical and Computer Engineering, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Sungmin LimUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Jungwook ChoiHanyang UniversityVerified email at hanyang.ac.kr
Sujan Kumar GonugondlaML Researcher at MetaVerified email at meta.com
Hashim SharifPhd CandidateVerified email at illinois.edu
Keyur JoshiUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerified email at illinois.edu
Yasmin SaritaUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Marco CaccamoProfessor, Department of Mechanical Engineering, Technical University of Munich (TUM)Verified email at tum.de
Deming ChenAbel Bliss Professor. University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Renato MancusoAssociate Professor, Boston UniversityVerified email at bu.edu