VMIL 2022
Dates to be announced Auckland, New Zealand
co-located with SPLASH 2022
VenueUniversity of Auckland
Room nameVirtual Airmeet Room
Floor0
Room Information

https://www.airmeet.com/

Program

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

Wed 30 Nov

Displayed time zone: Auckland, Wellington change

04:00 - 05:30
Session 1SPLASH V-OOPSLA at Virtual Airmeet Room
Chair(s): Amal Ahmed Northeastern University, USA, Jan Vitek Northeastern University
04:00
15m
Talk
Generic Go to Go: Dictionary-Passing, Monomorphisation, and HybridPre-recorded
SPLASH V-OOPSLA
Stephen Ellis Imperial College London, Shuofei Zhu Pennsylvania State University, Nobuko Yoshida University of Oxford, Linhai Song Pennsylvania State University
DOI
04:15
15m
Research paper
Coverage-guided tensor compiler fuzzing with joint IR-pass mutationPre-recorded
SPLASH V-OOPSLA
Jiawei Liu University of Illinois at Urbana-Champaign, Yuxiang Wei Tongji University, Sen Yang Fudan University, Yinlin Deng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign
DOI
04:30
15m
Talk
Modular Verification of Op-Based CRDTs in Separation Logic
SPLASH V-OOPSLA
Abel Nieto Aarhus University, Léon Gondelman Aarhus University, Alban Reynaud ENS Lyon, Amin Timany Aarhus University, Lars Birkedal Aarhus University
DOI
04:45
15m
Talk
Monadic and Comonadic Aspects of Dependency Analysis
SPLASH V-OOPSLA
Pritam Choudhury University of Pennsylvania
DOI
05:00
30m
Live Q&A
Q&A for Session 1
SPLASH V-OOPSLA

21:00 - 22:45
Session 2SPLASH V-OOPSLA at Virtual Airmeet Room
Chair(s): Sophia Drossopoulou Meta and Imperial College London
21:00
15m
Talk
Taming Transitive Redundancy for Context-Free Language ReachabilityPre-recorded
SPLASH V-OOPSLA
Yuxiang Lei University of Technology Sydney, Yulei Sui University of New South Wales, Sydney, Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
DOI
21:15
15m
Talk
Scalable Linear Invariant Generation with Farkas’ Lemma
SPLASH V-OOPSLA
Hongming Liu Shanghai Jiao Tong University, Hongfei Fu Shanghai Jiao Tong University, zhiyong yu Shanghai Jiao Tong University, Jiaxin Song Shanghai Jiao Tong University, Guoqiang Li Shanghai Jiao Tong University
DOI
21:30
15m
Talk
Consistency-Preserving Propagation for SMT Solving of Concurrent Program VerificationPre-recorded
SPLASH V-OOPSLA
Zhihang Sun Tsinghua University, Hongyu Fan Tsinghua University, Fei He Tsinghua University
DOI
21:45
15m
Talk
Oracle-Free Repair Synthesis for Floating-Point ProgramsPre-recorded
SPLASH V-OOPSLA
Daming Zou ETH Zurich, Yuchen Gu Peking University, Yuanfeng Shi Peking University, Mingzhe Wang Princeton University, Yingfei Xiong Peking University, Zhendong Su ETH Zurich
DOI
22:00
15m
Talk
Neurosymbolic Repair for Low-Code Formula Languages
SPLASH V-OOPSLA
Rohan Bavishi University of California at Berkeley, Harshit Joshi Microsoft, José Pablo Cambronero Microsoft, Anna Fariha Microsoft, Sumit Gulwani Microsoft, Vu Le Microsoft, Ivan Radiček Microsoft, Ashish Tiwari Microsoft
DOI
22:15
30m
Live Q&A
Q&A for Session 2
SPLASH V-OOPSLA

Thu 1 Dec

Displayed time zone: Auckland, Wellington change

01:00 - 02:30
Session 3SPLASH V-OOPSLA at Virtual Airmeet Room
Chair(s): Atsushi Igarashi Kyoto University
01:00
15m
Research paper
SHARP: fast incremental context-sensitive pointer analysis for JavaPre-recorded
SPLASH V-OOPSLA
Bozhen Liu Texas A&M University, USA, Jeff Huang Texas A&M University
DOI
01:15
15m
Talk
Reasoning about Distributed Reconfigurable Systems
SPLASH V-OOPSLA
Emma Ahrens RWTH Aachen University, Marius Bozga CNRS; Université Grenoble Alpes, Radu Iosif CNRS; Université Grenoble Alpes, Joost-Pieter Katoen RWTH Aachen University
DOI
01:30
15m
Talk
Type-Directed Synthesis of Visualizations from Natural Language Queries
SPLASH V-OOPSLA
Qiaochu Chen University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Celeste Barnaby University of Texas at Austin, Abby Criswell University of Texas at Austin, Chenglong Wang Microsoft Research, Greg Durrett University of Texas at Austin, Işıl Dillig University of Texas at Austin
DOI
01:45
15m
Talk
Model Checking for a Multi-Execution Memory Model
SPLASH V-OOPSLA
Evgenii Moiseenko JetBrains Research, Michalis Kokologiannakis MPI-SWS, Viktor Vafeiadis MPI-SWS
DOI
02:00
30m
Live Q&A
Q&A for Session 3
SPLASH V-OOPSLA

Wed 30 Nov

Displayed time zone: Auckland, Wellington change

Room4:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Virtual Airmeet Room

Thu 1 Dec

Displayed time zone: Auckland, Wellington change