Unsound 2022 Contributors

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

co-located with SPLASH 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (21)

A Meghan AllenAllen, Meghan University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH -E-track
B Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Steering Committee Chair in Steering Committee within the SPLASH -E-track
Mike BarkminBarkmin, Mike University of Duisburg-Essen, GermanyGermany Committee Member in Program Committee within the SPLASH -E-track
Jan BessaiBessai, Jan IndependentGermany What do we mean by "unsound"? Welcome to Unsound Committee Member in Organizing Committee within the Unsound-track
C Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the SPLASH -E-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
D Andrej DudenhefnerDudenhefner, Andrej Technical University Dortmund Committee Member in Organizing Committee within the Unsound-track
F Molly FeldmanFeldman, Molly Oberlin CollegeUnited States Session Chair of Morning 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Committee Member in Steering Committee within the SPLASH -E-track
Yannick ForsterForster, Yannick InriaFrance MetaCoq as a tool to prevent future unsoundness in Coq
Jaymon FurnissFurniss, Jaymon Proving False in Object Oriented Verification Programs by Exploiting Non-Termination
G Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Committee Member in Organizing Committee within the Unsound-track
Philip GuoGuo, Philip University of California San Diego Committee Member in Program Committee within the SPLASH -E-track
H Martin HenzHenz, Martin National University of SingaporeSingapore Session Chair of Morning 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Organizing Committee within the Unsound-track
Falk HowarHowar, Falk TU Dortmund UniversityGermany Committee Member in Organizing Committee within the Unsound-track
L Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Session Chair of Afternoon 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
S Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Discussion The 4 horsemen of unsoundness in OO languages Welcome to Unsound Committee Member in Organizing Committee within the Unsound-track
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands How to trust a verified program?
T Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of Afternoon 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track
Z Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Organizing Committee within the Unsound-track