POPL 2017
Sun 15 - Sat 21 January 2017

I am a PhD Fellow at the IT University of Copenhagen as a part of the VARIETE project, under the supervision of Andrzej Wąsowski and Aleksandar Dimovski.

My main research interests include the design and implementation of programming languages, especially in the areas of semantics and type systems. My current project is to investigate how to practically specify and analyse DSL models and transformations, and in my spare time I am also a committer in the Idris project.

Thu 19 Jan

POPL-2017-src
18:20 - 20:20: Student Research Competition - Poster Session at Auditorium Hall
Chair(s): Qirun ZhangUniversity of California, Davis, Matteo CiminiIndiana University, USA, Julien SignolesCEA LIST, Kim NguyễnLRI, Université Paris-Sud
POPL-2017-src18:20 - 18:30
Demonstration
Nicholas RiouxNortheastern University
POPL-2017-src18:30 - 18:40
Demonstration
Max NewNortheastern University
POPL-2017-src18:40 - 18:50
Demonstration
Daniel PattersonNortheastern University
POPL-2017-src18:50 - 19:00
Demonstration
Li-yao XiaENS Paris
POPL-2017-src19:00 - 19:10
Demonstration
Victor LanvinENS Paris-Saclay
POPL-2017-src19:10 - 19:20
Demonstration
Ahmad Salim Al-SibahiIT University of Copenhagen, Denmark
POPL-2017-src19:20 - 19:30
Demonstration
Samuel DrewsUniversity of Wisconsin-Madison
POPL-2017-src19:30 - 19:40
Demonstration
William J. BowmanNortheastern University
POPL-2017-src19:40 - 19:50
Demonstration
Anton XueYale University
POPL-2017-src19:50 - 20:00
Demonstration
Sunbeom SoKorea University
POPL-2017-src20:00 - 20:10
Demonstration
Weili FuUniversity of Edinburgh
POPL-2017-src20:10 - 20:20
Demonstration
Yuu IgarashiKyoto University