Students

 

  Swaroop Sahu         
  Swarup Sahoo
  Vikram Adve
  Automated Bug Diagnosis
   

 

 

 Nicholas Chen Rajesh Karmani   Sats Negara  

Nicholas Chen
Ralph Johnson
Software tools,
Automated refactoring

Rajesh Kumar Karmani
Gul Agha
Parallel Programming

Choonghwan Lee
Grigore Rosu
Software Reliability

Stas Negara
Ralph Johnson


Camilo Rocha
Jose Meseguer

Rewriting Logic

 Kyungmin Bae      Albert Sidelnik  Mohsen Vakilian

Kyungmin Bae
Jose Meseguer
Formal Methods,
Model checking

Stephen Huemann
Vikram Adve
Compilers
Programming Languages

Xiaokang Qiu
P. Madhusudan
Logics for Heap
and Data

Albert Sidelnik
David Padua
Compilers for Parallel
Architectures

Mohsen Vakilian
Ralph Johnson
Software Refactoring

         Francesco Sorrentino

Yun Young Lee
Ralph Johnson
Software Engineering,
Program Refactoring

William Mansky
Elsa Gunter
Verified Compilers

Brandon Moore
Gul Agha
Testing Parallel Programs

Patrick Simmons
Vikram Adve
Programming Languages,
Compilers

Francesco Sorrentino
P. Madhusudan
Testing Concurrent
pgms
 Samira Tasharofi Adrian Nistor Parasar Sridhar Milos Gligoric

Samira Tasharofi
Ralph Johnson
Concurrency bug patterns,
Software Testing

Adrian Nistor
Darko Marinov
Testing Parallel Programs

Parasara Sridhar Duggirala
Mahesh Vishwanathan
&
Sayan Mitra
Hybrid systems

Pranav Garg
P. Madhusudan
Software Verification

Milos Gligoric
Darko Marinov
Software Testing,
Software Model Checking
 Dennis Griffith    Edgar Pek  Adam Smith  
Dennis Griffith
Elsa Gunter

Saeed Maleki
David Padua

Auto-Vectorization,
Compiler optimizations

Edgar Pek
P. Madhusudan
Software Verification

Adam Smith
David Padua
Compilers, Parallel
Intermediate Languages

Andrei Stefanescu
Grigore Rosu
Matching Logic

 

   Peter dinges  QuingZhou    

Kyle Blocher
Grigore Rosu

Peter Dinges
Gul Agha

Qingzhou Luo
Darko Marinov &
Grigore Rosu
Software Testing

Cosmin Radoi
Danny Dig
Software Engineering,
Artificial Intelligence

Dileep Kini
Mahesh Vishwanathan

 Yu Lin  Semih Okur  Andrew Cholewa  Nima Roohi  

Yu Lin
Darko Marinov
Software Testing

Semih Okur
Danny Dig
Program transformations,
Software design

Andrew Cholewa

 

 

Nima Roohi
Mahesh Vishwanathan

 

 

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer