ACM Distinguished Speakers Program:  talks by and with technology leaders and innovators

Distinguished ACM Speaker:
Abhik Roychoudhury
Based in Singapore


Abhik Roychoudhury is a Professor of Computer Science at School of Computing, National University of Singapore. Abhik received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. Since 2001, he has been employed at the National University of Singapore. His research has focused on software testing and analysis, software security, and trust-worthy software construction.  He is currently leading the TSUNAMi center, a large five-year long targeted research effort funded by National Research Foundation in the domain of software security. His research has been funded by various agencies and companies, including the National Research Foundation (NRF), Ministry of Education (MoE), A*STAR, Defense Research and Technology Office (DRTech), DSO National Laboratories, Microsoft and IBM. He has authored a book on "Embedded Systems and Software Validation" published by Elsevier (Morgan Kaufmann) Systems-on-Silicon series in 2009, which has also been officially translated to Chinese by Tsinghua University Press. He has served in various capacities in the program committees and organizing committees of various conferences on software engineering including ICSE, ISSTA, FSE and ASE. He is currently serving as an Editorial Board member of IEEE Transactions on Software Engineering (TSE).

Digital Library Author Page

Available Lectures:

To request a single lecture/event, click on the desired lecture and complete the Request this Lecture Form.

  • Automated Program Repair:
    Software debugging is extremely time consuming, and hence techniques to aid automated program repair are of value. Moreover, even after software errors are identified, fixing the errors are non-trivial. 

  • Design of Time-critical Embedded Systems:
    Real-time embedded systems work in presence of timing constraints imposed by the external environment. For this reason, the software running on real-time embedded systems should not only function correctly, but also needs to exhibit the expect...
  • Software Debugging as a Science:
    Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with the developer painstakingly going through volumes of execution tr...
  • Performance Debugging of Embedded System:
    Modern embedded systems are often associated with stringent performance, cost and power constraints. Hence, designing such systems involve guaranteeing that these constraints are met, apart from the usual functional validation. Such systems ty...
  • Symbolic Analysis Methods for Software Debugging and Repair:
    In recent years, there have been significant advances in symbolic execution technology, driven by the increasing maturity of constraint solvers as well as by the availability of cheap compute resources. This technology has had a significant im...
  • Testing and Debugging of Software Regressions:
    Software regressions, where a previously working program fails on certain tests after changes, constitute a major source of delays and missed schedules in any large software development project. Finding the root-cause of software regres...

To request a tour with this speaker, please complete this online form.

If you are not requesting a tour, click on the desired lecture and complete the Request this Lecture form.

All requests will be sent to ACM headquarters for review.
Featured Speaker

Keith Cheverst
Lancaster University

Get Involved!
Help improve the DSP by nominating a speaker or providing feedback to ACM.