Abhik Roychoudhury
Abhik Roychoudhury
Professor of Computer Science, National University of Singapore
Verified email at comp.nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
SemFix: Program Repair via Semantic Analysis
HDT Nguyen, D Qi, A Roychoudhury, S Chandra
Proceedings of the 2013 International Conference on Software Engineering …, 2013
4962013
Coverage-based Greybox Fuzzing as Markov Chain
M Böhme, VT Pham, A Roychoudhury
IEEE Transactions on Software Engineering, 2017
3522017
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
2992016
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
2522007
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering …, 2015
2272015
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
2152017
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
1932005
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
1832014
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
1642009
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
1502003
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), 1-29, 2014
1332014
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
122*2009
Using compressed bytecode traces for slicing Java programs
T Wang, A Roychoudhury
Proceedings of the 26th International Conference on Software Engineering …, 2004
1172004
relifix: Automated Repair of Software Regressions
SH Tan, A Roychoudhury
International Conference on Software Engineering (ICSE), 2015
1102015
Modeling out-of-order processors for WCET analysis
X Li, A Roychoudhury, T Mitra
Real-Time Systems 34 (3), 195-227, 2006
1092006
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
1012011
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
1002003
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
962011
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
952000
The system can't perform the operation now. Try again later.
Articles 1–20