Steve Zdancewic

Available identifiers

zbMath Open zdancewic.steveMaRDI QIDQ276493

List of research outcomes

Publication	Date of Publication	Type
Tealeaves: structured monads for generic first-order abstract syntax infrastructure	2024-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q6121516	2024-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q6099631	2023-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5015209	2021-12-06	Paper
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces	2019-02-08	Paper
A formal equational theory for call-by-push-value	2018-10-04	Paper
A linear/producer/consumer model of classical linear logic	2018-04-25	Paper
An axiomatic specification for sequential memory models	2018-03-01	Paper
Downgrading policies and relaxed noninterference	2017-07-14	Paper
Example-directed synthesis: a type-theoretic interpretation	2016-10-24	Paper
Principals in programming languages, a syntactic proof technique	2016-09-01	Paper
Linear \(\lambda \mu\) is CP (more or less)	2016-08-17	Paper
A type system for robust declassification	2016-05-03	Paper
Formalizing the LLVM intermediate representation for verified program transformations	2015-09-11	Paper
AURA	2015-03-16	Paper
Translating dependency into parametricity	2015-03-09	Paper
Lolliproc: to concurrency from classical linear logic via Curry-Howard and control	2015-03-05	Paper
Finite vector spaces as model of simply-typed lambda-calculi	2015-01-13	Paper
A core quantitative coeffect calculus	2014-04-16	Paper
Generative type abstraction and type-level computation	2014-04-10	Paper
Mechanized verification of computing dominators for formalizing compilers	2013-04-19	Paper
Arrows for secure information flow	2010-04-22	Paper
Preserving Secrecy Under Refinement	2007-09-11	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
Programming Languages and Systems	2005-09-13	Paper
Secure information flow via linear continuations	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2763665	2002-01-21	Paper

Research outcomes over time

This page was built for person: Steve Zdancewic