Abhik Roychoudhury
Abhik Roychoudhury
Professor of Computer Science, National University of Singapore
Email verificata su comp.nus.edu.sg - Home page
Citata da
Citata da
SemFix: Program Repair via Semantic Analysis
HDT Nguyen, D Qi, A Roychoudhury, S Chandra
Proceedings of the 2013 International Conference on Software Engineering …, 2013
Coverage-based Greybox Fuzzing as Markov Chain
M Böhme, VT Pham, A Roychoudhury
IEEE Transactions on Software Engineering, 2017
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
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
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering …, 2015
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
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
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
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
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
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
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
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
Using compressed bytecode traces for slicing Java programs
T Wang, A Roychoudhury
Proceedings of the 26th International Conference on Software Engineering …, 2004
relifix: Automated Repair of Software Regressions
SH Tan, A Roychoudhury
International Conference on Software Engineering (ICSE), 2015
Modeling out-of-order processors for WCET analysis
X Li, A Roychoudhury, T Mitra
Real-Time Systems 34 (3), 195-227, 2006
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
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
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20