Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala III
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 13 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Invited Talk 1VMCAI at Sala III
Chair(s): Constantin EneaUniversité Paris Diderot
09:00
90m
Talk
Under and Over Approximated Reachability Analysis for the Verifcation of Control Systems
VMCAI
Sylvie PutotÉcole Polytechnique
14:00 - 15:30
Program SynthesisVMCAI at Sala III
Chair(s): Nuno P. LopesMicrosoft Research
14:00
30m
Talk
Minimal Synthesis of String To String Functions From Examples
VMCAI
Jad HamzaLIAFA, Université Paris Diderot, Viktor KunčakEPFL, Switzerland
14:30
30m
Talk
Lazy but Effective Functional Synthesis
VMCAI
Grigory FedyukovichPrinceton University, Arie GurfinkelUniversity of Waterloo, Aarti GuptaPrinceton University
15:00
30m
Talk
Automatic Program Repair using Formal Verification and Expression Templates
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
30m
Talk
Demand Control-Flow Analysis
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
30m
Talk
Effect-driven Flow Analysis
VMCAI
Jens NicolayVrije Universiteit Brussel, Belgium, Quentin StiévenartVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
17:00
30m
Talk
Relatively Complete Pushdown Analysis of Escape Continuations
VMCAI
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School

Conference Day
Mon 14 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Invited Talk 2VMCAI at Sala III
Chair(s): Lenore Zuck
09:00
90m
Talk
Designing Self-Certifying Software Systems
VMCAI
Kedar NamjoshiBell Labs, Nokia
11:00 - 12:30
Decision ProceduresVMCAI at Sala III
Chair(s): Kedar NamjoshiBell Labs, Nokia
11:00
30m
Talk
Solving and Interpolating Constant Arrays Based on Weak Equivalences
VMCAI
Jochen HoenickeUniversität Freiburg, Tanja SchindlerUniversity of Freiburg
11:30
30m
Talk
A Decidable Logic for Tree Data-Structures with Measurements
VMCAI
Xiaokang QiuPurdue University, Yanjun WangPurdue University
File Attached
12:00
30m
Talk
A Practical Algorithm for Structure Embedding
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
30m
Talk
Syntactic Partial Order Compression for Probabilistic Reachability
VMCAI
14:30
30m
Talk
Termination of Nondeterministic Probabilistic Programs
VMCAI
Hongfei FuIST Austria, Krishnendu ChatterjeeIST Austria
15:00
30m
Talk
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
VMCAI
Stefan Haar, Juraj KolčákLSV, CNRS & ENS Cachan, University Paris Saclay, Loïc Paulevé

Conference Day
Tue 15 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Invited Talk 3VMCAI at Sala III
Chair(s): Ruzica PiskacYale University, USA
09:00
90m
Talk
Semantics for Compiler IRs: Undefined Behavior is not Evil!
VMCAI
Nuno P. LopesMicrosoft Research
Media Attached
14:00 - 15:30
Software VerificationVMCAI at Sala III
Chair(s): Grigory FedyukovichPrinceton University
14:00
30m
Talk
Type-directed Bounding of Collections in Reactive Programs
VMCAI
Tianhan LuUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Ashutosh Trivedi
14:30
30m
Talk
Exploiting Pointer Analysis in Memory Models for Deductive Verification
VMCAI
Quentin Bouillaguet, François BobotCEA, Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France, Boris YakobowskiCEA - LIST
File Attached
15:00
30m
Talk
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
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
30m
Talk
On the Semantics of Snapshot Isolation
VMCAI
Azalea RaadMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
16:30
30m
Talk
Fast BGP Simulation of Large Datacenters
VMCAI
Nuno P. LopesMicrosoft Research, Andrey RybalchenkoMicrosoft Research
Pre-print
17:00
30m
Talk
Parametric Timed Broadcast Protocols
VMCAI
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Benoit Delahaye, Paulin Fournier, Didier Lime
File Attached

Conference Day
Thu 17 Jan

Displayed time zone: Belfast change

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

Conference Day
Sun 13 Jan

Displayed time zone: Belfast change

Conference Day
Mon 14 Jan

Displayed time zone: Belfast change

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

Conference Day
Tue 15 Jan

Displayed time zone: Belfast change

Conference Day
Thu 17 Jan

Displayed time zone: Belfast change