Incorrectness 2024 Contributors - Incorrectness 2024

Wed 17 - Fri 19 January 2024 London, United Kingdom

co-located with POPL 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (32)

A Flavio AscariAscari, Flavio University of Pisa A Comparison of Program Logics for (In)Correctness
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning
B Lara BargmannBargmann, Lara University of Oldenburg A Reachability Logic for a Weak Memory Model with Promises
C Caroline CronjägerCronjäger, Caroline Vrije Universiteit AmsterdamNetherlands The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs
D Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Type-Based Incorrectness Reasoning
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom A Reachability Logic for a Weak Memory Model with Promises
E Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Work in Progress: Modelling Incorrect Programs in the Open World with Dafny
G Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning
Roberta GoriGori, Roberta University of PisaItaly Committee Member in Program Committee within the Incorrectness-track
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Type-Based Incorrectness Reasoning
K Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Quantitative Weakest Hyper Pre Hoare-Like Triples and Kleene Algebras with Top and Tests
Nat KarmiosKarmios, Nat Imperial College LondonUnited Kingdom Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning
L Andreas LööwLööw, Andreas Imperial College London Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning
M Petar MaksimovićMaksimović, Petar Imperial College London, UK Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning
Toby MurrayMurray, Toby University of MelbourneAustralia Committee Member in Program Committee within the Incorrectness-track
N Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning
Tobias NießenNießen, Tobias TU WienAustria Finding counterexamples to ∀∃ hyperproperties
James NobleNoble, James Creative Research & ProgrammingNew Zealand Work in Progress: Modelling Incorrect Programs in the Open World with Dafny
O Peter W. O'HearnO'Hearn, Peter W. Lacework; University College LondonUnited Kingdom My Journey to the Dark Side: Under-Approximation, Incorrectness, Proof Committee Member in Program Committee within the Incorrectness-track
P Seung Hoon ParkPark, Seung Hoon Imperial College London Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Session Chair of Types (part of Incorrectness) Session Chair of Concurrency, Security, & Hyper-properties (part of Incorrectness) Welcome Organizer in Organizing Committee within the Incorrectness-track Committee Member in Program Committee within the Incorrectness-track
Steven RamsayRamsay, Steven University of BristolUnited Kingdom Ill-Typed Programs Don't Evaluate
V Julien VanegueVanegue, Julien Bloomberg, USAUnited States Towards Temporal Adversarial Logic
Lena VerschtVerscht, Lena Saarland University, Saarland Informatics Campus Hoare-Like Triples and Kleene Algebras with Top and Tests
Jules VillardVillard, Jules MetaUnited Kingdom Committee Member in Program Committee within the Incorrectness-track
W Charlie WalpoleWalpole, Charlie University of Bristol Ill-Typed Programs Don't Evaluate
Heike WehrheimWehrheim, Heike University of Oldenburg A Reachability Logic for a Weak Memory Model with Promises
Georg WeissenbacherWeissenbacher, Georg TU WienAustria Finding counterexamples to ∀∃ hyperproperties
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Work in Progress: Modelling Incorrect Programs in the Open World with Dafny
Z Linpeng ZhangZhang, Linpeng University College LondonUnited Kingdom Quantitative Weakest Hyper Pre
Zhe ZhouZhou, Zhe Purdue University Type-Based Incorrectness Reasoning
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States Session Chair of Opening (part of Incorrectness) Session Chair of Logics and Program Analysis (part of Incorrectness) Welcome Organizer in Organizing Committee within the Incorrectness-track Committee Member in Program Committee within the Incorrectness-track