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 × Canada
1 × France
1 × Germany
13 × USA
Collaborated with:
P.Jouvelot J.M.Lucassen M.A.Sheldon J.O'Toole B.Reistad M.F.Kaashoek B.Vélez R.Weiss A.C.Snoeren K.Conley S.Nettles V.Dornic M.D.Schroeder R.M.Needham R.W.Baldwin S.T.Berlin R.Singh N.Palmer B.Berger Z.Bar-Joseph J.Jannotti K.L.Johnson J.O.Jr. A.D.Joseph A.F.deLespinasse J.A.Tauber C.Namprempre P.Szilágyi A.Duda
Talks about:
system (5) effect (4) polymorph (3) inform (3) type (3) time (3) reconstruct (2) program (2) network (2) content (2)

Person: David K. Gifford

DBLP DBLP: Gifford:David_K=

Contributed to:

ICML 20052005
SOSP 20012001
OSDI 20002000
SIGIR 19971997
HT 19961996
SOSP 19951995
LFP 19941994
SOSP 19931993
POPL 19911991
SOSP 19911991
LFP 19901990
PLDI 19891989
POPL 19881988
LFP 19861986
SOSP 19851985
SOSP 19811981
SOSP 19791979

Wrote 20 papers:

ICML-2005-SinghPGBB #analysis #learning
Active learning for sampling in time-series experiments with application to gene expression analysis (RS, NP, DKG, BB, ZBJ), pp. 832–839.
SOSP-2001-SnoerenCG #using #xml
Mesh Based Content Routing using XML (ACS, KC, DKG), pp. 160–173.
OSDI-2000-JannottiGJKO #multi #named #network #reliability
Overcast: Reliable Multicasting with an Overlay Network (JJ, DKG, KLJ, MFK, JOJ), pp. 197–212.
SIGIR-1997-VelezWSG #effectiveness #performance #query #refinement
Fast and Effective Query Refinement (BV, RW, MAS, DKG), pp. 6–15.
HT-1996-WeissVSNSDG #clustering #hypermedia #named #network
HyPursuit: A Hierarchical Network Search Engine that Exploits Content-Link Hypertext Clustering (RW, BV, MAS, CN, PS, AD, DKG), pp. 180–193.
SOSP-1995-JosephdTGK #information management #mobile #named #tool support
Rover: A Toolkit for Mobile Information Access (ADJ, AFd, JAT, DKG, MFK), pp. 156–171.
LFP-1994-ReistadG #execution
Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.
SOSP-1993-OTooleNG #concurrent #garbage collection #persistent
Concurrent Compacting Garbage Collection of a Persistent Heap (JO, SN, DKG), pp. 161–174.
POPL-1991-JouvelotG #algebra #re-engineering
Algebraic Reconstruction of Types and Effects (PJ, DKG), pp. 303–310.
SOSP-1991-GiffordJSO #file system #semantics
Semantic File Systems (DKG, PJ, MAS, JO), pp. 16–25.
WSA-1991-DornicJG #complexity #polymorphism
Polymorphic Time Systems for Estimating Program Complexity (VD, PJ, DKG), pp. 9–17.
LFP-1990-SheldonG #dependent type
Static Dependent Types for First Class Modules (MAS, DKG), pp. 20–29.
PLDI-1989-JouvelotG #continuation #reasoning
Reasoning about Continuations with Control Effects (PJ, DKG), pp. 218–226.
PLDI-1989-OTooleG #polymorphism #re-engineering
Type Reconstruction with First-Class Polymorphic Values (JO, DKG), pp. 207–217.
POPL-1988-LucassenG #polymorphism
Polymorphic Effect Systems (JML, DKG), pp. 47–57.
LFP-1986-GiffordL #functional #imperative #programming
Integrating Functional and Imperative Programming (DKG, JML), pp. 28–38.
SOSP-1985-GiffordBBL #architecture #information management #scalability
An Architecture for Large Scale Information Systems (DKG, RWB, STB, JML), pp. 161–170.
SOSP-1985-SchroederGN #file system
A Caching File System For a Programmer’s Workstation (MDS, DKG, RMN), pp. 25–34.
SOSP-1981-Gifford #authentication #encryption
Cryptographic Sealing for Information Secrecy and Authentication (DKG), pp. 123–124.
Weighted Voting for Replicated Data (DKG), pp. 150–162.

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.