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: now it's getting personal	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
Improvement theory and its applications	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

This page was built for person: David Sands