Sudipta Chattopadhyay
Titolo
Citata da
Citata da
Anno
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
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
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
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
1012011
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
682011
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
492009
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
402017
oo7: Low-overhead Defense against Spectre attacks via Program Analysis
G Wang, S Chattopadhyay, I Gotovchits, T Mitra, A Roychoudhury
IEEE Transactions on Software Engineering, 2019
32*2019
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
292011
Automated Directed Fairness Testing
S Udeshi, P Arora, S Chattopadhyay
Automated Software Engineering (ASE), 2018, 2018
282018
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
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), 1-27, 2019
21*2019
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
Chapter Three-On Testing Embedded Software
A Banerjee, S Chattopadhyay, A Roychoudhury
Advances in Computers 101, 121-153, 2016
132016
Testing Cache Side-Channel Leakage
T Basu, S Chattopadhyay
Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE …, 2017
112017
Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches
S Chattopadhyay, A Roychoudhury
ACM Transactions on Embedded Computing Systems (TECS) 13 (5s), 147, 2014
112014
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20