Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Daniel PattersonAssistant Teaching Professor, Northeastern UniversityVerified email at dbpmail.net
Tim NelsonLecturer, Brown UniversityVerified email at brown.edu
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Kevin DackowSoftware Engineer, GoogleVerified email at google.com
Daniel ParkRensselaer Polytechnic InstituteVerified email at rpi.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Timothy BrajeMIT Lincoln LaboratoryVerified email at alumni.stanford.edu
Robert K. CunninghamCMU and PittVerified email at cunninghamfamily.net
Ben KaiserVerified email at princeton.edu