• 5679 Citations
  • 36 h-Index
19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2019

Composing software-defined networks

Monsanto, C., Reich, J., Foster, N., Rexford, J. & Walker, D., Jan 1 2019, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013. USENIX Association, p. 1-13 13 p. (Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013).

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

129 Scopus citations

Efficient verification of network fault tolerance via counterexample-guided refinement

Giannarakis, N., Beckett, R., Mahajan, R. & Walker, D., Jan 1 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 305-323 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11562 LNCS).

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

Open Access
1 Scopus citations

NV: An intermediate language for network verification

Beckett, R., Loher, D., Giannarakis, N. & Walker, D. P., Aug 14 2019, NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 3-4 2 p. (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019).

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

Open Access
2018

Control plane compression

Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Aug 7 2018, SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 476-489 14 p. (SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication).

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

10 Scopus citations
2017

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Aug 7 2017, SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 155-168 14 p. (SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication).

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

42 Scopus citations

Demo: Programming distributed control planes: Invited Demo

Beckett, R., Mahajan, R., Padhye, J., Millstein, T. & Walker, D., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 205-206 2 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

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

HotCocoa: Hardware congestion control abstractions

Arashloo, M. T., Ghobadi, M., Rexford, J. L. & Walker, D. P., Nov 30 2017, HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 108-114 7 p. (HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks).

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

10 Scopus citations

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Jun 14 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). Association for Computing Machinery, p. 437-451 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

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

12 Scopus citations
2016

CacheFlow: Dependency-aware rule-caching for software-defined networks

Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., Mar 14 2016, Symposium on Software Defined Networking (SDN) Research, SOSR 2016. Association for Computing Machinery, Inc, a6. (Symposium on Software Defined Networking (SDN) Research, SOSR 2016).

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

64 Scopus citations

Compiling path queries

Narayana, S., Arashloo, M. T., Rexford, J. & Walker, D., Jan 1 2016, Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016. USENIX Association, p. 207-222 16 p. (Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016).

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

31 Scopus citations

Don't mind the gap: Bridging network-wide objectives and device-level configurations

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Aug 22 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 328-341 14 p. 2934909. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

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

36 Scopus citations

Example-directed synthesis: A type-theoretic interpretation

Frankle, J., Osera, P. M., Walker, D. & Zdancewic, S., Jan 11 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). Association for Computing Machinery, p. 802-815 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

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

18 Scopus citations

Hardware-software co-design for network performance measurement

Narayana, S., Sivaraman, A., Nathan, V., Alizadeh, M., Walker, D. P., Rexford, J. L., Jeyakumar, V. & Kim, C., Nov 9 2016, HotNets 2016 - Proceedings of the 15th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 190-196 7 p. (HotNets 2016 - Proceedings of the 15th ACM Workshop on Hot Topics in Networks).

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

4 Scopus citations

SNAP: Stateful network-wide abstractions for packet processing

Arashloo, M. T., Koral, Y., Greenberg, M., Rexford, J. L. & Walker, D. P., Aug 22 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 29-43 15 p. 2934892. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

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

65 Scopus citations

Temporal NetKAT

Beckett, R., Greenberg, M. & Walker, D., Jun 2 2016, PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (eds.). Association for Computing Machinery, p. 386-401 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 13-17-June-2016).

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

7 Scopus citations
2015

CoVisor: A compositional hypervisor for software-defined networks

Jin, X., Gossels, J., Rexford, J. L. & Walker, D. P., Jan 1 2015, Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015. USENIX, p. 87-101 15 p. (Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015).

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

84 Scopus citations

Tracking the flow of ideas through the programming languages literature

Greenberg, M., Fisher, K. & Walker, D., May 1 2015, 1st Summit on Advances in Programming Languages, SNAPL 2015. Ball, T., Bodik, R., Lerner, B. S., Morrisett, G. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 140-155 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 32).

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

2 Scopus citations
2014

An assertion language for debugging SDN applications

Beckett, R., Zou, X. K., Zhang, S., Malik, S., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 91-96 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

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

31 Scopus citations

Compiling path queries in software-defined networks

Narayana, S., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 181-186 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

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

28 Scopus citations

Concurrent NetCore: From policies to pipelines

Schlesinger, C., Greenberg, M. & Walker, D. P., Jan 1 2014, ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery, p. 11-24 14 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

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

15 Scopus citations

Incremental update for a compositional SDN hypervisor

Jin, X., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 187-192 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

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

16 Scopus citations

Infinite CacheFlow in software-defined networks

Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 175-180 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

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

103 Scopus citations

NetkAT: Semantic foundations for networks

Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C. & Walker, D., Feb 11 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 113-126 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

102 Scopus citations

Transparent, live migration of a software-defined network

Ghorbani, S., Schlesinger, C., Monaco, M., Keller, E., Caesar, M., Rexford, J. L. & Walker, D. P., Nov 3 2014, Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014. Association for Computing Machinery, Inc, (Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014).

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

27 Scopus citations
2013

Incremental consistent updates

Katta, N. P., Rexford, J. L. & Walker, D. P., Sep 16 2013, HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking. p. 49-54 6 p. (HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking).

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

141 Scopus citations

Optimizing the "One big switch" abstraction in software-defined networks

Kang, N., Liu, Z., Rexford, J. L. & Walker, D. P., Jan 1 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 13-24 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

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

182 Scopus citations
2012

Abstractions for network update

Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., Dec 1 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 323-334 12 p. (Computer Communication Review; vol. 42, no. 4).

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

104 Scopus citations

Abstractions for network update

Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., Sep 26 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 323-334 12 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

315 Scopus citations

A compiler and run-time system for network programming languages

Monsanto, C., Foster, N., Harrison, R. & Walker, D., Mar 12 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 217-230 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

66 Scopus citations

LearnPADS ++: Incremental inference of ad hoc data formats

Zhu, K. Q., Fisher, K. & Walker, D., Feb 21 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 168-182 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).

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

5 Scopus citations

Policy transformation in software defined networks

Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., Sep 26 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 309-310 2 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

7 Scopus citations

Policy transformation in software defined networks

Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., Dec 1 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 309-310 2 p. (Computer Communication Review; vol. 42, no. 4).

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

4 Scopus citations
2011

A survey of the practice of computational science

Prabhu, P., Kim, H., Oh, T., Jablin, T. B., Johnson, N. P., Zoufaly, M., Raman, A., Liu, F., Walker, D. P., Zhang, Y., Ghosh, S., August, D. I., Huang, J. & Beard, S., Dec 13 2011, State of the Practice Reports, SC'11. 19. (State of the Practice Reports, SC'11).

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

21 Scopus citations

Consistent updates for software-defined networks: Change you can believe in!

Reitblatt, M., Foster, N., Rexford, J. L. & Walker, D. P., Dec 19 2011, Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10. (Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10).

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

121 Scopus citations

Forest: A language and toolkit for programming with filestores

Fisher, K., Foster, N., Walker, D. & Zhu, K. Q., Oct 19 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 292-306 15 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

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

7 Scopus citations

Frenetic: A network programming language

Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., Oct 19 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

173 Scopus citations

Linear maps

Lahiri, S. K., Qadeer, S. & Walker, D. P., Mar 7 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

11 Scopus citations

Modular protections against non-control data attacks

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

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

9 Scopus citations

The PADS project: An overview

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

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

23 Scopus citations
2010

A context-free markup language for semi-structured text

Xi, Q. & Walker, D., Jul 23 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

4 Scopus citations

Concurrent separation logic for pipelined parallelization

Bell, C. J., Appel, A. W. & Walker, D., Nov 12 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

11 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., Dec 1 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

41 Scopus citations

Semantics and algorithms for data-dependent grammars

Jim, T., Mandelbaum, Y. & Walker, D., Apr 20 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

16 Scopus citations
2009

Ad hoc data and the token ambiguity problem

Xi, Q., Fisher, K., Walker, D. & Zhu, K. Q., Nov 9 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., Nov 30 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., Dec 1 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

36 Scopus citations

LearnPADS: Automatic tool generation from ad hoc data

Fisher, K., Walker, D. & Zhu, K., Dec 10 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

9 Scopus citations

Reasoning about control flow in the presence of transient faults

Perry, F. & Walker, D., Aug 14 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

4 Scopus citations
2007

Fault-tolerant typed assembly language

Perry, F., MacKey, L., Reis, G. A., Ligatti, J., August, D. I. & Walker, D. P., Oct 30 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

15 Scopus citations

PADS/ML: A functional data description language

Mandelbaum, Y., Fisher, K., Walker, D., Fernandez, M. & Gleyzer, A., Sep 3 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

18 Scopus citations