Jaehyung Lee
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Taeyoung Yoon3 talks
- Yonghyun Kim2 talks
- Youngju Song6 talks
- Chung-Kil Hur10 talks
- Minki Cho6 talks
- Janggun Lee7 talks
| title | conference | date |
|---|---|---|
| CRIS: The Power of Imagination in Hybrid Verification | PLDI 2026 | 2026-06-15 |
Introduces CRIS, a framework that extends CCR with imaginary specifications—specs that intermix executable code and separation-logic assertions—to prove… | ||
| Audit-Driven Signature Tracing for Smart Contract Safety | Open Source Summit Korea 2025 | 2025-11-04 |
Extracts reusable bytecode-level signatures from audit reports plus optional LLM or test-based summaries, publishes them as small JSON records (SPDX-like) with… | ||
| Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting | POPL 2025 | 2025-01-19 |
Archmage defines a memory model that uses lazy valuation for int→ptr casts so the integer keeps its value until a pointer interpretation is required, allowing… | ||
| nothing matches | ||