Research Publications

Dissertation                                                                                                                                                                

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

presentation

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, To Appear

[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),  To Appear
(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

[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 (4 out of 158 submissions)

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