Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
VenueParis Jussieu
Room nameAuditorium Hall
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:00
30m
Coffee break
Break
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:00
30m
Coffee break
Break
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Wed 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:00
30m
Coffee break
Break
POPL Catering

16:00 - 16:30
16:00
30m
Coffee break
Break
POPL Catering

Thu 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:00
30m
Coffee break
Break
POPL Catering

16:00 - 16:30
16:00
30m
Coffee break
Break
POPL Catering

18:20 - 20:20
Poster SessionPOPL Student Research Competition at Auditorium Hall
Chair(s): Matteo Cimini Indiana University, USA, Kim Nguyễn LRI, Université Paris-Sud, Julien Signoles CEA LIST, Qirun Zhang University of California, Davis
18:20
10m
Demonstration
Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism
POPL Student Research Competition
Nicholas Rioux Northeastern University
18:30
10m
Demonstration
Gradual Type Precision as Retraction
POPL Student Research Competition
Max S. New Northeastern University
18:40
10m
Demonstration
Linking Types: Specifying Safe Interoperability and Equivalences
POPL Student Research Competition
Daniel Patterson Northeastern University
18:50
10m
Demonstration
A Monadic Framework for Bidirectional Programming
POPL Student Research Competition
Li-yao Xia ENS Paris
19:00
10m
Demonstration
Gradual Set-Theoretic Types
POPL Student Research Competition
Victor Lanvin ENS Paris-Saclay
19:10
10m
Demonstration
Abstract Interpretation of High-Level Transformations
POPL Student Research Competition
Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark
19:20
10m
Demonstration
FairSquare: A Static Analysis Tool for Algorithmic Fairness
POPL Student Research Competition
Samuel Drews University of Wisconsin-Madison
19:30
10m
Demonstration
Toward Type-Preserving Compilation of Coq
POPL Student Research Competition
William J. Bowman Northeastern University
19:40
10m
Demonstration
A Symbolic Execution Framework for Haskell
POPL Student Research Competition
Anton Xue Yale University
19:50
10m
Demonstration
Synthesizing Imperative Programs from Examples for Introductory Programming Assignments
POPL Student Research Competition
Sunbeom So Korea University
20:00
10m
Demonstration
Provenance for Configuration Language Security
POPL Student Research Competition
Weili Fu University of Edinburgh
20:10
10m
Demonstration
A gradually typed polymorphic lambda calculus
POPL Student Research Competition
Yuu Igarashi Kyoto University

Fri 20 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:00
30m
Coffee break
Break
POPL Catering

16:00 - 16:30
16:00
30m
Coffee break
Break
POPL Catering

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:00
30m
Coffee break
Break
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:0030
Auditorium Hall

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:0030
Auditorium Hall

Wed 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:0030
Auditorium Hall

Thu 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Auditorium Hall

Fri 20 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:0030
Auditorium Hall

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:0030
Auditorium Hall

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00

Wed 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
16:00 - 16:30

Fri 20 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
16:00 - 16:30

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00