Research Publications

Dissertation                                                                                                                                                                

Time-predictable Execution of Embedded Software on Multi-core Platforms

presentation

[Profile in DBLP]        [Profile in Google Scholar]


Peer-reviewed Monographs

[FnTEDA] Time-predictable Embedded Software on Multi-core Platforms: Analysis and Optimization
Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles and Zebo Peng
Foundation and Trends in Electronic Design Automation (FnTEDA),
8(3-4):199-356, 2014, ISBN: 978-1-60198-794-5
(This is a monograph discussing advances in the area)

Peer-reviewed Journals


[TECS-journal] Cache Related Preemption Delay Analysis for Multi-level Non-inclusive Caches
Sudipta Chattopadhyay and Abhik Roychoudhury
ACM Transactions on Embedded Computing Systems (TECS)To Appear


[RTS-Journal] Static Analysis of Multi-core TDMA Resource Arbitration Delays
Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay and Abhik Roychoudhury
A much expanded version of our ECRTS 2011 paper
Springer Real-time Systems Journal, 50(2), 2014

[TECS-journal] A Unified WCET Analysis Framework for Multi-core Platforms
Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk
A much expanded version of our RTAS 2012 paper
ACM Transactions on Embedded Computing Systems
(TECS), 13(4s), 2014
(Special issue for the selected papers on real-time and embedded technology and applications)


[RTS-Journal] Scalable and Precise Refinement of Cache Timing Analysis via Path-sensitive Verification
Sudipta Chattopadhyay
and Abhik Roychoudhury
A much expanded version of our RTSS 2011 paper
Springer Real-time Systems Journal, 49(4), 2013
(Special issue for the selected papers in RTSS 2011)



Peer-reviewed Conferences and Workshops

[EMSOFT] Automated Software Testing of Memory Performance in Embedded GPUs
Sudipta Chattopadhyay, Petru Eles and Zebo Peng
14th International Conference on Embedded Software (EMSOFT), 2014

presentation

[FSE] Detecting Energy Bugs and Hotspots in Mobile Apps
Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay and Abhik Roychoudhury
22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2014

(A patent has been filed for the invention)

[RTSS] Static Analysis Driven Cache Performance Testing
Abhijeet Banerjee, Sudipta Chattopadhyay and Abhik Roychoudhury
34th IEEE Real-time System Symposium (RTSS), 2013

(Nominated for the best paper award)

[RTSS] Integrated Timing Analysis of Application and Operating Systems Code
Lee Kee Chong, Clement Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay and Abhik Roychoudhury
34th IEEE Real-time System Symposium (RTSS), 2013


[LCTES] Program Performance Spectrum
Sudipta Chattopadhyay, Lee Kee Chong and Abhik Roychoudhury
14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 2013
presentation

[RTAS] Precise Micro-architectural Modeling for WCET Analysis via AI+SAT
Abhijeet Banerjee, Sudipta Chattopadhyay and Abhik Roychoudhury
19th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS), 2013

[RTAS] A Unified WCET Analysis Framework for Multi-core Platforms
Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk
18th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS), 2012
project website
presentation

[RTSS] Scalable and Precise Refinement of Cache Timing Analysis via Model Checking
Sudipta Chattopadhyay and Abhik Roychoudhury
32nd IEEE Real-time System Symposium (RTSS), 2011
(Nominated for the best paper award)
presentation

[RTSS] Timing Analysis of a Protected Operating System Kernel
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser
32nd IEEE Real-time System Symposium (RTSS), 2011

[ECRTS] Bus-aware Multicore WCET Analysis through TDMA Offset Bounds
Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay and Abhik Roychoudhury
23rd Euromicro Conference on Real-time Systems (ECRTS), 2011

[LCTES] Static Bus Schedule aware Scratchpad Allocation in Multiprocessors
Sudipta Chattopadhyay and Abhik Roychoudhury
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 2011
presentation

[SCOPES] Modeling Shared Cache and Bus in Multi-core Platforms for Timing Analysis
Sudipta Chattopadhyay, Abhik Roychoudhury and Tulika Mitra
13th International Workshop on Software and Compilers for Embedded Systems (SCOPES), 2010
presentation

[RTSS] Unified Cache Modeling for WCET Analysis and Layout Optimizations
Sudipta Chattopadhyay and Abhik Roychoudhury
30th IEEE Real-time System Symposium (RTSS), 2009