Shriram Krishnamurthi

Available identifiers

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	2017-05-10	Paper
Continuations from generalized stack inspection	2015-01-06	Paper
Modeling Web Interactions and Errors	2013-06-18	Paper
Typing local control and state using flow analysis	2011-05-19	Paper
Specifying and Reasoning About Dynamic Access-Control Policies	2009-03-12	Paper
Cryptographic Protocol Explication and End-Point Projection	2008-10-27	Paper
Implementation and use of the PLT scheme web server	2007-12-17	Paper
Programming Languages and Systems	2007-05-02	Paper
Semantics and scoping of aspects in higher-order languages	2006-12-14	Paper
EDUCATIONAL PEARL: Automata via macros	2006-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4738467	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738347	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417897	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4415111	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4415091	2003-07-28	Paper
DrScheme: a programming environment for Scheme	2002-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q2763670	2002-01-21	Paper
How to design programs. An introduction to programming and computing	2001-09-11	Paper

This page was built for person: Shriram Krishnamurthi