Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2

Source URL: rjoshi.org

• Theoretical computer science
• Logic
• Formal methods
• Mathematical logic
• Model theory
• Interpretation
• Logic in computer science
• Propositional calculus
• Boolean satisfiability problem
• Automated theorem proving
• Propositional variable
• IP

JouleSort: A Balanced Energy-Efficiency Benchmark Suzanne Rivoire (Stanford), Mehul Shah (HP Labs), Partha Ranganathan (HP Labs), Christos Kozyrakis (Stanford)

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Computing
• Distributed computing
• Computers and the environment
• Electric power
• Energy conservation
• Performance per watt
• Cluster computing
• Parallel computing
• Benchmark
• Supercomputer
• Data center

Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

Source URL: rjoshi.org

• Computing
• Computer architecture
• Concurrent computing
• Formal methods
• Theoretical computer science
• Cache coherency
• Instruction set architectures
• Concurrency
• TLA+
• Model checking
• Cache coherence
• Specification language

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

Risk Assessment and Decision Support for Security Policies IEEE Policy 2011 Symposium Marco Casassa Mont (), Richard Brown ( ) Cloud & Security Lab, HP Labs Bristol, UK 1

Source URL: www.policy-workshop.org

Solution to ensure TPM resistance to offline dictionary attack Liqun Chen HP Labs, Bristol Mark D. Ryan

Source URL: www.cs.bham.ac.uk.

Solution to ensure TPM resistance to offline dictionary attack Liqun Chen HP Labs, Bristol Mark D. Ryan

Source URL: www.cs.bham.ac.uk

The “Boehm-Demers-Weiser” Conservative Garbage Collector Hans-J. Boehm HP Labs

Source URL: hboehm.info

Are Virtual Machine Monitors Microkernels Done Right? Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Dan Magenheimer† University of Cambridge Computer Laboratory † HP Labs, Fort Collins, USA 1

Source URL: www.usenix.org