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
1652014
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
1212010
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
952011
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
642011
Unified Cache Modeling for WCET Analysis and Layout Optimizations.
S Chattopadhyay, A Roychoudhury
RTSS 9, 47-56, 2009
482009
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
462014
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
332017
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
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
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
232013
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
172018
Static analysis driven cache performance testing
A Banerjee, S Chattopadhyay, A Roychoudhury
Real-Time Systems Symposium (RTSS), 2013 IEEE 34th, 319-329, 2013
172013
Static bus schedule aware scratchpad allocation in multiprocessors
S Chattopadhyay, A Roychoudhury
ACM SIGPLAN Notices 46 (5), 11-20, 2011
142011
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
132019
Automated Directed Fairness Testing
S Udeshi, P Arora, S Chattopadhyay
Automated Software Engineering (ASE), 2018, 2018
132018
Chapter Three-On Testing Embedded Software
A Banerjee, S Chattopadhyay, A Roychoudhury
Advances in Computers 101, 121-153, 2016
122016
Testing Cache Side-Channel Leakage
T Basu, S Chattopadhyay
Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE …, 2017
102017
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
102013
Directed Automated Memory Performance Testing
S Chattopadhyay
International Conference on Tools and Algorithms for the Construction and …, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20