EasyChair Smart SlideDocs/Log in
Author: Peter Lammich

This page shows all presentations of this author published in EasyChair Smart Slide.

A More Pragmatic CDCL for IsaSAT and Targetting LLVM

A More Pragmatic CDCL for IsaSAT and Targetting LLVM

Mathias Fleury and Peter Lammich

Refinement of Parallel Algorithms down to LLVM

Refinement of Parallel Algorithms down to LLVM

Peter Lammich

Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study

Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study

Joshua Bockenek, Peter Lammich, Yakoub Nemouchi and Burkhart Wolff

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

Mathias Fleury, Jasmin Christian Blanchette and Peter Lammich

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair