WING 2014 WORKSHOP PAPERS: AUTHOR INDEX

Shortcuts: B F G H I M W Z

B
Bubel, Richard	A Theorem Prover Backed Approach to Array Abstraction (PDF, talk)
F
Fraser, Gordon	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
Furia, Carlo A.	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
G
Galeotti, Juan Pablo	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
H
Hermant, Olivier	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)
I
Irigoin, François	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)
M
Maisonneuve, Vivien	ALICe: A Framework to Improve Affine Loop Invariant Computation (PDF, talk)
May, Eva	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)
W
Wasser, Nathan	A Theorem Prover Backed Approach to Array Abstraction (PDF, talk)
Z
Zeller, Andreas	Loop Invariants by Mutation, Dynamic Validation, and Static Checking (PDF, talk)