David P. Walker
Contact Expert

View Scopus Profile

David P. Walker

Calculated based on number of publications stored in Pure and citations from Scopus
1998 …2024

Research activity per year

Search results

  • 2008

    Specifying Properties of Concurrent Computations in CLF

    Watkins, K., Cervesato, I., Pfenning, F. & Walker, D., Feb 24 2008, In: Electronic Notes in Theoretical Computer Science. 199, p. 67-87 21 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    15 Scopus citations
  • 2007

    Fault-tolerant typed assembly language

    Perry, F., Mackey, L., Reis, G. A., Ligatti, J., August, D. I. & Walker, D., Jun 2007, In: ACM SIGPLAN Notices. 42, 6, p. 42-53 12 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    6 Scopus citations

  • Fault-tolerant typed assembly language

    Perry, F., MacKey, L., Reis, G. A., Ligatti, J., August, D. I. & Walker, D. P., 2007, PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 42-53 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    19 Scopus citations

  • PADS/ML: A functional data description language

    Mandelbaum, Y., Fisher, K., Walker, D., Fernandez, M. & Gleyzer, A., Jan 2007, In: ACM SIGPLAN Notices. 42, 1, p. 77-83 7 p.

    Research output: Contribution to journal › Article › peer-review

    13 Scopus citations

  • PADS/ML: A functional data description language

    Mandelbaum, Y., Fisher, K., Walker, D., Fernandez, M. & Gleyzer, A., 2007, Conference Record of POPL 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Papers Presented at the Symposium. p. 77-83 7 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    21 Scopus citations
  • 2006

    A type-theoretic interpretation of pointcuts and advice

    Ligatti, J., Walker, D. & Zdancewic, S., Dec 15 2006, In: Science of Computer Programming. 63, 3, p. 240-266 27 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    14 Scopus citations

  • Expressing heap-shape contracts in linear logic

    Perry, F., Jia, L. & Walker, D., 2006, Proceedings of the 5th Int. Conf. on Generative Programming and Component Eng., GPCE'06. Co-located with the 21st Int. Conf. on Object-Oriented Programm., Syst., Languages, and Applic.OOPSLA 2006. p. 101-110 10 p. (Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE'06).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Harmless advice

    Dantas, D. S. & Walker, D., 2006, Conference Record of POPL 2006: 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 383-396 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    41 Scopus citations

  • Harmless advice

    Dantas, D. S. & Walker, D., 2006, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 41, 1, p. 383-396 14 p.

    Research output: Contribution to journal › Article › peer-review

    34 Scopus citations

  • ILC: A foundation for automated reasoning about pointer programs

    Jia, L. & Walker, D., 2006, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Sestoft, P. (ed.). Springer Verlag, p. 131-145 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3924 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    10 Scopus citations

  • PADS: An end-to-end system for processing ad hoc data

    Daly, M., Mandelbaum, Y., Walker, D., Fernández, M. & Fisher, K., 2006, SIGMOD 2006 - Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 727-729 3 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Static typing for a faulty lambda calculus

    Walker, D. P., Mackey, L., Ligatti, J., Reis, G. A. & August, D. I., Sep 2006, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 41, 9, p. 38-49 12 p.

    Research output: Contribution to journal › Article › peer-review

    3 Scopus citations

  • Static typing for a faulty lambda calculus

    Walker, D., Mackey, L., Ligatti, J., Reis, G. A. & August, D. I., 2006, ICFP'06 - Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming. p. 38-49 12 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Scopus citations

  • The next 700 data description languages

    Fisher, K., Mandelbaum, Y. & Walker, D., 2006, Conference Record of POPL 2006: 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 2-15 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    36 Scopus citations

  • The next 700 data description languages

    Fisher, K., Mandelbaum, Y. & Walker, D., 2006, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 41, 1, p. 2-15 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    17 Scopus citations
  • 2005

    Certifying compilation for a language with stack allocation

    Jia, L., Spalding, F., Walker, D. & Glew, N., 2005, Proceedings - 20th Annual IEEE symposium on Logic in Computer Science, LICS 2005. p. 407-416 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • Composing security policies with polymer

    Bauer, L., Ligatti, J. & Walker, D., 2005, p. 305-314. 10 p.

    Research output: Contribution to conference › Paper › peer-review

    96 Scopus citations

  • Composing security policies with polymer

    Bauer, L., Ligatti, J. & Walker, D., 2005, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 40, 6, p. 305-314 10 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    15 Scopus citations

  • Edit automata: Enforcement mechanisms for run-time security policies

    Ligatti, J., Bauer, L. & Walker, D., Feb 2005, In: International Journal of Information Security. 4, 1-2, p. 2-16 15 p.

    Research output: Contribution to journal › Article › peer-review

    282 Scopus citations

  • Enforcing non-safety security policies with program monitors

    Ligatti, J., Bauer, L. & Walker, D., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 355-373 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3679 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    42 Scopus citations

  • Patch (1) considered harmful

    Fiuczynski, M. E., Grimm, R., Coady, Y. & Walker, D., 2005.

    Research output: Contribution to conference › Paper › peer-review

    25 Scopus citations

  • PolyAML: A polymorphic aspect-oriented functional programming language

    Dantas, D. S., Walker, D., Washburn, G. & Weirich, S., 2005, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 40, 9, p. 306-319 14 p.

    Research output: Contribution to journal › Article › peer-review

    8 Scopus citations

  • PolyAML: A polymorphic aspect-oriented functional programming language

    Dantas, D. S., Walker, D., Washburn, G. & Weirich, S., 2005, ICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming. p. 306-319 14 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations
  • 2004

    A concurrent logical framework: The propositional fragment

    Watkins, K., Cervesato, I., Pfenning, F. & Walker, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berardi, S., Coppo, M. & Damiani, F. (eds.). Springer Verlag, p. 355-377 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3085).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    54 Scopus citations

  • Dynamic typing with dependent types

    Ou, X., Tan, G., Mandelbaum, Y. & Walker, D., 2004, Exploring New Frontiers of Theoretical Informatics - IFIP 18th World Computer Congress TC1 and 3rd International Conference on Theoretical Computer Science, TCS 2004. Springer New York LLC, p. 437-450 14 p. (IFIP Advances in Information and Communication Technology; vol. 155).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    75 Scopus citations

  • Modal proofs as distributed programs

    Jia, I. & Walker, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Schmidt, D. (ed.). Springer Verlag, p. 219-233 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2986).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    29 Scopus citations
  • 2003

    An effective theory of type refinements

    Mandelbaum, Y., Walker, D. & Harper, R., Sep 2003, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 38, 9, p. 213-225 13 p.

    Research output: Contribution to journal › Conference article › peer-review

    19 Scopus citations

  • An Effective Theory of Type Refinements

    Mandelbaum, Y., Walker, D. & Harper, R., 2003, p. 213-225. 13 p.

    Research output: Contribution to conference › Paper › peer-review

    32 Scopus citations

  • A theory of aspects

    Walker, D., Zdancewic, S. & Ligatti, J., Sep 2003, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 38, 9, p. 127-139 13 p.

    Research output: Contribution to journal › Conference article › peer-review

    26 Scopus citations

  • A Theory of Aspects

    Walker, D., Zdancewic, S. & Ligatti, J., 2003, p. 127-139. 13 p.

    Research output: Contribution to conference › Paper › peer-review

    56 Scopus citations

  • Erratum: Stack-based typed assembly language (Journal of Functional Programming)

    Morrisett, G., Crary, K., Glew, N. & Walker, D., Sep 2003, In: Journal of Functional Programming. 13, 5, p. 957-959 3 p.

    Research output: Contribution to journal › Comment/debate › peer-review

    Open Access
    8 Scopus citations

  • Reasoning about hierarchical storage

    Ahmed, A., Jia, L. & Walker, D., 2003, In: Proceedings - Symposium on Logic in Computer Science. p. 33-44 12 p.

    Research output: Contribution to journal › Conference article › peer-review

    17 Scopus citations

  • The logical approach to stack typing

    Ahmed, A. & Walker, D., Mar 2003, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 38, 3, p. 74-85 12 p.

    Research output: Contribution to journal › Article › peer-review

    3 Scopus citations

  • The Logical Approach to Stack Typing

    Ahmed, A. & Walker, D., 2003, Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation. p. 74-85 12 p. (Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations

  • Types and effects for non-interfering program monitors

    Bauer, L., Ligatti, J. & Walker, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Okada, M., Pierce, B. C., Scedrov, A., Tokuda, H. & Yonezawa, A. (eds.). Springer Verlag, p. 154-171 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2609).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    6 Scopus citations
  • 2002

    Stack-based typed assembly language

    Morrisett, G., Crary, K., Glew, N. & Walker, D., 2002, In: Journal of Functional Programming. 12, 1, p. 43-88 46 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    47 Scopus citations
  • 2001

    Alias types for recursive data structures

    Walker, D. & Morrisett, G., 2001, Types in Compilation - Third InternationalWorkshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers. Harper, R. (ed.). Springer Verlag, p. 177-206 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2071).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    78 Scopus citations

  • On regions and linear types

    Walker, D. & Watkins, K., 2001, p. 181-192. 12 p.

    Research output: Contribution to conference › Paper › peer-review

    37 Scopus citations
  • 2000

    Alias types

    Smith, F., Walker, D. & Morrisett, G., 2000, Programming Languages and Systems - 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Proceedings. Smolka, G. (ed.). Springer Verlag, p. 366-381 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1782).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    130 Scopus citations

  • Typed memory management via static capabilities

    Walker, D., Crary, K. & Morrisett, G., Jul 2000, In: ACM Transactions on Programming Languages and Systems. 22, 4, p. 701-771 71 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    85 Scopus citations

  • Type system for expressive security policies

    Walker, D., 2000, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 254-267 14 p.

    Research output: Contribution to journal › Conference article › peer-review

    92 Scopus citations
  • 1999

    From system F to typed assembly language

    Morrisett, G., Walker, D., Crary, K. & Glew, N., May 1999, In: ACM Transactions on Programming Languages and Systems. 21, 3, p. 527-568 42 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    395 Scopus citations

  • Typed memory management in a calculus of capabilities

    Crary, K., Walker, D. & Morrisett, G., 1999, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 262-275 14 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    136 Scopus citations
  • 1998

    From system F to typed assembly language

    Morrisett, G., Walker, D., Crary, K. & Glew, N., 1998, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 85-97 13 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    207 Scopus citations

  • Stack-based typed assembly language

    Morrisett, G., Crary, K., Glew, N. & Walker, D., 1998, Types in Compilation - 2nd International Workshop, TIC 1998, Proceedings. Leroy, X. & Ohori, A. (eds.). Springer Verlag, p. 28-52 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1473).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    65 Scopus citations