Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 13 Jan

beat-2019-papers
08:30 - 10:30: BEAT 2019 - Session 1 at Sala VII
Chair(s): Philip WadlerUniversity of Edinburgh, UK
beat-2019-papers08:30 - 08:40
Day opening
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers08:40 - 09:30
Talk
Peter ThiemannUniversity of Freiburg, Germany
beat-2019-papers09:30 - 09:50
Talk
Kaede KobayashiKyoto University, Atsushi IgarashiKyoto University, Japan
beat-2019-papers09:50 - 10:10
Talk
Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
File Attached
beat-2019-papers10:10 - 10:30
Talk
Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London
File Attached
VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 1 at Sala III
Chair(s): Constantin EneaUniversité Paris Diderot
VMCAI-201909:00 - 10:30
Talk
Sylvie PutotÉcole Polytechnique
prisc-2019
09:00 - 10:30: PriSC 2019 - Session 1 at Sala VI
Chair(s): Deepak GargMax Planck Institute for Software Systems
prisc-201909:00 - 10:00
Talk
File Attached
prisc-201910:00 - 10:30
Talk
Marc GourjonHamburg University of Technology and NXP Semiconductors Germany GmbH
File Attached
beat-2019-papers
11:00 - 12:30: BEAT 2019 - Session 2 at Sala VII
Chair(s): Dominic OrchardUniversity of Kent, UK
beat-2019-papers11:00 - 11:50
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
beat-2019-papers11:50 - 12:10
Talk
Ilaria CastellaniINRIA Sophia Antipolis, France, Mariangiola DezaniUniversità di Torino, Paola GianniniUniversita' del Piemonte Orientale, Ross HorneComputer Science and Communications Research Unit, University of Luxembourg
File Attached
beat-2019-papers12:10 - 12:30
Talk
Mauricio CanoUniversity of Groningen, The Netherlands
prisc-2019
11:00 - 12:30: PriSC 2019 - Session 2 at Sala VI
Chair(s): Dominique DevrieseVrije Universiteit Brussel, Belgium
prisc-201911:00 - 11:30
Talk
Craig DisselkoenUniversity of California San Diego, Tal GarfinkelStanford University, Deian StefanUniversity of California San Diego, Conrad WattUniversity of Cambridge
File Attached
prisc-201911:30 - 12:00
Talk
Khilan GudkaUniversity of Cambridge, Alexander RichardsonUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge
File Attached
prisc-201912:00 - 12:30
Talk
Alexander RichardsonUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge
File Attached
POPL-2019-Workshops
12:30 - 14:00: Workshops - Sunday Lunch at Lunch Room
POPL-2019-Workshops12:30 - 14:00
Lunch
beat-2019-papers
13:30 - 15:30: BEAT 2019 - Session 3 at Sala VII
Chair(s): Paola GianniniUniversita' del Piemonte Orientale
beat-2019-papers13:30 - 14:20
Talk
Jan HoffmannCarnegie Mellon University
beat-2019-papers14:20 - 15:10
Talk
Rumyana NeykovaBrunel University London
File Attached
beat-2019-papers15:10 - 15:30
Talk
Hans HüttelDepartment of Computer Science, Aalborg University, Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian FrancalanzaUniversity of Malta, Mario BravettiUniversità di Bologna
File Attached
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Program Synthesis at Sala III
Chair(s): Nuno P. LopesMicrosoft Research
VMCAI-201914:00 - 14:30
Talk
Jad HamzaLIAFA, Université Paris Diderot, Viktor KuncakEPFL, Switzerland
VMCAI-201914:30 - 15:00
Talk
Grigory FedyukovichPrinceton University, Arie GurfinkelUniversity of Waterloo, Aarti GuptaPrinceton University
VMCAI-201915:00 - 15:30
Talk
Thanh-Toan Nguyen, Quang-Trung TaNational University of Singapore, Wei-Ngan ChinNational University of Singapore
prisc-2019
14:00 - 15:30: PriSC 2019 - Session 3 at Sala VI
Chair(s): Chung-Kil HurSeoul National University
prisc-201914:00 - 14:30
Talk
Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Letterio GallettaIMT School for Advanced Studies
Pre-print File Attached
prisc-201914:30 - 15:00
Talk
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
File Attached
prisc-201915:00 - 15:30
Talk
Zilin ChenData61, CSIRO and UNSW, Matthew Di MeglioUNSW, Liam O'ConnorUNSW, Partha SusarlaData61, CSIRO, Christine RizkallahUNSW, Gabriele KellerUtrecht University
VMCAI-2019
16:00 - 17:30: VMCAI 2019 - Abstract Interpretation (2) at Sala III
Chair(s): Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
VMCAI-201916:00 - 16:30
Talk
Kimball GermaneUniversity of Utah, Jay McCarthyUniversity of Massachusetts Lowell, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
VMCAI-201916:30 - 17:00
Talk
Jens NicolayVrije Universiteit Brussel, Belgium, Quentin StiévenartVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
VMCAI-201917:00 - 17:30
Talk
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
prisc-2019
16:00 - 18:00: PriSC 2019 - Session 4 at Sala VI
Chair(s): Aslan AskarovAarhus University, David NaumannStevens Institute of Technology
prisc-201916:00 - 16:30
Other
prisc-201916:30 - 17:00
Talk
Mathias Vorreiter PedersenAarhus University, Aslan AskarovAarhus University
File Attached
prisc-201917:00 - 17:30
Talk
File Attached
prisc-201917:30 - 18:00
Talk
Peter BreuerHecusys LLC, Jonathan BowenLondon South Bank University
File Attached
beat-2019-papers
16:00 - 18:25: BEAT 2019 - Session 4 at Sala VII
Chair(s): Adrian FrancalanzaUniversity of Malta, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers16:00 - 16:50
Talk
beat-2019-papers16:50 - 17:10
Talk
Evangelia VaneziUniversity of Cyprus, Dimitrios KouzapasUniversity of Cyprus, Anna PhilippouUniversity of Cyprus
beat-2019-papers17:10 - 17:30
Talk
Daniele Nantes-SobrinhoUniversity of Brasília, Brazil, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers17:30 - 17:40
Break
beat-2019-papers17:40 - 18:00
Talk
Søren DeboisIT University of Copenhagen, Thomas H. Hildebrandt, Hugo LópezIT University of Copenhagen, Denmark & DCR Solutions A/S
Media Attached
beat-2019-papers18:00 - 18:20
Talk
Carlos Mão de FerroLASIGE, Faculty of Sciences, University of Lisbon, Francisco MartinsLaSIGE, University of Lisbon, Tiago CogumbreiroUniversity of Massachusetts Boston
File Attached
beat-2019-papers18:20 - 18:25
Day closing
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands

Mon 14 Jan

VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 2 at Sala III
Chair(s): Lenore Zuck
VMCAI-201909:00 - 10:30
Talk
Kedar NamjoshiBell Labs, Nokia
CPP-2019
09:00 - 10:30: CPP 2019 - Keynote 1 and Research Paper at Sala XII
Chair(s): Magnus O. MyreenChalmers University of Technology, Sweden
CPP-201909:00 - 10:00
Talk
Amy FeltyUniversity of Ottawa
DOI
CPP-201910:00 - 10:30
Research paper
Yannick ForsterSaarland University, Dominique Larchey-WendlingCNRS, LORIA
DOI
opct-2019-papers
09:00 - 10:30: OPCT 2019 - Session Types at Sala VII
Chair(s): Ilaria CastellaniINRIA Sophia Antipolis, France
opct-2019-papers09:00 - 09:15
Day opening
opct-2019-papers09:15 - 09:40
Talk
Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
opct-2019-papers09:40 - 10:05
Talk
Adrian FrancalanzaUniversity of Malta
opct-2019-papers10:05 - 10:30
Talk
Hans HüttelDepartment of Computer Science, Aalborg University
File Attached
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Tutorial 1A at Sala V
POPL-2019-TutorialFest09:00 - 10:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Tutorial 2A at Sala VIII
POPL-2019-TutorialFest09:00 - 10:30
Talk
Amit ChopraLancaster University, UK, Munindar P. SinghNorth Carolina State University
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Tutorial 3A at Sala VI
POPL-2019-TutorialFest09:00 - 10:30
Talk
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Tutorial 4A at Sala IX
POPL-2019-TutorialFest09:00 - 10:30
Talk
André PlatzerCarnegie Mellon University
VMCAI-2019
11:00 - 12:30: VMCAI 2019 - Decision Procedures at Sala III
Chair(s): Kedar NamjoshiBell Labs, Nokia
VMCAI-201911:00 - 11:30
Talk
Jochen HoenickeUniversität Freiburg, Tanja SchindlerUniversity of Freiburg
VMCAI-201911:30 - 12:00
Talk
Xiaokang QiuPurdue University, Yanjun WangPurdue University
File Attached
VMCAI-201912:00 - 12:30
Talk
Charlie MurphyPrinceton University, Zachary KincaidPrinceton University
File Attached
CPP-2019
11:00 - 12:30: CPP 2019 - Research Papers: Proof Theory, Theory of Programming Languages at Sala XII
Chair(s): Assia MahboubiINRIA
CPP-201911:00 - 11:30
Research paper
Kaustuv ChaudhuriInria, France, Matteo ManighettiInria & École Polytechnique, Dale MilerINRIA Saclay and LIX
DOI
CPP-201911:30 - 12:00
Research paper
Yannick ForsterSaarland University, Steven SchäferSaarland University, Simon SpiesSaarland University, Kathrin StarkSaarland University, Germany
DOI
CPP-201912:00 - 12:30
Research paper
Theo WinterhalterGallinette / Inria / LS2N, Nicolas TabareauInria, Matthieu SozeauInria
DOI
pepm-2019-papers
11:00 - 12:30: PEPM 2019 - Session 1 at Sala X
Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
pepm-2019-papers11:00 - 11:05
Day opening
Atsushi IgarashiKyoto University, Japan, Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
pepm-2019-papers11:05 - 12:00
Talk
Christian HumerOracle Labs, Switzerland
File Attached
pepm-2019-papers12:00 - 12:30
Talk
Barry JayUniversity of Technology Sydney
DOI
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Tutorial 1B at Sala V
POPL-2019-TutorialFest11:00 - 12:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Tutorial 2B at Sala VIII
POPL-2019-TutorialFest11:00 - 12:30
Talk
Amit ChopraLancaster University, UK, Munindar P. SinghNorth Carolina State University
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Tutorial 3B at Sala VI
POPL-2019-TutorialFest11:00 - 12:30
Talk
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Tutorial 4B at Sala IX
POPL-2019-TutorialFest11:00 - 12:30
Talk
André PlatzerCarnegie Mellon University
opct-2019-papers
11:15 - 12:30: OPCT 2019 - Causality, Reversibility at Sala VII
Chair(s): Thomas H. Hildebrandt
opct-2019-papers11:15 - 11:40
Talk
Georgiana CaltaisUniversity of Konstanz
File Attached
opct-2019-papers11:40 - 12:05
Talk
opct-2019-papers12:05 - 12:30
Talk
Irek UlidowskiUniversity of Leicester
POPL-2019-Workshops
12:30 - 14:00: Workshops - Monday Lunch at Lunch Room
POPL-2019-Workshops12:30 - 14:00
Lunch
opct-2019-papers
13:50 - 15:30: OPCT 2019 - Session Types, Graph-Rewriting at Sala VII
Chair(s): Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS
opct-2019-papers13:50 - 14:15
Talk
opct-2019-papers14:15 - 14:40
Talk
Giovanni BernardiUniversité Paris Diderot
File Attached
opct-2019-papers14:40 - 15:05
Talk
Cinzia Di GiustoLaboratoire I3S
File Attached
opct-2019-papers15:05 - 15:30
Talk
PADL-2019
14:00 - 15:30: PADL 2019 - PADL Session 1 at Sala IV
PADL-201913:50 - 14:00
Day opening
Moa JohanssonChalmers University of Technology, José Julio AlferesNOVA LINCS -- Universidade Nova de Lisboa
PADL-201914:00 - 14:30
Talk
PADL-201914:30 - 15:00
Talk
Joaquin AriasUniversidad Politécnica de Madrid and IMDEA Software Institute, Manuel CarroIMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
PADL-201915:00 - 15:30
Talk
Michael HanusKiel University
File Attached
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Probabilistic Systems at Sala III
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
VMCAI-201914:00 - 14:30
Talk
VMCAI-201914:30 - 15:00
Talk
Hongfei FuIST Austria, Krishnendu ChatterjeeIST Austria
VMCAI-201915:00 - 15:30
Talk
Stefan Haar, Juraj KolčákLSV, CNRS & ENS Cachan, University Paris Saclay, Loïc Paulevé
CPP-2019
14:00 - 15:30: CPP 2019 - Research Papers: Program Verification at Sala XII
Chair(s): Chris HawblitzelMicrosoft Research
CPP-201914:00 - 14:30
Research paper
Ian RoessleVirginia Tech, USA, Freek VerbeekOpen University of the Netherlands, The Netherlands, Binoy RavindranVirginia Tech
DOI
CPP-201914:30 - 15:00
Research paper
Sandrine BlazyUniv Rennes- IRISA, Rémi HutinIRISA / ENS Rennes
DOI
CPP-201915:00 - 15:30
Research paper
Nicolas Koh, Yao LiUniversity of Pennsylvania, Yishuai LiUniversity of Pennsylvania, Li-yao Xia, Lennart BeringerPrinceton University, Wolf Honore, William ManskyUniversity of Illinois at Chicago, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI Pre-print
pepm-2019-papers
14:00 - 15:30: PEPM 2019 - Session 2 at Sala X
Chair(s): Thomas P. JensenINRIA Rennes
pepm-2019-papers14:00 - 14:30
Talk
Sihan XuNankai University, China, Sen ZhangNankai University, China, Weijing WangNankai University, China, Xinya CaoNankai University, China, Chenkai GuoNankai University, China, Jing XuNankai University, China
DOI
pepm-2019-papers14:30 - 15:00
Talk
Keiichi WatanabeUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Hiroki OshikawaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
pepm-2019-papers15:00 - 15:30
Talk
Gabriel RadanneUniversity of Freiburg, Germany
DOI Pre-print File Attached
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Tutorial 5A at Sala V
POPL-2019-TutorialFest14:00 - 15:30
Talk
Andreas AbelGothenburg University, Jesper CockxChalmers | University of Gothenburg
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Tutorial 6A at Sala VIII
POPL-2019-TutorialFest14:00 - 15:30
Talk
Stephanie BalzerCarnegie Mellon University, USA
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Tutorial 7A at Sala IX
POPL-2019-TutorialFest14:00 - 15:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Tutorial 8A at Sala VI
POPL-2019-TutorialFest14:00 - 15:30
Talk
Jules VillardFacebook London, Ezgi ÇiçekFacebook London, Mehdi BouazizFacebook London, Nikos Gorogiannis
opct-2019-papers
16:00 - 17:15: OPCT 2019 - Concurrent Programming, Memory Models at Sala VII
Chair(s): Gustavo PetriIRIF, Université Paris Diderot
opct-2019-papers16:00 - 16:25
Talk
Kirsten WinterThe University of Queensland
File Attached
opct-2019-papers16:25 - 16:50
Talk
Carla FerreiraUniversidade Nova Lisboa
opct-2019-papers16:50 - 17:15
Talk
Emanuele D'OsualdoImperial College London, UK
Pre-print File Attached
PADL-2019
16:00 - 17:30: PADL 2019 - PADL Session 2 at Sala IV
PADL-201916:00 - 16:30
Talk
PADL-201916:30 - 17:00
Talk
Kristoffer Just Arndal AndersenAarhus University, Ilya SergeyYale-NUS College and National University of Singapore
Pre-print
PADL-201917:00 - 17:30
Talk
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
Link to publication DOI File Attached
CPP-2019
16:00 - 17:30: CPP 2019 - Research Papers: Formalization of Mathematics and Computer Algebra at Sala XII
Chair(s): Georges GonthierInria
CPP-201916:00 - 16:30
Research paper
Robert Y. LewisVrije Universiteit Amsterdam
DOI
CPP-201916:30 - 17:00
Research paper
Wenda LiUniversity of Cambridge, Lawrence PaulsonUniversity of Cambridge
DOI
CPP-201917:00 - 17:30
Research paper
DOI
pepm-2019-papers
16:00 - 17:30: PEPM 2019 - Session 3 at Sala X
Chair(s): Atsushi IgarashiKyoto University, Japan
pepm-2019-papers16:00 - 17:00
Talk
Jens PalsbergUniversity of California, Los Angeles (UCLA)
File Attached
pepm-2019-papers17:00 - 17:30
Talk
Ryosuke SatoKyushu University, Japan, Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Tutorial 5B at Sala V
POPL-2019-TutorialFest16:00 - 17:30
Talk
Andreas AbelGothenburg University, Jesper CockxChalmers | University of Gothenburg
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Tutorial 6B at Sala VIII
POPL-2019-TutorialFest16:00 - 17:30
Talk
Stephanie BalzerCarnegie Mellon University, USA
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Tutorial 7B at Sala IX
POPL-2019-TutorialFest16:00 - 17:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Tutorial 8B at Sala VI
POPL-2019-TutorialFest16:00 - 17:30
Talk
Jules VillardFacebook London, Ezgi ÇiçekFacebook London, Mehdi BouazizFacebook London, Nikos Gorogiannis
POPL-2019-Workshops
17:30 - 18:30: Workshops - Monday Social Hour at Galeria
POPL-2019-Workshops17:30 - 18:30
Social Event

Tue 15 Jan

opct-2019-papers
09:00 - 10:30: OPCT 2019 - Equational Characterisations, Transactions at Sala VII
Chair(s): Mohammad MousaviUniversity of Leicester, UK
opct-2019-papers09:15 - 09:40
Talk
Bas LuttikEindhoven University of Technology
File Attached
opct-2019-papers09:40 - 10:05
Talk
Marco BernardoUniversity of Urbino
opct-2019-papers10:05 - 10:30
Talk
Andrea CeroneImperial College London
VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 3 at Sala III
Chair(s): Ruzica PiskacYale University, USA
VMCAI-201909:00 - 10:30
Talk
Nuno P. LopesMicrosoft Research
CPP-2019
09:00 - 10:30: CPP 2019 - Keynote 2 and Research Paper at Sala XII
Chair(s): Assia MahboubiINRIA
CPP-201909:00 - 10:00
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam
DOI
CPP-201910:00 - 10:30
Research paper
Anders SchlichtkrullTechnical University of Denmark, Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich
DOI
PLMW-2019-papers
09:00 - 10:30: PLMW@POPL - PLMW Session 1 at Sala II
PLMW-2019-papers09:00 - 09:15
Day opening
Pre-print
PLMW-2019-papers09:15 - 10:00
Talk
Sharon ShohamTel Aviv university
Pre-print File Attached
PLMW-2019-papers10:00 - 10:30
Talk
Chung-chieh ShanIndiana University, USA
Pre-print File Attached
lafi-2019
11:00 - 12:30: LAFI (né PPS) - B at Sala VI
Chair(s): Steven HoltzenUniversity of California, Los Angeles
lafi-201911:00 - 11:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Naohiko HoshinoKyoto University
lafi-201911:30 - 12:00
Talk
Eli SenneshNortheastern University, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Hao WuNortheastern University, Jan-Willem van de MeentNortheastern University
File Attached
lafi-201912:00 - 12:30
Talk
Media Attached
PLMW-2019-papers
11:00 - 12:30: PLMW@POPL - PLMW Session 2 at Sala II
PLMW-2019-papers11:00 - 11:30
Talk
Pre-print File Attached
PLMW-2019-papers11:30 - 12:30
Talk
Dominic OrchardUniversity of Kent, UK, Jorge A. PérezUniversity of Groningen, The Netherlands, Azalea RaadMPI-SWS, Germany, Max NewNortheastern University, Stephanie BalzerCarnegie Mellon University, USA
Pre-print
CPP-2019
11:00 - 12:30: CPP 2019 - Research Papers: Rewriting, Automated Reasoning at Sala XII
Chair(s): Andrei PopescuMiddlesex University, London
CPP-201911:00 - 11:30
Research paper
Kathrin StarkSaarland University, Germany, Steven SchäferSaarland University, Jonas Kaiser
DOI
CPP-201911:30 - 12:00
Research paper
Alexander Lochmann, Christian SternagelUniversity of Innsbruck, Austria
DOI
CPP-201912:00 - 12:30
Research paper
DOI
pepm-2019-papers
11:00 - 12:30: PEPM 2019 - Session 4 at Sala X
Chair(s): Roberto GiacobazziUniversity of Verona and IMDEA Software Institute
pepm-2019-papers11:00 - 12:00
Talk
File Attached
pepm-2019-papers12:00 - 12:30
Talk
Kenny Zhuo Ming LuNanyang Polytechnic, Singapore
DOI
VMCAI-2019
11:00 - 12:30: VMCAI 2019 - Software Verification and Synthesis at Sala III
Chair(s): Ori LahavTel Aviv University
VMCAI-201911:00 - 11:30
Talk
Viorel Preoteasa, Iulia Dragomir, Stavros TripakisAalto University and UC Berkeley
Link to publication DOI Pre-print File Attached
VMCAI-201911:30 - 12:00
Talk
VMCAI-201912:00 - 12:30
Talk
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin-Madison
opct-2019-papers
11:15 - 12:30: OPCT 2019 - Cyberphysical Systems, Hybrid Systems at Sala VII
Chair(s): Philippa GardnerImperial College London
opct-2019-papers11:15 - 11:40
Talk
Erika AbrahamRWTH Aachen University
opct-2019-papers11:40 - 12:05
Talk
opct-2019-papers12:05 - 12:30
Talk
Michele LoretiUniversity of Camerino
POPL-2019-Workshops
12:30 - 14:00: Workshops - Tuesday Lunch at Lunch Room
POPL-2019-Workshops12:30 - 14:00
Lunch
opct-2019-papers
13:50 - 15:30: OPCT 2019 - Algebra, Coalgebra, Model Checking at Sala VII
Chair(s): Barbara KönigUniversity of Duisburg-Essen
opct-2019-papers13:50 - 14:15
Talk
Joost-Pieter KatoenRWTH Aachen University
File Attached
opct-2019-papers14:15 - 14:40
Talk
Paolo BaldanUniversity of Padova
File Attached
opct-2019-papers14:40 - 15:05
Talk
Helle Hvid HansenDelft University of Technology
File Attached
opct-2019-papers15:05 - 15:30
Talk
Simone TiniUniversity of Insubria
PADL-2019
14:00 - 15:30: PADL 2019 - PADL Session 5 at Sala IV
PADL-201914:00 - 14:30
Talk
David BromanKTH Royal Institute of Technology, Viktor PalmkvistKTH Royal Institute of Technology
DOI Media Attached
PADL-201914:30 - 15:00
Talk
Christopher SchwaabUniversity of St Andrews, Ekaterina KomendantskayaHeriot-Watt University, UK, Alasdair Hill, Frantisek Farka, Ron Petrick, Joe Wells, Kevin HammondUniversity of St. Andrews, UK
PADL-201915:00 - 15:30
Talk
Paul TarauUniversity of North Texas
PLMW-2019-papers
14:00 - 15:30: PLMW@POPL - PLMW Session 3 at Sala II
PLMW-2019-papers14:00 - 14:45
Talk
Frank PfenningCarnegie Mellon University, USA
Pre-print File Attached
PLMW-2019-papers14:45 - 15:30
Talk
Michael HicksUniversity of Maryland, College Park
Pre-print File Attached
CPP-2019
14:00 - 15:30: CPP 2019 - Research Papers: Program Verification at Sala XII
Chair(s): Nicolas TabareauInria
CPP-201914:00 - 14:30
Research paper
Qianchuan YePurdue University, Benjamin DelawarePurdue University
DOI
CPP-201914:30 - 15:00
Research paper
Véronique BenzakenLRI, Université Paris-Sud, Evelyne Contejean
DOI
CPP-201915:00 - 15:30
Research paper
Susannah Mansky, Elsa GunterUniversity of Illinois
DOI
pepm-2019-papers
14:00 - 15:30: PEPM 2019 - Session 5 at Sala X
Chair(s): Alberto PettorossiUniversity of Rome Tor Vergata, Italy
pepm-2019-papers14:00 - 14:30
Talk
Kenichi AsaiOchanomizu University
DOI File Attached
pepm-2019-papers14:30 - 15:00
Talk
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany
DOI File Attached
pepm-2019-papers15:00 - 15:28
Talk
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
DOI Pre-print
pepm-2019-papers15:28 - 15:30
Poster
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Software Verification at Sala III
Chair(s): Grigory FedyukovichPrinceton University
VMCAI-201914:00 - 14:30
Talk
Tianhan LuUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Ashutosh Trivedi
VMCAI-201914:30 - 15:00
Talk
Quentin Bouillaguet, François BobotCEA, Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France, Boris YakobowskiCEA - LIST
File Attached
VMCAI-201915:00 - 15:30
Talk
Anja KarlInstitute of Applied Information Processing and Communications, Graz University of Technology, Robert Schilling, Roderick BloemInstitute of Software Technology, Graz University of Technology , Stefan Mangard
opct-2019-papers
16:00 - 17:20: OPCT 2019 - Algebra, Coalgebra at Sala VII
Chair(s): Alexandra SilvaUniversity College London
opct-2019-papers16:00 - 16:25
Talk
Jurriaan RotRadboud University Nijmegen
opct-2019-papers16:25 - 16:50
Talk
Valentina CastiglioniInria Saclay - Ile de France
File Attached
opct-2019-papers16:50 - 17:15
Talk
Renato NevesUniversity of Minho & INESC TEC
File Attached
opct-2019-papers17:15 - 17:20
Day closing
lafi-2019
16:00 - 17:30: LAFI (né PPS) - D at Sala VI
lafi-201916:00 - 16:30
Talk
Simon Castellan, Hugo PaquetUniversity of Cambridge
lafi-201916:30 - 17:00
Talk
Steven HoltzenUniversity of California, Los Angeles, Joe QianUniversity of California, Los Angeles, Todd MillsteinUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles
lafi-201917:00 - 17:30
Talk
Matthew HeimerdingerIndiana University, Chung-chieh ShanIndiana University, USA
VMCAI-2019
16:00 - 17:30: VMCAI 2019 - Networks and Concurrency at Sala III
Chair(s): Cezara DrăgoiINRIA, ENS, CNRS
VMCAI-201916:00 - 16:30
Talk
Azalea RaadMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
VMCAI-201916:30 - 17:00
Talk
Nuno P. LopesMicrosoft Research, Andrey RybalchenkoMicrosoft Research
VMCAI-201917:00 - 17:30
Talk
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Benoit Delahaye, Paulin Fournier, Didier Lime
File Attached
PLMW-2019-papers
16:00 - 17:30: PLMW@POPL - PLMW Session 4 at Sala II
PLMW-2019-papers16:00 - 16:30
Talk
Ilya SergeyYale-NUS College and National University of Singapore
Pre-print File Attached
PLMW-2019-papers16:30 - 17:30
Talk
Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon, Deepak GargMax Planck Institute for Software Systems, Philippa GardnerImperial College London, Atsushi IgarashiKyoto University, Japan, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
Pre-print
CPP-2019
16:00 - 17:30: CPP 2019 - Research Papers: Formalization of Mathematics and Computer Algebra at Sala XII
Chair(s): Zhong ShaoYale University
CPP-201916:00 - 16:30
Research paper
Yannick ForsterSaarland University, Dominik KirstSaarland University, Gert SmolkaSaarland University
DOI
CPP-201916:30 - 17:00
Research paper
Manuel EberlTechnische Universität München
DOI
CPP-201917:00 - 17:30
Meeting
Assia MahboubiINRIA, Magnus O. MyreenChalmers University of Technology, Sweden
POPL-2019-Workshops
17:30 - 18:30: Workshops - Tuesday Social Hour at Galeria
POPL-2019-Workshops17:30 - 18:30
Social Event

Wed 16 Jan

POPL-2019-Research-Papers
09:00 - 10:05: Research Papers - Welcome & Keynote I at Sala I + II
Chair(s): Peter O'HearnFacebook
POPL-2019-Research-Papers09:00 - 09:05
Day opening
Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Stephanie WeirichUniversity of Pennsylvania, USA
Media Attached
POPL-2019-Research-Papers09:05 - 10:05
Talk
Mark HarmanFacebook and University College London
Media Attached
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
10:35 - 12:03: Research Papers - Reasoning about Probabilistic Programs at Sala I
Chair(s): Jan HoffmannCarnegie Mellon University
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers10:57 - 11:19
Talk
Joseph TassarottiCarnegie Mellon University, Robert Harper
Link to publication DOI Media Attached File Attached
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 MathejaRWTH Aachen University, Thomas NollRWTH Aachen University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:41 - 12:03
Talk
Calvin SmithUniversity of Wisconsin - Madison, Justin HsuUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison
Link to publication DOI Media Attached
POPL-2019-Research-Papers
12:03 - 13:45: Research Papers - Wednesday Lunch at Lunch Room
POPL-2019-Research-Papers12:03 - 13:45
Lunch
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 Christian 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
13:45 - 14:51: Research Papers - Probabilistic Programming and Semantics at Sala I
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
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
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Matthijs VákárUniversity of Oxford, Ohad KammarUniversity of Edinburgh, Sam StatonUniversity of Oxford
Link to publication DOI Pre-print Media Attached File Attached
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
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
15:21 - 16:27: Research Papers - Machine Learning and Linear Algebra at Sala I
Chair(s): Aws AlbarghouthiUniversity of Wisconsin-Madison
POPL-2019-Research-Papers15:21 - 15:43
Talk
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Link to publication DOI Media Attached
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.
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Quantum Programming at Sala I
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
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
Link to publication DOI Media Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
Link to publication DOI Media Attached
POPL-2019-Research-Papers17:21 - 17:43
Talk
Dominique UnruhUniversity of Tartu
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 ToninhoNOVA-LINCS, FCT/UNL, 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
POPL-2019-Research-Papers
18:00 - 18:30: Research Papers - Wednesday Evening Program I at Sala I
POPL-2019-Research-Papers18:00 - 18:30
Talk
Thomas BallMicrosoft Research
Media Attached
POPL-2019-Research-Papers
18:30 - 19:30: Research Papers - Wednesday Evening Program II at Galeria
POPL-2019-Student-Research-Competition18:30 - 19:30
Social Event

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
09:00 - 10:06: Research Papers - Type Abstraction and Effects at Sala I
Chair(s): Benjamin DelawarePurdue University
POPL-2019-Research-Papers09:00 - 09:22
Talk
Yizhou ZhangCornell University, Andrew MyersCornell University
Link to publication DOI Media Attached
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
Link to publication DOI Media Attached
POPL-2019-Research-Papers09:44 - 10:06
Talk
Karl CraryCarnegie Mellon University
Link to publication DOI Media Attached File Attached
POPL-2019-Student-Research-Competition
10:30 - 12:30: Student Research Competition - Finalist Poster Presentations at Sala III
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Gradual Types at Sala I
Chair(s): Nikhil SwamyMicrosoft Research
POPL-2019-Research-Papers10:36 - 10:58
Talk
Matías ToroUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
DOI Media Attached File Attached
POPL-2019-Research-Papers10:58 - 11:20
Talk
Max NewNortheastern University, Dan LicataWesleyan University, Amal AhmedNortheastern University, USA
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:20 - 11:42
Talk
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
POPL-2019-Research-Papers11:42 - 12:04
Talk
Cyrus OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Ravi ChughUniversity of Chicago, Matthew HammerNone
Link to publication DOI Pre-print Media Attached File 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, Neelakantan R. 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
12:04 - 13:45: Research Papers - Thursday Lunch at Lunch Room
POPL-2019-Research-Papers12:04 - 13:45
Lunch
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Type Inference I at Sala I
Chair(s): Michael HicksUniversity of Maryland, College Park
POPL-2019-Research-Papers13:45 - 14:07
Talk
Joshua DunfieldQueen's University, Kingston, Ontario, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
J. Garrett MorrisUniversity of Kansas, USA, James McKinna
Link to publication DOI Media Attached
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
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
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Type Inference II at Sala I
Chair(s): Niki VazouIMDEA Software Institute
POPL-2019-Research-Papers15:21 - 15:43
Talk
Yusuke MiyazakiKyoto University, Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
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
POPL-2019-Research-Papers16:05 - 16:27
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Marc De VismeENS Lyon, Damiano MazzaCNRS, Akira YoshimizuINRIA
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:27 - 16:49
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
17:00 - 18:00: Research Papers - Business Meeting at Sala I + II
POPL-2019-Research-Papers17:00 - 17:15
Other
Stephanie WeirichUniversity of Pennsylvania, USA
Media Attached
POPL-2019-Research-Papers17:15 - 17:25
Awards
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
POPL-2019-Research-Papers17:25 - 17:30
Other
Brigitte PientkaMcGill University, Lars BirkedalAarhus University
Media Attached
POPL-2019-Research-Papers17:30 - 17:40
Other
Rance CleavelandUniversity of Maryland
Media Attached
POPL-2019-Research-Papers17:40 - 17:50
Other
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
POPL-2019-Research-Papers17:50 - 18:00
Other
Jens PalsbergUniversity of California, Los Angeles (UCLA)
Media Attached
POPL-2019-Research-Papers
18:15 - 19:15: Research Papers - Reception supported by Facebook at Galeria
POPL-2019-Research-Papers18:15 - 19:15
Social Event

Fri 18 Jan

POPL-2019-Research-Papers
09:00 - 10:05: Research Papers - SRC Announcement & Keynote II at Sala I + II
Chair(s): Stephanie WeirichUniversity of Pennsylvania, USA
POPL-2019-Student-Research-Competition09:00 - 09:05
Awards
Niki VazouIMDEA Software Institute
Media Attached
POPL-2019-Research-Papers09:05 - 10:05
Talk
Brigitte PientkaMcGill University
Media Attached File Attached
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
10:35 - 12:03: Research Papers - Dependent Types at Sala I
Chair(s): Andreas AbelGothenburg University
POPL-2019-Research-Papers10:35 - 10:57
Talk
Evan CavalloCarnegie Mellon University, Robert Harper
Link to publication DOI Pre-print Media Attached File Attached
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:19 - 11:41
Talk
Gaetan Gilbert, Jesper CockxChalmers | University of Gothenburg, Matthieu SozeauInria, Nicolas TabareauInria
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:41 - 12:03
Talk
Rasmus Ejlers MøgelbergIT University of Copenhagen, Niccolò VeltriIT University of Copenhagen
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
12:03 - 13:45: Research Papers - Friday Lunch at Lunch Room
POPL-2019-Research-Papers12:03 - 13:45
Lunch
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
13:45 - 14:51: Research Papers - Semantics at Sala I
Chair(s): Noam ZeilbergerUniversity of Birmingham, UK
POPL-2019-Research-Papers13:45 - 14:07
Talk
Wen KokkeUniversity of Edinburgh, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark
Link to publication DOI Media Attached
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
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
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
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
15:21 - 16:27: Research Papers - Security and Information Flow at Sala I
Chair(s): David WalkerPrinceton University
POPL-2019-Research-Papers15:21 - 15:43
Talk
James ParkerUniversity of Maryland, Niki VazouIMDEA Software Institute, Michael HicksUniversity of Maryland, College Park
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
G. A. KavvosWesleyan University
Link to publication DOI Pre-print 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
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Verified Compilation and Concurrency at Sala I
Chair(s): Michael GreenbergPomona College
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
Yuting WangYale University, Pierre WilkeYale University, Zhong ShaoYale University
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
17:45 - 18:45: Research Papers - Friday Social Hour at Galeria
POPL-2019-Research-Papers17:45 - 18:45
Social Event

Sat 19 Jan

OBT-2019-papers
09:00 - 10:30: Off the Beaten Track 2019 - Keynote at Sala VII
Chair(s): Luke Church
OBT-2019-papers09:30 - 10:30
Talk
Stephen KellUniversity of Kent
CoqPL-2019
09:00 - 10:30: CoqPL - Keynote & Contributed Talks 1 at Sala VI
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
CoqPL-201909:00 - 09:05
Day opening
CoqPL-201909:05 - 10:05
Talk
CoqPL-201910:05 - 10:30
Talk
Sam GruetterMassachusetts Institute of Technology
File Attached
CoqPL-2019
11:15 - 12:30: CoqPL - Contributed Talks 2 at Sala VI
Chair(s): Enrico TassiINRIA
CoqPL-201911:15 - 11:40
Talk
Kiran GopinathanUniversity College London, Ilya SergeyYale-NUS College and National University of Singapore
File Attached
CoqPL-201911:40 - 12:05
Talk
Karl PalmskogUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
File Attached
CoqPL-201912:05 - 12:30
Talk
File Attached
POPL-2019-Workshops
12:30 - 14:00: Workshops - Saturday Lunch at Lunch Room
POPL-2019-Workshops12:30 - 14:00
Lunch
OBT-2019-papers
14:00 - 15:30: Off the Beaten Track 2019 - Afternoon Talks at Sala VII
Chair(s): Luke Church
OBT-2019-papers14:00 - 14:45
Other
OBT-2019-papers14:45 - 15:30
Talk
Joachim KristensenDIKU, University of Copenhagen, Ken Friis LarsenDIKU, University of Copenhagen
CoqPL-2019
14:00 - 15:30: CoqPL - Contributed Talks 3 & Coq Developers at Sala VI
Chair(s): Qinxiang CaoShanghai Jiao Tong University
CoqPL-201914:00 - 14:25
Talk
Vadim ZalivaCarnegie Mellon University, USA, Matthieu SozeauInria
File Attached
CoqPL-201914:25 - 14:50
Talk
File Attached
CoqPL-201914:50 - 15:30
Demonstration
CoqPL-2019
16:00 - 17:40: CoqPL - Contributed Talks 4 at Sala VI
Chair(s): Robbert KrebbersDelft University of Technology
CoqPL-201916:00 - 16:25
Talk
Qinxiang CaoShanghai Jiao Tong University
File Attached
CoqPL-201916:25 - 16:50
Talk
Michael GreenbergPomona College, Joseph C. OsbornPomona College
File Attached
CoqPL-201916:50 - 17:15
Talk
File Attached
CoqPL-201917:15 - 17:40
Talk
Georgy LukyanovNewcastle University, UK, Andrey MokhovNewcastle University, UK
File Attached
OBT-2019-papers
16:00 - 17:30: Off the Beaten Track 2019 - Informal + Business Meeting at Sala VII
OBT-2019-papers16:00 - 17:30
Meeting

Sun 13 Jan 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Lunch Room
Sala III
09:00 - 10:30
Sala VI
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
Sala VII
08:30 - 10:30
11:00 - 12:30
13:30 - 15:30
16:00 - 18:25

Mon 14 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Galeria
Lunch Room
Sala III
09:00 - 10:30
16:00 - 17:30
Sala IV
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
Sala IX
Sala V
Sala VI
Sala VII
09:00 - 10:30
Sala VIII
Sala X
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
Sala XII

Fri 18 Jan 2019