1 citations · 1 across the 3 of their papers we have counts for
5 papers
Evaluating Coding Agents on Kernel Exploit Generation
Junyoung Jang, Gwanhyun Lee, Hwiwon Lee +4
Coding agents now find real vulnerabilities in production software. However, bug discovery results do not measure whether agents can construct exploit primitives. We introduce KEX-…
Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
Junyoung Jang, Brigitte Pientka
We describe Elevator, a unifying polymorphic foundation for metaprogramming with memory management based on adjoint modalities. In this setting, we distinguish between multiple mem…
Adjoint Natural Deduction (Extended Version)
Junyoung Jang, Sophia Roshal, Frank Pfenning +1
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where…
Static Code Analyzer Using Micro-Grammar
Hanwen Zhu, Junyoung Jang, Xujie Si
[THIS IS AN UNDERGRADUATE PROJECT] This paper discusses the effectiveness of the bug finder based on "micro-grammar".
Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)
Junyoung Jang, Samuel Gélineau, Stefan Monnier +1
We describe the foundation of the metaprogramming language, Moebius, which supports the generation of polymorphic code and, more importantly the analysis of polymorphic code via pa…