The security of the modern web depends on the correctness of JavaScript (JS) engines, yet these complex systems remain vulnerable to high-impact bugs. A critical limitation of state-of-the-art fuzzers is the coverage plateau: once a fuzzer saturates the control-flow graph, edge coverage loses its ability to guide disco...
Wai-Kin Wong, Dong-Wei Xiao, Anthony Cheuk Tung Lai et al.· Proceedings of the ACM SIGOP...· 0 citations
FIONA is presented, an offline optimizer that selectively ternarizes weights within a given packing layout based on the estimated effect of ternary conversion on the model's performance, and fits lower-degree replacements under a cumulative accuracy budget, reducing multiplicative depth and bootstrapping.
Yi-Teng Peng, Zhibo Liu, Dong-Wei Xiao et al.· 0 citations
A neuro-symbolic program synthesis approach for batch-editing collision meshes is presented, which synthesizes a reusable program that captures the editing intent and applies it to non-demonstration meshes.