Sudipta Chattopadhyay
TitleCited byYear
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
1502014
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
Bus-aware multicore WCET analysis through TDMA offset bounds
T Kelter, H Falk, P Marwedel, S Chattopadhyay, A Roychoudhury
2011 23rd Euromicro Conference on Real-Time Systems, 3-12, 2011
992011
Timing analysis of a protected operating system kernel
B Blackham, Y Shi, S Chattopadhyay, A Roychoudhury, G Heiser
Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, 339-348, 2011
622011
Static analysis of multi-core TDMA resource arbitration delays
T Kelter, H Falk, P Marwedel, S Chattopadhyay, A Roychoudhury
Real-Time Systems 50 (2), 185-229, 2014
502014
Unified Cache Modeling for WCET Analysis and Layout Optimizations.
S Chattopadhyay, A Roychoudhury
RTSS 9, 47-56, 2009
482009
Where is the bug and how is it fixed? an experiment with practitioners
M Böhme, EO Soremekun, S Chattopadhyay, E Ugherughe, A Zeller
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
302017
Scalable and precise refinement of cache timing analysis via model checking
S Chattopadhyay, A Roychoudhury
Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, 193-203, 2011
282011
Precise micro-architectural modeling for WCET analysis via AI+SAT
A Banerjee, S Chattopadhyay, A Roychoudhury
Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013 …, 2013
242013
Scalable and precise refinement of cache timing analysis via path-sensitive verification
S Chattopadhyay, A Roychoudhury
Real-Time Systems 49 (4), 517-562, 2013
232013
Static analysis driven cache performance testing
A Banerjee, S Chattopadhyay, A Roychoudhury
Real-Time Systems Symposium (RTSS), 2013 IEEE 34th, 319-329, 2013
162013
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis
G Wang, S Chattopadhyay, I Gotovchits, T Mitra, A Roychoudhury
arXiv preprint arXiv:1807.05843, 2018
152018
Static bus schedule aware scratchpad allocation in multiprocessors
S Chattopadhyay, A Roychoudhury
ACM SIGPLAN Notices 46 (5), 11-20, 2011
152011
Quantifying the information leakage in cache attacks via symbolic execution
S Chattopadhyay, M Beck, A Rezine, A Zeller
ACM Transactions on Embedded Computing Systems (TECS) 18 (1), 7, 2019
122019
Chapter Three-On Testing Embedded Software
A Banerjee, S Chattopadhyay, A Roychoudhury
Advances in Computers 101, 121-153, 2016
112016
Directed Automated Memory Performance Testing
S Chattopadhyay
International Conference on Tools and Algorithms for the Construction and …, 2017
92017
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization
S Chattopadhyay, A Roychoudhury, J Rosén, P Eles, Z Peng
Foundations and Trends in Electronic Design Automation 8 (3-4), 199-356, 2014
92014
Integrated timing analysis of application and operating systems code
LK Chong, C Ballabriga, VT Pham, S Chattopadhyay, A Roychoudhury
Real-Time Systems Symposium (RTSS), 2013 IEEE 34th, 128-139, 2013
92013
Automated Directed Fairness Testing
S Udeshi, P Arora, S Chattopadhyay
Automated Software Engineering (ASE), 2018, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20