c 2006 by Patrick Alexander Reynolds Copyright All rights reserved USING CAUSAL PATHS TO IMPROVE PERFORMANCE AND CORRECTNESS IN DISTRIBUTED SYSTEMS

Source URL: piki.org

• Debugging
• Software bug
• Distributed computing
• Model checking
• Algorithmic program debugging

A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets Alessandro Coglio and Cordell Green Kestrel Institute, Palo Alto, California, USA {coglio,green}@kestrel.edu

Source URL: vstte.ethz.ch

Decision Procedures for the Grand Challenge Daniel Kroening Computer Systems Institute ETH Z¨urich Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the

Source URL: vstte.ethz.ch

Crash Early, Crash Often, Explain Well Practical Formal Correctness Checking of Million-core Problem Solving Environments for HPC Diego Caminha B. de Oliveira, Zvonimir Rakamari´c, Ganesh Gopalakrishnan

Source URL: www.sci.utah.edu

Formal Correctness of Result Checking for Priority Queues by Ruzica Piskac

Source URL: www.mpi-sws.org

2015 IEEE CS Security and Privacy Workshops The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA

Source URL: spw15.langsec.org

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

Source URL: spw15.langsec.org

Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING

Source URL: courses.cs.vt.edu

On the Correctness of Transactional Memory Rachid Guerraoui Michał Kapałka School of Computer and Communication Sciences, EPFL

Source URL: kapalka.eu