PhD Thesis:

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

Journals and Monographs (Peer-reviewed):

• [JSA] Systematic Detection of Memory Related Performance Bottlenecks in GPGPU Programs
  Adrian Horga, Sudipta Chattopadhyay, Petru Eles and Zebo Peng
  

  Elsevier Journal of System Architecture (JSA), 2016
  [Project Homepage]

• [ADCOM] On Testing Embedded Software
  Abhijeet Banerjee, Sudipta Chattopadhyay and Abhik Roychoudhury
  

  Elsevier Advances in Computers (ADCOM), 2016
  

• [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), 2014
  (This is a monograph discussing advances in the area)

• [TECS] Cache Related Preemption Delay Analysis for Multi-level Non-inclusive Caches
  Sudipta Chattopadhyay and Abhik Roychoudhury
  

  ACM Transactions on Embedded Computing Systems (TECS), 2014
  (Journal-first Publication)

• [RTSJ] Static Analysis of Multi-core TDMA Resource Arbitration Delays
  Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay and Abhik Roychoudhury
  

  Springer Real-time Systems Journal (RTSJ), 2014
  (A much expanded version of our ECRTS 2011 paper)
  

• [TECS] A Unified WCET Analysis Framework for Multi-core Platforms
  Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk
  

  ACM Transactions on Embedded Computing Systems (TECS), 2014
  (A much expanded version of our RTAS 2012 paper)
  (Special issue for the selected papers on real-time and embedded technology and applications)

• [RTSJ] Scalable and Precise Refinement of Cache Timing Analysis via Path-sensitive Verification
  Sudipta Chattopadhyay and Abhik Roychoudhury
  

  Springer Real-time Systems Journal (RTSJ), 2013
  (A much expanded version of our RTSS 2011 paper)
  (Special issue for the selected papers in RTSS 2011)

Conference and Workshop Publications (Peer-reviewed):

• [TACAS] Directed Automated Memory Performance Testing
  Sudipta Chattopadhyay
  

  23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017
  [Full Version] [Project Homepage]

• [ICSTW] Testing Cache Side-channel Leakage
  Tiyash Basu and Sudipta Chattopadhyay
  

  10th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017 (Co-located with ICST 2017)
  Best Paper Award
  [Project Homepage]

• [ASP-DAC] A scheduling policy for thwarting differential power analysis attacks
  Ke Jiang, Petru Eles, Zebo Peng, Sudipta Chattopadhyay and Lejla Batina
  

  21st Asia and South Pacific Design Automation Conference (ASP-DAC), 2016
  

• [SPIN] MESS: Memory Performance Debugging on Embedded Multi-core Systems
  Sudipta Chattopadhyay
  

  22nd International SPIN Symposium on Model Checking of Software (SPIN), 2015
  [Full Version] [Project Homepage]

• [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
  

• [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
  (Patent granted: PCT/SG2015/050418)

• [RTSS] Static Analysis Driven Cache Performance Testing
  Abhijeet Banerjee, Sudipta Chattopadhyay and Abhik Roychoudhury
  

  34th IEEE Real-time Systems 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 Systems 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
  

• [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 Homepage]

• [RTSS] Scalable and Precise Refinement of Cache Timing Analysis via Model Checking
  Sudipta Chattopadhyay and Abhik Roychoudhury
  

  32nd IEEE Real-time Systems Symposium (RTSS), 2011
  (Nominated for the best paper award)

• [RTSS] Timing Analysis of a Protected Operating System Kernel
  Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser
  

  32nd IEEE Real-time Systems 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
  

• [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
  

• [RTSS] Unified Cache Modeling for WCET Analysis and Layout Optimizations
  Sudipta Chattopadhyay and Abhik Roychoudhury
  

  30th IEEE Real-time System Symposium (RTSS), 2009