Sciweavers

Share
12 search results - page 1 / 3
» vmcai 2016
Sort
View
VMCAI
2016
Springer
3 years 6 days ago
D^3 : Data-Driven Disjunctive Abstraction
Hila Peleg, Sharon Shoham, Eran Yahav
VMCAI
2016
Springer
3 years 6 days ago
An Abstract Domain of Uninterpreted Functions
Graeme Gange, Jorge A. Navas, Peter Schachte, Hara...
VMCAI
2016
Springer
3 years 6 days ago
A Program Logic for C11 Memory Fences
Abstract. We describe a simple, but powerful, program logic for reasoning about C11 relaxed accesses used in conjunction with release and acquire memory fences. Our logic, called f...
Marko Doko, Viktor Vafeiadis
VMCAI
2016
Springer
3 years 6 days ago
Automating Abstract Interpretation
ng Abstract Interpretation Thomas Reps1,2 and Aditya Thakur3 1 University of Wisconsin; Madison, WI, USA 2 GrammaTech, Inc.; Ithaca, NY, USA 3 Google, Inc.; Mountain View, CA USA A...
Thomas W. Reps, Aditya V. Thakur
VMCAI
2016
Springer
3 years 6 days ago
Automatic Generation of Propagation Complete SAT Encodings
Almost all applications of SAT solvers generate Boolean formulae from higher level expression graphs by encoding the semantics of each operation or relation into propositional logi...
Martin Brain, Liana Hadarean, Daniel Kroening, Rub...
books