Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala III
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

Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Invited Talk 1VMCAI at Sala III
Chair(s): Constantin EneaUniversité Paris Diderot
09:00 - 10:30
Talk
VMCAI
Sylvie PutotÉcole Polytechnique
14:00 - 15:30: Program SynthesisVMCAI at Sala III
Chair(s): Nuno P. LopesMicrosoft Research
14:00 - 14:30
Talk
VMCAI
Jad HamzaLIAFA, Université Paris Diderot, Viktor KunčakEPFL, Switzerland
14:30 - 15:00
Talk
VMCAI
Grigory FedyukovichPrinceton University, Arie GurfinkelUniversity of Waterloo, Aarti GuptaPrinceton University
15:00 - 15:30
Talk
VMCAI
Thanh-Toan Nguyen, Quang-Trung TaNational University of Singapore, Wei-Ngan ChinNational University of Singapore
16:00 - 17:30: Abstract Interpretation (2)VMCAI at Sala III
Chair(s): Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
16:00 - 16:30
Talk
VMCAI
Kimball GermaneUniversity of Utah, Jay McCarthyUniversity of Massachusetts Lowell, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
16:30 - 17:00
Talk
VMCAI
Jens NicolayVrije Universiteit Brussel, Belgium, Quentin StiévenartVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
17:00 - 17:30
Talk
VMCAI
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Invited Talk 2VMCAI at Sala III
Chair(s): Lenore Zuck
09:00 - 10:30
Talk
VMCAI
Kedar NamjoshiBell Labs, Nokia
11:00 - 12:30: Decision ProceduresVMCAI at Sala III
Chair(s): Kedar NamjoshiBell Labs, Nokia
11:00 - 11:30
Talk
VMCAI
Jochen HoenickeUniversität Freiburg, Tanja SchindlerUniversity of Freiburg
11:30 - 12:00
Talk
VMCAI
Xiaokang QiuPurdue University, Yanjun WangPurdue University
File Attached
12:00 - 12:30
Talk
VMCAI
Charlie MurphyPrinceton University, Zachary KincaidPrinceton University
File Attached
14:00 - 15:30: Probabilistic SystemsVMCAI at Sala III
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
14:00 - 14:30
Talk
VMCAI
14:30 - 15:00
Talk
VMCAI
Hongfei FuIST Austria, Krishnendu ChatterjeeIST Austria
15:00 - 15:30
Talk
VMCAI
Stefan Haar, Juraj KolčákLSV, CNRS & ENS Cachan, University Paris Saclay, Loïc Paulevé

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Invited Talk 3VMCAI at Sala III
Chair(s): Ruzica PiskacYale University, USA
09:00 - 10:30
Talk
VMCAI
Nuno P. LopesMicrosoft Research
11:00 - 12:30: Software Verification and SynthesisVMCAI at Sala III
Chair(s): Ori LahavTel Aviv University
11:00 - 11:30
Talk
VMCAI
Viorel Preoteasa, Iulia Dragomir, Stavros TripakisAalto University and UC Berkeley
Link to publication DOI Pre-print File Attached
11:30 - 12:00
Talk
VMCAI
12:00 - 12:30
Talk
VMCAI
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin-Madison
14:00 - 15:30: Software VerificationVMCAI at Sala III
Chair(s): Grigory FedyukovichPrinceton University
14:00 - 14:30
Talk
VMCAI
Tianhan LuUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Ashutosh Trivedi
14:30 - 15:00
Talk
VMCAI
Quentin Bouillaguet, François BobotCEA, Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France, Boris YakobowskiCEA - LIST
File Attached
15:00 - 15:30
Talk
VMCAI
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
16:00 - 17:30: Networks and ConcurrencyVMCAI at Sala III
Chair(s): Cezara DrăgoiINRIA, ENS, CNRS
16:00 - 16:30
Talk
VMCAI
Azalea RaadMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
16:30 - 17:00
Talk
VMCAI
Nuno P. LopesMicrosoft Research, Andrey RybalchenkoMicrosoft Research
17:00 - 17:30
Talk
VMCAI
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Benoit Delahaye, Paulin Fournier, Didier Lime
File Attached

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

10:30 - 12:30: Finalist Poster PresentationsStudent Research Competition at Sala III

Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala III

Tue 15 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