Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala II
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: ConcurrencyResearch Papers at Sala II
Chair(s): Ori LahavTel Aviv University
10:35 - 10:57
Talk
Research Papers
Nikos Gorogiannis, Peter W. O'HearnFacebook and University College London, Ilya SergeyYale-NUS College and National University of Singapore
Link to publication DOI Pre-print Media Attached File Attached
10:57 - 11:19
Talk
Research Papers
Link to publication DOI Pre-print Media Attached File Attached
11:19 - 11:41
Talk
Research Papers
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
Link to publication DOI Media Attached
11:41 - 12:03
Talk
Research Papers
Michael EmmiSRI International, Constantin EneaUniversité Paris Diderot
Link to publication DOI Media Attached File Attached
13:45 - 14:51: CategoriesResearch Papers at Sala II
Chair(s): Nicolas TabareauInria
13:45 - 14:07
Talk
Research Papers
Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry
Link to publication DOI Media Attached File Attached
14:07 - 14:29
Talk
Research Papers
Jasmin BlanchetteVrije Universiteit Amsterdam, Lorenzo GheriMiddlesex University London, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
Link to publication DOI Media Attached File Attached
14:29 - 14:51
Talk
Research Papers
Paul-André MelliesCNRS and University Paris Diderot
Link to publication DOI Media Attached File Attached
15:21 - 16:27: Capabilities and Session Types IResearch Papers at Sala II
Chair(s): Dominic OrchardUniversity of Kent, UK
15:21 - 15:43
Talk
Research Papers
Lau SkorstengaardAarhus University, Dominique DevrieseVrije Universiteit Brussel, Belgium, Lars BirkedalAarhus University
Link to publication DOI Media Attached File Attached
15:43 - 16:05
Talk
Research Papers
Simon CastellanImperial College London, UK, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached
16:05 - 16:27
Talk
Research Papers
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
Link to publication DOI Pre-print Media Attached File Attached
16:37 - 17:43: Session Types IIResearch Papers at Sala II
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
16:37 - 16:59
Talk
Research Papers
Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
16:59 - 17:21
Talk
Research Papers
David Castro-PerezImperial College London, Raymond HuImperial College London, Sung-Shik JongmansOpen University of the Netherlands, Nicholas NgImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached
17:21 - 17:43
Talk
Research Papers
Alceste ScalasImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached

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

09:00 - 10:06: SynthesisResearch Papers at Sala II
Chair(s): Robbert KrebbersDelft University of Technology
09:00 - 09:22
Talk
Research Papers
Nadia PolikarpovaUniversity of California, San Diego, Ilya SergeyYale-NUS College and National University of Singapore
Link to publication DOI Pre-print Media Attached File Attached
09:22 - 09:44
Talk
Research Papers
Kensen ShiStanford University, Jacob SteinhardtStanford University, Percy LiangStanford University
Link to publication DOI Pre-print Media Attached File Attached
09:44 - 10:06
Talk
Research Papers
Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
Link to publication DOI Media Attached
10:36 - 12:04: Separation Logic and Memory SemanticsResearch Papers at Sala II
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
10:36 - 10:58
Talk
Research Papers
Aleš BizjakAarhus University, Daniel Gratzer, Robbert KrebbersDelft University of Technology, Lars BirkedalAarhus University
Link to publication DOI Media Attached File Attached
10:58 - 11:20
Talk
Research Papers
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
Link to publication DOI Media Attached File Attached
11:20 - 11:42
Talk
Research Papers
Alasdair ArmstrongUniversity of Cambridge, 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, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Peter SewellUniversity of Cambridge
Link to publication DOI Media Attached File Attached
11:42 - 12:04
Talk
Research Papers
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
Link to publication DOI Media Attached File Attached
13:45 - 14:51: Weak MemoryResearch Papers at Sala II
Chair(s): Scott OwensUniversity of Kent, UK
13:45 - 14:07
Talk
Research Papers
Azalea RaadMPI-SWS, Germany, Marko DokoMPI-SWS, Germany, Lovro RožićMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Pre-print Media Attached File Attached
14:07 - 14:29
Talk
Research Papers
Anton PodkopaevHigher School of Economics, JetBrains Research, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Pre-print Media Attached File Attached
14:29 - 14:51
Talk
Research Papers
Soham ChakrabortyMax Planck Institute for Software Systems, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Media Attached File Attached
15:21 - 16:49: TimeResearch Papers at Sala II
Chair(s): Andrew C. MyersCornell University
15:21 - 15:43
Talk
Research Papers
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
Link to publication DOI Pre-print Media Attached File Attached
15:43 - 16:05
Talk
Research Papers
Conrad WattUniversity of Cambridge, John RennerUniversity of California, San Diego, Natalie PopescuUniversity of California San Diego, Sunjay CauligiUCSD, Deian StefanUniversity of California San Diego
Link to publication DOI Media Attached File Attached
16:05 - 16:27
Talk
Research Papers
Rajeev AlurUniversity of Pennsylvania, Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania
Link to publication DOI Media Attached File Attached
16:27 - 16:49
Talk
Research Papers
Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Chih-Duo HongUniversity of Oxford
Media Attached File Attached

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

10:35 - 12:03: Abstract InterpretationResearch Papers at Sala II
Chair(s): David NaumannStevens Institute of Technology
10:35 - 10:57
Talk
Research Papers
Patrick Cousot, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Francesco RanzatoUniversity of Padova
Link to publication DOI Media Attached File Attached
10:57 - 11:19
Talk
Research Papers
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
Link to publication DOI Media Attached
11:19 - 11:41
Talk
Research Papers
Martin BodinImperial College London, Philippa GardnerImperial College London, Thomas P. JensenINRIA Rennes, Alan SchmittInria
Link to publication DOI Pre-print Media Attached File Attached
11:41 - 12:03
Talk
Research Papers
John CyphertUniversity of Wisconsin - Madison, Jason BreckUniversity of Wisconsin - Madison, Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Link to publication DOI Media Attached File Attached
13:45 - 14:51: Model CheckingResearch Papers at Sala II
Chair(s): P. MadhusudanUniversity of Illinois at Urbana-Champaign
13:45 - 14:07
Talk
Research Papers
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
Link to publication DOI Media Attached File Attached
14:07 - 14:29
Talk
Research Papers
Kyungmin BaePohang University of Science and Technology (POSTECH), Jia LeePohang University of Science and Technology (POSTECH)
Link to publication DOI Media Attached File Attached
14:29 - 14:51
Talk
Research Papers
Luca AcetoReykjavik University, Antonis AchilleosReykjavik University, Adrian FrancalanzaUniversity of Malta, Anna IngolfsdottirReykjavik University, Karoliina LehtinenUniversity of Kiel and University of Liverpool
Link to publication DOI Media Attached
15:21 - 16:27: Program Analysis IResearch Papers at Sala II
Chair(s): Michael D. AdamsUniversity of Utah
15:21 - 15:43
Talk
Research Papers
Umang MathurUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached File Attached
15:43 - 16:05
Talk
Research Papers
Oana-Fabiana AndreescuInternet of Trust, Thomas P. JensenINRIA Rennes, Stéphane LescuyerProve & Run, Benoît MontaguProve & Run
Link to publication DOI Pre-print Media Attached File Attached
16:05 - 16:27
Talk
Research Papers
Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI Pre-print Media Attached File Attached
16:37 - 17:43: Program Analysis IIResearch Papers at Sala II
Chair(s): Michael EmmiSRI International
16:37 - 16:59
Talk
Research Papers
Xin YiNational University of Defense Technology, Liqian ChenNational University of Defense Technology, Xiaoguang MaoNational University of Defense Technology, Tao JiNational University of Defense Technology
Link to publication DOI Media Attached File Attached
16:59 - 17:21
Talk
Research Papers
Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria, Nastaran OkatiFerdowsi University of Mashhad, Andreas PavlogiannisEPFL, Switzerland
Link to publication DOI Pre-print Media Attached File Attached
17:21 - 17:43
Talk
Research Papers
Valentin TouzeauUniv. Grenoble Alpes, Claire MaizaVerimag, France, David MonniauxCNRS, VERIMAG, Jan ReinekeSaarland University
Link to publication DOI Media Attached File Attached

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

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

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