\

@article{DBLP:journals/corr/abs-1807-05843,
  author    = {Guanhua Wang and
               Sudipta Chattopadhyay and
               Ivan Gotovchits and
               Tulika Mitra and
               Abhik Roychoudhury},
  title     = {oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis},
  journal   = {CoRR abs/1807.05843},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.05843}
}


@article{tecs19,
  author    = {Sudipta Chattopadhyay and Moritz Beck and Ahmed Rezine and Andreas Zeller},
  title     = {Quantifying the Information Leakage in Cache Attacks via Symbolic Execution},
  journal   = {ACM Transactions on Embedded Computing Systems (TECS)},
  year      = {2018},
  url       = {https://sudiptac.bitbucket.io/papers/chalice-tecs.pdf}
}


@article{tcad18,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Symbolic Verification of Cache Side-channel Freedom},
  journal   = {IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems (TCAD)},
  year      = {2018},
  note      = {Also to appear in the International Conference on Embedded Software (EMSOFT), 2018},
  url       = {https://arxiv.org/abs/1807.04701} 
}



@inproceedings{ase2018,
  author    = {Sakshi Udeshi and
               Pryanshu Arora and
               Sudipta Chattopadhyay},
  title     = {Automated directed fairness testing},
  booktitle = {Proceedings of the 33rd (ACM/IEEE) International Conference on Automated
               Software Engineering, (ASE) 2018, Montpellier, France, September 3-7,
               2018},
  pages     = {98--108},
  year      = {2018},
  crossref  = {DBLP:conf/kbse/2018},
  url       = {http://doi.acm.org/10.1145/3238147.3238165},
}


@inproceedings{DBLP:conf/dac/WangC18,
  author    = {Chundong Wang and
               Sudipta Chattopadhyay},
  title     = {{LAWN:} boosting the performance of {NVMM} file system through reducing
               write amplification},
  booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
               2018, San Francisco, CA, USA, June 24-29, 2018},
  pages     = {6:1--6:6},
  year      = {2018},
  crossref  = {DBLP:conf/dac/2018},
  url       = {http://doi.acm.org/10.1145/3195970.3196066},
  doi       = {10.1145/3195970.3196066},
  timestamp = {Thu, 05 Jul 2018 14:38:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/WangC18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


@inproceedings{DBLP:conf/essos/ChekoleCOG18,
  author    = {Eyasu Getahun Chekole and
               Sudipta Chattopadhyay and
               Martin Ochoa and
               Huaqun Guo},
  title     = {Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems},
  booktitle = {Engineering Secure Software and Systems - 10th International Symposium,
               ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings},
  pages     = {9--26},
  year      = {2018},
  crossref  = {DBLP:conf/essos/2018},
  url       = {https://doi.org/10.1007/978-3-319-94496-8_2},
  doi       = {10.1007/978-3-319-94496-8\_2},
  timestamp = {Thu, 05 Jul 2018 14:38:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/essos/ChekoleCOG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{dsd18,
  author    = {Adrian Horga and Sudipta Chattopadhyay and Petru Eles and Zebo Peng},
  title     = {Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA},
  booktitle   = {Proceedings of the Euromicro Conference on Digital Systems Design (DSD)},
  year      = {2018},
  url       = {https://sudiptac.bitbucket.io/papers/wcet_measurement_based.pdf}
}


@inproceedings{emsoft18-wip,
  author    = {Tanya Srivastava and Pryanshu Arora and Chundong Wang and Sudipta Chattopadhyay},
  title     = {Work-in-Progress: Road Context-aware Intrusion Detection System for Autonomous Cars},
  booktitle   = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  year      = {2018},
  url       = {https://sudiptac.bitbucket.io/papers/raids.pdf}
}



@inproceedings{codes18-wip,
  author    = {Stefano Spellini and Michele Lora and Sudipta Chattopadhyay and Franco Fummi},
  title     = {Work-in-Progress: Introducing Assume-Guarantee Contracts
for Verifying Robotic Applications},
  booktitle   = {Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)},
  year      = {2018},
  url       = {https://sudiptac.bitbucket.io/papers/robotics-verification.pdf}
}



@inproceedings{DBLP:conf/icse/BohmeS0UZ17,
  author    = {Marcel Boehme and
               Ezekiel O. Soremekun and
               Sudipta Chattopadhyay and
               Emamurho Ugherughe and
               Andreas Zeller},
  title     = {How developers debug software the DbgBench dataset: poster},
  booktitle = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
               Volume},
  pages     = {244--246},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017c},
  url       = {https://doi.org/10.1109/ICSE-C.2017.94},
  doi       = {10.1109/ICSE-C.2017.94},
  timestamp = {Fri, 07 Jul 2017 14:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BohmeS0UZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BasuC17,
  author    = {Tiyash Basu and
               Sudipta Chattopadhyay},
  title     = {Testing Cache Side-Channel Leakage},
  booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
               13-17, 2017},
  pages     = {51--60},
  year      = {2017},
  crossref  = {DBLP:conf/icst/2017w},
  url       = {https://doi.org/10.1109/ICSTW.2017.16},
  doi       = {10.1109/ICSTW.2017.16},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/BasuC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/ChattopadhyayBR17,
  author    = {Sudipta Chattopadhyay and
               Moritz Beck and
               Ahmed Rezine and
               Andreas Zeller},
  title     = {Quantifying the information leak in cache attacks via symbolic execution},
  booktitle = {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},
  pages     = {25--35},
  year      = {2017},
  crossref  = {DBLP:conf/memocode/2017},
  url       = {http://doi.acm.org/10.1145/3127041.3127044},
  doi       = {10.1145/3127041.3127044},
  timestamp = {Sun, 15 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/ChattopadhyayBR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/BohmeS0UZ17,
  author    = {Marcel Boehme and
               Ezekiel O. Soremekun and
               Sudipta Chattopadhyay and
               Emamurho Ugherughe and
               Andreas Zeller},
  title     = {Where is the bug and how is it fixed? an experiment with practitioners},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {117--128},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {http://doi.acm.org/10.1145/3106237.3106255},
  doi       = {10.1145/3106237.3106255},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/BohmeS0UZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Chattopadhyay17,
  author    = {Sudipta Chattopadhyay},
  title     = {Directed Automated Memory Performance Testing},
  booktitle = {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}},
  pages     = {38--55},
  year      = {2017},
  crossref  = {DBLP:conf/tacas/2017-2},
  url       = {https://doi.org/10.1007/978-3-662-54580-5_3},
  doi       = {10.1007/978-3-662-54580-5_3},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/Chattopadhyay17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ac/Banerjee0R16,
  author    = {Abhijeet Banerjee and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {On Testing Embedded Software},
  journal   = {Advances in Computers},
  volume    = {101},
  pages     = {121--153},
  year      = {2016},
  url       = {https://doi.org/10.1016/bs.adcom.2015.11.005},
  doi       = {10.1016/bs.adcom.2015.11.005},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ac/Banerjee0R16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsa/HorgaCEP16,
  author    = {Adrian Horga and
               Sudipta Chattopadhyay and
               Petru Eles and
               Zebo Peng},
  title     = {Systematic detection of memory related performance bottlenecks in
               {GPGPU} programs},
  journal   = {Journal of Systems Architecture - Embedded Systems Design},
  volume    = {71},
  pages     = {73--87},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.sysarc.2016.08.002},
  doi       = {10.1016/j.sysarc.2016.08.002},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsa/HorgaCEP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/JiangEP0B16,
  author    = {Ke Jiang and
               Petru Eles and
               Zebo Peng and
               Sudipta Chattopadhyay and
               Lejla Batina},
  title     = {{SPARTA:} {A} scheduling policy for thwarting differential power analysis
               attacks},
  booktitle = {21st Asia and South Pacific Design Automation Conference, {ASP-DAC}
               2016, Macao, Macao, January 25-28, 2016},
  pages     = {667--672},
  year      = {2016},
  crossref  = {DBLP:conf/aspdac/2016},
  url       = {https://doi.org/10.1109/ASPDAC.2016.7428088},
  doi       = {10.1109/ASPDAC.2016.7428088},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/JiangEP0B16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ChattopadhyayBR16,
  author    = {Sudipta Chattopadhyay and
               Moritz Beck and
               Ahmed Rezine and
               Andreas Zeller},
  title     = {Quantifying the Information Leak in Cache Attacks through Symbolic
               Execution},
  journal   = {CoRR},
  volume    = {abs/1611.04426},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.04426},
  archivePrefix = {arXiv},
  eprint    = {1611.04426},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChattopadhyayBR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/000115,
  author    = {Sudipta Chattopadhyay},
  title     = {{MESS:} Memory Performance Debugging on Embedded Multi-core Systems},
  booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
               Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  pages     = {105--125},
  year      = {2015},
  crossref  = {DBLP:conf/spin/2015},
  url       = {https://doi.org/10.1007/978-3-319-23404-5_8},
  doi       = {10.1007/978-3-319-23404-5_8},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/000115},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fteda/ChattopadhyayRREP14,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury and
               Jakob Rosen and
               Petru Eles and
               Zebo Peng},
  title     = {Time-Predictable Embedded Software on Multi-Core Platforms: Analysis
               and Optimization},
  journal   = {Foundations and Trends in Electronic Design Automation},
  volume    = {8},
  number    = {3-4},
  pages     = {199--356},
  year      = {2014},
  url       = {https://doi.org/10.1561/1000000037},
  doi       = {10.1561/1000000037},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fteda/ChattopadhyayRREP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/KelterFMCR14,
  author    = {Timon Kelter and
               Heiko Falk and
               Peter Marwedel and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Static analysis of multi-core {TDMA} resource arbitration delays},
  journal   = {Real-Time Systems},
  volume    = {50},
  number    = {2},
  pages     = {185--229},
  year      = {2014},
  url       = {https://doi.org/10.1007/s11241-013-9189-x},
  doi       = {10.1007/s11241-013-9189-x},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rts/KelterFMCR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/0001CRKMF14,
  author    = {Sudipta Chattopadhyay and
               Lee Kee Chong and
               Abhik Roychoudhury and
               Timon Kelter and
               Peter Marwedel and
               Heiko Falk},
  title     = {A Unified {WCET} analysis framework for multicore platforms},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {13},
  number    = {4s},
  pages     = {124:1--124:29},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2584654},
  doi       = {10.1145/2584654},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/0001CRKMF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/0001R14,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Cache-Related Preemption Delay Analysis for Multilevel Noninclusive
               Caches},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {13},
  number    = {5s},
  pages     = {147:1--147:29},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2632156},
  doi       = {10.1145/2632156},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/0001R14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/0001EP14,
  author    = {Sudipta Chattopadhyay and
               Petru Eles and
               Zebo Peng},
  title     = {Automated software testing of memory performance in embedded GPUs},
  booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014,
               New Delhi, India, October 12-17, 2014},
  pages     = {17:1--17:10},
  year      = {2014},
  crossref  = {DBLP:conf/emsoft/2014},
  url       = {http://doi.acm.org/10.1145/2656045.2656047},
  doi       = {10.1145/2656045.2656047},
  timestamp = {Thu, 23 Apr 2015 17:57:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/0001EP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/BanerjeeC0R14,
  author    = {Abhijeet Banerjee and
               Lee Kee Chong and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Detecting energy bugs and hotspots in mobile apps},
  booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
               16 - 22, 2014},
  pages     = {588--598},
  year      = {2014},
  crossref  = {DBLP:conf/sigsoft/2014},
  url       = {http://doi.acm.org/10.1145/2635868.2635871},
  doi       = {10.1145/2635868.2635871},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/BanerjeeC0R14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/ChattopadhyayR13,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Scalable and precise refinement of cache timing analysis via path-sensitive
               verification},
  journal   = {Real-Time Systems},
  volume    = {49},
  number    = {4},
  pages     = {517--562},
  year      = {2013},
  url       = {https://doi.org/10.1007/s11241-013-9178-0},
  doi       = {10.1007/s11241-013-9178-0},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rts/ChattopadhyayR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lctrts/ChattopadhyayCR13,
  author    = {Sudipta Chattopadhyay and
               Lee Kee Chong and
               Abhik Roychoudhury},
  title     = {Program performance spectrum},
  booktitle = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
               Embedded Systems 2013, {LCTES} '13, Seattle, WA, USA, June 20-21,
               2013},
  pages     = {65--76},
  year      = {2013},
  crossref  = {DBLP:conf/lctrts/2013},
  url       = {http://doi.acm.org/10.1145/2465554.2465566},
  doi       = {10.1145/2465554.2465566},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lctrts/ChattopadhyayCR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtas/BanerjeeCR13,
  author    = {Abhijeet Banerjee and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Precise micro-architectural modeling for {WCET} analysis via {AI+SAT}},
  booktitle = {19th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
               {RTAS} 2013, Philadelphia, PA, USA, April 9-11, 2013},
  pages     = {87--96},
  year      = {2013},
  crossref  = {DBLP:conf/rtas/2013},
  url       = {https://doi.org/10.1109/RTAS.2013.6531082},
  doi       = {10.1109/RTAS.2013.6531082},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtas/BanerjeeCR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/ChongBPCR13,
  author    = {Lee Kee Chong and
               Cl{\'{e}}ment Ballabriga and
               Van{-}Thuan Pham and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Integrated Timing Analysis of Application and Operating Systems Code},
  booktitle = {Proceedings of the {IEEE} 34th Real-Time Systems Symposium, {RTSS}
               2013, Vancouver, BC, Canada, December 3-6, 2013},
  pages     = {128--139},
  year      = {2013},
  crossref  = {DBLP:conf/rtss/2013},
  url       = {https://doi.org/10.1109/RTSS.2013.21},
  doi       = {10.1109/RTSS.2013.21},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/ChongBPCR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/BanerjeeCR13,
  author    = {Abhijeet Banerjee and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Static Analysis Driven Cache Performance Testing},
  booktitle = {Proceedings of the {IEEE} 34th Real-Time Systems Symposium, {RTSS}
               2013, Vancouver, BC, Canada, December 3-6, 2013},
  pages     = {319--329},
  year      = {2013},
  crossref  = {DBLP:conf/rtss/2013},
  url       = {https://doi.org/10.1109/RTSS.2013.39},
  doi       = {10.1109/RTSS.2013.39},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/BanerjeeCR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtas/ChattopadhyayKRKMF12,
  author    = {Sudipta Chattopadhyay and
               Lee Kee Chong and
               Abhik Roychoudhury and
               Timon Kelter and
               Peter Marwedel and
               Heiko Falk},
  title     = {A Unified {WCET} Analysis Framework for Multi-core Platforms},
  booktitle = {2012 {IEEE} 18th Real Time and Embedded Technology and Applications
               Symposium, Beijing, China, April 16-19, 2012},
  pages     = {99--108},
  year      = {2012},
  crossref  = {DBLP:conf/rtas/2012},
  url       = {https://doi.org/10.1109/RTAS.2012.26},
  doi       = {10.1109/RTAS.2012.26},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtas/ChattopadhyayKRKMF12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecrts/KelterFMCR11,
  author    = {Timon Kelter and
               Heiko Falk and
               Peter Marwedel and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Bus-Aware Multicore {WCET} Analysis through {TDMA} Offset Bounds},
  booktitle = {23rd Euromicro Conference on Real-Time Systems, {ECRTS} 2011, Porto,
               Portugal, 5-8 July, 2011},
  pages     = {3--12},
  year      = {2011},
  crossref  = {DBLP:conf/ecrts/2011},
  url       = {https://doi.org/10.1109/ECRTS.2011.9},
  doi       = {10.1109/ECRTS.2011.9},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecrts/KelterFMCR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lctrts/ChattopadhyayR11,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Static bus schedule aware scratchpad allocation in multiprocessors},
  booktitle = {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},
  pages     = {11--20},
  year      = {2011},
  crossref  = {DBLP:conf/lctrts/2011},
  url       = {http://doi.acm.org/10.1145/1967677.1967680},
  doi       = {10.1145/1967677.1967680},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lctrts/ChattopadhyayR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/ChattopadhyayR11,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Scalable and Precise Refinement of Cache Timing Analysis via Model
               Checking},
  booktitle = {Proceedings of the 32nd {IEEE} Real-Time Systems Symposium, {RTSS}
               2011, Vienna, Austria, November 29 - December 2, 2011},
  pages     = {193--203},
  year      = {2011},
  crossref  = {DBLP:conf/rtss/2011},
  url       = {https://doi.org/10.1109/RTSS.2011.25},
  doi       = {10.1109/RTSS.2011.25},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/ChattopadhyayR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/BlackhamSCRH11,
  author    = {Bernard Blackham and
               Yao Shi and
               Sudipta Chattopadhyay and
               Abhik Roychoudhury and
               Gernot Heiser},
  title     = {Timing Analysis of a Protected Operating System Kernel},
  booktitle = {Proceedings of the 32nd {IEEE} Real-Time Systems Symposium, {RTSS}
               2011, Vienna, Austria, November 29 - December 2, 2011},
  pages     = {339--348},
  year      = {2011},
  crossref  = {DBLP:conf/rtss/2011},
  url       = {https://doi.org/10.1109/RTSS.2011.38},
  doi       = {10.1109/RTSS.2011.38},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/BlackhamSCRH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scopes/ChattopadhyayRM10,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury and
               Tulika Mitra},
  title     = {Modeling shared cache and bus in multi-cores for timing analysis},
  booktitle = {13th International Workshop on Software and Compilers for Embedded
               Systems, {SCOPES} '10, St. Goar, Germany, June 29-30, 2010},
  pages     = {6},
  year      = {2010},
  crossref  = {DBLP:conf/scopes/2010},
  url       = {http://doi.acm.org/10.1145/1811212.1811220},
  doi       = {10.1145/1811212.1811220},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scopes/ChattopadhyayRM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/ChattopadhyayR09,
  author    = {Sudipta Chattopadhyay and
               Abhik Roychoudhury},
  title     = {Unified Cache Modeling for {WCET} Analysis and Layout Optimizations},
  booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
               2009, Washington, DC, USA, 1-4 December 2009},
  pages     = {47--56},
  year      = {2009},
  crossref  = {DBLP:conf/rtss/2009},
  url       = {https://doi.org/10.1109/RTSS.2009.20},
  doi       = {10.1109/RTSS.2009.20},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/ChattopadhyayR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}