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

Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Static program analysis
• Software engineering
• Computing
• Programming language theory
• Control flow analysis
• Soot
• Call graph
• Compiler
• Analysis
• Data-flow analysis
• SIGPLAN
• Java

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Source URL: rjoshi.org

• FO
• Finite model theory
• Model theory
• Metaphilosophy
• Mathematical logic
• Mathematics
• Sigma-algebra
• Pattern language

STATE COORDINATOR CHIEF DEPUTY POLICY & PROGRAM ANALYSIS EXTERNAL AFFAIRS

Source URL: www.vaemergency.gov

An Analysis of the Tariff Discrimination Potential of the TransPacific Partnership against Swiss Companies and their Exports Consequences of TPP for Swiss Companies OFFICIAL PROGRAM

Source URL: www.seco.admin.ch

• International trade
• Economy
• Trade blocs
• Trans-Pacific Partnership
• International relations
• Trans-Pacific Strategic Economic Partnership Agreement
• The Phoenix Partnership
• TPPA
• Preferential trading area
• Transatlantic Trade and Investment Partnership
• TPP
• Trade in Services Agreement

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Elementary mathematics
• Compiler optimizations
• Static single assignment form
• Logic programming
• Scope
• Unification
• Term
• FO
• Variable
• Singular spectrum analysis

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Type theory
• Theoretical computer science
• Logic in computer science
• Automated theorem proving
• Reasoning
• Program analysis
• Natural deduction
• Logical framework
• Resolution
• First-order logic

SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva

Source URL: www.lix.polytechnique.fr

• Formal methods
• Algebraic structures
• Abstract interpretation
• Refinement
• Lattice
• Universal quantification
• Mathematics
• Computing
• Theoretical computer science

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