Jun Sun
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- POPL2 editions2022–2025
on a stage with
- David Sanan2×
- Jin Song Dong2×
- Bo Wangonce
all 19 in the filters
who talks about the same things
- David Sanan4 talks
- Jin Song Dong2 talks
- Yu Jiang21 talks
- Quan Zhang4 talks
- Chijin Zhou5 talks
- Xing Zhang3 talks
| title | conference | date |
|---|---|---|
| Fuzzing C++ Compilers via Type-Driven Mutation | OOPSLA 2025 | 2025-10-16 |
TyMut is a mutation-based C++ type-system fuzzer that runs for 32 hours to generate and test 250,584 programs, using 30 mutation operators across five… | ||
| Verification of Bit-Flip Attacks against Quantized Neural Networks | OOPSLA 2025 | 2025-10-16 |
BFAVerifier formally checks quantized neural networks for bit‑flip attacks by combining a sound abstraction‑based reachability engine with an MILP fallback… | ||
| AI Safety through Programming? | LMPL 2025 | 2025-10-12 |
Argues that programming ideas can make LLMs safer by: a tiny if-then rule language for domain specs (bank transfers, Singapore traffic and MRT rules) that… | ||
| Automated Program Refinement: Guide and Verify Code Large Language Model with(…) | POPL 2025 | 2025-01-19 |
A toolchain called Refine4LLM guides GPT-style code models with refinement calculus, generates code, then checks it with SMT/ATP verification (Z3-like solvers)… | ||
| A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantu | POPL 2022 | 2022-01-16 |
Proposes a Hoare-style logic that gives a quantum separating conjunction and a quantum frame rule so local reasoning carries over when multi-qubit states… | ||
| nothing matches | ||