Articles with public access mandates - Neelakantan R. KrishnaswamiLearn more
Available somewhere: 11
ISA Semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, RM Norton, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
Mandates: US Department of Defense, UK Engineering and Physical Sciences Research …
Bidirectional typing
J Dunfield, N Krishnaswami
ACM Computing Surveys (CSUR) 54 (5), 1-38, 2021
Mandates: Natural Sciences and Engineering Research Council of Canada
Mtac: a monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
ACM SIGPLAN Notices 48 (9), 87-100, 2013
Mandates: Government of Spain
Mtac: A monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
Journal of functional programming 25, e12, 2015
Mandates: Government of Spain
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types
J Dunfield, NR Krishnaswami
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
Mandates: UK Engineering and Physical Sciences Research Council
CN: Verifying systems C code with separation-logic refinement types
C Pulte, DC Makwana, T Sewell, K Memarian, P Sewell, N Krishnaswami
Proceedings of the ACM on Programming Languages 7 (POPL), 1-32, 2023
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Transfinite step-indexing for termination
S Spies, N Krishnaswami, D Dreyer
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
Mandates: European Commission
The essence of event-driven programming
J Paykin, NR Krishnaswami, S Zdancewic
Leibniz, Leibniz International Proceedings in Informatics, 2016
Mandates: US National Science Foundation
Focusing on refinement typing
DJ Economou, N Krishnaswami, J Dunfield
ACM Transactions on Programming Languages and Systems 45 (4), 1-62, 2023
Mandates: European Commission
Explicit refinement types
JE Ghalayini, N Krishnaswami
Proceedings of the ACM on Programming Languages 7 (ICFP), 187-214, 2023
Mandates: European Commission
Flap: a deterministic parser with fused lexing
J Yallop, N Xie, N Krishnaswami
Proceedings of the ACM on Programming Languages 7 (PLDI), 1194-1217, 2023
Mandates: European Commission
Publication and funding information is determined automatically by a computer program