1![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 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](https://www.pdfsearch.io/img/47ee5d91acbc665de48bb2a25c4259f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-04 05:12:57
|
---|
2![Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening](https://www.pdfsearch.io/img/9e20b293690ea195e33ae07ddf5b4889.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:52
|
---|
3![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 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](https://www.pdfsearch.io/img/b41c7395c0777afa2933b9801f3c60c0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2014-02-26 06:04:38
|
---|
4![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 · 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 ·](https://www.pdfsearch.io/img/56d9b5988aa5fb4e618f2f15d52097b8.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2012-08-31 08:16:46
|
---|
5![Satisfiability of Propositional Formulas Mooly Sagiv Slides by Sharad Malik, Ohad Shacham, Daniel Kroening and Ofer Satisfiability of Propositional Formulas Mooly Sagiv Slides by Sharad Malik, Ohad Shacham, Daniel Kroening and Ofer](https://www.pdfsearch.io/img/5e41376508e31a1fa8ad2cebf46c45b7.jpg) | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2015-03-20 03:10:51
|
---|
6![S CRATCH: a Tool for Automatic Analysis of DMA Races ∗ Alastair F. Donaldson Daniel Kroening Philipp R¨ummer S CRATCH: a Tool for Automatic Analysis of DMA Races ∗ Alastair F. Donaldson Daniel Kroening Philipp R¨ummer](https://www.pdfsearch.io/img/e670885b93b8db76a7075c1892227fc1.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2012-08-31 08:16:46
|
---|
7![Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac](https://www.pdfsearch.io/img/26ae3d5a7c4858e5b1de228a8faea3df.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2012-08-31 08:16:46
|
---|
8![Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access](https://www.pdfsearch.io/img/fc654b44f8e99408db428df1be79ed21.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2012-08-31 08:16:46
|
---|
9![Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems](https://www.pdfsearch.io/img/9299c439a70dcc1107f148b5d8fba322.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2012-08-31 08:16:46
|
---|
10![Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems](https://www.pdfsearch.io/img/2e40647bd33a702d678aff4d4f8a8b7f.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.uk |
---|