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: Gifford:David_K=
Contributed to:
2005
2001
2000
1997
19961995
19941993
19911991
19911990
198919881986198519811979Wrote 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.
- SOSP-1979-Gifford
- Weighted Voting for Replicated Data (DKG), pp. 150–162.