Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
VenueHotel Cascais Miragem
Room namePOPL Track 2
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 - Concurrency at POPL Track 2
POPL-2019-Research-Papers10:35 - 10:57
Talk
Nikos Gorogiannis, Peter W. O'HearnFacebook and University College London, Ilya SergeyYale-NUS College
DOI Pre-print
POPL-2019-Research-Papers10:57 - 11:19
Talk
POPL-2019-Research-Papers11:19 - 11:41
Talk
Klaus v. GleissenthallUniversity of California at San Diego, USA, Rami Gökhan KıcıUniversity of California at San Diego, USA, Alexander Bakst, Deian StefanUniversity of California San Diego, Ranjit JhalaUniversity of California, San Diego
POPL-2019-Research-Papers11:41 - 12:03
Talk
Michael EmmiSRI International, Constantin EneaUniversité Paris Diderot
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Categories at POPL Track 2
POPL-2019-Research-Papers13:45 - 14:07
Talk
Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry
POPL-2019-Research-Papers14:07 - 14:29
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Lorenzo GheriMiddlesex University London, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
POPL-2019-Research-Papers14:29 - 14:51
Talk
MelliesCNRS and University Paris Diderot
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Capabilities and Session Types I at POPL Track 2
POPL-2019-Research-Papers15:21 - 15:43
Talk
Lau Skorstengaard, Dominique DevrieseVrije Universiteit Brussel, Belgium, Lars BirkedalAarhus University
POPL-2019-Research-Papers15:43 - 16:05
Talk
Simon CastelanImperial College London, UK, Nobuko YoshidaImperial College London
DOI Pre-print
POPL-2019-Research-Papers16:05 - 16:27
Talk
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
Pre-print
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Session Types II at POPL Track 2
POPL-2019-Research-Papers16:37 - 16:59
Talk
Bernardo ToninhoNOVA-LINCS, FCT/UNL, Nobuko YoshidaImperial College London
DOI Pre-print
POPL-2019-Research-Papers16:59 - 17:21
Talk
David CastroImperial College London, Raymond HuImperial College London, Sung-Shik JongmansOpen University of the Netherlands, Nicholas NgImperial College London, Nobuko YoshidaImperial College London
DOI Pre-print
POPL-2019-Research-Papers17:21 - 17:43
Talk
Alceste ScalasImperial College London, Nobuko YoshidaImperial College London
DOI Pre-print

Thu 17 Jan

POPL-2019-Research-Papers
09:00 - 10:06: Research Papers - Synthesis at POPL Track 2
POPL-2019-Research-Papers09:00 - 09:22
Talk
Nadia PolikarpovaUniversity of California, San Diego, Ilya SergeyYale-NUS College
DOI Pre-print
POPL-2019-Research-Papers09:22 - 09:44
Talk
Kensen ShiStanford University, Jacob SteinhardtStanford University, Percy LiangStanford University
POPL-2019-Research-Papers09:44 - 10:06
Talk
Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Separation Logic and Memory Semantics at POPL Track 2
POPL-2019-Research-Papers10:36 - 10:58
Talk
Aleš BizjakAarhus University, Daniel Gratzer, Robbert KrebbersDelft University of Technology, Lars BirkedalAarhus University
POPL-2019-Research-Papers10:58 - 11:20
Talk
José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Gabriela SampaioImperial College London, UK, Philippa GardnerImperial College London
POPL-2019-Research-Papers11:20 - 11:42
Talk
Alasdair Armstrong, Thomas BauereissUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Alastair ReidArm Ltd, Kathryn E. GrayUniversity of Cambridge, Robert M. NortonUniversity of Cambridge, Prashanth MundkurSRI International, Mark WassellUniversity of Cambridge, Jon FrenchUniversity of Cambridge, Christopher PulteUniversity of Cambridge, Shaked FlurUniversity of Cambridge, Ian StarkThe University of Edinburgh, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge, Peter SewellUniversity of Cambridge
POPL-2019-Research-Papers11:42 - 12:04
Talk
Kayvan MemarianUniversity of Cambridge, Victor B. F. GomesUniversity of Cambridge, UK, Brooks DavisSRI International, Stephen KellUniversity of Kent, Alexander RichardsonUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Weak Memory at POPL Track 2
POPL-2019-Research-Papers13:45 - 14:07
Talk
Azalea RaadMPI-SWS, Germany, Marko DokoMPI-SWS, Germany, Lovro RožićMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
POPL-2019-Research-Papers14:07 - 14:29
Talk
Anton PodkopaevJetBrains Resereach, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
Pre-print
POPL-2019-Research-Papers14:29 - 14:51
Talk
Soham ChakrabortyMax Planck Institute for Software Systems, Viktor VafeiadisMPI-SWS, Germany
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Time at POPL Track 2
POPL-2019-Research-Papers15:21 - 15:43
Talk
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
Pre-print
POPL-2019-Research-Papers15:43 - 16:05
Talk
Conrad WattUniversity of Cambridge, John RennerUniversity of California, San Diego, Natalie PopescuUniversity of California San Diego, Sunjay CauligiUCSD, Deian StefanUniversity of California San Diego
POPL-2019-Research-Papers16:05 - 16:27
Talk
Rajeev AlurUniversity of Pennsylvania, Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania
POPL-2019-Research-Papers16:27 - 16:49
Talk
Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Chih-Duo HongUniversity of Oxford

Fri 18 Jan

POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Abstract Interpretation at POPL Track 2
POPL-2019-Research-Papers10:35 - 10:57
Talk
Patrick Cousot, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Francesco RanzatoUniversity of Padova
POPL-2019-Research-Papers10:57 - 11:19
Talk
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
POPL-2019-Research-Papers11:19 - 11:41
Talk
Martin BodinImperial College London, Philippa GardnerImperial College London, Thomas P. JensenINRIA Rennes, Alan SchmittInria
DOI Pre-print
POPL-2019-Research-Papers11:41 - 12:03
Talk
John CyphertUniversity of Wisconsin - Madison, Jason BreckUniversity of Wisconsin - Madison, Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Model Checking at POPL Track 2
POPL-2019-Research-Papers13:45 - 14:07
Talk
Taolue ChenBirkbeck, University of London, Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Philipp RuemmerUppsala University, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
POPL-2019-Research-Papers14:07 - 14:29
Talk
Kyungmin BaePohang University of Science and Technology (POSTECH), Jia LeePohang University of Science and Technology (POSTECH)
POPL-2019-Research-Papers14:29 - 14:51
Talk
Luca AcetoReykjavik University, Antonis AchilleosReykjavik University, Adrian FrancalanzaUniversity of Malta, Anna IngolfsdottirReykjavik University, Karoliina LehtinenUniversity of Kiel and University of Liverpool
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Program Analysis I at POPL Track 2
POPL-2019-Research-Papers15:21 - 15:43
Talk
Umang MathurUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Pre-print
POPL-2019-Research-Papers15:43 - 16:05
Talk
Oana-Fabiana AndreescuInternet of Trust, Thomas P. JensenINRIA Rennes, Stéphane LescuyerProve & Run, Benoît MontaguProve & Run
POPL-2019-Research-Papers16:05 - 16:27
Talk
Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Program Analysis II at POPL Track 2
POPL-2019-Research-Papers16:37 - 16:59
Talk
Xin YiNational University of Defense Technology, Liqian ChenNational University of Defense Technology, Xiaoguang MaoNational University of Defense Technology, Tao JiNational University of Defense Technology
POPL-2019-Research-Papers16:59 - 17:21
Talk
Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria, Nastaran OkatiFerdowsi University of Mashhad, Andreas PavlogiannisEPFL, Switzerland
POPL-2019-Research-Papers17:21 - 17:43
Talk
Valentin TouzeauUniv. Grenoble Alpes, Claire MaizaVerimag, France, David MonniauxCNRS, VERIMAG, Jan ReinekeSaarland University

Wed 16 Jan 2019

Room10:003011:003012:003013:003014:003015:003016:003017:0030
POPL Track 2

Thu 17 Jan 2019

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

Fri 18 Jan 2019

Room10:003011:003012:003013:003014:003015:003016:003017:0030
POPL Track 2