Get my own profile
Public access
View all19 articles
1 article
available
not available
Based on funding mandates
Co-authors
Sarita AdveProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
John Mellor-CrummeyProfessor of Computer Science, Rice UniversityVerified email at rice.edu
John CriswellUniversity of RochesterVerified email at cs.rochester.edu
Swarup Kumar SahooCarnegie Mellon UniversityVerified email at cs.cmu.edu
Dinakar DhurjatiStaff Engineer, Qualcomm Research Silicon ValleyVerified email at qti.qualcomm.com
Rakesh KomuravelliResearch Scientist, FacebookVerified email at fb.com
Mohsen VakilianUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Prakalp SrivastavaOctoMLVerified email at octoml.ai
Hyojin SungUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Danny DigAssociate Professor, CS, University of ColoradoVerified email at colorado.edu
Rizos SakellariouUniversity of Manchester, Department of Computer ScienceVerified email at cs.man.ac.uk
Ewa DeelmanUniversity of Southern California, Information Sciences InstituteVerified email at isi.edu
Will DietzUniversity of Illinois at Urbana-ChampaignVerified email at uiuc.edu
Maria KotsifakouRuntime Verification, Inc.Verified email at runtimeverification.com
Qing YiLawrence Livermore National LaboratoryVerified email at llnl.gov
Nathan DautenhahnRice UniversityVerified email at rice.edu
Matthew D. SinclairUniversity of Wisconsin-Madison, AMD ResearchVerified email at cs.wisc.edu
Andrew LenharthUniversity of Texas at AustinVerified email at ices.utexas.edu
Theodoros KasampalisRuntime Verification, Inc.Verified email at runtimeverification.com
Marc SnirUniversity of Illinois at Urbana ChamapignVerified email at illinois.edu