| Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself J Jang, S Gélineau, S Monnier, B Pientka Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022 | 27* | 2022 |
| Normalization by evaluation for modal dependent type theory JZS Hu, J Jang, B Pientka Journal of Functional Programming 33, e7, 2023 | 10 | 2023 |
| Adjoint natural deduction J Jang, S Roshal, F Pfenning, B Pientka 9th International Conference on Formal Structures for Computation and …, 2024 | 6* | 2024 |
| Harpoon: Mechanizing Metatheory Interactively J Errington, J Jang, B Pientka Automated Deduction–CADE 28, 636, 2021 | 3 | 2021 |
| Formally verified cloud-scale authorization A Chakarov, J Geldenhuys, M Heck, M Hicks, S Huang, GA Jaloyan, ... | | 2025 |
| Polymorphic Metaprogramming with Memory Management--An Adjoint Analysis of Metaprogramming J Jang, B Pientka arXiv preprint arXiv:2411.00752, 2024 | | 2024 |
| Type-safe Multi-staged Programming J Jang https://github.com/Ailrun/pile-of-characters/raw/master/Type-safe_Multi …, 2022 | | 2022 |
| SATyros: step-by-step SAT/SMT Library for a Pedagogical Purpose J Jang https://github.com/Ailrun/pile-of-characters/raw/master/SATyros.pdf, 2021 | | 2021 |
| XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar. H Zhu, J Jang, X Si CoRR, 2021 | | 2021 |
| 닮은 궤도함수 분석을 통한 계산근사 J Jang, MU U, SM Sin Proceeding of EDISON Challenge, 211-224, 2014 | | 2014 |
| McTT: Building A Correct-By-Construction Proof Checker For Martin-Löf Type Theory J Jang, JZS Hu, A Gaulin, B Pientka | | |
Brigitte PientkaMcGill UniversityAdresse e-mail validée de cs.mcgill.ca