Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
VenueOnline
Room namePLDI-B
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
Wed 23 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 09:35
Talks 1B: VerificationPLDI at PLDI-B +12h
09:00
5m
Talk
Proof Repair across Type Equivalences
PLDI
Talia RingerUniversity of Illinois at Urbana-Champaign, RanDair PorterUniversity of Washington, Nathaniel YazdaniNortheastern University, John LeoHalfaya Research, Dan GrossmanUniversity of Washington
DOI
09:05
5m
Talk
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
PLDI
David Castro-PerezUniversity of Kent, Francisco FerreiraImperial College London, Lorenzo GheriImperial College London, Nobuko YoshidaImperial College London
DOI
09:10
5m
Talk
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
PLDI
Yurii KostyukovSt. Petersburg State University; JetBrains Research, Dmitry MordvinovSt. Petersburg State University; JetBrains Research, Grigory FedyukovichFlorida State University
DOI
09:15
5m
Talk
CoStar: A Verified ALL(*) Parser
PLDI
Sam LasserTufts University, Chris CasinghinoDraper, Kathleen FisherTufts University, Cody RouxDraper
DOI
09:20
5m
Talk
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
PLDI
Caleb StanfordUniversity of Pennsylvania, Margus VeanesMicrosoft Research, Nikolaj BjørnerMicrosoft Research
DOI
09:25
5m
Talk
Integration Verification across Software and Hardware for a Simple Embedded System
PLDI
Andres ErbsenMassachusetts Institute of Technology, Samuel GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, Clark WoodMassachusetts Institute of Technology, Adam ChlipalaMassachusetts Institute of Technology
DOI
09:30
5m
Talk
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
PLDI
Fei HeTsinghua University, Zhihang SunTsinghua University, Hongyu FanTsinghua University
DOI
13:30 - 14:05
Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B +12h
13:30
5m
Talk
Wire Sorts: A Language Abstraction for Safe Hardware Composition
PLDI
Michael ChristensenUniversity of California at Santa Barbara, Timothy SherwoodUniversity of California at Santa Barbara, Jonathan BalkindUniversity of California at Santa Barbara, Ben HardekopfUniversity of California at Santa Barbara
DOI
13:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John RennerUniversity of California at San Diego, Alex Sanchez-SternUniversity of California at San Diego, Fraser BrownStanford University, Sorin LernerUniversity of California at San Diego, Deian StefanUniversity of California at San Diego
DOI
13:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk ParadisETH Zurich, Benjamin BichselETH Zurich, Samuel SteffenETH Zurich, Martin VechevETH Zurich
DOI
13:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou TaoColumbia University, Yunong ShiUniversity of Chicago, Jianan YaoColumbia University, John HuiColumbia University, Frederic T. ChongUniversity of Chicago, Ronghui GuColumbia University
DOI
13:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun YuUTS, Jens PalsbergUniversity of California at Los Angeles
DOI
13:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike RaineyCarnegie Mellon University, Ryan R. NewtonFacebook, Kyle HaleIllinois Institute of Technology, Nikos HardavellasNorthwestern University, Simone CampanoniNorthwestern University, Peter DindaNorthwestern University, Umut A. AcarCarnegie Mellon University
DOI
14:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael FischerStanford University, Giovanni CampagnaStanford University, Euirim ChoiStanford University, Monica S. LamStanford University
DOI Media Attached
21:00 - 21:35
Talks 1B: VerificationPLDI at PLDI-B
21:00
5m
Talk
Proof Repair across Type Equivalences
PLDI
Talia RingerUniversity of Illinois at Urbana-Champaign, RanDair PorterUniversity of Washington, Nathaniel YazdaniNortheastern University, John LeoHalfaya Research, Dan GrossmanUniversity of Washington
DOI
21:05
5m
Talk
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
PLDI
David Castro-PerezUniversity of Kent, Francisco FerreiraImperial College London, Lorenzo GheriImperial College London, Nobuko YoshidaImperial College London
DOI
21:10
5m
Talk
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
PLDI
Yurii KostyukovSt. Petersburg State University; JetBrains Research, Dmitry MordvinovSt. Petersburg State University; JetBrains Research, Grigory FedyukovichFlorida State University
DOI
21:15
5m
Talk
CoStar: A Verified ALL(*) Parser
PLDI
Sam LasserTufts University, Chris CasinghinoDraper, Kathleen FisherTufts University, Cody RouxDraper
DOI
21:20
5m
Talk
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
PLDI
Caleb StanfordUniversity of Pennsylvania, Margus VeanesMicrosoft Research, Nikolaj BjørnerMicrosoft Research
DOI
21:25
5m
Talk
Integration Verification across Software and Hardware for a Simple Embedded System
PLDI
Andres ErbsenMassachusetts Institute of Technology, Samuel GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, Clark WoodMassachusetts Institute of Technology, Adam ChlipalaMassachusetts Institute of Technology
DOI
21:30
5m
Talk
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
PLDI
Fei HeTsinghua University, Zhihang SunTsinghua University, Hongyu FanTsinghua University
DOI

Conference Day
Thu 24 Jun

Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:05
Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B
01:30
5m
Talk
Wire Sorts: A Language Abstraction for Safe Hardware Composition
PLDI
Michael ChristensenUniversity of California at Santa Barbara, Timothy SherwoodUniversity of California at Santa Barbara, Jonathan BalkindUniversity of California at Santa Barbara, Ben HardekopfUniversity of California at Santa Barbara
DOI
01:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John RennerUniversity of California at San Diego, Alex Sanchez-SternUniversity of California at San Diego, Fraser BrownStanford University, Sorin LernerUniversity of California at San Diego, Deian StefanUniversity of California at San Diego
DOI
01:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk ParadisETH Zurich, Benjamin BichselETH Zurich, Samuel SteffenETH Zurich, Martin VechevETH Zurich
DOI
01:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou TaoColumbia University, Yunong ShiUniversity of Chicago, Jianan YaoColumbia University, John HuiColumbia University, Frederic T. ChongUniversity of Chicago, Ronghui GuColumbia University
DOI
01:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun YuUTS, Jens PalsbergUniversity of California at Los Angeles
DOI
01:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike RaineyCarnegie Mellon University, Ryan R. NewtonFacebook, Kyle HaleIllinois Institute of Technology, Nikos HardavellasNorthwestern University, Simone CampanoniNorthwestern University, Peter DindaNorthwestern University, Umut A. AcarCarnegie Mellon University
DOI
02:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael FischerStanford University, Giovanni CampagnaStanford University, Euirim ChoiStanford University, Monica S. LamStanford University
DOI Media Attached
09:00 - 09:40
Talks 3B: Architectures and SystemsPLDI at PLDI-B +12h
09:00
5m
Talk
Reticle: A Virtual Machine for Programming Modern FPGAs
PLDI
Luis VegaUniversity of Washington, Joseph McMahanUniversity of Washington, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington
DOI
09:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin ChoKAIST, Sung-Hwan LeeSeoul National University, Azalea RaadImperial College London, Jeehoon KangKAIST
DOI
09:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis MpeisUniversity of Edinburgh, Pavlos PetoumenosUniversity of Manchester, Kim HazelwoodFacebook AI Research, Hugh LeatherFacebook
Link to publication DOI Media Attached
09:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex ReinkingMicrosoft Research, Ningning XieUniversity of Hong Kong, Leonardo de MouraMicrosoft Research, Daan LeijenMicrosoft Research
DOI
09:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus OmarUniversity of Michigan, David MoonUniversity of Michigan, Andrew BlinnUniversity of Michigan, Ian VoyseyCarnegie Mellon University, Nick CollinsUniversity of Chicago, Ravi ChughUniversity of Chicago
DOI Pre-print
09:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng XuUniversity of New Hampshire, Binbin LiuUniversity of New Hampshire; University of Science and Technology of China, Weijie FengUniversity of Science and Technology of China, Jiang MingUniversity of Texas at Arlington, Qilong ZhengUniversity of Science and Technology of China, Jing LiUniversity of Science and Technology of China, Qiaoyan YuUniversity of New Hampshire
DOI
09:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
09:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu RoyNortheastern University, Tirthak PatelNortheastern University, Vijay GadepallyMIT Lincoln Laboratory, Devesh TiwariNortheastern University
DOI
13:30 - 14:05
Talks 4B: Concurrency, Compilation, and DebuggingPLDI at PLDI-B +12h
13:30
5m
Talk
Mirror: Making Lock-Free Data Structures Persistent
PLDI
Michal FriedmanTechnion, Erez PetrankTechnion, Pedro RamalheteCisco Systems
DOI
13:35
5m
Talk
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
PLDI
Huaipan JiangPennsylvania State University, Haibo ZhangPennsylvania State University, Xulong TangUniversity of Pittsburgh, Vineetha GovindarajPennsylvania State University, Jack SampsonPennsylvania State University, Mahmut Taylan KandemirPennsylvania State University, Danfeng ZhangPennsylvania State University
DOI
13:40
5m
Talk
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
PLDI
Nilanjana BasuUniversity of Illinois at Chicago, Claudio MontanariUniversity of Illinois at Chicago, Jakob ErikssonUniversity of Illinois at Chicago
DOI
13:45
5m
Talk
Alive2: Bounded Translation Validation for LLVM
PLDI
Nuno P. LopesMicrosoft Research, Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah
DOI Pre-print
13:50
5m
Talk
Incremental Whole-Program Analysis in Datalog with Lattices
PLDI
Tamás SzabóJGU Mainz; Workday, Sebastian ErdwegJGU Mainz, Gábor BergmannBudapest University of Technology and Economics; IncQuery Labs
DOI
13:55
5m
Talk
Logical Bytecode Reduction
PLDI
Christian Gram KalhaugeUniversity of California at Los Angeles; Technical University of Denmark, Jens PalsbergUniversity of California at Los Angeles
DOI
14:00
5m
Talk
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
PLDI
Michael SammlerMPI-SWS, Rodolphe LepigreMPI-SWS, Robbert KrebbersRadboud University Nijmegen, Kayvan MemarianUniversity of Cambridge, Derek DreyerMPI-SWS, Deepak GargMPI-SWS
DOI
21:00 - 21:40
Talks 3B: Architectures and SystemsPLDI at PLDI-B
21:00
5m
Talk
Reticle: A Virtual Machine for Programming Modern FPGAs
PLDI
Luis VegaUniversity of Washington, Joseph McMahanUniversity of Washington, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington
DOI
21:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin ChoKAIST, Sung-Hwan LeeSeoul National University, Azalea RaadImperial College London, Jeehoon KangKAIST
DOI
21:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis MpeisUniversity of Edinburgh, Pavlos PetoumenosUniversity of Manchester, Kim HazelwoodFacebook AI Research, Hugh LeatherFacebook
Link to publication DOI Media Attached
21:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex ReinkingMicrosoft Research, Ningning XieUniversity of Hong Kong, Leonardo de MouraMicrosoft Research, Daan LeijenMicrosoft Research
DOI
21:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus OmarUniversity of Michigan, David MoonUniversity of Michigan, Andrew BlinnUniversity of Michigan, Ian VoyseyCarnegie Mellon University, Nick CollinsUniversity of Chicago, Ravi ChughUniversity of Chicago
DOI Pre-print
21:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng XuUniversity of New Hampshire, Binbin LiuUniversity of New Hampshire; University of Science and Technology of China, Weijie FengUniversity of Science and Technology of China, Jiang MingUniversity of Texas at Arlington, Qilong ZhengUniversity of Science and Technology of China, Jing LiUniversity of Science and Technology of China, Qiaoyan YuUniversity of New Hampshire
DOI
21:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
21:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu RoyNortheastern University, Tirthak PatelNortheastern University, Vijay GadepallyMIT Lincoln Laboratory, Devesh TiwariNortheastern University
DOI

Conference Day
Fri 25 Jun

Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:05
Talks 4B: Concurrency, Compilation, and DebuggingPLDI at PLDI-B
01:30
5m
Talk
Mirror: Making Lock-Free Data Structures Persistent
PLDI
Michal FriedmanTechnion, Erez PetrankTechnion, Pedro RamalheteCisco Systems
DOI
01:35
5m
Talk
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
PLDI
Huaipan JiangPennsylvania State University, Haibo ZhangPennsylvania State University, Xulong TangUniversity of Pittsburgh, Vineetha GovindarajPennsylvania State University, Jack SampsonPennsylvania State University, Mahmut Taylan KandemirPennsylvania State University, Danfeng ZhangPennsylvania State University
DOI
01:40
5m
Talk
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
PLDI
Nilanjana BasuUniversity of Illinois at Chicago, Claudio MontanariUniversity of Illinois at Chicago, Jakob ErikssonUniversity of Illinois at Chicago
DOI
01:45
5m
Talk
Alive2: Bounded Translation Validation for LLVM
PLDI
Nuno P. LopesMicrosoft Research, Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah
DOI Pre-print
01:50
5m
Talk
Incremental Whole-Program Analysis in Datalog with Lattices
PLDI
Tamás SzabóJGU Mainz; Workday, Sebastian ErdwegJGU Mainz, Gábor BergmannBudapest University of Technology and Economics; IncQuery Labs
DOI
01:55
5m
Talk
Logical Bytecode Reduction
PLDI
Christian Gram KalhaugeUniversity of California at Los Angeles; Technical University of Denmark, Jens PalsbergUniversity of California at Los Angeles
DOI
02:00
5m
Talk
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
PLDI
Michael SammlerMPI-SWS, Rodolphe LepigreMPI-SWS, Robbert KrebbersRadboud University Nijmegen, Kayvan MemarianUniversity of Cambridge, Derek DreyerMPI-SWS, Deepak GargMPI-SWS
DOI
09:00 - 09:40
Talks 5B: Defect Detection and RepairPLDI at PLDI-B +12h
09:00
5m
Talk
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
PLDI
Alastair F. DonaldsonImperial College London, Paul ThomsonGoogle, Vasyl TelimanNational Technical University of Ukraine, Stefano MiliziaImperial College London, André Perez MaselcoFederal University of ABC, Antoni KarpińskiWarsaw University of Technology
DOI
09:05
5m
Talk
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
PLDI
Gefei ZuoUniversity of Michigan, Jiacheng MaUniversity of Michigan, Andrew QuinnUniversity of Michigan, Pramod BhatotiaTU Munich, Pedro FonsecaPurdue University, Baris KasikciUniversity of Michigan
DOI
09:10
5m
Talk
Concolic Program Repair
PLDI
Ridwan Salihin ShariffdeenNational University of Singapore, Yannic NollerNational University of Singapore, Lars GrunskeHumboldt University of Berlin, Abhik RoychoudhuryNational University of Singapore
DOI Pre-print
09:15
5m
Talk
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
PLDI
Guixin YeNorthwest University, Zhanyong TangNorthwest University, Shin Hwei TanSouthern University of Science and Technology, Dingyi FangNorthwest University, Xiaoyang SunUniversity of Leeds, Lizhong BianAlipay, Songfang HuangAlibaba DAMO Academy, Haibo WangUniversity of Leeds, Zheng WangUniversity of Leeds, UK
DOI
09:20
5m
Talk
Path-Sensitive Sparse Analysis without Path Conditions
PLDI
Qingkai ShiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangHong Kong University of Science and Technology
DOI
09:25
5m
Talk
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
PLDI
Kia RahmaniPurdue University, Kartik NagarIIT Madras, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI
09:30
5m
Talk
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
PLDI
Yoshiki TakashimaCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Limin JiaCarnegie Mellon University, Corina S. PăsăreanuCarnegie Mellon University
DOI
09:35
5m
Talk
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
PLDI
Bozhen LiuTexas A&M University, Peiming LiuTexas A&M University, Yanze LiTexas A&M University, Chia-Che TsaiTexas A&M University, Dilma Da SilvaTexas A&M University, Jeff HuangTexas A&M University
DOI
13:30 - 14:00
Talks 6B: Applied Logics and SemanticsPLDI at PLDI-B +12h
13:30
5m
Talk
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
PLDI
Simon SpiesMPI-SWS, Lennard GäherSaarland University, Daniel GratzerAarhus University, Joseph TassarottiBoston College, Robbert KrebbersRadboud University Nijmegen, Derek DreyerMPI-SWS, Lars BirkedalAarhus University
DOI
13:35
5m
Talk
Example-Guided Synthesis of Relational Queries
PLDI
Aalok ThakkarUniversity of Pennsylvania, Aaditya NaikUniversity of Pennsylvania, Nathaniel SandsUniversity of Southern California, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania, Mukund RaghothamanUniversity of Southern California
DOI
13:40
5m
Talk
CompCertO: Compiling Certified Open C Components
PLDI
Jérémie KoenigYale University, Zhong ShaoYale University
DOI
13:45
5m
Talk
On Probabilistic Termination of Functional Programs with Continuous Distributions
PLDI
Raven BeutnerUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
DOI
13:50
5m
Talk
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
PLDI
Meghan CowanFacebook Reality Labs Research, Deeksha DangwalFacebook Reality Labs Research, Armin AlaghiFacebook Reality Labs Research, Caroline TrippelStanford University, Vincent T. LeeFacebook Reality Labs Research, Brandon ReagenNew York University
DOI
13:55
5m
Talk
Polynomial Reachability Witnesses via Stellensätze
PLDI
Ali AsadiSharif University of Technology, Krishnendu ChatterjeeIST Austria, Hongfei FuShanghai Jiao Tong University, Amir Kafshdar GoharshadyHong Kong University of Science and Technology, Mohammad MahdaviSharif University of Technology
DOI
21:00 - 21:40
Talks 5B: Defect Detection and RepairPLDI at PLDI-B
21:00
5m
Talk
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
PLDI
Alastair F. DonaldsonImperial College London, Paul ThomsonGoogle, Vasyl TelimanNational Technical University of Ukraine, Stefano MiliziaImperial College London, André Perez MaselcoFederal University of ABC, Antoni KarpińskiWarsaw University of Technology
DOI
21:05
5m
Talk
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
PLDI
Gefei ZuoUniversity of Michigan, Jiacheng MaUniversity of Michigan, Andrew QuinnUniversity of Michigan, Pramod BhatotiaTU Munich, Pedro FonsecaPurdue University, Baris KasikciUniversity of Michigan
DOI
21:10
5m
Talk
Concolic Program Repair
PLDI
Ridwan Salihin ShariffdeenNational University of Singapore, Yannic NollerNational University of Singapore, Lars GrunskeHumboldt University of Berlin, Abhik RoychoudhuryNational University of Singapore
DOI Pre-print
21:15
5m
Talk
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
PLDI
Guixin YeNorthwest University, Zhanyong TangNorthwest University, Shin Hwei TanSouthern University of Science and Technology, Dingyi FangNorthwest University, Xiaoyang SunUniversity of Leeds, Lizhong BianAlipay, Songfang HuangAlibaba DAMO Academy, Haibo WangUniversity of Leeds, Zheng WangUniversity of Leeds, UK
DOI
21:20
5m
Talk
Path-Sensitive Sparse Analysis without Path Conditions
PLDI
Qingkai ShiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangHong Kong University of Science and Technology
DOI
21:25
5m
Talk
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
PLDI
Kia RahmaniPurdue University, Kartik NagarIIT Madras, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI
21:30
5m
Talk
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
PLDI
Yoshiki TakashimaCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Limin JiaCarnegie Mellon University, Corina S. PăsăreanuCarnegie Mellon University
DOI
21:35
5m
Talk
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
PLDI
Bozhen LiuTexas A&M University, Peiming LiuTexas A&M University, Yanze LiTexas A&M University, Chia-Che TsaiTexas A&M University, Dilma Da SilvaTexas A&M University, Jeff HuangTexas A&M University
DOI

Conference Day
Sat 26 Jun

Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:00
Talks 6B: Applied Logics and SemanticsPLDI at PLDI-B
01:30
5m
Talk
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
PLDI
Simon SpiesMPI-SWS, Lennard GäherSaarland University, Daniel GratzerAarhus University, Joseph TassarottiBoston College, Robbert KrebbersRadboud University Nijmegen, Derek DreyerMPI-SWS, Lars BirkedalAarhus University
DOI
01:35
5m
Talk
Example-Guided Synthesis of Relational Queries
PLDI
Aalok ThakkarUniversity of Pennsylvania, Aaditya NaikUniversity of Pennsylvania, Nathaniel SandsUniversity of Southern California, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania, Mukund RaghothamanUniversity of Southern California
DOI
01:40
5m
Talk
CompCertO: Compiling Certified Open C Components
PLDI
Jérémie KoenigYale University, Zhong ShaoYale University
DOI
01:45
5m
Talk
On Probabilistic Termination of Functional Programs with Continuous Distributions
PLDI
Raven BeutnerUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
DOI
01:50
5m
Talk
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
PLDI
Meghan CowanFacebook Reality Labs Research, Deeksha DangwalFacebook Reality Labs Research, Armin AlaghiFacebook Reality Labs Research, Caroline TrippelStanford University, Vincent T. LeeFacebook Reality Labs Research, Brandon ReagenNew York University
DOI
01:55
5m
Talk
Polynomial Reachability Witnesses via Stellensätze
PLDI
Ali AsadiSharif University of Technology, Krishnendu ChatterjeeIST Austria, Hongfei FuShanghai Jiao Tong University, Amir Kafshdar GoharshadyHong Kong University of Science and Technology, Mohammad MahdaviSharif University of Technology
DOI

Conference Day
Wed 23 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
PLDI-B

Conference Day
Thu 24 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
PLDI-B

Conference Day
Fri 25 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
PLDI-B

Conference Day
Sat 26 Jun

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Wed 23 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
PLDI-B

Conference Day
Thu 24 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
PLDI-B

Conference Day
Fri 25 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
PLDI-B