Junyoung Jang

According to our database, Junyoung Jang authored at least 10 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

McTT: A Verified Kernel for a Proof Assistant.

Junyoung Jang, Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka

Proc. ACM Program. Lang., 2025

Formally Verified Cloud-Scale Authorization.

Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Polymorphic Metaprogramming with Memory Management - An Adjoint Analysis of Metaprogramming.

Junyoung Jang, Brigitte Pientka

CoRR, 2024

Adjoint Natural Deduction (Extended Version).

Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka

CoRR, 2024

Adjoint Natural Deduction.

Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Normalization by evaluation for modal dependent type theory.

Jason Z. S. Hu, Junyoung Jang, Brigitte Pientka

J. Funct. Program., 2023

2022

Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself.

Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka

Proc. ACM Program. Lang., 2022

2021

XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar.

Hanwen Zhu, Junyoung Jang, Xujie Si

CoRR, 2021

Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version).

Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka

CoRR, 2021

Harpoon: Mechanizing Metatheory Interactively - (System Description).

Jacob Errington, Junyoung Jang, Brigitte Pientka

Proceedings of the Automated Deduction - CADE 28, 2021