| SemFix: Program Repair via Semantic Analysis HDT Nguyen, D Qi, A Roychoudhury, S Chandra Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 515 | 2013 |
| Coverage-based Greybox Fuzzing as Markov Chain M Böhme, VT Pham, A Roychoudhury IEEE Transactions on Software Engineering, 2017 | 379 | 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 | 317 | 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 | 258 | 2007 |
| Directed greybox fuzzing M Böhme, VT Pham, MD Nguyen, A Roychoudhury Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 241 | 2017 |
| Directfix: Looking for simple program repairs S Mechtaev, J Yi, A Roychoudhury 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering …, 2015 | 237 | 2015 |
| 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 | 196 | 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 | 188 | 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 | 165 | 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 | 150 | 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 | 134 | 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 | 124 | 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 | 124* | 2009 |
| Using compressed bytecode traces for slicing Java programs T Wang, A Roychoudhury Proceedings of the 26th International Conference on Software Engineering …, 2004 | 120 | 2004 |
| relifix: Automated Repair of Software Regressions SH Tan, A Roychoudhury International Conference on Software Engineering (ICSE), 2015 | 115 | 2015 |
| Modeling out-of-order processors for WCET analysis X Li, A Roychoudhury, T Mitra Real-Time Systems 34 (3), 195-227, 2006 | 110 | 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 | 103 | 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 | 101 | 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 | 96 | 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 | 95 | 2000 |
Sudipta ChattopadhyayAssistant Professor, Singapore University of Technology and Design (SUTD)Verifierad e-postadress på sutd.edu.sg
