Steve Zdancewic

Available identifiers

zbMath Open zdancewic.steveMaRDI QIDQ276493

List of research outcomes

Publication	Date of Publication	Type
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
Principals in programming languages	2016-09-01	Paper
Linear $$ \lambda \mu $$ is $$ \textsc {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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steve Zdancewic