-
The Chinese University of Hong Kong
- Hong Kong, China
-
08:13
(UTC +08:00) - https://cardigan1008.github.io
Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
[NeurIPS '25] Challenging Software Optimization Tasks for Evaluating SWE-Agents
[ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
A curated list of awesome directed fuzzing research papers
LLVM Code Generation, published by Packt
Reduce verbose SQL queries to minimal examples
Magical Deterministic Simulator for distributed systems in Rust.
Understanding and Reusing Test Suites Across Database Systems. SIGMOD'25
Extensible SQL Lexer and Parser for Rust
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
Automated property based testing for Rust (with shrinking).
Real-time event streaming platform. Streaming CDC, stream processing, low-latency serving, and Iceberg management.
A free book about developing secure and robust systems software.
Source code of Ferrocene, safety-critical Rust toolchain
Project page for "The Fuzzing Book"
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
Unlogged SDK for recording JAVA code execution
Large Language Model guided Protocol Fuzzing (NDSS'24)
Multi-SWE-bench: A Multilingual Benchmark for Issue Resolving
This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Language Models for generating inputs to reach a certain code locat…
[ICCV 2025] MM-IFEngine: Towards Multimodal Instruction Following
UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)