e-SAVVY: Embedded Software Analysis to Validate and VerifY
May 2012: Abhik is chairing the Design and Verification track of RTSS 2012 - premier conference in real-time embedded systems.
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.
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.