Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:SUDIPTA CHATTOPADHYAY
Found 7 entries
  1. 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
  2. Systematic detection of memory related performance bottlenecks in GPGPU programs
    Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    Journal of Systems Architecture
  3. On Testing Embedded Software
    Abhijeet Banerjee, Sudipta Chattopadhyay and Abhik Roychoudhury
    Elsevier Advances in Computers (ADCOM)
  4. MESS: Memory Performance Debugging on Embedded Multi-core Systems
    Sudipta Chattopadhyay
    22nd International SPIN Symposium on Model Checking of Software (SPIN 2015), August 24-27, Stellenbosch, South Africa
  5. 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.
  6. 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.
  7. 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.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)