Post-doctoral position available in Embedded Software (NEW!)

Postdoctoral position available in Testing and Analysis

Full CV  (never up-to-date)

Brief Bio

Abhik Roychoudhury is an Associate Professor of Computer Science at National University of Singapore, where he has been employed since 2001. Abhik received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. His research interests are in software testing and analysis with specific focus on software for real-time embedded systems. Abhik has published widely in premier conferences and journals in software engineering and embedded systems. He has authored a book on "Embedded Systems and Software Validation" published by Elsevier (Morgan Kaufmann) Systems-on-Silicon series in 2009, which has been adopted for teaching at different universities. Abhik's research has led to scalable and usable analysis tools which enhance software quality as well as programmer productivity. Meaningful examples of such endeavor include the Chronos static analysis tool for ensuring time-predictable software execution, and the JSlice dynamic analysis tool for software debugging. Such tools have a substantial user-base spread across many different countries and have usage in teaching / development apart from research. Abhik's research has been recognized by various awards including ACM SIGSOFT Distinguished Paper Award (from SIGSOFT FSE 2009) and IBM Faculty Award (2008). He has served in at least 35 program committees of various conferences in software engineering and embedded systems, including LCTES, RTSS and SIGSOFT FSE.

My Research Group

• Abhik is chairing the Design and Verification Track of RTSS 2012. See the Call for Papers.
• We have received a research grant from A*STAR Public Sector Funding for doing research on timing analysis of embedded software. See Postdoc and RA opening.NEW!
• Abhik is delivering a technical briefing on Symbolic Techniques for Software Debugging at ICSE 2012, jointly with Satish Chandra. The tutorial is on June 5, 2012.  NEW!
• Abhik is co-organizing a Workshop on the Future of Software Debugging, to brainstorm on this area, dates are Feb 28 - March 2, 2012.
• Our paper on timing analysis of embedded software gets a Best paper award nomination from RTSS 2011 - one of the 4 nominated papers. This paper provides a powerful combination of model checking and abstract interpretation for tight analysis of quantitative properties such as timing. [Dec 2011]
• My book "Embedded Systems and Software Validation"  is translated into Chinese by Tsinghua University Press. [Sept 2011]
• Our paper on timing analysis of embedded software gets a Best paper award nomination from RTAS 2011 [April 2011]
• Our work on analysis of evolving programs has received a substantial grant from Ministry of Education (Postdocs, RAs being recruited) [Feb 2011]
• Our paper on debugging of evolving programs receives ACM SIGSOFT Distinguished Paper Award  from FSE 09. [August 2009].
  • Read the paper here
• My book "Embedded Systems and Software Validation" by Elsevier is out! [June 2009].
  • Buy from Amazon
  • Access the book's webpage.
• Our work on embedded systems validation is recognized with Best paper award nomination from DAC 2009 [April 2009]
• My work on software modeling and validation receives an IBM Faculty Award [January 2009]