| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kenny Qili Zhu, Kathleen Fisher, David Walker |
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Monsanto, Nate Foster, Rob Harrison, David Walker |
A compiler and run-time system for network programming languages. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker |
Consistent updates for software-defined networks: change you can believe in! |
HotNets |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Shaz Qadeer, David Walker |
Linear maps. |
PLPV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn |
Modular Protections against Non-control Data Attacks. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
non-control data attack, control-flow integrity, frame rule, data isolation, data integrity, Hoare logic, language-based security |
| 1 | Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker |
Frenetic: a network programming language. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu |
Forest: a language and toolkit for programming with filestores. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, David Walker |
The PADS project: an overview. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
The next 700 data description languages. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenny Qili Zhu, Kathleen Fisher, David Walker |
Incremental learning of system log formats. |
Operating Systems Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Xi, David Walker |
A context-free markup language for semi-structured text. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
ANNE, ad hoc data, domain-specific languages, PADS, tool generation |
| 1 | Trevor Jim, Yitzhak Mandelbaum, David Walker |
Semantics and algorithms for data-dependent grammars. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf |
| 1 | Christian J. Bell, Andrew W. Appel, David Walker |
Concurrent Separation Logic for Pipelined Parallelization. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew L. Meola, David Walker |
Faulty Logic: Reasoning about Fault Tolerant Programs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lujo Bauer, Jay Ligatti, David Walker |
Composing expressive runtime security policies. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
policy-specification language, policy enforcement, Policy composition |
| 1 | Jay Ligatti, Lujo Bauer, David Walker |
Run-Time Enforcement of Nonsafety Policies. |
ACM Trans. Inf. Syst. Secur. |
2009 |
DBLP DOI BibTeX RDF |
monitoring, safety, Security policies, liveness, policy enforcement, security automata |
| 1 | Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu |
Ad Hoc Data and the Token Ambiguity Problem. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
distributed data sources, declarative language |
| 1 | Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker |
Specifying Properties of Concurrent Computations in CLF. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich |
AspectML: A polymorphic aspect-oriented functional programming language. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages |
| 1 | Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White |
From dirt to shovels: fully automatic tool generation from ad hoc data. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
ad hoc data, grammar induction, data description languages, tool generation |
| 1 | Kathleen Fisher, David Walker, Kenny Qili Zhu |
LearnPADS: automatic tool generation from ad hoc data. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
ad hoc data, grammar induction, data description language, tools generation |
| 1 | Frances Perry, David Walker |
Reasoning about Control Flow in the Presence of Transient Faults. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Rolka, Jean C. O'Connor, David Walker |
Public Health Information Fusion for Situation Awareness. |
BioSecure |
2008 |
DBLP DOI BibTeX RDF |
bioterrorism, situation awareness, Fusion, public health |
| 1 | David Walker, Ewa Deelman |
Dynamic computational workflows: Discovery, optimisation and scheduling. |
Scientific Programming |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker |
Fault-tolerant typed assembly language. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
transient hardware faults, fault tolerance, typed assembly language, soft faults |
| 1 | Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer |
PADS/ML: a functional data description language. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
functional programming, domain-specific languages, ML, parsing, modules, dependent types, printing, data description languages |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay Ligatti, David Walker, Steve Zdancewic |
A type-theoretic interpretation of pointcuts and advice. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Ángeles Moraga, Coral Calero, Mario Piattini, David Walker |
Towards a quality model for grid portals. |
ICSOFT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Dantas, David Walker |
Harmless advice. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
harmless advice, aspects, aspect-oriented, noninterference |
| 1 | Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
The next 700 data description languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, dependent types, data description language |
| 1 | Frances Perry, Limin Jia, David Walker |
Expressing heap-shape contracts in linear logic. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
heap shape, contracts, linear logic, assertions |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
Static typing for a faulty lambda calculus. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults |
| 1 | Limin Jia, David Walker |
ILC: A Foundation for Automated Reasoning About Pointer Programs. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
LAUNCHPADS: A System for Processing Ad Hoc Data. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jay Ligatti, Lujo Bauer, David Walker |
Edit automata: enforcement mechanisms for run-time security policies. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata |
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia, David Walker |
Types and full abstraction for polyadic pi-calculus. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lujo Bauer, Jay Ligatti, David Walker |
Composing security policies with polymer. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
composable security policies, run-time enforcement, security automata, program monitors, edit automata |
| 1 | Marc E. Fiuczynski, Robert Grimm, Yvonne Coady, David Walker |
Patch (1) Considered Harmful. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich |
PolyAML: a polymorphic aspect-oriented functional programming language. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism |
| 1 | Limin Jia, Frances Spalding, David Walker, Neal Glew |
Certifying Compilation for a Language with Stack Allocation. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay Ligatti, Lujo Bauer, David Walker |
Enforcing Non-safety Security Policies with Program Monitors. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Arbenz, Rolf Hempel, David Walker |
Topic 7: Applications on High Performance Computers. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker |
Dynamic Typing with Dependent Types. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Limin Jia, David Walker |
Modal Proofs as Distributed Programs (Extended Abstract). |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker, Steve Zdancewic, Jay Ligatti |
A theory of aspects. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yitzhak Mandelbaum, David Walker, Robert Harper |
An effective theory of type refinements. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker |
Stack-based typed assembly language. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker |
A Concurrent Logical Framework: The Propositional Fragment. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker, Steve Zdancewic, Jay Ligatti |
A theory of aspects. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, operational semantics, aspects, type theory |
| 1 | Yitzhak Mandelbaum, David Walker, Robert Harper |
An effective theory of type refinements. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
effectful computation, type refinement, linear logic, type theory, local reasoning |
| 1 | Amal J. Ahmed, David Walker |
The logical approach to stack typing. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
bunched logic, ordered logic, type systems, memory management, linear logic, stack, typed assembly language |
| 1 | Amal J. Ahmed, Limin Jia, David Walker |
Reasoning about Hierarchical Storage. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker |
Stack-based typed assembly language. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker |
A "Low-Tech" Design Experiment Improving Student Work. |
ICCE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lujo Bauer, Jarred Ligatti, David Walker |
Types and Effects for Non-interfering Program Monitors. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
A Process-Calculus Analysis of Concurrent Operations on B-Trees. |
J. Comput. Syst. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, David Walker |
The Pi-Calculus - a theory of mobile processes. |
|
2001 |
RDF |
|
| 1 | Davide Sangiorgi, David Walker |
On Barbed Equivalences in pi-Calculus. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker, Kevin Watkins |
On Regions and Linear Types. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker, Karl Crary, J. Gregory Morrisett |
Typed memory management via static capabilities. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
type-directed compilation, typed intermediate languages, certified code, region-based memory management |
| 1 | David Walker |
A Type System for Expressive Security Policies. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker, J. Gregory Morrisett |
Alias Types for Recursive Data Structures. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinxin Liu, David Walker |
Concurrent objects as mobile processes. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Paola Quaglia, David Walker |
On Synchronous and Asynchronous Mobile Processes. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick Smith, David Walker, J. Gregory Morrisett |
Alias Types. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew |
From system F to typed assembly language. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion |
| 1 | Karl Crary, David Walker, J. Gregory Morrisett |
Typed Memory Management in a Calculus of Capabilities. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinxin Liu, David Walker |
Partial Confluence of Proceses and Systems of Objects. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Transformations of Concurrent-Object Programs. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | William F. McColl, David Walker |
Theory and Algorithms for Parallel Computation. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew |
From System F to Typed Assembly Language. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker |
Stack-Based Typed Assembly Language. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia, David Walker |
On Encoding p-pi in m-pi. |
FSTTCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Linda Smith, D. Brett Ridgely, David Walker, Jim Luke |
Application of a mixed H2/Hinfinity approach with a singular Hinfinityconstraint. |
Int. J. Systems Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
A Rigorous Analysis of Concurrent Operations on B-Trees. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Confluence in the pi-Calculus. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Transformations of Concurrent Object Programs. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
Social Confluence in Client-Server Systems. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker |
Objects in the pi-Calculus |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, David Walker |
On Sharing and Determinacy in Concurrent Systems. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinxin Liu, David Walker |
A Polymorphic Type System for the Polyadic pi-calculus. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinxin Liu, David Walker |
Confluence of Processes and Systems of Objects. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Penny Collings, David Walker |
Applications to support student group work. |
CSCL |
1995 |
DBLP BibTeX RDF |
|
| 1 | David Walker |
On Bisimulation in the pi-calculus. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Penny Collings, David Walker, Frank Hicks, Anne McMahon, Errol Martin |
A comparison of methods for teaching information systems design. |
CHI Conference Companion |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker |
Algebraic Proofs of Properties of Objects. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Milner, Joachim Parrow, David Walker |
Modal Logics for Mobile Processes. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Milner, Joachim Parrow, David Walker |
A Calculus of Mobile Processes, II |
Inf. Comput. |
1992 |
RDF |
|
| 1 | Robin Milner, Joachim Parrow, David Walker |
A Calculus of Mobile Processes, I |
Inf. Comput. |
1992 |
RDF |
|
| 1 | Colin Stirling, David Walker |
Local Model Checking in the Modal mu-Calculus. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Milner, Joachim Parrow, David Walker |
Modal Logics for Mobile Processes. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David Walker |
Pi-Calculus Semantics of Object-Oriented Programming Languages. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")