454773_1_En_BookFrontmatter 1..17

First Page		Document Content
Date: 2017-08-24 22:22:13 Max Planck Institute for Software Systems Science and technology in Germany Gerhard Weikum Max Planck Society cole Polytechnique Fdrale de Lausanne Daniel Kroening Max Planck Institute for Informatics Computer science		454773_1_En_BookFrontmatter 1..17 Add to Reading List Source URL: link.springer.com Download Document from Source Website File Size: 162,85 KB Share Document on Facebook

	Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK DocID: 1xVY6 - View Document
	Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening DocID: 1xUuY - View Document
	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs DocID: 1xTkO - View Document
	Noname manuscript No. (will be inserted by the editor) Automatic Analysis of DMA Races Using Model Checking and k-induction Alastair F. Donaldson · Daniel Kroening · DocID: 1t8um - View Document
	Satisfiability of Propositional Formulas Mooly Sagiv Slides by Sharad Malik, Ohad Shacham, Daniel Kroening and Ofer DocID: 1t7uB - View Document