An Experiment in Parallelizing an Application Using Formal Methods
Abstract elided by the publisher.
Related papers
- A Formal Method Experience at Secure Computing Corporation CAV 1998
- Teaching Experience: Logic and Formal Methods with Coq CPP 2011
- Experience with the Normal Semantic Definition of HAL/S PLDI 1982
- Program optimization space pruning for a multithreaded gpu CGO 2008
- Exposing speculative thread parallelism in SPEC2000 PPoPP 2005
- Dynamic multigrain parallelization on the cell broadband engine PPoPP 2007
- The Semantics of Future and an Application JFP 1999
- In-situ workflow auto-tuning through combining component models PPoPP 2021