- Quantifying the Information Leak in Cache Attacks through Symbolic Execution
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller
15th ACM-IEEE International Conference on Formal Methods and Models for System Designn, MEMCODE 17
- Systematic detection of memory related performance bottlenecks in GPGPU programs
Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
Journal of Systems Architecture
- On Testing Embedded Software
Abhijeet Banerjee, Sudipta Chattopadhyay and Abhik Roychoudhury
Elsevier Advances in Computers (ADCOM)
- MESS: Memory Performance Debugging on Embedded Multi-core Systems
22nd International SPIN Symposium on Model Checking of Software (SPIN 2015), August 24-27, Stellenbosch, South Africa
- Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization
Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob RosÚn, Petru Eles, Zebo Peng
Foundations and Trends in Electronic Design Automation, July 2014, Volume 8, Issue 3-4, pp. 199-356.
- Detecting Energy Bugs and Hotspots in Mobile Apps
Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, Abhik Roychoudhury
22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014), Hong Kong, Nov. 16-21, 2014.
- Automated Software Testing of Memory Performance in Embedded GPUs
Sudipta Chattopadhyay, Petru Eles, Zebo Peng
International Conference on Embedded Software (EMSOFT 2014), New Delhi, India, Oct. 12-17, 2014.