Current
PhD Students
Sandeep Kumar, Co-supervisor [Main supervisor Siau Cheng Khoo], Dynamic Analysis for UML model mining and Software Comprehension.
Dawei Qi, Main supervisor [Co-supervisor Zhenkai Liang], Dynamic Analysis based Debugging of Evolving Programs. Presidential Graduate Fellowship.
Sudipta Chattopadhyay, WCET analysis of Embedded Software for Multi-cores. Presidential Graduate Fellowship.
Marcel Böhme, Testing of Evolving programs.
Hoang Duong Thien Nguyen , Automated software repair methods.
Abhijeet Banerjee, Joined the group in 2012.
Ramapantulu Lavanya, Joined the group in 2012.
Past Students
Lei Ju (Ph.D.), Model-driven timing analysis of embedded software,
Main supervisor [Co-supervisor Samarjit Chakraborty], Graduated 2010.
Received Faculty Research
Achievement Award, Moved to -> Shandong University (Associate Professor).
Vivy Suhendra
(Ph.D.) Memory Optimizations for Time-predictable Embedded Software,
Main supervisor [Co-supervisor Tulika Mitra], Graduated 2009.
Awarded Microsoft
Research fellowship (2006-07), Moved to -> Researcher at
Institute for Infocomm Research (I2R).
Ankit Goel (Ph.D.)
Parameterized
Validation of UML-like models for Reactive Embedded Systems,
Sole Supervision, Graduated 2009.
Awarded Dean's Graduate Award 2008,
Moved to -> Post-doctoral Research Fellow at INRIA.
Tao Wang
(Ph.D.) Post-mortem Dynamic Analysis for Software Debugging,
Sole Supervision, Graduated 2008.
Adjudged the Best PhD Thesis from School of Computing, 2007-08.
Awarded Microsoft Research fellowship (2004-05), Presidential Graduate Fellowship, Currently Manager at Morgan Stanley.
Xianfeng Li (Ph.D.) Micro-architectural Modeling for Timing Analysis of Embedded Software, Main supervisor [Co-supervisor Tulika Mitra], Graduated 2006,
Awarded Dean's Graduate Award, Moved to -> Peking University, currently Associate Professor.
Bach Khoa Huynh (M.Sc.), Timing analysis of Data intensive programs, Graduated 2010.
Shanshan Liu (M.Sc.), Model Checking Parameterized Process Classes, Graduated 2009, Moved to DBS Singapore as Analyst.
Liang Guo (M.Sc.) Debugging Statechart models via Model-code Traceability, Graduated 2008, Moved to CreditSuisse, Singapore.
Thuan Quang Huynh Memory Model Sensitive Bytecode Verification for C#, Sole Supervision, Moved to University of Maryland College Park for PhD studies, was an RA in one of my funded projects for one year.
Tuan-Anh Tran (M.Sc.) Automated Generation of Protocol Converters from Scenario-based Specifications, Co-supervisor [Main supervisor P.S. Thiagarajan], Graduated 2005, Moved to a start-up comany.
Qinghua Shen (M.Sc.) Multithreaded Java from Multiprocessor Perspective, Graduated 2004, Main supervisor [Co-supervisor Tulika Mitra], Moved to Creative Technologies Ltd., Singapore.
Hemendra Singh Negi (M.Sc.) Two Concrete Problems in Worst-case Execution Time Analysis, Graduated 2004, Co-supervisor [Main supervisor Tulika Mitra], Moved to Mentor Graphics (India).
Lei Xie (M.Sc.) Performance Impact of Multithreaded Java Semantics on Multiprocessor Memory Models, Graduated July 2003, Moved to ??