Jeff Huang

What'’s the Optimal Performance of Precise Dynamic Race Detection? –A Redundancy Perspective

2017 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

In a precise data race detector, a race is detected only if the execution exhibits a real race. In such tools, every memory access from each thread is typically checked by a happens-before algorithm. What’s …

DeepSim: deep learning code functional similarity

2018

Measuring code similarity is fundamental for many software engineering tasks, e.g., code search, refactoring and reuse. However, most existing techniques focus on code syntactical similarity only, while measuring code functional similarity remains a challenging problem. …

PYInfer: Deep Learning Semantic Type Inference for Python Variables

2021 · arXiv (Cornell University)

Python type inference is challenging in practice. Due to its dynamic properties and extensive dependencies on third-party libraries without type annotations, the performance of traditional static analysis techniques is limited. Although semantics in source code …