FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Adams, Robin	Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
Asadi, Sepideh	Lattice-Based Refinement in Bounded Model Checking
Athanasiou, Konstantinos	SideTrail: Verifying Time-Balancing of Cryptosystems
B
Beckert, Bernhard	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Bingmann, Timo	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Bohrer, Brandon	TWAM: A Certifying Abstract Machine for Logic Programs
C
Cheng, Chih-Hong	Verification of Binarized Neural Networks via Inter-Neuron Factoring
Cherif, Mohamed Sami	Formalising Executable Specifications of Low-Level Systems
Chockler, Hana	Lattice-Based Refinement in Bounded Model Checking
Chrząszcz, Jacek	A Java bytecode formalisation
Coglio, Alessandro	A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars
Cok, David	Practical Methods for Reasoning about Java 8's Functional Programming Features
Cook, Byron	SideTrail: Verifying Time-Balancing of Cryptosystems
Crary, Karl	TWAM: A Certifying Abstract Machine for Logic Programs
Czarnik, Patryk	A Java bytecode formalisation
D
Dietsch, Daniel	The Map Equality Domain
E
Emmi, Michael	SideTrail: Verifying Time-Balancing of Cryptosystems
Even-Mendoza, Karine	Lattice-Based Refinement in Bounded Model Checking
F
Férée, Hugo	Program Verification in the Presence of I/O: Semantics, verified library routines, and verified applications
G
Gurfinkel, Arie	Executable Counterexamples in Software Model Checking
H
Heizmann, Matthias	The Map Equality Domain
Ho, Son	Program Verification in the Presence of I/O: Semantics, verified library routines, and verified applications
Hoenicke, Jochen	A Tree-Based Approach to Data Flow Proofs The Map Equality Domain
Huang, Chung-Hao	Verification of Binarized Neural Networks via Inter-Neuron Factoring
Hyvärinen, Antti	Lattice-Based Refinement in Bounded Model Checking
J
Jomaa, Narjes	Formalising Executable Specifications of Low-Level Systems
K
Kahsai, Temesghen	Executable Counterexamples in Software Model Checking
Ketab Ghale, Milad	Verified Certificate Checking for Counting Votes
Kiefer, Moritz	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Kumar, Ramana	Verified Certificate Checking for Counting Votes Program Verification in the Presence of I/O: Semantics, verified library routines, and verified applications
L
Lin, Fangzhen	Extending VIAP to Handle Array Programs
M
MacCarthaigh, Colm	SideTrail: Verifying Time-Balancing of Cryptosystems
Matthews, Stuart	Verified Software: Theories, Tools, and Engineering (Invited Talk)
Myreen, Magnus O.	Program Verification in the Presence of I/O: Semantics, verified library routines, and verified applications
N
Navas, Jorge A	Executable Counterexamples in Software Model Checking
Nishida, Naoki	Loop Detection by Logically Constrained Term Rewriting
Nowak, David	Formalising Executable Specifications of Low-Level Systems
Nutz, Alexander	A Tree-Based Approach to Data Flow Proofs The Map Equality Domain
Nührenberg, Georg	Verification of Binarized Neural Networks via Inter-Neuron Factoring
O
Oberhauser, Jonas	Store Buffer Reduction in The Presence of Mixed-Size Accesses and Misalignment
Owens, Scott	Program Verification in the Presence of I/O: Semantics, verified library routines, and verified applications
P
Pattinson, Dirk	Verified Certificate Checking for Counting Votes
Podelski, Andreas	A Tree-Based Approach to Data Flow Proofs The Map Equality Domain
Pohjola, Johannes Åman	Program Verification in the Presence of I/O: Semantics, verified library routines, and verified applications
R
Rajkhowa, Pritom	Extending VIAP to Handle Array Programs
Ruess, Harald	Verification of Binarized Neural Networks via Inter-Neuron Factoring
S
Sanders, Peter	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Schubert, Aleksy	A Java bytecode formalisation
Schupp, Sibylle	Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
Schwartz-Narbonne, Daniel	SideTrail: Verifying Time-Balancing of Cryptosystems
Sharygina, Natasha	Lattice-Based Refinement in Bounded Model Checking
T
Tasiran, Serdar	SideTrail: Verifying Time-Balancing of Cryptosystems Practical Methods for Reasoning about Java 8's Functional Programming Features
Torrini, Paolo	Formalising Executable Specifications of Low-Level Systems
U
Ulbrich, Mattias	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
W
Weigl, Alexander	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Winkler, Sarah	Loop Detection by Logically Constrained Term Rewriting
Z
Zakrzewski, Jakub	Towards verification of Ethereum smart contracts: a formalization of core of Solidity

Disclaimer | Powered by EasyChair Smart Program