Shriram Krishnamurthi

MaRDI QIDQ856915zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Accepted Artifact for Privacy-Respecting Type Error Telemetry at Scale	2023-12-18	Dataset
Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL	2022-09-22	Dataset
CompoSAT: specification-guided coverage for model finding	2021-05-04	Paper
Hygienic resugaring of compositional desugaring Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Continuations from generalized stack inspection Proceedings of the tenth ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
Modeling web interactions and errors Interactive Computation	2013-06-18	Paper
Typing local control and state using flow analysis Programming Languages and Systems	2011-05-19	Paper
Specifying and Reasoning About Dynamic Access-Control Policies Automated Reasoning	2009-03-12	Paper
Cryptographic Protocol Explication and End-Point Projection Computer Security - ESORICS 2008	2008-10-27	Paper
Implementation and use of the PLT scheme web server Higher-Order and Symbolic Computation	2007-12-17	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-05-02	Paper
Semantics and scoping of aspects in higher-order languages Science of Computer Programming	2006-12-14	Paper
EDUCATIONAL PEARL: Automata via macros Journal of Functional Programming	2006-06-09	Paper
scientific article; zbMATH DE number 2087622 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087538 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1956557 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1954115 (Why is no real title available?)	2003-07-28	Paper
scientific article; zbMATH DE number 1954099 (Why is no real title available?)	2003-07-28	Paper
DrScheme: a programming environment for Scheme Journal of Functional Programming	2002-07-02	Paper
scientific article; zbMATH DE number 1692937 (Why is no real title available?)	2002-01-21	Paper
How to design programs. An introduction to programming and computing	2001-09-11	Paper

Research outcomes over time

This page was built for person: Shriram Krishnamurthi