Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference

This program is tentative and subject to change.

Fri 25 Jun 2021 09:30 - 09:35 at PLDI-B - Talks 5B: Defect Detection and Repair
Fri 25 Jun 2021 21:30 - 21:35 at PLDI-B - Talks 5B: Defect Detection and Repair

Rust's type system ensures the safety of Rust programs; however,
programmers can side-step some of the strict typing rules by using the
unsafe keyword. A common use of unsafe Rust is by libraries.
Bugs in these libraries undermine the safety of the entire
Rust program. Therefore, it is crucial to thoroughly test library APIs
to rule out bugs. Unfortunately, such testing relies on programmers to
manually construct test cases, which is an inefficient and ineffective
process.

The goal of this paper is to develop a methodology for automatically
generating Rust programs to effectively test Rust library APIs. The
main challenge is to synthesize well-typed Rust programs to
account for proper chaining of API calls and Rust's ownership type
system and polymorphic types. We develop a program synthesis
technique for Rust library API testing, which relies on a novel
logical encoding of typing constraints from Rust's ownership type
system. We implement SyRust, a testing framework for Rust
libraries that automatically synthesizes semantically valid test
cases. Our experiments on $30$ popular open-source
Rust libraries found $4$ new bugs.

This program is tentative and subject to change.

Conference Day
Fri 25 Jun

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

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
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