Search the dblp DataBase
David Walker :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Colin Stirling , David Walker Local Model Checking in the Modal mu-Calculus. [Citation Graph (1, 0)][DBLP ] Theor. Comput. Sci., 1991, v:89, n:1, pp:161-177 [Journal ] Colin Stirling , David Walker CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. [Citation Graph (0, 0)][DBLP ] Automatic Verification Methods for Finite State Systems, 1989, pp:166-178 [Conf ] Penny Collins , David Walker , Frank Hicks , Anne McMahon , Errol Martin A comparison of methods for teaching information systems design. [Citation Graph (0, 0)][DBLP ] CHI Conference Companion, 1994, pp:245-246 [Conf ] Xinxin Liu , David Walker A Polymorphic Type System for the Polyadic pi-calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:103-116 [Conf ] Anna Philippou , David Walker On Sharing and Determinacy in Concurrent Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:456-470 [Conf ] Robin Milner , Joachim Parrow , David Walker Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1991, pp:45-60 [Conf ] Anna Philippou , David Walker On Transformations of Concurrent Object Programs. [Citation Graph (0, 0)][DBLP ] CONCUR, 1996, pp:131-146 [Conf ] Anna Philippou , David Walker A Rigorous Analysis of Concurrent Operations on B-Trees. [Citation Graph (0, 0)][DBLP ] CONCUR, 1997, pp:361-375 [Conf ] Davide Sangiorgi , David Walker On Barbed Equivalences in pi-Calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 2001, pp:292-304 [Conf ] David Walker Some Results on the pi-Calculus. [Citation Graph (0, 0)][DBLP ] Concurrency: Theory, Language, And Architecture, 1989, pp:21-35 [Conf ] David Walker On Bisimulation in the pi-calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 1994, pp:315-330 [Conf ] Anna Philippou , David Walker Social Confluence in Client-Server Systems. [Citation Graph (0, 0)][DBLP ] CSL, 1996, pp:385-398 [Conf ] Limin Jia , David Walker Modal Proofs as Distributed Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:219-233 [Conf ] Limin Jia , David Walker ILC: A Foundation for Automated Reasoning About Pointer Programs. [Citation Graph (0, 0)][DBLP ] ESOP, 2006, pp:131-145 [Conf ] Frederick Smith , David Walker , J. Gregory Morrisett Alias Types. [Citation Graph (0, 0)][DBLP ] ESOP, 2000, pp:366-381 [Conf ] David Walker Algebraic Proofs of Properties of Objects. [Citation Graph (0, 0)][DBLP ] ESOP, 1994, pp:501-516 [Conf ] Jay Ligatti , Lujo Bauer , David Walker Enforcing Non-safety Security Policies with Program Monitors. [Citation Graph (0, 0)][DBLP ] ESORICS, 2005, pp:355-373 [Conf ] Peter Arbenz , Rolf Hempel , David Walker Topic 7: Applications on High Performance Computers. [Citation Graph (0, 0)][DBLP ] Euro-Par, 2004, pp:476- [Conf ] William F. McColl , David Walker Theory and Algorithms for Parallel Computation. [Citation Graph (0, 0)][DBLP ] Euro-Par, 1998, pp:863-864 [Conf ] Paola Quaglia , David Walker On Synchronous and Asynchronous Mobile Processes. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2000, pp:283-296 [Conf ] Paola Quaglia , David Walker On Encoding p-pi in m-pi. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1998, pp:42-53 [Conf ] Frances Perry , Limin Jia , David Walker Expressing heap-shape contracts in linear logic. [Citation Graph (0, 0)][DBLP ] GPCE, 2006, pp:101-110 [Conf ] Anna Philippou , David Walker On Confluence in the pi-Calculus. [Citation Graph (0, 0)][DBLP ] ICALP, 1997, pp:314-324 [Conf ] David Walker A "Low-Tech" Design Experiment Improving Student Work. [Citation Graph (0, 0)][DBLP ] ICCE, 2002, pp:849-850 [Conf ] Daniel S. Dantas , David Walker , Geoffrey Washburn , Stephanie Weirich PolyAML : a polymorphic aspect-oriented functional programming language. [Citation Graph (0, 0)][DBLP ] ICFP, 2005, pp:306-319 [Conf ] Yitzhak Mandelbaum , David Walker , Robert Harper An effective theory of type refinements. [Citation Graph (0, 0)][DBLP ] ICFP, 2003, pp:213-225 [Conf ] David Walker , Lester W. Mackey , Jay Ligatti , George A. Reis , David I. August Static typing for a faulty lambda calculus. [Citation Graph (0, 0)][DBLP ] ICFP, 2006, pp:38-49 [Conf ] David Walker , Kevin Watkins On Regions and Linear Types. [Citation Graph (0, 0)][DBLP ] ICFP, 2001, pp:181-192 [Conf ] David Walker , Steve Zdancewic , Jay Ligatti A theory of aspects. [Citation Graph (0, 0)][DBLP ] ICFP, 2003, pp:127-139 [Conf ] Maria Ángeles Moraga , Coral Calero , Mario Piattini , David Walker Towards a quality model for grid portals. [Citation Graph (0, 0)][DBLP ] ICSOFT (1), 2006, pp:333-338 [Conf ] Xinming Ou , Gang Tan , Yitzhak Mandelbaum , David Walker Dynamic Typing with Dependent Types. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2004, pp:437-450 [Conf ] Lujo Bauer , Jarred Ligatti , David Walker Types and Effects for Non-interfering Program Monitors. [Citation Graph (0, 0)][DBLP ] ISSS, 2002, pp:154-171 [Conf ] Amal J. Ahmed , Limin Jia , David Walker Reasoning about Hierarchical Storage. [Citation Graph (0, 0)][DBLP ] LICS, 2003, pp:33-44 [Conf ] Limin Jia , Frances Spalding , David Walker , Neal Glew Certifying Compilation for a Language with Stack Allocation. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:407-416 [Conf ] Mark Daly , Mary F. Fernández , Kathleen Fisher , Yitzhak Mandelbaum , David Walker LAUNCHPADS: A System for Processing Ad Hoc Data. [Citation Graph (0, 0)][DBLP ] PLAN-X, 2006, pp:90-91 [Conf ] Lujo Bauer , Jay Ligatti , David Walker Composing security policies with polymer. [Citation Graph (0, 0)][DBLP ] PLDI, 2005, pp:305-314 [Conf ] Karl Crary , David Walker , J. Gregory Morrisett Typed Memory Management in a Calculus of Capabilities. [Citation Graph (0, 0)][DBLP ] POPL, 1999, pp:262-275 [Conf ] Daniel S. Dantas , David Walker Harmless advice. [Citation Graph (0, 0)][DBLP ] POPL, 2006, pp:383-396 [Conf ] Kathleen Fisher , Yitzhak Mandelbaum , David Walker The next 700 data description languages. [Citation Graph (0, 0)][DBLP ] POPL, 2006, pp:2-15 [Conf ] J. Gregory Morrisett , David Walker , Karl Crary , Neal Glew From System F to Typed Assembly Language. [Citation Graph (0, 0)][DBLP ] POPL, 1998, pp:85-97 [Conf ] David Walker A Type System for Expressive Security Policies. [Citation Graph (0, 0)][DBLP ] POPL, 2000, pp:254-267 [Conf ] Yitzhak Mandelbaum , Kathleen Fisher , David Walker , Mary F. Fernández , Artem Gleyzer PADS/ML: a functional data description language. [Citation Graph (0, 0)][DBLP ] POPL, 2007, pp:77-83 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 2006, pp:727-729 [Conf ] David Walker Pi-Calculus Semantics of Object-Oriented Programming Languages. [Citation Graph (0, 0)][DBLP ] TACS, 1991, pp:532-547 [Conf ] Xinxin Liu , David Walker Confluence of Processes and Systems of Objects. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:217-231 [Conf ] Colin Stirling , David Walker Local Model Checking in the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1989, pp:369-383 [Conf ] Amal J. Ahmed , David Walker The logical approach to stack typing. [Citation Graph (0, 0)][DBLP ] TLDI, 2003, pp:74-85 [Conf ] J. Gregory Morrisett , Karl Crary , Neal Glew , David Walker Stack-Based Typed Assembly Language. [Citation Graph (0, 0)][DBLP ] Types in Compilation, 1998, pp:28-52 [Conf ] David Walker , J. Gregory Morrisett Alias Types for Recursive Data Structures. [Citation Graph (0, 0)][DBLP ] Types in Compilation, 2000, pp:177-206 [Conf ] Amal J. Ahmed , David Walker The logical approach to stack typing. [Citation Graph (0, 0)][DBLP ] TLDI, 2003, pp:74-85 [Conf ] Kevin Watkins , Iliano Cervesato , Frank Pfenning , David Walker A Concurrent Logical Framework: The Propositional Fragment. [Citation Graph (0, 0)][DBLP ] TYPES, 2003, pp:355-377 [Conf ] Paul Messina , Clive F. Baillie , Edward W. Felten , Paul Hipes , Ray Williams , Arnold Alagar , Anke Kamrath , Robert Leary , Wayne Pfeiffer , Jack M. Rogers , David Walker Benchmarking Advanced Architecture Computers. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 1990, v:2, n:3, pp:195-255 [Journal ] Shrideep Pallickara , Geoffrey Fox , Ahmet Uyar , Hongbin Liu , Xi Rao , David Walker , Beytullah Yildiz Performance of a possible Grid message infrastructure. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 2005, v:17, n:2-4, pp:193-214 [Journal ] Robin Milner , Joachim Parrow , David Walker A Calculus of Mobile Processes, I [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1992, v:100, n:1, pp:1-40 [Journal ] Robin Milner , Joachim Parrow , David Walker A Calculus of Mobile Processes, II [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1992, v:100, n:1, pp:41-77 [Journal ] Paola Quaglia , David Walker Types and full abstraction for polyadic pi -calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2005, v:200, n:2, pp:215-246 [Journal ] David Walker Objects in the pi-Calculus [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:2, pp:253-271 [Journal ] Jay Ligatti , Lujo Bauer , David Walker Edit automata: enforcement mechanisms for run-time security policies. [Citation Graph (0, 0)][DBLP ] Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:2-16 [Journal ] Anna Philippou , David Walker A Process-Calculus Analysis of Concurrent Operations on B-Trees. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2001, v:62, n:1, pp:73-122 [Journal ] J. Gregory Morrisett , Karl Crary , Neal Glew , David Walker Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2002, v:12, n:1, pp:3-88 [Journal ] J. Gregory Morrisett , Karl Crary , Neal Glew , David Walker Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:5, pp:957-959 [Journal ] Jay Ligatti , David Walker , Steve Zdancewic A type-theoretic interpretation of pointcuts and advice. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:63, n:3, pp:240-266 [Journal ] Xinxin Liu , David Walker Partial Confluence of Proceses and Systems of Objects. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:206, n:1-2, pp:127-162 [Journal ] Robin Milner , Joachim Parrow , David Walker Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:1, pp:149-171 [Journal ] Anna Philippou , David Walker On Transformations of Concurrent-Object Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:195, n:2, pp:259-289 [Journal ] J. Gregory Morrisett , David Walker , Karl Crary , Neal Glew From system F to typed assembly language. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:527-568 [Journal ] David Walker , Karl Crary , J. Gregory Morrisett Typed memory management via static capabilities. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2000, v:22, n:4, pp:701-771 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] ISCAS, 2007, pp:2128-2131 [Conf ] Frances Perry , Lester W. Mackey , George A. Reis , Jay Ligatti , David I. August , David Walker Fault-tolerant typed assembly language. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:42-53 [Conf ] Concurrent objects as mobile processes. [Citation Graph (, )][DBLP ] Faulty Logic: Reasoning about Fault Tolerant Programs. [Citation Graph (, )][DBLP ] Patch (1) Considered Harmful. [Citation Graph (, )][DBLP ] Ad Hoc Data and the Token Ambiguity Problem. [Citation Graph (, )][DBLP ] A context-free markup language for semi-structured text. [Citation Graph (, )][DBLP ] From dirt to shovels: fully automatic tool generation from ad hoc data. [Citation Graph (, )][DBLP ] Semantics and algorithms for data-dependent grammars. [Citation Graph (, )][DBLP ] Language support for processing distributed ad hoc data. [Citation Graph (, )][DBLP ] Reasoning about Control Flow in the Presence of Transient Faults. [Citation Graph (, )][DBLP ] Concurrent Separation Logic for Pipelined Parallelization. [Citation Graph (, )][DBLP ] LearnPADS: automatic tool generation from ad hoc data. [Citation Graph (, )][DBLP ] An Overview of Iris and Retina Scans and their Fusion in a Biometric System. [Citation Graph (, )][DBLP ] Public Health Information Fusion for Situation Awareness. [Citation Graph (, )][DBLP ] Specifying Properties of Concurrent Computations in CLF. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.461secs