POPL 2017
Sun 15 - Sat 21 January 2017

I am a fifth year Ph.D. student at Northeastern University where I study Computer Science (specifically, programming languages).

The promise of programming languages research has been to provide high-level languages in which programmers can easily write complex programs without worrying about speed or low-level machine details. I think we have failed. Languages that provide strong guarantees are bemoaned as too complicated, compilers ignore those high-level guarantees anyway, and the folklore persists that C is the only language useful for writing fast code.

I want to make programs easier to design, write, and understand. To that end, I work on verifying compilers. I am particularly interested in equivalence preserving (fully-abstract) compilers. I also dabble in dependent types and compiler design and implementation.

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