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
Will DietzUniversity of Illinois at Urbana-ChampaignVerified email at uiuc.edu
Ewa DeelmanUniversity of Southern California, Information Sciences InstituteVerified email at isi.edu
Maria KotsifakouRuntime Verification, Inc.Verified email at runtimeverification.com
Nathan DautenhahnSerenitixVerified email at serenitix.io
Matthew D. SinclairUniversity of Wisconsin-MadisonVerified email at cs.wisc.edu
Qing YiLawrence Livermore National LaboratoryVerified email at llnl.gov
Theodoros KasampalisRuntime Verification, Inc.Verified email at runtimeverification.com
Andrew LenharthUniversity of Texas at AustinVerified email at ices.utexas.edu
Marc SnirUniversity of Illinois at Urbana ChamapignVerified email at illinois.edu