Thu 19 Jan 2017 19:00 - 19:10 at Auditorium Hall - Poster Session Chair(s): Qirun Zhang, Matteo Cimini, Julien Signoles, Kim Nguyễn
Thu 19 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:20 - 20:20 | Poster SessionStudent Research Competition at Auditorium Hall Chair(s): Qirun ZhangUniversity of California, Davis, Matteo CiminiIndiana University, USA, Julien SignolesCEA LIST, Kim NguyễnLRI, Université Paris-Sud | ||
18:20 10mDemonstration | Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism Student Research Competition Nicholas RiouxNortheastern University | ||
18:30 10mDemonstration | Gradual Type Precision as Retraction Student Research Competition Max NewNortheastern University | ||
18:40 10mDemonstration | Linking Types: Specifying Safe Interoperability and Equivalences Student Research Competition Daniel PattersonNortheastern University | ||
18:50 10mDemonstration | A Monadic Framework for Bidirectional Programming Student Research Competition Li-yao XiaENS Paris | ||
19:00 10mDemonstration | Gradual Set-Theoretic Types Student Research Competition Victor LanvinENS Paris-Saclay | ||
19:10 10mDemonstration | Abstract Interpretation of High-Level Transformations Student Research Competition Ahmad Salim Al-SibahiIT University of Copenhagen, Denmark | ||
19:20 10mDemonstration | FairSquare: A Static Analysis Tool for Algorithmic Fairness Student Research Competition Samuel DrewsUniversity of Wisconsin-Madison | ||
19:30 10mDemonstration | Toward Type-Preserving Compilation of Coq Student Research Competition William J. BowmanNortheastern University | ||
19:40 10mDemonstration | A Symbolic Execution Framework for Haskell Student Research Competition Anton XueYale University | ||
19:50 10mDemonstration | Synthesizing Imperative Programs from Examples for Introductory Programming Assignments Student Research Competition Sunbeom SoKorea University | ||
20:00 10mDemonstration | Provenance for Configuration Language Security Student Research Competition Weili FuUniversity of Edinburgh | ||
20:10 10mDemonstration | A gradually typed polymorphic lambda calculus Student Research Competition Yuu IgarashiKyoto University | ||
