Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Invited talk 1VMCAI at Amphitheater 44
Chair(s): David MonniauxCNRS, VERIMAG
09:00 - 10:00
Talk
Detecting Strict Aliasing Violations in the Wild
VMCAI
Pascal CuoqTrust-in-Soft
File Attached
10:30 - 12:00: Program AnalysisVMCAI at Amphitheater 44
Chair(s): Boris YakobowskiCEA - LIST
10:30 - 11:00
Talk
Partitioned Memory Models for Program Analysis.
VMCAI
Wei WangGoogle, Inc., Clark BarrettStanford University, Thomas WiesNew York University
File Attached
11:00 - 11:30
Talk
Property Directed Reachability for Proving Absence of Concurrent Modification Errors
VMCAI
Asya FrumkinTel Aviv University, Yotam M. Y. FeldmanTel Aviv University, Ondřej LhotákUniversity of Waterloo, Canada, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university
File Attached
11:30 - 12:00
Talk
Stabilizing Floating-Point Programs using Provenance Analysis
VMCAI
Yijia GuNortheastern University, Thomas WahlNortheastern University
14:00 - 15:30: Concurrency 1VMCAI at Amphitheater 44
Chair(s): Camille CotiLIPN, Université Paris 13
14:00 - 14:30
Talk
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
VMCAI
14:30 - 15:00
Talk
Independence Abstractions and Models of Concurrency
VMCAI
Vijay D'SilvaGoogle Inc., Daniel KroeningUniversity of Oxford, Marcelo SousaUniversity of Oxford
15:00 - 15:30
Talk
Static Analysis of Communicating Process using Symbolic Transducers
VMCAI
Vincent BotbolCEA LIST + LIP6 Université Pierre & Marie Curie, Tristan Le GallCEA LIST, Emmanuel ChaillouxLIP6 - UPMC
Media Attached File Attached
16:00 - 17:30: Decision proceduresVMCAI at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
16:00 - 16:30
Talk
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
VMCAI
Ernst Moritz HahnState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Sven ScheweUniversity of Liverpool, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
File Attached
16:30 - 17:00
Talk
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
VMCAI
Andrew ReynoldsEPFL, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Cristina SerbanVERIMAG, CNRS, Université Grenoble-Alpes
File Attached
17:00 - 17:30
Talk
Matching multiplications in Bit-Vector formulas
VMCAI
Supratik ChakrabortyIIT Bombay, Ashutosh Gupta, Rahul JainTata Institute of Fundamental Research
File Attached

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Invited talk 2VMCAI at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
09:00 - 10:00
Talk
Verified Concurrent Code: Tricks of the Trade
VMCAI
A: Ernie CohenAmazon Web Services
10:30 - 12:00: Numerical domainsVMCAI at Amphitheater 44
Chair(s): Laure GonnordUniversity of Lyon & LIP, France
10:30 - 11:00
Talk
Sound Bit-Precise Numerical Domains
VMCAI
Tushar SharmaUniversity of Wisconsin - Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
File Attached
11:00 - 11:30
Talk
Efficient Elimination of Redundancies in Polyhedra using Raytracing
VMCAI
Media Attached File Attached
11:30 - 12:00
Talk
Finding Relevant Templates via the Principal Component Analysis
VMCAI
Yassamine SeladjiUniversity of Tlemcen
File Attached
14:00 - 15:30: Model-checking and bug findingVMCAI at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
14:00 - 14:30
Talk
Effective Bug Finding in C Programs with Shape and Effect Abstraction
VMCAI
Iago AbalIT University of Copenhagen, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
14:30 - 15:00
Talk
Reduction of Workflow Nets for Generalised Soundness Verification
VMCAI
Hadrien BrideFemto-ST / Université de Franche-Comté, Olga KouchnarenkoFemto-ST / Université de Franche-Comté, Fabien PeureuxFemto-ST / Université de Franche-Comté + Smartesting S&S
Media Attached
15:00 - 15:30
Talk
Dynamic Reductions for Model Checking Concurrent Software.
VMCAI
Henning GüntherTechnische Universität Wien, Alfons LaarmanVienna University of Technology, Ana SokolovaUniversity of Salzburg, Georg WeissenbacherTechnische Universität Wien
File Attached
16:00 - 17:30: Symbolic analysis and invariant synthesisVMCAI at Amphitheater 44
Chair(s): Constantin EneaLIAFA, Université Paris Diderot
16:00 - 16:30
Talk
Block-wise abstract interpretation by combining abstract domains with SMT
VMCAI
16:30 - 17:00
Talk
IC3 - Flipping the E in ICE
VMCAI
Yakir Vizel, Arie GurfinkelUniversity of Waterloo, Sharon ShohamTel Aviv university, Sharad MalikPrinceton University
17:00 - 17:30
Talk
Counterexample Validation and Interpolation-Based Refinement for Forest Automata
VMCAI
Lukáš Holík, Martin HruskaBrno University of Technology , Ondřej LengálBrno University of Technology , Adam RogalewiczBrno University of Technology , Tomáš VojnarBrno University of Technology
19:30 - 22:00: BanquetVMCAI at Procope

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Invited talk 3VMCAI at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
09:00 - 10:00
Talk
Verification of Cancer Programs
VMCAI
Jasmin FisherMicrosoft Research
10:30 - 12:00: Model Checking and SynthesisVMCAI at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
10:30 - 11:00
Talk
Reachability for dynamic parametric processes
VMCAI
Anca MuschollUniversité de Bordeaux / LaBRI, Helmut SeidlTechnische Universität München, Igor WalukiewiczCNRS, LaBRI
11:00 - 11:30
Talk
Synthesizing Non-Vacuous Systems
VMCAI
Roderick BloemInstitute of Software Technology, Graz University of Technology , Hana Chockler, Masoud EbrahimiInstitute of Applied Information Processing and Communications, Graz University of Technology, Ofer StrichmanTechnion
File Attached
11:30 - 12:00
Talk
Solving Nonlinear Integer Arithmetic with MCSat
VMCAI
Dejan JovanovićSRI International
14:00 - 15:30: Abstract InterpretationVMCAI at Amphitheater 44
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
14:00 - 14:30
Talk
Complete Abstractions and Subclassical Modal Logics
VMCAI
Vijay D'SilvaGoogle, Marcelo SousaUniversity of Oxford
14:30 - 15:00
Talk
Structuring Abstract Interpreters through State and Value Abstractions
VMCAI
David BühlerCEA LIST, Boris YakobowskiCEA - LIST, Sandrine BlazyUniversity of Rennes 1, France
Media Attached
15:00 - 15:30
Talk
Conjunctive Abstract Interpretation using Paramodulation
VMCAI
Mooly SagivTel Aviv University, A: Or OzeriTel Aviv university, Oded PadonTel Aviv University, Noam RinetzkyTel Aviv University
Media Attached
16:00 - 17:30: Concurrency 2VMCAI at Amphitheater 44
Chair(s): David MonniauxCNRS, VERIMAG
16:00 - 16:30
Talk
Using Abstract Interpretation to Correct Synchronization Faults
VMCAI
Pietro FerraraIBM Research, Omer TrippIBM Thomas J. Watson Research Center, Peng LiuPurdue University, Eric KoskinenYale University
16:30 - 17:00
Talk
Detecting All High-Level Dataraces in an RTOS Kernel.
VMCAI
Suvam MukherjeeIndian Institute of Science, Arunkumar SIndian Institute of Science, Deepak D'Souza
17:00 - 17:30
Talk
Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions
VMCAI
Raphaël MonatEcole Normale Supérieure de Lyon, Antoine MinéUPMC, France

Sun 15 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)