UNSOUND 2024 Contributors - UNSOUND 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

co-located with SPLASH 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (14)

B Jan BessaiBessai, Jan IndependentGermany Committee Member in Organizing Committee within the UNSOUND-track
David BinderBinder, David University of TübingenGermany From FP to OOP and Back, Consistently
E Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Taming Unsoundness with Gradual Abstract Interpretation
G Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of WellingtonNew Zealand MeDeTy: An Unsound Object Based Encoding of Propositions as Types
Colin GordonGordon, Colin Drexel UniversityUnited States Java Method-Local Inner Classes are Unsound
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina The Inexact Superclass Problem
P Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Welcome to UNSOUND On Distributive Subtyping with Finitary and Infinitary Unions and Intersections Committee Member in Organizing Committee within the UNSOUND-track
R Gaspar RicciRicci, Gaspar University of ChileChile Taming Unsoundness with Gradual Abstract Interpretation
S Marco ServettoServetto, Marco VUW Java Method-Local Inner Classes are Unsound
Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Committee Member in Organizing Committee within the UNSOUND-track
T Éric TanterTanter, Éric University of ChileChile Taming Unsoundness with Gradual Abstract Interpretation
Matías ToroToro, Matías University of ChileChile Taming Unsoundness with Gradual Abstract Interpretation
Taylor TroeshTroesh, Taylor UnaffiliatedUnited States Publishable Network Contracts in Scrapscript
W Nick WebsterWebster, Nick Victoria University of Wellington Java Method-Local Inner Classes are Unsound