Abhik Roychoudhury
Abhik Roychoudhury
Professor of Computer Science, National University of Singapore
Verified email at comp.nus.edu.sg - Homepage
TitleCited byYear
SemFix: Program Repair via Semantic Analysis
HDT Nguyen, D Qi, A Roychoudhury, S Chandra
Proceedings of the 2013 International Conference on Software Engineering …, 2013
3962013
Chronos: A timing analyzer for embedded software
X Li, Y Liang, T Mitra, A Roychoudhury
Science of Computer Programming 69 (1-3), 56-67, 2007
2372007
Angelix: Scalable multiline program patch synthesis via symbolic analysis
S Mechtaev, J Yi, A Roychoudhury
Proceedings of the 38th international conference on software engineering …, 2016
2262016
Coverage-based Greybox Fuzzing as Markov Chain
M Böhme, VT Pham, A Roychoudhury
ACM Conference on Computer and Communications Security (CCS), 2016
2252016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering …, 2015
1862015
WCET centric data allocation to scratchpad memory
V Suhendra, T Mitra, A Roychoudhury, T Chen
26th IEEE International Real-Time Systems Symposium (RTSS'05), 10 pp.-232, 2005
1862005
Timing analysis of concurrent programs running on shared cache multi-cores
Y Li, V Suhendra, Y Liang, T Mitra, A Roychoudhury
Real-Time Systems Symposium, 2009, RTSS 2009. 30th IEEE, 57-67, 2009
1592009
Detecting energy bugs and hotspots in mobile apps
A Banerjee, LK Chong, S Chattopadhyay, A Roychoudhury
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
1512014
Accurate estimation of cache-related preemption delay
HS Negi, T Mitra, A Roychoudhury
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware …, 2003
1412003
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
1282017
A unified WCET analysis framework for multicore platforms
S Chattopadhyay, LK Chong, A Roychoudhury, T Kelter, P Marwedel, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 124, 2014
1262014
Modeling shared cache and bus in multi-cores for timing analysis
S Chattopadhyay, A Roychoudhury, T Mitra
Proceedings of the 13th international workshop on software & compilers for …, 2010
1242010
Darwin: an approach for debugging evolving programs
KV Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
Proceedings of the the 7th joint meeting of the European software …, 2009
113*2009
Using compressed bytecode traces for slicing Java programs
T Wang, A Roychoudhury
Proceedings of the 26th International Conference on Software Engineering …, 2004
1082004
Modeling out-of-order processors for WCET analysis
X Li, A Roychoudhury, T Mitra
Real-Time Systems 34 (3), 195-227, 2006
1052006
Bus-aware multicore WCET analysis through TDMA offset bounds
T Kelter, H Falk, P Marwedel, S Chattopadhyay, A Roychoudhury
Real-Time Systems (ECRTS), 2011 23rd Euromicro Conference on, 3-12, 2011
992011
Using formal techniques to debug the AMBA system-on-chip bus protocol
A Roychoudhury, T Mitra, SR Karri
2003 Design, Automation and Test in Europe Conference and Exhibition, 828-833, 2003
952003
relifix: Automated Repair of Software Regressions
SH Tan, A Roychoudhury
International Conference on Software Engineering (ICSE), 2015
922015
XMC: A logic-programming-based verification toolset
CR Ramakrishnan, IV Ramakrishnan, SA Smolka, Y Dong, X Du, ...
International Conference on Computer Aided Verification, 576-580, 2000
902000
Scope-aware data cache analysis for WCET estimation
BK Huynh, L Ju, A Roychoudhury
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011
882011
The system can't perform the operation now. Try again later.
Articles 1–20