Lindsay Groves -

Not registered as user yet

Name:Lindsay Groves

Affiliation:Victoria University of Wellington

Contributions

FTSCS 2022	Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
APLAS 2020	Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track
POPL 2020	Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
APLAS 2019	Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
OCAP 2017	Author of Capabilities and Effects within the OCAP 2017-track
ECOOP 2015	Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track
SLE 2013	Author of Whiley: a Platform for Research in Software Verification within the Research Papers-track