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.

 

DARWIN: An Approach for Debugging Evolving Programs
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
Joint meeting of ESEC and ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), ESEC-FSE 2009.

(Journal version appeared in ACM TOSEM in 2012).

 

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.

 

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.

 

Detecting Energy Bugs and Hotspots in Mobile apps ( PDF )

Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, Abhik Roychoudhury

ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2014.

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

A Unified WCET Analysis Framework for Multi-core Platforms  
Sudipta Chattopadhyay, Chong Lee Kee, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk
18th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS) 2012.

(Journal version in ACM Transactions in Embedded Computing Systems, 13(4s), July 2014).