BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Sweden
1 × United Kingdom
3 × USA
Collaborated with:
G.Smith R.B.Kieburtz
Talks about:
secreci (2) secur (2) type (2) ml (2) polymorph (1) overload (1) approach (1) templat (1) softwar (1) program (1)

Person: Dennis M. Volpano

DBLP DBLP: Volpano:Dennis_M=

Contributed to:

POPL 20002000
SAS 19991999
POPL 19981998
ESOP 19961996
FPCA 19911991
ICSE 19851985

Wrote 7 papers:

POPL-2000-VolpanoS #verification
Verifying Secrets and Relative Secrecy (DMV, GS), pp. 268–276.
SAS-1999-Volpano #safety
Safety versus Secrecy (DMV), pp. 303–311.
POPL-1998-SmithV #concurrent #data flow #imperative #multi #thread
Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.
ESOP-1996-SmithV #c #polymorphism #towards #type system
Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.
FPCA-1991-VolpanoS #complexity #ml #on the
On the Complexity of ML Typability with Overloading (DMV, GS), pp. 15–28.
Software Templates (DMV, RBK), pp. 55–61.
TAPSOFT-1997-VolpanoS #approach #security #type system
A Type-Based Approach to Program Security (DMV, GS), pp. 607–621.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.