Gradual Set-Theoretic Types (POPL 2017 - Student Research Competition)

Track

POPL 2017 Student Research Competition

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 19 Jan 2017 19:00 - 19:10 at Auditorium Hall - Poster Session Chair(s): Qirun Zhang, Matteo Cimini, Julien Signoles, Kim Nguyễn

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

Time Band

Display full programSpecify a time band

Save

Session Program

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 - 18:30 Demonstration		Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism Student Research Competition Nicholas RiouxNortheastern University
	18:30 - 18:40 Demonstration		Gradual Type Precision as Retraction Student Research Competition Max NewNortheastern University
	18:40 - 18:50 Demonstration		Linking Types: Specifying Safe Interoperability and Equivalences Student Research Competition Daniel PattersonNortheastern University
	18:50 - 19:00 Demonstration		A Monadic Framework for Bidirectional Programming Student Research Competition Li-yao XiaENS Paris
	19:00 - 19:10 Demonstration		Gradual Set-Theoretic Types Student Research Competition Victor LanvinENS Paris-Saclay
	19:10 - 19:20 Demonstration		Abstract Interpretation of High-Level Transformations Student Research Competition Ahmad Salim Al-SibahiIT University of Copenhagen, Denmark
	19:20 - 19:30 Demonstration		FairSquare: A Static Analysis Tool for Algorithmic Fairness Student Research Competition Samuel DrewsUniversity of Wisconsin-Madison
	19:30 - 19:40 Demonstration		Toward Type-Preserving Compilation of Coq Student Research Competition William J. BowmanNortheastern University
	19:40 - 19:50 Demonstration		A Symbolic Execution Framework for Haskell Student Research Competition Anton XueYale University
	19:50 - 20:00 Demonstration		Synthesizing Imperative Programs from Examples for Introductory Programming Assignments Student Research Competition Sunbeom SoKorea University
	20:00 - 20:10 Demonstration		Provenance for Configuration Language Security Student Research Competition Weili FuUniversity of Edinburgh
	20:10 - 20:20 Demonstration		A gradually typed polymorphic lambda calculus Student Research Competition Yuu IgarashiKyoto University

Gradual Set-Theoretic Types

Thu 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Victor Lanvin

ENS Paris-Saclay

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums

Gradual Set-Theoretic Types

Program Display Configuration

Program Display Configuration

Thu 19 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Victor Lanvin

ENS Paris-Saclay

Thu 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change