Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Hotel Cascais Miragem /

Room information: Sala I

VenueHotel Cascais Miragem
Room nameSala I
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:35 - 12:03: Reasoning about Probabilistic ProgramsResearch Papers at Sala I
Chair(s): Jan HoffmannCarnegie Mellon University
10:35 - 10:57
Talk
Research Papers
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
Link to publication DOI Media Attached File Attached
10:57 - 11:19
Talk
Research Papers
Joseph TassarottiCarnegie Mellon University, Robert Harper
Link to publication DOI Media Attached File Attached
11:19 - 11:41
Talk
Research Papers
Kevin BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph MathejaRWTH Aachen University, Thomas NollRWTH Aachen University
Link to publication DOI Media Attached File Attached
11:41 - 12:03
Talk
Research Papers
Calvin SmithUniversity of Wisconsin - Madison, Justin HsuUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison
Link to publication DOI Media Attached
13:45 - 14:51: Probabilistic Programming and SemanticsResearch Papers at Sala I
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
13:45 - 14:07
Talk
Research Papers
Maria I. GorinovaThe University of Edinburgh, Andrew D. GordonMicrosoft Research and University of Edinburgh, Charles SuttonUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached File Attached
14:07 - 14:29
Talk
Research Papers
Matthijs VákárUniversity of Oxford, Ohad KammarUniversity of Edinburgh, Sam StatonUniversity of Oxford
Link to publication DOI Pre-print Media Attached File Attached
14:29 - 14:51
Talk
Research Papers
Feras SaadMassachusetts Institute of Technology, Marco Cusumano-TownerMIT-CSAIL, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, Vikash MansinghkaMIT
Link to publication DOI Media Attached File Attached
15:21 - 16:27: Machine Learning and Linear AlgebraResearch Papers at Sala I
Chair(s): Aws AlbarghouthiUniversity of Wisconsin-Madison
15:21 - 15:43
Talk
Research Papers
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached File Attached
15:43 - 16:05
Talk
Research Papers
Gagandeep Singh, Timon Gehr, Markus PüschelETH Zürich, Martin VechevETH Zürich
Link to publication DOI Media Attached
16:05 - 16:27
Talk
Research Papers
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin - Madison, John CyphertUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Link to publication DOI Media Attached File Attached
16:37 - 17:43: Quantum ProgrammingResearch Papers at Sala I
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
16:37 - 16:59
Talk
Research Papers
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
Link to publication DOI Media Attached
16:59 - 17:21
Talk
Research Papers
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon, Glynn Winskel
Link to publication DOI Media Attached
17:21 - 17:43
Talk
Research Papers
Dominique UnruhUniversity of Tartu
Link to publication DOI Pre-print Media Attached File Attached
18:00 - 18:30: Wednesday Evening Program IResearch Papers at Sala I
18:00 - 18:30
Talk
Research Papers
Thomas BallMicrosoft Research
Media Attached

Thu 17 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:06: Type Abstraction and EffectsResearch Papers at Sala I
Chair(s): Benjamin DelawarePurdue University
09:00 - 09:22
Talk
Research Papers
Yizhou ZhangCornell University, Andrew C. MyersCornell University
Link to publication DOI Media Attached
09:22 - 09:44
Talk
Research Papers
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
Link to publication DOI Media Attached
09:44 - 10:06
Talk
Research Papers
Karl CraryCarnegie Mellon University
Link to publication DOI Media Attached File Attached
10:36 - 12:04: Gradual TypesResearch Papers at Sala I
Chair(s): Nikhil SwamyMicrosoft Research
10:36 - 10:58
Talk
Research Papers
Matías ToroUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
DOI Media Attached File Attached
10:58 - 11:20
Talk
Research Papers
Max NewNortheastern University, Dan LicataWesleyan University, Amal AhmedNortheastern University, USA
Link to publication DOI Media Attached File Attached
11:20 - 11:42
Talk
Research Papers
Matías ToroUniversity of Chile, Elizabeth LabradaUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
Link to publication DOI Pre-print Media Attached File Attached
11:42 - 12:04
Talk
Research Papers
Cyrus OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Ravi ChughUniversity of Chicago, Matthew HammerNone
Link to publication DOI Pre-print Media Attached File Attached
13:45 - 14:51: Type Inference IResearch Papers at Sala I
Chair(s): Michael HicksUniversity of Maryland, College Park
13:45 - 14:07
Talk
Research Papers
Joshua DunfieldQueen's University, Kingston, Ontario, Neel KrishnaswamiComputer Laboratory, University of Cambridge
Link to publication DOI Media Attached
14:07 - 14:29
Talk
Research Papers
J. Garrett MorrisUniversity of Kansas, USA, James McKinna
Link to publication DOI Media Attached
14:29 - 14:51
Talk
Research Papers
Gyunghee ParkKAIST, Oracle Labs, Jaemin HongKAIST, South Korea, Guy L. Steele Jr.Oracle Labs, Sukyoung RyuKAIST, South Korea
Link to publication DOI Media Attached File Attached
15:21 - 16:49: Type Inference IIResearch Papers at Sala I
Chair(s): Niki VazouIMDEA Software Institute
15:21 - 15:43
Talk
Research Papers
Yusuke MiyazakiKyoto University, Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Link to publication DOI Pre-print Media Attached File Attached
15:43 - 16:05
Talk
Research Papers
Giuseppe CastagnaCNRS - Université Paris Diderot, France, Victor LanvinIRIF, Université Paris Diderot, France, Tommaso PetruccianiDIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France, Jeremy G. SiekIndiana University, USA
Link to publication DOI Media Attached File Attached
16:05 - 16:27
Talk
Research Papers
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Marc De VismeENS Lyon, Damiano MazzaCNRS, Akira YoshimizuINRIA
Link to publication DOI Media Attached File Attached
16:27 - 16:49
Talk
Research Papers
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
Link to publication DOI Media Attached File Attached

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:35 - 12:03: Dependent TypesResearch Papers at Sala I
Chair(s): Andreas AbelGothenburg University
10:35 - 10:57
Talk
Research Papers
Evan CavalloCarnegie Mellon University, Robert Harper
Link to publication DOI Pre-print Media Attached File Attached
10:57 - 11:19
Talk
Research Papers
Thorsten AltenkirchUniversity of Nottingham, Ambrus KaposiUniversity of Nottingham, András KovácsEötvös Loránd University
Link to publication DOI Media Attached File Attached
11:19 - 11:41
Talk
Research Papers
Gaetan Gilbert, Jesper CockxChalmers | University of Gothenburg, Matthieu SozeauInria, Nicolas TabareauInria
Link to publication DOI Media Attached File Attached
11:41 - 12:03
Talk
Research Papers
Rasmus Ejlers MøgelbergIT University of Copenhagen, Niccolò VeltriIT University of Copenhagen
Link to publication DOI Media Attached File Attached
13:45 - 14:51: SemanticsResearch Papers at Sala I
Chair(s): Noam ZeilbergerUniversity of Birmingham, UK
13:45 - 14:07
Talk
Research Papers
Wen KokkeUniversity of Edinburgh, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark
Link to publication DOI Media Attached
14:07 - 14:29
Talk
Research Papers
Filippo BonchiUniversity of Pisa, Joshua HollandUniversity of Southampton, Robin PiedeleuUniversity of Oxford, Pawel SobocinskiUniversity of Southampton, Fabio ZanasiUniversity College London
Link to publication DOI Media Attached
14:29 - 14:51
Talk
Research Papers
Paolo BaldanUniversity of Padova, Barbara KönigUniversity of Duisburg-Essen, Christina Mika-MichalskiUniversity of Duisburg-Essen, Tommaso PadoanUniversity of Padova
Link to publication DOI Media Attached File Attached
15:21 - 16:27: Security and Information FlowResearch Papers at Sala I
Chair(s): David WalkerPrinceton University
15:21 - 15:43
Talk
Research Papers
James ParkerUniversity of Maryland, Niki VazouIMDEA Software Institute, Michael HicksUniversity of Maryland, College Park
Link to publication DOI Media Attached File Attached
15:43 - 16:05
Talk
Research Papers
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
Link to publication DOI Media Attached File Attached
16:05 - 16:27
Talk
Research Papers
Alex KavvosWesleyan University
Link to publication DOI Pre-print File Attached
16:37 - 17:43: Verified Compilation and ConcurrencyResearch Papers at Sala I
Chair(s): Michael GreenbergPomona College
16:37 - 16:59
Talk
Research Papers
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
Link to publication DOI Media Attached File Attached
16:59 - 17:21
Talk
Research Papers
Yuting WangYale University, Pierre WilkeYale University, Zhong ShaoYale University
Link to publication DOI Media Attached File Attached
17:21 - 17:43
Talk
Research Papers
Aymeric FromherzCarnegie Mellon University, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
Link to publication DOI Media Attached File Attached

Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Sala I

Research Papers

Reasoning about Probabilistic Programs

Research Papers

Probabilistic Programming and Semantics

Research Papers

Machine Learning and Linear Algebra

Research Papers

Quantum Programming

Research Papers

Wednesday Evening Program I

Thu 17 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Sala I

Research Papers

Type Abstraction and Effects

Research Papers

Gradual Types

Research Papers

Type Inference I

Research Papers

Type Inference II

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Sala I

Research Papers

Dependent Types

Research Papers

Semantics

Research Papers

Security and Information Flow

Research Papers

Verified Compilation and Concurrency

Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Sala I
10:35 - 10:57
10:57 - 11:19
11:19 - 11:41
11:41 - 12:03
13:45 - 14:07
14:07 - 14:29
14:29 - 14:51
15:21 - 15:43
15:43 - 16:05
16:05 - 16:27
16:37 - 16:59
16:59 - 17:21
17:21 - 17:43
18:00 - 18:30

Thu 17 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Sala I
09:00 - 09:22
09:22 - 09:44
09:44 - 10:06
10:36 - 10:58
10:58 - 11:20
11:20 - 11:42
11:42 - 12:04
13:45 - 14:07
14:07 - 14:29
14:29 - 14:51
15:21 - 15:43
15:43 - 16:05
16:05 - 16:27
16:27 - 16:49

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sala I
10:35 - 10:57
10:57 - 11:19
11:19 - 11:41
11:41 - 12:03
13:45 - 14:07
14:07 - 14:29
14:29 - 14:51
15:21 - 15:43
15:43 - 16:05
16:05 - 16:27
16:37 - 16:59
16:59 - 17:21
17:21 - 17:43