Talk by Diego Garbervetsky: Using abstractions to validate and test programs with rich protocols
November 3, 2021
A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method...
[ Read More ]
New open position. PhD researcher: Contaminants of emerging concern in agriculture and livestock scenario. Risk to health or natural attenuation?
November 3, 2021
Deadline: November 25, 2021
[ Read More ]
Using abstractions to validate and test programs with rich protocols
November 3, 2021
A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method...
[ Read More ]
Monitor-Triggered Temporal Logic
November 3, 2021
This talk is concerned with the combination of monitoring techniques and reactive synthesis based on temporal logic (LTL). We explore...
[ Read More ]
Gray-Box Monitorability of Hyperproperties
November 3, 2021
Many important system properties, particularly in security and privacy, cannot be verified statically. Therefore, runtime verification is an appealing alternative....
[ Read More ]
Talk by Niki Vazou: Refinement Types
November 2, 2021
Refinement types are a type-based, static verification technique designed to be practical. They enrich the types of an existing programming...
[ Read More ]
Refinement Types
November 2, 2021
Refinement types are a type-based, static verification technique designed to be practical. They enrich the types of an existing programming...
[ Read More ]
