David Sands

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Proving the correctness of recursion-based automatic program transformations	2022-08-18	Paper
On flow-sensitive security types	2017-08-21	Paper
Differential Privacy	2016-09-29	Paper
The Place of Mathematics in Physics	2016-04-15	Paper
Are the Boltzmann and Thermodynamic Entropies Always the Same?	2016-04-15	Paper
Paralocks	2015-06-11	Paper
Possibilities and limitations of call-by-need space improvement	2015-03-09	Paper
Thermal damping in the compound piston	2011-08-02	Paper
The compound piston: resolution of a thermodynamic controversy by means of kinetic theory	2011-05-19	Paper
From Exponential to Polynomial-Time Security Typing via Principal Types	2011-05-19	Paper
All Secrets Great and Small	2009-03-31	Paper
Just Forget It – The Semantics and Enforcement of Information Erasure	2008-04-11	Paper
Programming Languages and Systems	2007-05-02	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4813195	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4414725	2003-07-27	Paper
Erratic Fudgets: A semantic theory for an embedded coordination language	2003-05-14	Paper
A per model of secure information flow in sequential programs	2001-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q2704329	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4499191	2001-03-06	Paper
Refining multiset transformers	1998-08-13	Paper
Proving the correctness of recursion-based automatic program transformations	1997-02-27	Paper
A Naïve Time Analysis and its Theory of Cost Equivalence	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4038672	1993-05-18	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: David Sands