David P. Walker

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

Research activity per year

Filter
Conference contribution

Search results

  • 2011

    Frenetic: A network programming language

    Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 279-291 13 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    205 Scopus citations
  • Linear maps

    Lahiri, S. K., Qadeer, S. & Walker, D., 2011, PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. p. 3-14 12 p. (PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    16 Scopus citations
  • Modular protections against non-control data attacks

    Schlesinger, C., Pattabiraman, K., Swamy, N., Walker, D. & Zorn, B., 2011, Proceedings - 24th IEEE Computer Security Foundations Symposium, CSF 2011. IEEE Computer Society, p. 131-145 15 p. 5992159. (Proceedings - IEEE Computer Security Foundations Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations
  • The PADS project: An overview

    Fisher, K. & Walker, D., 2011, Database Theory - ICDT 2011: 14th International Conference on Database Theory, Proceedings. Association for Computing Machinery, p. 11-17 7 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    31 Scopus citations
  • 2010

    A context-free markup language for semi-structured text

    Xi, Q. & Walker, D., 2010, PLDI'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 221-232 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    3 Scopus citations
  • Concurrent separation logic for pipelined parallelization

    Bell, C. J., Appel, A. W. & Walker, D., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. p. 151-166 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6337 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    15 Scopus citations
  • Frenetic: A high-level language for OpenFlow networks

    Foster, N., Harrison, R., Meola, M. L., Freedman, M. J., Rexford, J. L. & Walker, D. P., 2010, Proceedings of the Programmable Routers for Extensible Services of Tomorrow, PRESTO 2010, Workshop Held in Conjunction with CoNEXT 2010. (Proceedings of the Programmable Routers for Extensible Services of Tomorrow, PRESTO 2010, Workshop Held in Conjunction with CoNEXT 2010).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    52 Scopus citations
  • Semantics and algorithms for data-dependent grammars

    Jim, T., Mandelbaum, Y. & Walker, D., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 417-430 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    22 Scopus citations
  • 2009

    Ad hoc data and the token ambiguity problem

    Xi, Q., Fisher, K., Walker, D. & Zhu, K. Q., 2009, Practical Aspects of Declarative Languages - 11th International Symposium, PADL 2009, Proceedings. p. 91-106 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5418 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Language support for processing distributed ad hoc data

    Zhu, K. Q., Dantas, D. S., Fisher, K., Jia, L., Mandelbaum, Y., Pai, V. & Walker, D., 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 243-254 12 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2008

    From dirt to shovels: Fully automatic tool generation from ad hoc data

    Fisher, K., Walker, D., Zhu, K. Q. & White, P., 2008, POPL'08 - Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 421-434 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    42 Scopus citations
  • LearnPADS: Automatic tool generation from ad hoc data

    Fisher, K., Walker, D. & Zhu, K., 2008, SIGMOD 2008: Proceedings of the ACM SIGMOD International Conference on Management of Data 2008. p. 1299-1301 3 p. 1376759. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations
  • Reasoning about control flow in the presence of transient faults

    Perry, F. & Walker, D., 2008, Static Analysis - 15th International Symposium, SAS 2008, Proceedings. p. 332-346 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5079 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    5 Scopus citations
  • 2007

    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 proceedingConference contribution

    Open Access
    19 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 proceedingConference contribution

    21 Scopus citations
  • 2006

    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 proceedingConference contribution

    1 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 proceedingConference contribution

    41 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 proceedingConference contribution

    Open Access
    11 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 proceedingConference contribution

    4 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 proceedingConference 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 proceedingConference contribution

    Open Access
    36 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 proceedingConference contribution

    9 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 proceedingConference contribution

    Open Access
    41 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 proceedingConference contribution

    13 Scopus citations
  • 2004

    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 proceedingConference contribution

    Open Access
    71 Scopus citations
  • 2003

    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 proceedingConference contribution

    16 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 proceedingConference contribution

    Open Access
    77 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 proceedingConference contribution

    Open Access
    129 Scopus citations
  • 1998

    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 proceedingConference contribution

    64 Scopus citations