N. Krishnaswami

发表

The theory of parsing is one of the oldest and most well-developed areas in computer science : the bibliography to Grune and Jacobs ’ s Parsing Techniques : A Practical Guide

N. Krishnaswami, 2019 .

The Essence of Event-Driven Programming

Jennifer Paykin, Steve Zdancewic, Neelakantan R. Krishnaswami, 2016 .

A Modal Sequent Calculus for Propositional Separation Logic

N. Krishnaswami, 2008 .

Linear Temporal Type Theory for Event-based Reactive Programming

S. Zdancewic, N. Krishnaswami, Jennifer Paykin, 2016 .

A Relationally Parametric Model of the Calculus of Constructions

Derek Dreyer, N. Krishnaswami, 2012 .

Focusing on Liquid Refinement Typing

Dimitrios J. Economou, N. Krishnaswami, Jana Dunfield, 2022, ArXiv.

A typed, algebraic approach to parsing

Jeremy Yallop, Neelakantan R. Krishnaswami, J. Yallop, 2019, PLDI.

Permission-based ownership: encapsulating state in higher-order typed languages

Jonathan Aldrich, Neelakantan R. Krishnaswami, N. Krishnaswami, 2005, PLDI '05.

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation

A. Fitzgibbon, N. Krishnaswami, R. Eisenberg, 2022, Proc. ACM Program. Lang..

Datafun: a functional Datalog

Michael Arntzenius, Neelakantan R. Krishnaswami, N. Krishnaswami, 2016, ICFP.

Recovering purity with comonads and capabilities

Vikraman Choudhury, Neel Krishnaswami, N. Krishnaswami, 2019, Proc. ACM Program. Lang..

CN: Verifying Systems C Code with Separation-Logic Refinement Types

Dhruv C. Makwana, Peter Sewell, Kayvan Memarian, 2023, Proc. ACM Program. Lang..

flap: A Deterministic Parser with Fused Lexing

J. Yallop, N. Krishnaswami, Ningning Xie, 2023, ArXiv.

A Program Logic for First-Order Encapsulated WebAssembly pdf

Philippa Gardner, Petar Maksimovic, Conrad Watt, 2018, ECOOP.

Higher-order functional reactive programming without spacetime leaks

Neelakantan R. Krishnaswami, N. Krishnaswami, 2013, ICFP.

Higher-order functional reactive programming in bounded space

Nick Benton, Neelakantan R. Krishnaswami, Jan Hoffmann, 2012, POPL '12.

A semantic model for graphical user interfaces

Nick Benton, Neelakantan R. Krishnaswami, Nick Benton, 2011, ICFP.

Ultrametric Semantics of Reactive Programs

Nick Benton, Neelakantan R. Krishnaswami, Nick Benton, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

Implicit Polarized F: local type inference for impredicativity

N. Krishnaswami, Henry Mercer, Cameron Ramsay, 2022, ArXiv.

Adjoint Reactive GUI Programming

Neelakantan R. Krishnaswami, Christian Uldal Graulund, Dmitrij Szamozvancev, 2021, FoSSaCS.

Idealized ML and Its Separation Logic

Lars Birkedal, John C. Reynolds, Jonathan Aldrich, 2006 .

Integrating Dependent and Linear Types

Nick Benton, Neelakantan R. Krishnaswami, Pierre Pradic, 2016 .

Integrating Linear and Dependent Types

Nick Benton, Neelakantan R. Krishnaswami, Pierre Pradic, 2015, POPL.

Freeze after writing: quasi-deterministic parallel programming with LVars

Ryan Newton, Aaron Turon, Neelakantan R. Krishnaswami, 2014, POPL.

Mtac: a monad for typed tactic programming in Coq

Derek Dreyer, Aleksandar Nanevski, Viktor Vafeiadis, 2013, Journal of Functional Programming.

The Inverse Method for the Logic of Bunched Implications

Sungwoo Park, Neelakantan R. Krishnaswami, Stephen Magill, 2005, LPAR.

Adding Equations to System F Types

Nick Benton, Neelakantan R. Krishnaswami, Nick Benton, 2012, ESOP.

Internalizing Relational Parametricity in the Extensional Calculus of Constructions

Derek Dreyer, Neelakantan R. Krishnaswami, Derek Dreyer, 2013, CSL.

Unpublished draft Simple and Efficient Higher-Order Reactive Programming

N. Krishnaswami, 2012 .

Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic

Jonathan Aldrich, Neelakantan R. Krishnaswami, N. Krishnaswami, 2012 .

Semantics for graphical user interfaces

Neelakantan R. Krishnaswami, N. Krishnaswami, 2012, TLDI '12.

Design patterns in separation logic

Lars Birkedal, Kasper Svendsen, Jonathan Aldrich, 2009, TLDI '09.

Reasoning about iterators with separation logic

Neelakantan R. Krishnaswami, N. Krishnaswami, 2006, SAVCBS '06.

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Robert M. Norton, Brian Campbell, Ian Stark, 2019, Proc. ACM Program. Lang..

Seminaïve evaluation for a higher-order functional language

Michael Arntzenius, Neel Krishnaswami, N. Krishnaswami, 2019, Proc. ACM Program. Lang..