David Walker - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

2009

2008

AspectML: A polymorphic aspect-oriented functional programming languageDaniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich. TOPLAS, 30(3), 2008. [doi]

From dirt to shovels: fully automatic tool generation from ad hoc dataKathleen Fisher, David Walker, Kenny Qili Zhu, Peter White. POPL 2008: 421-434 [doi]

LearnPADS: automatic tool generation from ad hoc dataKathleen Fisher, David Walker, Kenny Qili Zhu. sigmod 2008: 1299-1302 [doi]

Reasoning about Control Flow in the Presence of Transient FaultsFrances Perry, David Walker. SAS 2008: 332-346 [doi]

Public Health Information Fusion for Situation AwarenessHenry Rolka, Jean C. O Connor, David Walker. biosurveillance 2008: 1-9 [doi]

An Overview of Iris and Retina Scans and their Fusion in a Biometric SystemMichael Sadowitz, Shahram Latifi, David Walker. ipcv 2008: 119-123

An iris and retina multimodal biometric systemMichael Sadowitz, Shahram Latifi, David Walker. ijsn, 3(4):250-257, 2008. [doi]

Specifying Properties of Concurrent Computations in CLFKevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker. ENTCS, 199:67-87, 2008. [doi]

2007

2006

PADS: an end-to-end system for processing ad hoc dataMark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernandez, Kathleen Fisher, Robert Gruber, Xuan Zheng. sigmod 2006: 727-729 [doi]

LAUNCHPADS: A System for Processing Ad Hoc DataMark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker. planX 2006: 90-91

Harmless adviceDaniel S. Dantas, David Walker. POPL 2006: 383-396 [doi]

The next 700 data description languagesKathleen Fisher, Yitzhak Mandelbaum, David Walker. POPL 2006: 2-15 [doi]

ILC: A Foundation for Automated Reasoning About Pointer ProgramsLimin Jia, David Walker. ESOP 2006: 131-145 [doi]

A type-theoretic interpretation of pointcuts and adviceJay Ligatti, David Walker, Steve Zdancewic. SCP, 63(3):240-266, 2006. [doi]

Expressing heap-shape contracts in linear logicFrances Perry, Limin Jia, David Walker. GPCE 2006: 101-110 [doi]

Static typing for a faulty lambda calculusDavid Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August. ICFP 2006: 38-49 [doi]

Towards a quality model for grid portalsMaria Ángeles Moraga, Coral Calero, Mario Piattini, David Walker. ICSOFT 2006: 333-338

2005

Composing security policies with polymerLujo Bauer, Jay Ligatti, David Walker. PLDI 2005: 305-314 [doi]

Poly::AML::: a polymorphic aspect-oriented functional programming languageDaniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich. ICFP 2005: 306-319 [doi]

Patch (1) Considered HarmfulMarc E. Fiuczynski, Robert Grimm, Yvonne Coady, David Walker. hotos 2005: [doi]

Certifying Compilation for a Language with Stack AllocationLimin Jia, Frances Spalding, David Walker, Neal Glew. lics 2005: 407-416 [doi]

Edit automata: enforcement mechanisms for run-time security policiesJay Ligatti, Lujo Bauer, David Walker. ijisec, 4(1-2):2-16, 2005. [doi]

Enforcing Non-safety Security Policies with Program MonitorsJay Ligatti, Lujo Bauer, David Walker. esorics 2005: 355-373 [doi]

Performance of a possible Grid message infrastructureShrideep Pallickara, Geoffrey Fox, Ahmet Uyar, Hongbin Liu, Xi Rao, David Walker, Beytullah Yildiz. concurrency, 17(2-4):193-214, 2005. [doi]

Types and full abstraction for polyadic ::::pi::::-calculusPaola Quaglia, David Walker. iandc, 200(2):215-246, 2005. [doi]

2004

Topic 7: Applications on High Performance ComputersPeter Arbenz, Rolf Hempel, David Walker. europar 2004: 476 [doi]

Modal Proofs as Distributed Programs (Extended Abstract)Limin Jia, David Walker. ESOP 2004: 219-233 [doi]

Dynamic Typing with Dependent TypesXinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker. ifipTCS 2004: 437-450

2003

Reasoning about Hierarchical StorageAmal J. Ahmed, Limin Jia, David Walker. lics 2003: 33-44 [doi]

The logical approach to stack typingAmal J. Ahmed, David Walker. tldi 2003: 74-85 [doi]

An effective theory of type refinementsYitzhak Mandelbaum, David Walker, Robert Harper. SIGPLAN, 38(9):213-225, 2003. [doi]

An effective theory of type refinementsYitzhak Mandelbaum, David Walker, Robert Harper. ICFP 2003: 213-225 [doi]

Stack-based typed assembly languageJ. Gregory Morrisett, Karl Crary, Neal Glew, David Walker. JFP, 13(5):957-959, 2003. [doi]

A theory of aspectsDavid Walker, Steve Zdancewic, Jay Ligatti. SIGPLAN, 38(9):127-139, 2003. [doi]

A theory of aspectsDavid Walker, Steve Zdancewic, Jay Ligatti. ICFP 2003: 127-139 [doi]

A Concurrent Logical Framework: The Propositional FragmentKevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker. TYPES 2004: 355-377 [doi]

2002

Types and Effects for Non-interfering Program MonitorsLujo Bauer, Jarred Ligatti, David Walker. isss2 2003: 154-171 [doi]

Stack-based typed assembly languageJ. Gregory Morrisett, Karl Crary, Neal Glew, David Walker. JFP, 12(1):3-88, 2002.

A Low-Tech Design Experiment Improving Student WorkDavid Walker. ICCE 2002: 849-850

2001

A Process-Calculus Analysis of Concurrent Operations on B-TreesAnna Philippou, David Walker. jcss, 62(1):73-122, 2001.

On Barbed Equivalences in pi-CalculusDavide Sangiorgi, David Walker. concur 2001: 292-304 [doi]

The Pi-Calculus - a theory of mobile processesDavide Sangiorgi, David Walker. Cambridge University Press, 2001.

On Regions and Linear TypesDavid Walker, Kevin Watkins. ICFP 2001: 181-192

2000

1999

Typed Memory Management in a Calculus of CapabilitiesKarl Crary, David Walker, J. Gregory Morrisett. POPL 1999: 262-275 [doi]

From system F to typed assembly languageJ. Gregory Morrisett, David Walker, Karl Crary, Neal Glew. TOPLAS, 21(3):527-568, 1999. [doi]

1998

1997

On Confluence in the pi-CalculusAnna Philippou, David Walker. icalp 1997: 314-324

A Rigorous Analysis of Concurrent Operations on B-TreesAnna Philippou, David Walker. concur 1997: 361-375

Application of a mixed ::::H::::::2::/::::H::::::infinity:: approach with a singular ::::H::::::infinity::constraintLinda Smith, D. Brett Ridgely, David Walker, Jim Luke. ijsysc, 28(1):55-64, 1997. [doi]

1996

Social Confluence in Client-Server SystemsAnna Philippou, David Walker. csl 1997: 385-398

On Transformations of Concurrent Object ProgramsAnna Philippou, David Walker. concur 1996: 131-146

1995

A Polymorphic Type System for the Polyadic pi-calculusXinxin Liu, David Walker. concur 1995: 103-116

Confluence of Processes and Systems of ObjectsXinxin Liu, David Walker. tapsoft 1995: 217-231

On Sharing and Determinacy in Concurrent SystemsAnna Philippou, David Walker. concur 1995: 456-470

Objects in the pi-CalculusDavid Walker. iandc, 116(2):253-271, February 1995.

1994

A comparison of methods for teaching information systems designPenny Collins, David Walker, Frank Hicks, Anne McMahon, Errol Martin. chi 1994: 245-246 [doi]

On Bisimulation in the pi-calculusDavid Walker. concur 1994: 315-330

Algebraic Proofs of Properties of ObjectsDavid Walker. ESOP 1994: 501-516

1993

Modal Logics for Mobile ProcessesRobin Milner, Joachim Parrow, David Walker. TCS, 114(1):149-171, 1993.

1992

A Calculus of Mobile Processes, IRobin Milner, Joachim Parrow, David Walker. iandc, 100(1):1-40, September 1992.

A Calculus of Mobile Processes, IIRobin Milner, Joachim Parrow, David Walker. iandc, 100(1):41-77, September 1992.

1991

Modal Logics for Mobile ProcessesRobin Milner, Joachim Parrow, David Walker. concur 1991: 45-60

Local Model Checking in the Modal mu-CalculusColin Stirling, David Walker. TCS, 89(1):161-177, 1991.

Pi-Calculus Semantics of Object-Oriented Programming LanguagesDavid Walker. tacs 1991: 532-547

1990

Benchmarking Advanced Architecture ComputersPaul Messina, Clive F. Baillie, Edward W. Felten, Paul Hipes, Ray Williams, Arnold Alagar, Anke Kamrath, Robert Leary, Wayne Pfeiffer, Jack M. Rogers, David Walker. concurrency, 2(3):195-255, 1990.

1989

CCS, Liveness, and Local Model Checking in the Linear Time Mu-CalculusColin Stirling, David Walker. avmfss 1990: 166-178

Local Model Checking in the Modal Mu-CalculusColin Stirling, David Walker. tapsoft 1989: 369-383

Some Results on the pi-CalculusDavid Walker. concur 1991: 21-35