Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
VenueHotel Cascais Miragem
Room namePOPL Track 1
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Wed 16 Jan

POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Reasoning about Probabilistic Programs at POPL Track 1
POPL-2019-Research-Papers10:35 - 10:57
Talk
Tetsuya SatoUniversity at Buffalo, SUNY, USA, Alejandro AguirreIMDEA Software Institute, Spain, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems, Justin HsuUniversity of Wisconsin-Madison, USA
POPL-2019-Research-Papers10:57 - 11:19
Talk
Joseph TassarottiCarnegie Mellon University, Robert Harper
POPL-2019-Research-Papers11:19 - 11:41
Talk
Kevin BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph Matheja, Thomas NollRWTH Aachen University
POPL-2019-Research-Papers11:41 - 12:03
Talk
Calvin SmithUniversity of Wisconsin - Madison, Justin HsuUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Probabilistic Programming and Semantics at POPL Track 1
POPL-2019-Research-Papers13:45 - 14:07
Talk
Maria I. GorinovaThe University of Edinburgh, Andrew D. GordonMicrosoft Research and University of Edinburgh, Charles SuttonUniversity of Edinburgh
DOI Pre-print
POPL-2019-Research-Papers14:07 - 14:29
Talk
Matthijs VákárUniversity of Oxford, Ohad KammarUniversity of Oxford, Sam StatonUniversity of Oxford
Pre-print
POPL-2019-Research-Papers14:29 - 14:51
Talk
Feras SaadMassachusetts Institute of Technology, Marco Cusumano-TownerMIT-CSAIL, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, Vikash MansingkhaMIT
Pre-print
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Machine Learning and Linear Algebra at POPL Track 1
POPL-2019-Research-Papers15:21 - 15:43
Talk
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
POPL-2019-Research-Papers15:43 - 16:05
Talk
POPL-2019-Research-Papers16:05 - 16:27
Talk
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin - Madison, John CyphertUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Quantum Programming at POPL Track 1
POPL-2019-Research-Papers16:37 - 16:59
Talk
Shih-Han HungUniversity of Maryland, Kesha HietalaUniversity of Maryland, Shaopeng ZhuUniversity of Maryland, Mingsheng YingUniversity of Technology Sydney, Michael HicksUniversity of Maryland, College Park, Xiaodi WuUniversity of Oregon, USA
POPL-2019-Research-Papers16:59 - 17:21
Talk
POPL-2019-Research-Papers17:21 - 17:43
Talk
Dominique UnruhUniversity of Tartu

Thu 17 Jan

POPL-2019-Research-Papers
09:00 - 10:06: Research Papers - Type Abstraction and Effects at POPL Track 1
POPL-2019-Research-Papers09:00 - 09:22
Talk
Yizhou ZhangCornell University, Andrew MyersCornell University
POPL-2019-Research-Papers09:22 - 09:44
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
POPL-2019-Research-Papers09:44 - 10:06
Talk
Karl CraryCarnegie Mellon University
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Gradual Types at POPL Track 1
POPL-2019-Research-Papers10:36 - 10:58
Talk
Matías ToroUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
POPL-2019-Research-Papers10:58 - 11:20
Talk
Max S. NewNortheastern University, Dan LicataWesleyan University, Amal AhmedNortheastern University, USA
POPL-2019-Research-Papers11:20 - 11:42
Talk
Matías ToroUniversity of Chile, Elizabeth LabradaUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
DOI Pre-print
POPL-2019-Research-Papers11:42 - 12:04
Talk
Cyrus OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Ravi ChughUniversity of Chicago, Matthew HammerUniversity of Colorado, Boulder
Pre-print
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Type Inference I at POPL Track 1
POPL-2019-Research-Papers13:45 - 14:07
Talk
Joshua DunfieldQueen's University, Kingston, Ontario, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
POPL-2019-Research-Papers14:07 - 14:29
Talk
J. Garrett MorrisUniversity of Kansas, USA, James McKinna
POPL-2019-Research-Papers14:29 - 14:51
Talk
Gyunghee ParkKAIST, Oracle Labs, Jaemin HongKAIST, South Korea, Guy L. Steele Jr.Oracle Labs, Sukyoung RyuKAIST, South Korea
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Type Inference II at POPL Track 1
POPL-2019-Research-Papers15:21 - 15:43
Talk
Yusuke MiyazakiKyoto University, Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
POPL-2019-Research-Papers15:43 - 16:05
Talk
Giuseppe CastagnaCNRS, France / University of Paris Diderot, France, Victor LanvinENS Cachan, France, Tommaso PetruccianiDIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France, Jeremy G. SiekIndiana University, USA
POPL-2019-Research-Papers16:05 - 16:27
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Marc De VismeENS Lyon, Damiano MazzaCNRS, Akira YoshimizuINRIA
POPL-2019-Research-Papers16:27 - 16:49
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund

Fri 18 Jan

POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Dependent Types at POPL Track 1
POPL-2019-Research-Papers10:35 - 10:57
Talk
Evan CavalloCarnegie Mellon University, Robert Harper
POPL-2019-Research-Papers10:57 - 11:19
Talk
Thorsten AltenkirchUniversity of Nottingham, Ambrus KaposiUniversity of Nottingham, András KovácsEötvös Loránd University
POPL-2019-Research-Papers11:19 - 11:41
Talk
Gaetan Gilbert, Jesper CockxChalmers | University of Gothenburg, Matthieu SozeauInria, Nicolas TabareauInria
POPL-2019-Research-Papers11:41 - 12:03
Talk
Rasmus Ejlers MøgelbergIT University of Copenhagen, Niccolò VeltriIT University of Copenhagen
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Semantics at POPL Track 1
POPL-2019-Research-Papers13:45 - 14:07
Talk
Wen KokkeUniversity of Edinburgh, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark
DOI
POPL-2019-Research-Papers14:07 - 14:29
Talk
Filippo BonchiUniversity of Pisa, Joshua HollandUniversity of Southampton, Robin PiedeleuUniversity of Oxford, Pawel SobocinskiUniversity of Southampton, Fabio ZanasiUniversity College London
POPL-2019-Research-Papers14:29 - 14:51
Talk
Paolo Baldan, Barbara KoenigUniversity of Duisburg-Essen, Christina Mika-MichalskiUniversity of Duisburg-Essen, Tommaso PadoanUniversity of Padova
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Security and Information Flow at POPL Track 1
POPL-2019-Research-Papers15:21 - 15:43
Talk
James ParkerUniversity of Maryland, Niki VazouIMDEA Software Institute, Michael HicksUniversity of Maryland, College Park
POPL-2019-Research-Papers15:43 - 16:05
Talk
Marco VassenaChalmers University of Technology, Alejandro RussoChalmers University of Technology, Sweden, Deepak GargMax Planck Institute for Software Systems, Vineet RajaniMPI-SWS, Deian StefanUniversity of California San Diego
POPL-2019-Research-Papers16:05 - 16:27
Talk
G. A. KavvosWesleyan University
DOI Pre-print
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Verified Compilation and Concurrency at POPL Track 1
POPL-2019-Research-Papers16:37 - 16:59
Talk
Spencer P. FlorenceNorthwestern University, USA, Shu-Hung YouNorthwestern University, USA, Jesse A. TovNorthwestern University, Department of Electrical Engineering and Computer Science, Robby FindlerNorthwestern University, USA
POPL-2019-Research-Papers16:59 - 17:21
Talk
Yuting WangYale University, Pierre WilkeYale University, Zhong ShaoYale University
POPL-2019-Research-Papers17:21 - 17:43
Talk
Aymeric FromherzCarnegie Mellon University, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research

Thu 17 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:0030
POPL Track 1

Fri 18 Jan 2019