research
∙
09/21/2023
Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing
WebAssembly (Wasm) is a bytecode format originally serving as a compilat...
share
research
∙
09/19/2023
Ditto: An Elastic and Adaptive Memory-Disaggregated Caching System
In-memory caching systems are fundamental building blocks in cloud servi...
research
∙
08/09/2023
rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust
Rust is an effective system programming language that guarantees memory ...
research
∙
08/09/2023
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming
Rust is an emerging, strongly-typed programming language focusing on eff...
research
∙
01/24/2023
FUSEE: A Fully Memory-Disaggregated Key-Value Store (Extended Version)
Distributed in-memory key-value (KV) stores are embracing the disaggrega...
research
∙
04/19/2022
Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing
Deep learning (DL) techniques are proven effective in many challenging t...
research
∙
04/28/2021
FastAdaBelief: Improving Convergence Rate for Belief-based Adaptive Optimizer by Strong Convexity
The AdaBelief algorithm demonstrates superior generalization ability to ...
research
∙
04/25/2021
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
Robustness is a key concern for Rust library development because Rust pr...
research
∙
03/29/2021
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
Rust is an emerging programming language that aims to prevent memory-saf...
research
∙
03/06/2020
Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs
Rust is an emerging programing language that aims at preventing memory-s...
research
∙
09/06/2019
Data Sanity Check for Deep Learning Systems via Learnt Assertions
Deep learning (DL) techniques have demonstrated satisfactory performance...
research
∙
09/05/2019
Detecting Deep Neural Network Defects with Data Flow Analysis
Deep neural networks (DNNs) are shown to be promising solutions in many ...
research
∙
06/27/2018
DeepObfuscation: Securing the Structure of Convolutional Neural Networks via Knowledge Distillation
This paper investigates the piracy problem of deep learning models. Desi...
research
∙
12/05/2017
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Symbolic execution is an important software testing approach. It has bee...
research
∙
10/03/2017