Jaemin Hong
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 2 in the filters
on a stage with
- Sukyoung Ryu2×
- Jihee Parkonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in(…) | PLDI 2024 | 2024-06-24 |
Automatic C-to-Rust pipeline runs a syntactic front end (czrust syntactic pass), then a static analysis based on abstract interpretation that tracks abstract… | ||
| Semantic Transformation Framework for Rewriting Rules | PEPM 2023 | 2023-01-16 |
Refines Cousot & Cousot by tailoring a semantic transformation framework to rewriting rules and builds a four-part pipeline: matcher/meter, syntactic… | ||
| nothing matches | ||