activity
20182026
most citedEvaluating Design Tradeoffs in Numeric Static Analysis for Java

14 citations · 17 across the 5 of their papers we have counts for

collaborators

5 papers

cs.SE2026

Contextual Associations Between Webpage Elements for Web Accessibility: An Empirical Study

Kishan Rakesh, Shiyi Wei

[Context] Screen reader users navigating webpages by element list often encounter accessible names such as "Read more" that are valid under the W3C Accessible Name and Description…

cs.CL2023

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

Simin Chen, Shiyi Wei, Cong Liu +1

DL compiler's primary function is to translate DNN programs written in high-level DL frameworks such as PyTorch and TensorFlow into portable executables. These executables can then…

cs.SE2021

An Empirical Study of Data Constraint Implementations in Java

Juan Manuel Florez, Laura Moreno, Zenong Zhang +2

Software systems are designed according to guidelines and constraints defined by business rules. Some of these constraints define the allowable or required values for data handled…

cs.CR2018★ 3 cited

Evaluating Fuzz Testing

George Klees, Andrew Ruef, Benji Cooper +2

Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniq…

cs.PL2018★ 14 cited

Evaluating Design Tradeoffs in Numeric Static Analysis for Java

Shiyi Wei, Piotr Mardziel, Andrew Ruef +2

Numeric static analysis for Java has a broad range of potentially useful applications, including array bounds checking and resource usage estimation. However, designing a scalable…