e-SAVVY:  Embedded Software Analysis to Validate and VerifY

NEWS

• Jan 2012: Abhik is going to deliver a tutorial on "Symbolic techniques for software debugging" in ICSE 2012!!

• Jan 2012: Sandeep's paper accepted by ICSE 2012, Congrats!

• Dec 2011: Multi-core timing analyzer paper accepted by RTAS 2012!

• Aug 2011: 2 papers by Sudipta accepted by RTSS 2011, one of them received best paper nomination (one of out of four nominated papers)

• May 2011: Dawei and Hoang's paper "Path Exploration using Symbolic Output" accepted in FSE 11, only 34 out of 203 submissions accepted.

• April 2011: The journal paper on "DARWIN: an approach for debugging evolving programs" accepted by TOSEM.

• Feb 2011: Our work has received a large research grant from MInistry of Education, Postdoc positions and RA positions available.

• Jan 2011:  Ju Lei joins Shandong University (China) as Associate Professor, congratulations !!

• Dec 2010: Bach Khoa and Ju Lei's paper gets accepted in RTAS 2011, congrats! The paper got a best paper award nomination later.

• Nov 2010: Sudipta's paper gets accepted in LCTES 2011, congrats!

• Nov 2010: Sandeep's paper gets accepted to ICSE 2011, only 62/441 papers accepted with 14% acceptance rate - congrats.

• Oct 2010: The paper "Symbolic Message Sequence Charts" is accepted by ACM TOSEM journal.

• June 2010: Dawei's paper "Test Generation to Expose Changes in Evolving Programs" accepted in ASE 2010, one of the 34 papers accepted as full papers out of 191 submissions.

• May 2010: Paper on "Golden Implementation Driven Software Debugging" accepted in FSE 2010, only 34 out of 170 papers accepted.

• Mar 2010: Ju Lei and Bach Khoa's paper is accepted to ACM Design Automation Conference (DAC) 2010.

• Oct 2009: Qi Dawei has received the Presidential Graduate Fellowship, congratulations!

• Aug 2009: Ju Lei has received Research Achievement Award, congratulations!

• Jul 2009: DARWIN: An approach for Debugging Evolving Programs has been honored with the ACM SIGSOFT Distinguished paper award from the ESEC-FSE 2009 conference.

• Jun 2009: Dr. Abhik Roychoudhury's book on "Embedded Systems and Software Validation" is published by Elsevier Systems-on-silicon series.

• May 2009: DARWIN paper gets accepted to ESEC-FSE 2009, only 32 out of 217 papers accepted.

• Apr 2009: Vivy has graduated with a PhD. She joins as I2R (Singapore) as Researcher. Congratulations !

• Mar 2009: Both papers from our group get accepted at the ACM Design Automation Conference (DAC) 2009, one of them has received Best paper award nomination. Congrats to the authors.

• Jan 2009: Dr. Abhik Roychoudhury receives the IBM Faculty Award.

ABOUT US

Too many functionalities in our daily life are software controlled, and reliable software development is thus of great importance. Examples of (embedded) software controlled devices abound in our daily lives. These include regular household devices such as washing machine controllers as well as safety critical devices such as controllers for patient healthcare monitoring.

In the e-SAVVY research group, our focus is on building software productivity tools which enhance software quality as well as programmer productivity. Our research typically targets standard programming languages and focuses on building scalable usable program analysis methods and tools. Two meaningful examples of such endeavor are the JSlice dynamic analysis tool for Java program debugging, and the Chronos static analysis tool for ensuring time-predictable execution of embedded software. Such tools have a substantial user-base spread across many different countries and have usage in teaching/development apart from research.

Our research takes a holistic view of reliable software development - focusing on functional as well as extra-functional issues, and considering the interplay between software modeling, static analysis, dynamic analysis and verification. The distinguishing aspect of our research lie in our desire to improve the state-of-the-practice in software engineering (rather than the so called state-of-the-art), as evidenced by the results from several of our projects on software debugging and verification. Customizing our analyses for emerging domains such as distributed software for cloud computing remains a driving force in our research.