BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Estonia
1 × Japan
1 × Portugal
1 × The Netherlands
1 × United Kingdom
15 × USA
2 × France
2 × Germany
2 × Italy
2 × Sweden
3 × Canada
3 × Spain
Collaborated with:
K.Fisher L.Jia K.Q.Zhu Y.Mandelbaum J.Ligatti R.Beckett F.Perry A.Philippou J.G.Morrisett D.S.Dantas N.Foster S.Zdancewic Q.Xi R.Mahajan K.Crary M.L.Meola N.Glew K.Watkins P.Quaglia C.Stirling X.L.0008 C.Schlesinger C.Monsanto R.Harrison L.W.Mackey G.A.Reis D.I.August M.F.Fernández M.Greenberg T.Jim C.J.Bell A.W.Appel L.Bauer R.Harper A.J.Ahmed F.Smith Michael Greenberg 0002 P.White G.Washburn S.Weirich F.Spalding N.Giannarakis Jonathan Frankle P.Osera A.Gupta A.Gleyzer T.D.Millstein J.Padhye Anders Miltner B.C.Pierce C.J.Anderson A.Guha J.Jeannin D.Kozen M.J.Freedman J.Rexford A.Story V.S.Pai M.Daly R.Gruber X.Zheng
Talks about:
languag (12) type (9) data (9) program (8) network (6) system (6) hoc (6) ad (6) confluenc (4) calculus (4)

Person: David Walker

DBLP DBLP: Walker:David

Facilitated 1 volumes:

POPL 2015Ed

Contributed to:

ICFP 20142014
POPL 20142014
PADL 20122012
POPL 20122012
ICFP 20112011
ESOP 20102010
PLDI 20102010
POPL 20102010
SAS 20102010
PADL 20092009
PPDP 20092009
POPL 20082008
SAS 20082008
SIGMOD 20082008
PLDI 20072007
POPL 20072007
ESOP 20062006
GPCE 20062006
ICFP 20062006
POPL 20062006
SIGMOD 20062006
ICFP 20052005
LICS 20052005
PLDI 20052005
ESOP 20042004
ICFP 20032003
LICS 20032003
ICFP 20012001
ESOP 20002000
FoSSaCS 20002000
POPL 20002000
POPL 19991999
POPL 19981998
ICALP 19971997
CSL 19961996
ESOP 19941994
TAPSOFT, Vol.1: CAAP 19891989
TAPSOFT CAAP/FASE 19951995
CAV (2) 20192019
PLDI 20162016
POPL 20162016
PLDI 20172017
POPL 20182018
POPL 20202020

Wrote 48 papers:

ICFP-2014-SchlesingerGW #concurrent #pipes and filters #policy
Concurrent NetCore: from policies to pipelines (CS, MG, DW), pp. 11–24.
POPL-2014-AndersonFGJKSW #named #network #semantics
NetkAT: semantic foundations for networks (CJA, NF, AG, JBJ, DK, CS, DW), pp. 113–126.
PADL-2012-ZhuFW #ad hoc #incremental
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (KQZ, KF, DW), pp. 168–182.
POPL-2012-MonsantoFHW #compilation #network #programming language #runtime
A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
ICFP-2011-FisherFWZ #named #programming #tool support
Forest: a language and toolkit for programming with filestores (KF, NF, DW, KQZ), pp. 292–306.
ICFP-2011-FosterHFMRSW #named #network #programming language
Frenetic: a network programming language (NF, RH, MJF, CM, JR, AS, DW), pp. 279–291.
ESOP-2010-MeolaW #fault tolerance #logic #reasoning #source code
Faulty Logic: Reasoning about Fault Tolerant Programs (MLM, DW), pp. 468–487.
PLDI-2010-XiW
A context-free markup language for semi-structured text (QX, DW), pp. 221–232.
POPL-2010-JimMW #algorithm #semantics
Semantics and algorithms for data-dependent grammars (TJ, YM, DW), pp. 417–430.
SAS-2010-BellAW #concurrent #logic #parallel #pipes and filters
Concurrent Separation Logic for Pipelined Parallelization (CJB, AWA, DW), pp. 151–166.
PADL-2009-XiFWZ #ad hoc #ambiguity #problem
Ad Hoc Data and the Token Ambiguity Problem (QX, KF, DW, KQZ), pp. 91–106.
PPDP-2009-ZhuDFJMPW #ad hoc #distributed
Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
POPL-2008-FisherWZW #ad hoc #automation #generative
From dirt to shovels: fully automatic tool generation from ad hoc data (KF, DW, KQZ, PW), pp. 421–434.
SAS-2008-PerryW #control flow #fault #reasoning
Reasoning about Control Flow in the Presence of Transient Faults (FP, DW), pp. 332–346.
SIGMOD-2008-FisherWZ #ad hoc #automation #generative #named
LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
PLDI-2007-PerryMRLAW #assembly #fault tolerance
Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
POPL-2007-MandelbaumFWFG #functional #ml #named
PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.
ESOP-2006-JiaW #automation #named #pointer #reasoning #source code
ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.
GPCE-2006-PerryJW #contract #linear #logic
Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.
ICFP-2006-WalkerMLRA #static typing #type system #λ-calculus
Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.
POPL-2006-Dantas
Harmless advice (DSD, DW), pp. 383–396.
POPL-2006-FisherMW
The next 700 data description languages (KF, YM, DW), pp. 2–15.
SIGMOD-2006-DalyMWFFGZ #ad hoc #named
PADS: an end-to-end system for processing ad hoc data (MD, YM, DW, MFF, KF, RG, XZ), pp. 727–729.
ICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism #programming language
PolyAML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
LICS-2005-JiaSWG #compilation #stack
Certifying Compilation for a Language with Stack Allocation (LJ, FS, DW, NG), pp. 407–416.
PLDI-2005-BauerLW #policy #security
Composing security policies with polymer (LB, JL, DW), pp. 305–314.
ESOP-2004-JiaW #distributed #proving #source code
Modal Proofs as Distributed Programs (LJ, DW), pp. 219–233.
ICFP-2003-MandelbaumWH #effectiveness
An effective theory of type refinements (YM, DW, RH), pp. 213–225.
ICFP-2003-WalkerZL #aspect-oriented #formal method
A theory of aspects (DW, SZ, JL), pp. 127–139.
LICS-2003-AhmedJW #reasoning
Reasoning about Hierarchical Storage (AJA, LJ, DW), pp. 33–44.
ICFP-2001-WalkerW #linear #on the
On Regions and Linear Types (DW, KW), pp. 181–192.
ESOP-2000-SmithWM #alias
Alias Types (FS, DW, JGM), pp. 366–381.
FoSSaCS-2000-QuagliaW #mobile #on the #process
On Synchronous and Asynchronous Mobile Processes (PQ, DW), pp. 283–296.
POPL-2000-Walker #policy #security #type system
A Type System for Expressive Security Policies (DW), pp. 254–267.
POPL-1999-CraryWM #calculus #memory management
Typed Memory Management in a Calculus of Capabilities (KC, DW, JGM), pp. 262–275.
POPL-1998-MorrisettWCG #assembly #system f
From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.
ICALP-1997-PhilippouW #confluence #on the #π-calculus
On Confluence in the π-Calculus (AP, DW), pp. 314–324.
CSL-1996-PhilippouW #confluence #social
Social Confluence in Client-Server Systems (AP, DW), pp. 385–398.
ESOP-1994-Walker #algebra #proving
Algebraic Proofs of Properties of Objects (DW), pp. 501–516.
CAAP-1989-StirlingW #calculus #model checking
Local Model Checking in the Modal Mu-Calculus (CS, DW), pp. 369–383.
TAPSOFT-1995-LiuW #confluence #process
Confluence of Processes and Systems of Objects (XL0, DW), pp. 217–231.
CAV-2019-GiannarakisBMW #fault tolerance #network #performance #refinement #verification
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
PLDI-2016-BeckettGW
Temporal NetKAT (RB, MG0, DW), pp. 386–401.
POPL-2016-FrankleOWZ #synthesis
Example-directed synthesis: a type-theoretic interpretation (JF, PMO, DW, SZ), pp. 802–815.
POPL-2016-Walker #programming language #research
Confluences in programming languages research (keynote) (DW), p. 4.
PLDI-2017-BeckettMMPW #network #synthesis
Network configuration synthesis with abstract topologies (RB, RM, TDM, JP, DW), pp. 437–451.
POPL-2018-MiltnerFPWZ #lens
Synthesizing bijective lenses (AM, KF, BCP, DW, SZ), p. 30.
POPL-2020-BeckettGMW #abstract interpretation #distributed #network
Abstract interpretation of distributed network control planes (RB, AG, RM, DW), p. 27.

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.