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

Source URL: qav.comlab.ox.ac.uk

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

International Journal of Computer Science and Software Engineering (IJCSSE), Volume 7, Issue 1, January 2018 ISSN (Online): www.IJCSSE.org Page: A Development of Static Analysis Program and Its Applicati

Source URL: ijcsse.org

Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan

Source URL: manu.sridharan.net

Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad

Source URL: cs.brown.edu

Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

Source URL: qapl17.doc.ic.ac.uk

FSU DEPARTMENT OF COMPUTER SCIENCE Ecient On-the- y Analysis of Program Behavior and Static Cache Simulation

Source URL: www.cs.fsu.edu

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks Umer Liqat1,3 Pedro L´ opez-Garc´ıa1,2

Source URL: www.sci.unich.it

Ecient On-the- y Analysis of Program? Behavior and Static Cache Simulation Frank Mueller and David B. Whalley Dept. of Computer Science, Florida State University, Tallahassee, FLe-mail:

Source URL: www.cs.fsu.edu

Static Program Analysis Mooly Sagiv Hoare Proof Rules for Partial Correctness {A} skip {A}

Source URL: www.cs.tau.ac.il