Abhik ROYCHOUDHURY

Provost's Chair Professor
Lead Principal Investigator, Trustworthy Systems from Un-trusted component Amalgamations (TSUNAMi)
Director, Singapore Cybersecurity Consortium (SGCSC)
Director, National Satellite of Excellence in Trustworthy Software Systems
Ph.D. (Computer Science, Stony Brook University, 2000)
M.S. (Computer Science, Stony Brook University, 1997)
B.E. (Computer Science & Engineering, Jadavpur University, 1995)
COM2-03-07
651 68939

https://www.comp.nus.edu.sg/~abhik

Research Areas

  • Programming Languages & Software Engineering
  • Security

Research Interests

  • Program Analysis
  • Trustworthy Systems
  • Software Security

Profile

Details are available from https://www.comp.nus.edu.sg/~abhik

Current Projects

  • Trustworthy systems from un-trusted component amalgamations, funded by NRF, 2015-20.
  • National Satellite of Excellence in Trustworthy Software Systems, funded by NRF, 2019-23.
  • Singapore Cyber-security Consortium, 2016-22.
  • Automated Program Repair, https://www.comp.nus.edu.sg/~abhik/projects/Repair/
  • Fuzzing and Symbolic Execution, https://www.comp.nus.edu.sg/~abhik/projects/Fuzz/

Selected Publications

  • SemFix: Program Repair via Semantic Analysis ( pdf
    Hoang D.T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
    ACM/IEEE International Conference on Software Engineering (ICSE) 2013.

  • Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis ( pdf )
    Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
    ACM/IEEE International Conference on Software Engineering (ICSE) 2016.

  • Coverage-based Greybox Fuzzing as Markov Chain ( PDF )
    Marcel Böhme, Van Thuan Pham, Abhik Roychoudhury
    23rd ACM Conference on Computer and Communications Security (CCS) 2016.

  • Chronos: A Timing Analyzer for Embedded Software ( PDF )
    Xianfeng Li, Yun Liang, Tulika Mitra and Abhik Roychoudhury
    Science of Computer Programming, Volume 69, December 2007.

Awards & Honours

  • Distinguished Paper Award (ESEC-FSE 2009, ICSE 2020)
  • IBM Faculty Award 2009.
  • ACM Distinguished Speaker (2013 - 19).
  • Keynote speaker MobileSoft2017, IEEE ISORC 2018, ... and Distinguished Lecture at various venues (MPI, PKU, ...)

Teaching (2020/2021)

  • CS4211: Formal Methods for Software Engineering
  • CS6210: The Art of Computer Science Research