8 citations · 16 across the 7 of their papers we have counts for
8 papers
BALI: Branch-Aware Loop Invariant Inference with Large Language Models
Mingxiu Wang, Jiawei Wang, Xiao Cheng
Loop invariants are fundamental for reasoning about the correctness of iterative algorithms. However, deriving suitable invariants remains a challenging and often manual task, part…
DependEval: Benchmarking LLMs for Repository Dependency Understanding
Junjia Du, Yadi Liu, Hongcheng Guo +4
While large language models (LLMs) have shown considerable promise in code generation, real-world software development demands advanced repository-level reasoning. This includes un…
Fixing Security Vulnerabilities with AI in OSS-Fuzz
Yuntong Zhang, Jiawei Wang, Dominic Berzin +5
Critical open source software systems undergo significant validation in the form of lengthy fuzz campaigns. The fuzz campaigns typically conduct a biased random search over the dom…
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang +3
In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type…
Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Mouli Chekkapalli +3
Jupyter notebooks enable developers to interleave code snippets with rich-text and in-line visualizations. Data scientists use Jupyter notebook as the de-facto standard for creatin…
Scalpel: The Python Static Analysis Framework
Li Li, Jiawei Wang, Haowei Quan
Despite being the most popular programming language, Python has not yet received enough attention from the community. To the best of our knowledge, there is no general static analy…
Restoring Execution Environments of Jupyter Notebooks
Jiawei Wang, Li Li, Andreas Zeller
More than ninety percent of published Jupyter notebooks do not state dependencies on external packages. This makes them non-executable and thus hinders reproducibility of scientifi…
Better Code, Better Sharing:On the Need of Analyzing Jupyter Notebooks
Jiawei Wang, Li Li, Andreas Zeller
By bringing together code, text, and examples, Jupyter notebooks have become one of the most popular means to produce scientific results in a productive and reproducible way. As ma…