Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David Walker
2010 – today
- 2013
[j30]Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison: Languages for software-defined networks. IEEE Communications Magazine 51(2): 128-134 (2013)- 2012
- [c76]Kent McClymont, David Walker, Max Dupenois: The lay of the land: a brief survey of problem understanding. GECCO (Companion) 2012: 425-432
- [c75]Kenny Qili Zhu, Kathleen Fisher, David Walker: LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL 2012: 168-182
- [c74]Christopher Monsanto, Nate Foster, Rob Harrison, David Walker: A compiler and run-time system for network programming languages. POPL 2012: 217-230
- [c73]Nanxi Kang, Joshua Reich, Jennifer Rexford, David Walker: Policy transformation in software defined networks. SIGCOMM 2012: 309-310
- [c72]Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker: Abstractions for network update. SIGCOMM 2012: 323-334
- 2011
- [j29]Beatriz Paniagua, Lucia H. S. Cevidanes, David Walker, Hongtu Zhu, Ruixin Guo, Martin Styner: Clinical application of SPHARM-PDM to quantify temporomandibular joint osteoarthritis. Comp. Med. Imag. and Graph. 35(5): 345-352 (2011)
- [c71]Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn: Modular Protections against Non-control Data Attacks. CSF 2011: 131-145
- [c70]Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker: Consistent updates for software-defined networks: change you can believe in! HotNets 2011: 7
- [c69]
- [c68]Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker: Frenetic: a network programming language. ICFP 2011: 279-291
- [c67]Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu: Forest: a language and toolkit for programming with filestores. ICFP 2011: 292-306
- [c66]
- 2010
- [j28]Kathleen Fisher, Yitzhak Mandelbaum, David Walker: The next 700 data description languages. J. ACM 57(2) (2010)
- [j27]Kenny Qili Zhu, Kathleen Fisher, David Walker: Incremental learning of system log formats. Operating Systems Review 44(1): 85-90 (2010)
- [c65]Matthew L. Meola, David Walker: Faulty Logic: Reasoning about Fault Tolerant Programs. ESOP 2010: 468-487
- [c64]
- [c63]Trevor Jim, Yitzhak Mandelbaum, David Walker: Semantics and algorithms for data-dependent grammars. POPL 2010: 417-430
- [c62]Christian J. Bell, Andrew W. Appel, David Walker: Concurrent Separation Logic for Pipelined Parallelization. SAS 2010: 151-166
2000 – 2009
- 2009
- [j26]Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic: An overview of the Oregon programming languages summer school. SIGPLAN Notices 44(11): 1-3 (2009)
- [j25]Jay Ligatti, Lujo Bauer, David Walker: Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. 12(3) (2009)
- [j24]Lujo Bauer, Jay Ligatti, David Walker: Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. 18(3) (2009)
- [c61]Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu: Ad Hoc Data and the Token Ambiguity Problem. PADL 2009: 91-106
- [c60]Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker: Language support for processing distributed ad hoc data. PPDP 2009: 243-254
- 2008
- [j23]Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker: Specifying Properties of Concurrent Computations in CLF. Electr. Notes Theor. Comput. Sci. 199: 67-87 (2008)
- [j22]Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich: AspectML: A polymorphic aspect-oriented functional programming language. ACM Trans. Program. Lang. Syst. 30(3) (2008)
- [c59]Henry Rolka, Jean C. O'Connor, David Walker: Public Health Information Fusion for Situation Awareness. BioSecure 2008: 1-9
- [c58]Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White: From dirt to shovels: fully automatic tool generation from ad hoc data. POPL 2008: 421-434
- [c57]Frances Perry, David Walker: Reasoning about Control Flow in the Presence of Transient Faults. SAS 2008: 332-346
- [c56]Kathleen Fisher, David Walker, Kenny Qili Zhu: LearnPADS: automatic tool generation from ad hoc data. SIGMOD Conference 2008: 1299-1302
- 2007
- [j21]David Walker, Ewa Deelman: Dynamic computational workflows: Discovery, optimisation and scheduling. Scientific Programming 15(4): 191-192 (2007)
- [c55]Shayan Farahvash, Chee Quek, William Roberts, David Walker, Mohamed Mostafa, Hauw Liem, Robert Koupal: A Two-port GFSK Direct Modulator for Wideband Applications at 5.8 GHz. ISCAS 2007: 2128-2131
- [c54]Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker: Fault-tolerant typed assembly language. PLDI 2007: 42-53
- [c53]Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer: PADS/ML: a functional data description language. POPL 2007: 77-83
- 2006
- [j20]Jay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006)
- [c52]
- [c51]Frances Perry, Limin Jia, David Walker: Expressing heap-shape contracts in linear logic. GPCE 2006: 101-110
- [c50]David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August: Static typing for a faulty lambda calculus. ICFP 2006: 38-49
- [c49]Maria Ángeles Moraga, Coral Calero, Mario Piattini, David Walker: Towards a quality model for grid portals. ICSOFT (1) 2006: 333-338
- [c48]Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker: LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X 2006: 90-91
- [c47]Kathleen Fisher, Yitzhak Mandelbaum, David Walker: The next 700 data description languages. POPL 2006: 2-15
- [c46]
- [c45]Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng: PADS: an end-to-end system for processing ad hoc data. SIGMOD Conference 2006: 727-729
- 2005
- [j19]Shrideep Pallickara, Geoffrey Fox, Ahmet Uyar, Hongbin Liu, Xi Rao, David Walker, Beytullah Yildiz: Performance of a possible Grid message infrastructure. Concurrency - Practice and Experience 17(2-4): 193-214 (2005)
- [j18]Paola Quaglia, David Walker: Types and full abstraction for polyadic pi-calculus. Inf. Comput. 200(2): 215-246 (2005)
- [j17]Jay Ligatti, Lujo Bauer, David Walker: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec. 4(1-2): 2-16 (2005)
- [c44]Jay Ligatti, Lujo Bauer, David Walker: Enforcing Non-safety Security Policies with Program Monitors. ESORICS 2005: 355-373
- [c43]Marc E. Fiuczynski, Robert Grimm, Yvonne Coady, David Walker: Patch (1) Considered Harmful. HotOS 2005
- [c42]Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich: PolyAML: a polymorphic aspect-oriented functional programming language. ICFP 2005: 306-319
- [c41]Limin Jia, Frances Spalding, David Walker, Neal Glew: Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416
- [c40]
- 2004
- [c39]
- [c38]Peter Arbenz, Rolf Hempel, David Walker: Topic 7: Applications on High Performance Computers. Euro-Par 2004: 476
- [c37]Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker: Dynamic Typing with Dependent Types. IFIP TCS 2004: 437-450
- 2003
- [j16]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
- [j15]David Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. SIGPLAN Notices 38(9): 127-139 (2003)
- [j14]Yitzhak Mandelbaum, David Walker, Robert Harper: An effective theory of type refinements. SIGPLAN Notices 38(9): 213-225 (2003)
- [c36]
- [c35]Yitzhak Mandelbaum, David Walker, Robert Harper: An effective theory of type refinements. ICFP 2003: 213-225
- [c34]
- [c33]
- [c32]Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker: A Concurrent Logical Framework: The Propositional Fragment. TYPES 2003: 355-377
- 2002
- [j13]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002)
- [c31]
- [c30]Lujo Bauer, Jarred Ligatti, David Walker: Types and Effects for Non-interfering Program Monitors. ISSS 2002: 154-171
- 2001
- [b1]Davide Sangiorgi, David Walker: The Pi-Calculus - a theory of mobile processes. Cambridge University Press 2001, ISBN 978-0-521-78177-0, pp. I-XII, 1-580
- [j12]Anna Philippou, David Walker: A Process-Calculus Analysis of Concurrent Operations on B-Trees. J. Comput. Syst. Sci. 62(1): 73-122 (2001)
- [c29]
- [c28]
- 2000
- [j11]David Walker, Karl Crary, J. Gregory Morrisett: Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4): 701-771 (2000)
- [c27]Xinxin Liu, David Walker: Concurrent objects as mobile processes. Proof, Language, and Interaction 2000: 639-658
- [c26]
- [c25]Paola Quaglia, David Walker: On Synchronous and Asynchronous Mobile Processes. FoSSaCS 2000: 283-296
- [c24]
- [c23]David Walker, J. Gregory Morrisett: Alias Types for Recursive Data Structures. Types in Compilation 2000: 177-206
1990 – 1999
- 1999
- [j10]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From system F to typed assembly language. ACM Trans. Program. Lang. Syst. 21(3): 527-568 (1999)
- [c22]Karl Crary, David Walker, J. Gregory Morrisett: Typed Memory Management in a Calculus of Capabilities. POPL 1999: 262-275
- 1998
- [j9]Anna Philippou, David Walker: On Transformations of Concurrent-Object Programs. Theor. Comput. Sci. 195(2): 259-289 (1998)
- [j8]Xinxin Liu, David Walker: Partial Confluence of Proceses and Systems of Objects. Theor. Comput. Sci. 206(1-2): 127-162 (1998)
- [c21]William F. McColl, David Walker: Theory and Algorithms for Parallel Computation. Euro-Par 1998: 863-864
- [c20]
- [c19]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
- [c18]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52
- 1997
- [j7]Linda Smith, D. Brett Ridgely, David Walker, Jim Luke: Application of a mixed H2/Hinfinity approach with a singular Hinfinityconstraint. Int. J. Systems Science 28(1): 55-64 (1997)
- [c17]Anna Philippou, David Walker: A Rigorous Analysis of Concurrent Operations on B-Trees. CONCUR 1997: 361-375
- [c16]
- [c15]Penny Collings, Dale Kleeman, Avon Richards-Smith, David Walker: Developing new group work practices: An evaluation of the design and use of groupware-based work systems for a graduate student course in Information System. PACIS 1997: 19
- 1996
- [c14]Anna Philippou, David Walker: On Transformations of Concurrent Object Programs. CONCUR 1996: 131-146
- [c13]
- 1995
- [j6]
- [c12]Xinxin Liu, David Walker: A Polymorphic Type System for the Polyadic pi-calculus. CONCUR 1995: 103-116
- [c11]Anna Philippou, David Walker: On Sharing and Determinacy in Concurrent Systems. CONCUR 1995: 456-470
- [c10]
- [c9]
- 1994
- [c8]Penny Collings, David Walker, Frank Hicks, Anne McMahon, Errol Martin: A comparison of methods for teaching information systems design. CHI Conference Companion 1994: 245-246
- [c7]
- [c6]
- 1993
- [j5]Robin Milner, Joachim Parrow, David Walker: Modal Logics for Mobile Processes. Theor. Comput. Sci. 114(1): 149-171 (1993)
- 1992
- [j4]Robin Milner, Joachim Parrow, David Walker: A Calculus of Mobile Processes, I. Inf. Comput. 100(1): 1-40 (1992)
- [j3]Robin Milner, Joachim Parrow, David Walker: A Calculus of Mobile Processes, II. Inf. Comput. 100(1): 41-77 (1992)
- 1991
- [j2]Colin Stirling, David Walker: Local Model Checking in the Modal mu-Calculus. Theor. Comput. Sci. 89(1): 161-177 (1991)
- [c5]
- [c4]
- 1990
- [j1]Paul Messina, Clive F. Baillie, Edward W. Felten, Paul Hipes, Ray Williams, Arnold Alagar, Anke Kamrath, Robert H. Leary, Wayne Pfeiffer, Jack M. Rogers, David Walker: Benchmarking Advanced Architecture Computers. Concurrency - Practice and Experience 2(3): 195-255 (1990)
1980 – 1989
- 1989
- [c3]Colin Stirling, David Walker: CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. Automatic Verification Methods for Finite State Systems 1989: 166-178
- [c2]David Walker: Some Results on the pi-Calculus. Concurrency: Theory, Language, And Architecture 1989: 21-35
- [c1]Colin Stirling, David Walker: Local Model Checking in the Modal Mu-Calculus. TAPSOFT, Vol.1 1989: 369-383
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 20:10 CET by the dblp team