Write a Blog >>
LAFI 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala II
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 Sala II
Chair(s): Ori LahavTel Aviv University
POPL-2019-Research-Papers10:35 - 10:57
Talk
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
POPL-2019-Research-Papers10:57 - 11:19
Talk
Link to publication DOI Pre-print Media Attached File Attached
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
Link to publication DOI Media Attached
POPL-2019-Research-Papers11:41 - 12:03
Talk
Michael EmmiSRI International, Constantin EneaUniversité Paris Diderot
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Categories at Sala II
Chair(s): Nicolas TabareauInria
POPL-2019-Research-Papers13:45 - 14:07
Talk
Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Lorenzo GheriMiddlesex University London, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Paul-André MelliesCNRS and University Paris Diderot
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Capabilities and Session Types I at Sala II
Chair(s): Dominic OrchardUniversity of Kent, UK
POPL-2019-Research-Papers15:21 - 15:43
Talk
Lau SkorstengaardAarhus University, Dominique DevrieseVrije Universiteit Brussel, Belgium, Lars BirkedalAarhus University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Simon CastellanImperial College London, UK, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached
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
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Session Types II at Sala II
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2019-Research-Papers16:37 - 16:59
Talk
Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
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
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers17:21 - 17:43
Talk
Alceste ScalasImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached

Thu 17 Jan

POPL-2019-Research-Papers
09:00 - 10:06: Research Papers - Synthesis at Sala II
Chair(s): Robbert KrebbersDelft University of Technology
POPL-2019-Research-Papers09:00 - 09:22
Talk
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
POPL-2019-Research-Papers09:22 - 09:44
Talk
Kensen ShiStanford University, Jacob SteinhardtStanford University, Percy LiangStanford University
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers09:44 - 10:06
Talk
Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
Link to publication DOI Media Attached
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Separation Logic and Memory Semantics at Sala II
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
POPL-2019-Research-Papers10:36 - 10:58
Talk
Aleš BizjakAarhus University, Daniel Gratzer, Robbert KrebbersDelft University of Technology, Lars BirkedalAarhus University
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:20 - 11:42
Talk
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
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Weak Memory at Sala II
Chair(s): Scott OwensUniversity of Kent, UK
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
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
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
POPL-2019-Research-Papers14:29 - 14:51
Talk
Soham ChakrabortyMax Planck Institute for Software Systems, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Time at Sala II
Chair(s): Andrew MyersCornell University
POPL-2019-Research-Papers15:21 - 15:43
Talk
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
Link to publication DOI Pre-print Media Attached File Attached
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
Rajeev AlurUniversity of Pennsylvania, Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:27 - 16:49
Talk
Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Chih-Duo HongUniversity of Oxford
Media Attached File Attached

Fri 18 Jan

POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Abstract Interpretation at Sala II
Chair(s): David NaumannStevens Institute of Technology
POPL-2019-Research-Papers10:35 - 10:57
Talk
Patrick Cousot, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Francesco RanzatoUniversity of Padova
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers10:57 - 11:19
Talk
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
Link to publication DOI Media Attached
POPL-2019-Research-Papers11:19 - 11:41
Talk
Martin BodinImperial College London, Philippa GardnerImperial College London, Thomas P. JensenINRIA Rennes, Alan SchmittInria
Link to publication DOI Pre-print Media Attached File Attached
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.
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Model Checking at Sala II
Chair(s): P. MadhusudanUniversity of Illinois at Urbana-Champaign
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Kyungmin BaePohang University of Science and Technology (POSTECH), Jia LeePohang University of Science and Technology (POSTECH)
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Program Analysis I at Sala II
Chair(s): Michael D. AdamsUniversity of Utah
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
Link to publication DOI Pre-print Media Attached File Attached
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
Link to publication DOI Pre-print Media Attached File Attached
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
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Program Analysis II at Sala II
Chair(s): Michael EmmiSRI International
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
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
POPL-2019-Research-Papers17:21 - 17:43
Talk
Valentin TouzeauUniv. Grenoble Alpes, Claire MaizaVerimag, France, David MonniauxCNRS, VERIMAG, Jan ReinekeSaarland University
Link to publication DOI Media Attached File Attached

Wed 16 Jan 2019

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

Thu 17 Jan 2019

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

Fri 18 Jan 2019

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