8 citations · 9 across the 5 of their papers we have counts for
6 papers
A Numerical Refinement of an Exact Discrete Fourier Transform Bound
Zhihao Yao, Sichao Liu
We refine the numerical bounds in Kartal's instantiation of Sussman's exact discrete Fourier transform construction. For every integer n >= 1, the resulting algorithm computes the…
Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation
Mahya Samdaliri, Zhihao Yao, Kasthuri Jayarajah
WebGPU is a low-level graphics and compute API that exposes modern GPU functionality to web applications. While the official WebGPU Conformance Test Suite (CTS) focuses on well-for…
Can LLMs be Effective Code Contributors? A Study on Open-source Projects
Chun Jie Chong, Muyeed Ahmed, Zhihao +2
LLM-generated code is widely used, and the share of committed code produced by LLMs is expected to increase. However, we are not at a point where LLMs can be effective contributors…
PyPitfall: Dependency Chaos and Software Supply Chain Vulnerabilities in Python
Jacob Mahon, Chenxi Hou, Zhihao Yao
Python software development heavily relies on third-party packages. Direct and transitive dependencies create a labyrinth of software supply chains. While it is convenient to reuse…
Artificial-Intelligence Generated Code Considered Harmful: A Road Map for Secure and High-Quality Code Generation
Chun Jie Chong, Zhihao Yao, Iulian Neamtiu
Generating code via a LLM (rather than writing code from scratch), has exploded in popularity. However, the security implications of LLM-generated code are still unknown. We perfor…
Casper: Prompt Sanitization for Protecting User Privacy in Web-Based Large Language Models
Chun Jie Chong, Chenxi Hou, Zhihao Yao +1
Web-based Large Language Model (LLM) services have been widely adopted and have become an integral part of our Internet experience. Third-party plugins enhance the functionalities…