SPLASH 2022 (series) /
V-OOPSLASPLASH 2022
This year, we will have a virtual OOPSLA track to provide the authors an opportunity to present their work without travelling to New Zealand. The virtual event will happen on November 29 and 30 (in most time zones).
Dates
Wed 30 NovDisplayed time zone: Auckland, Wellington change
Wed 30 Nov
Displayed time zone: Auckland, Wellington change
04:00 - 05:30 | Session 1V-OOPSLA at Virtual Airmeet Room Chair(s): Amal Ahmed Northeastern University, USA, Jan Vitek Northeastern University | ||
04:00 15mTalk | Generic Go to Go: Dictionary-Passing, Monomorphisation, and HybridPre-recorded 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 15mResearch paper | Coverage-guided tensor compiler fuzzing with joint IR-pass mutationPre-recorded 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 15mTalk | Modular Verification of Op-Based CRDTs in Separation Logic 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 15mTalk | Monadic and Comonadic Aspects of Dependency Analysis V-OOPSLA Pritam Choudhury University of Pennsylvania DOI | ||
05:00 30mLive Q&A | Q&A for Session 1 V-OOPSLA | ||
21:00 - 22:45 | Session 2V-OOPSLA at Virtual Airmeet Room Chair(s): Sophia Drossopoulou Meta and Imperial College London | ||
21:00 15mTalk | Taming Transitive Redundancy for Context-Free Language ReachabilityPre-recorded 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 15mTalk | Scalable Linear Invariant Generation with Farkas’ Lemma 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 15mTalk | Consistency-Preserving Propagation for SMT Solving of Concurrent Program VerificationPre-recorded V-OOPSLA DOI | ||
21:45 15mTalk | Oracle-Free Repair Synthesis for Floating-Point ProgramsPre-recorded 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 15mTalk | Neurosymbolic Repair for Low-Code Formula Languages 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 30mLive Q&A | Q&A for Session 2 V-OOPSLA | ||
Thu 1 DecDisplayed time zone: Auckland, Wellington change
Thu 1 Dec
Displayed time zone: Auckland, Wellington change
01:00 - 02:30 | |||
01:00 15mResearch paper | SHARP: fast incremental context-sensitive pointer analysis for JavaPre-recorded V-OOPSLA DOI | ||
01:15 15mTalk | Reasoning about Distributed Reconfigurable Systems 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 15mTalk | Type-Directed Synthesis of Visualizations from Natural Language Queries V-OOPSLA Jocelyn (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 15mTalk | Model Checking for a Multi-Execution Memory Model V-OOPSLA DOI | ||
02:00 30mLive Q&A | Q&A for Session 3 V-OOPSLA | ||