Dr  Abhik Roychoudhury Digital Library

Based in Singapore
photo
Abhik Roychoudhury

Bio:

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).

Available Lectures

To request a single lecture/event, click on the desired lecture and complete the Request 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...
  • 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...
  • 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...
  • 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...
  • 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...
  • 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...

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.