Publications

Download BibTeX.

2019
PDF Cache-aware Kernel Tiling: An Approach for System-level Performance Optimization of GPU-based Applications.
Arian Maghazeh, Sudipta Chattopadhyay, Petru Eles, and Zebo Peng.
Proceedings of the 2019 Design, Automation & Test in Europe Conference & Exhibition, (DATE) 2019, Florence, Italy, March 25-29, 2019.
PDF Quantifying the Information Leakage in Cache Attacks via Symbolic Execution.
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, and Andreas Zeller.
ACM Transactions on Embedded Computing Systems (TECS).
2018
PDF oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis.
Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, and Abhik Roychoudhury.
CoRR abs/1807.05843.
PDF Symbolic Verification of Cache Side-channel Freedom.
Sudipta Chattopadhyay and Abhik Roychoudhury.
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems (TCAD). Also to appear in the International Conference on Embedded Software (EMSOFT), 2018.
PDF Automated directed fairness testing.
Sakshi Udeshi, Pryanshu Arora, and Sudipta Chattopadhyay.
Proceedings of the 33rd (ACM/IEEE) International Conference on Automated Software Engineering, (ASE) 2018, Montpellier, France, September 3-7, 2018.
PDF LAWN: boosting the performance of NVMM file system through reducing write amplification.
Chundong Wang and Sudipta Chattopadhyay.
Proceedings of the 55th Annual Design Automation Conference, {DAC} 2018, San Francisco, CA, USA, June 24-29, 2018.
PDF Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems.
Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martin Ochoa, and Huaqun Guo.
Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings.
PDF Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA.
Adrian Horga, Sudipta Chattopadhyay, Petru Eles, and Zebo Peng.
Proceedings of the Euromicro Conference on Digital Systems Design (DSD).
PDF Work-in-Progress: Road Context-aware Intrusion Detection System for Autonomous Cars.
Tanya Srivastava, Pryanshu Arora, Chundong Wang, and Sudipta Chattopadhyay.
Proceedings of the International Conference on Embedded Software (EMSOFT).
PDF Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications.
Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, and Franco Fummi.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
2017
PDF How developers debug software the DbgBench dataset: poster.
Marcel Boehme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, and Andreas Zeller.
Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume.
PDF Testing Cache Side-Channel Leakage.
Tiyash Basu and Sudipta Chattopadhyay.
2017 {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March 13-17, 2017.
PDF Quantifying the information leak in cache attacks via symbolic execution.
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, and Andreas Zeller.
Proceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017.
PDF Where is the bug and how is it fixed? an experiment with practitioners.
Marcel Boehme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, and Andreas Zeller.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017.
PDF Directed Automated Memory Performance Testing.
Sudipta Chattopadhyay.
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}.
2016
PDF On Testing Embedded Software.
Abhijeet Banerjee, Sudipta Chattopadhyay, and Abhik Roychoudhury.
Advances in Computers.
PDF Systematic detection of memory related performance bottlenecks in GPGPU programs.
Adrian Horga, Sudipta Chattopadhyay, Petru Eles, and Zebo Peng.
Journal of Systems Architecture - Embedded Systems Design.
PDF SPARTA: 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, Macao, Macao, January 25-28, 2016.
PDF Quantifying the Information Leak in Cache Attacks through Symbolic Execution.
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, and Andreas Zeller.
CoRR.
2015
PDF MESS: Memory Performance Debugging on Embedded Multi-core Systems.
Sudipta Chattopadhyay.
Model Checking Software - 22nd International Symposium, {SPIN} 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings.
2014
PDF Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization.
Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, and Zebo Peng.
Foundations and Trends in Electronic Design Automation 8(3-4).
PDF Static analysis of multi-core TDMA resource arbitration delays.
Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, and Abhik Roychoudhury.
Real-Time Systems 50(2).
PDF A Unified WCET analysis framework for multicore platforms.
Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, and Heiko Falk.
{ACM} Trans. Embedded Comput. Syst. 13(4s).
PDF Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches.
Sudipta Chattopadhyay and Abhik Roychoudhury.
{ACM} Trans. Embedded Comput. Syst. 13(5s).
PDF Automated software testing of memory performance in embedded GPUs.
Sudipta Chattopadhyay, Petru Eles, and Zebo Peng.
2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014.
PDF Detecting energy bugs and hotspots in mobile apps.
Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, and Abhik Roychoudhury.
Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014.
2013
PDF Scalable and precise refinement of cache timing analysis via path-sensitive verification.
Sudipta Chattopadhyay and Abhik Roychoudhury.
Real-Time Systems 49(4).
PDF Program performance spectrum.
Sudipta Chattopadhyay, Lee Kee Chong, and Abhik Roychoudhury.
{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for Embedded Systems 2013, {LCTES} '13, Seattle, WA, USA, June 20-21, 2013.
PDF 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, Philadelphia, PA, USA, April 9-11, 2013.
PDF Integrated Timing Analysis of Application and Operating Systems Code.
Lee Kee Chong, Cl{\'{e}}ment Ballabriga, Van{-}Thuan Pham, Sudipta Chattopadhyay, and Abhik Roychoudhury.
Proceedings of the {IEEE} 34th Real-Time Systems Symposium, {RTSS} 2013, Vancouver, BC, Canada, December 3-6, 2013.
PDF Static Analysis Driven Cache Performance Testing.
Abhijeet Banerjee, Sudipta Chattopadhyay, and Abhik Roychoudhury.
Proceedings of the {IEEE} 34th Real-Time Systems Symposium, {RTSS} 2013, Vancouver, BC, Canada, December 3-6, 2013.
2012
PDF A Unified WCET Analysis Framework for Multi-core Platforms.
Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, and Heiko Falk.
2012 {IEEE} 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012.
2011
PDF 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, Porto, Portugal, 5-8 July, 2011.
PDF Static bus schedule aware scratchpad allocation in multiprocessors.
Sudipta Chattopadhyay and Abhik Roychoudhury.
Proceedings of the {ACM} {SIGPLAN/SIGBED} 2011 conference on Languages, compilers, and tools for embedded systems, {LCTES} 2011, Chicago, IL, USA, April 11-14, 2011.
PDF Scalable and Precise Refinement of Cache Timing Analysis via Model Checking.
Sudipta Chattopadhyay and Abhik Roychoudhury.
Proceedings of the 32nd {IEEE} Real-Time Systems Symposium, {RTSS} 2011, Vienna, Austria, November 29 - December 2, 2011.
PDF Timing Analysis of a Protected Operating System Kernel.
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, and Gernot Heiser.
Proceedings of the 32nd {IEEE} Real-Time Systems Symposium, {RTSS} 2011, Vienna, Austria, November 29 - December 2, 2011.
2010
PDF Modeling shared cache and bus in multi-cores for timing analysis.
Sudipta Chattopadhyay, Abhik Roychoudhury, and Tulika Mitra.
13th International Workshop on Software and Compilers for Embedded Systems, {SCOPES} '10, St. Goar, Germany, June 29-30, 2010.
2009
PDF Unified Cache Modeling for WCET Analysis and Layout Optimizations.
Sudipta Chattopadhyay and Abhik Roychoudhury.
Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS} 2009, Washington, DC, USA, 1-4 December 2009.