Events (32 results)

Towards Reliable Memory Management for Python Native Extensions

ICOOOLPS 2023 When: Mon 17 Jul 2023 10:30 - 11:00 People: Joannah Nanjekye, David Bremner, Aleksandar Micic

… the fewest bytes (1%—40%) for all benchmarks across the C/Python boundary compared …

Language-Based Debugging

DEBT 2023 When: Mon 17 Jul 2023 08:45 - 10:00 People: Andreas Zeller

… specific behavior. But how does one specify an input language such that all

Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond!

Keynotes When: Fri 21 Jul 2023 09:00 - 10:00 People: Heather Miller

… about. Next thing I know, I’m the “documentation czar” writing all

Rich coverage signal and the consequences for scaling

FUZZING 2023 When: Mon 17 Jul 2023 13:30 - 14:15 People: Kostya Serebryany

… Most existing fuzzing tools use edge coverage to identify interesting inputs and guide the expansion of the corpus. This coverage signal is convenient because it is bounded in size. Once fuzzing discovers all reachable edges, however …

Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis

Technical Papers When: Tue 18 Jul 2023 15:40 - 15:50 People: Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue

… inline all the statements in
a callee at all its callsites, leading to statement explosion. Compositional analysis, which inlines summaries of all the callees …

Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests

Technical Papers When: Thu 20 Jul 2023 11:30 - 11:45 People: Chengpeng Li, M. Mahdi Khosravi, Wing Lam, August Shi

… detecting all OD tests. Later work that proposed a more systematic approach to ordering tests still fails to account for the relationships between all tests … with 104.7 test orders, on average, per subject. While all techniques produce …

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools

Tool Demonstrations When: Tue 18 Jul 2023 13:42 - 13:49Wed 19 Jul 2023 15:30 - 17:00 People: Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei

… tools, and found 74 bugs in all four tools. We also found that ECSTATIC’s novel two …

More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes

Technical Papers When: Thu 20 Jul 2023 10:30 - 10:45 People: Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen

… Regression test selection (RTS) speeds up regression testing by only re-running tests that might be affected by code changes. Ideal RTS safely selects all … is often slower than re-running all tests. So, recent RTS techniques use …

Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts

Technical Papers When: Wed 19 Jul 2023 15:50 - 16:00 People: Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, Lingxiao Jiang

… first propose a new structure, the Modifier Dependency Graph (MDG), to connect all …-of-the-art SPCon tool by detecting all its true positives and correctly avoiding 9 …

Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)

Technical Papers When: Tue 18 Jul 2023 16:10 - 16:20 People: Yingquan Zhao, Junjie Chen, Ruifeng Fu, Haojie Ye, Zan Wang

… and metamorphic-based techniques. All of them have been extensively studied for testing … detected 11 previously unknown bugs, all of which have been fixed by the developers …

An Empirical Study of Functional Bugs in Android Apps

Technical Papers When: Tue 18 Jul 2023 16:00 - 16:10 People: Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su

… unknown and affected the latest released versions—all these 10 bugs have been … bugs cannot be found by existing testing techniques. We have made all the artifacts …

LiResolver: License Incompatibility Resolution for Open Source Software

Technical Papers When: Tue 18 Jul 2023 15:40 - 15:50 People: Sihan Xu, Ya Gao, Lingling Fan, Linyu Li, Xiangrui Cai, Zheli Liu

… the feedback from OSS developers and the lessons learned from this work. All

Finding Short Slow Inputs Faster with Grammar-Based Search

Technical Papers When: Wed 19 Jul 2023 14:00 - 14:15 People: Ziyad Alsaeed, Michal Young

… technique dominates across all examples, but both Monte Carlo tree search and length …

To Kill a Mutant: An Empirical Study of Mutation Testing Kills

Technical Papers When: Thu 20 Jul 2023 11:15 - 11:30 People: Hang Du, Vijay Krishna Palepu, James Jones

… ? We found several revealing results across all subjects, including …

SlipCover: Near Zero-Overhead Code Coverage for Python

Technical Papers When: Thu 20 Jul 2023 11:00 - 11:15 People: Juan Altmayer Pizzorno, Emery D. Berger

… a program's AST to accurately identify all branches and lines. SlipCover then dynamically …

Extracting Inline Tests from Unit Tests

Technical Papers When: Thu 20 Jul 2023 11:45 - 12:00 People: Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen

… ; it first records all variable values at a target statement while executing unit …

Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction

Technical Papers When: Tue 18 Jul 2023 10:30 - 10:45 People: Dylan Callaghan, Bernd Fischer

… versions from the Defects4J benchmark set
containing up to 14 real faults. For all

ItyFuzz: Snapshot-Based Fuzzer for Smart Contract

Technical Papers When: Tue 18 Jul 2023 11:00 - 11:15 People: Chaofan Shou, Shangyin Tan, Koushik Sen

… Smart contracts are critical financial instruments, and their security is of utmost importance. However, smart contract programs are difficult to fuzz due to the persistent blockchain state behind all transactions. Mutating sequences …

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing

Technical Papers When: Tue 18 Jul 2023 16:10 - 16:20 People: Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao

… in generating valid and expressive computation graphs — all of the GenCoG-generated …

Who Judges the Judge: An Empirical Study on Online Judge Tests

Technical Papers When: Tue 18 Jul 2023 16:50 - 17:00 People: Kaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang, Yun Ma

… with 541,552 solutions, all of which are judged to be correct according …

NodeRT: Detecting Races in Node.js Applications Practically

Technical Papers When: Thu 20 Jul 2023 14:15 - 14:30 People: Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang

… , NodeRT detects all known races and 9 unknown harmful races in real-world …

That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly

Technical Papers When: Tue 18 Jul 2023 14:30 - 14:45 People: Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel

… findings include that, surprisingly, all of the existing techniques are unsound …

Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems

Technical Papers When: Wed 19 Jul 2023 16:30 - 16:40 People: Jun Wang, Yanhui Li, Xiang Huang, Lin Chen, Xiaofang Zhang, Yuming Zhou

… accuracy, more than 80%, under all three translators. …

DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization

Technical Papers When: Wed 19 Jul 2023 13:45 - 14:00 People: Simin Chen, Shiyi Wei, Cong Liu, Wei Yang

… % success rate in compiling all dynamic neural networks. Moreover, the compiled …

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations

Technical Papers When: Wed 19 Jul 2023 16:30 - 16:40 People: Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

… iteration from the updated and pruned model, unless all nodes and mutation operators …

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

Technical Papers When: Tue 18 Jul 2023 11:15 - 11:30 People: Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang

… for almost all downstream DL systems in ensuring effectiveness/safety for end users …

How Effective Are Neural Networks for Fixing Security Vulnerabilities

Technical Papers When: Wed 19 Jul 2023 14:30 - 14:45 People: Yi Wu, Nan Jiang, Hung Viet Pham, Thibaud Lutellier, Jordan Davis, Lin Tan, Petr Babkin, Sameena Shah

… transformed vulnerabilities, outperforming all the other LLMs and APR models …

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation

Technical Papers When: Wed 19 Jul 2023 15:30 - 15:40 People: Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang

… domains, yet existing approaches all rely only on approximation domains. Based …

June: A Type Testability Transformation for Improved ATG Performance

Technical Papers When: Thu 20 Jul 2023 11:15 - 11:30 People: Dan Bruce, David Kelly, Hector Menendez, Earl T. Barr, David Clark

… . The core JuneLib definitions are empirically derived and provide templates for all

Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing

Technical Papers When: Wed 19 Jul 2023 10:30 - 10:45 People: Julia Kaiwen Lau, Kelvin Kai Wen Kong, Julian Hao Yong, Per Hoong Tan, Zhou Yang, Zi Qian Yong, Joshua Chern Wey Low, Chun Yong Chong, Mei Kuan Lim, David Lo

… . On average, false alarm rates range from 21% to 34% in all five ASR systems …

CodeGrid: A Grid Representation of Code

Technical Papers When: Tue 18 Jul 2023 14:15 - 14:30 People: Abdoul Kader Kaboré, Earl T. Barr, Jacques Klein, Tegawendé F. Bissyandé

… Code representation is a key step in the application of AI in software engineering.
Generic NLP representations are effective but do not exploit all the rich structure inherent to code.
Recent work has focused on extracting abstract …

Exploring Missed Optimizations in WebAssembly Optimizers

Technical Papers When: Wed 19 Jul 2023 16:00 - 16:10 People: Zhibo Liu, Dongwei Xiao, Li Zongjie, Shuai Wang, Wei Meng

… . With extensive manual effort, we
identify nine root causes for all MO, and we …