Filter
Conference contribution

Search results

  • 2020

    Lower Bounds for Distributed Sketching of Maximal Matchings and Maximal Independent Sets

    Assadi, S., Kol, G. & Oshman, R., Jul 31 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 79-88 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    7 Scopus citations
  • Mapping the Landscape of Peer Review in Computing Education Research

    Petre, M., Sanders, K., Mccartney, R., Ahmadzadeh, M., Connolly, C., Hamouda, S., Harrington, B., Lumbroso, J., Maguire, J., Malmi, L., Mcgill, M. M. & Vahrenhold, J., Jun 17 2020, ITiCSE-WGR 2020 - Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 173-209 37 p. 3439207. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

    Open Access
    7 Scopus citations
  • Measuring TCP Round-Trip Time in the Data Plane

    Chen, X., Kim, H., Aman, J. M., Chang, W., Lee, M. & Rexford, J., Aug 10 2020, Proceedings of the 2020 ACM SIGCOMM Workshop on Secure Programmable Network Infrastructure, SPIN 2020. Association for Computing Machinery, p. 35-41 7 p. (Proceedings of the 2020 ACM SIGCOMM Workshop on Secure Programmable Network Infrastructure, SPIN 2020).

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

    Open Access
    46 Scopus citations
  • Memory-efficient membership encoding in switches

    Pan, M., MacDavid, R., Landau-Feibish, S. & Rexford, J., Mar 3 2020, SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 110-116 7 p. (SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research).

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

    Open Access
  • Metamorph: Injecting Inaudible Commands into Over-the-air Voice Controlled Systems

    Chen, T., Shangguan, L., Li, Z. & Jamieson, K., 2020, 27th Annual Network and Distributed System Security Symposium, NDSS 2020. The Internet Society, (27th Annual Network and Distributed System Security Symposium, NDSS 2020).

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

    Open Access
    72 Scopus citations
  • MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems

    Matthews, O., Manocha, A., Giri, D., Orenes-Vera, M., Tureci, E., Sorensen, T., Ham, T. J., Aragon, J. L., Carloni, L. P. & Martonosi, M., Aug 2020, Proceedings - 2020 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2020. Institute of Electrical and Electronics Engineers Inc., p. 136-148 13 p. 9238641. (Proceedings - 2020 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2020).

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

    13 Scopus citations
  • Multi-pass graph streaming lower bounds for cycle counting, max-cut, matching size, and other problems

    Assadi, S., Kol, G., Saxena, R. R. & Yu, H., Nov 2020, Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. IEEE Computer Society, p. 354-364 11 p. 9317902. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2020-November).

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

    Open Access
    27 Scopus citations
  • Nearly optimal static Las Vegas succinct dictionary

    Yu, H., Jun 8 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 1389-1401 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    7 Scopus citations
  • Netmix: a network-structured mixture model for reduced-bias estimation of altered subnetworks

    Reyna, M. A., Chitra, U., Elyanow, R. & Raphael, B. J., 2020, Research in Computational Molecular Biology - 24th Annual International Conference, RECOMB 2020, Proceedings. Schwartz, R. (ed.). Springer, p. 169-185 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12074 LNBI).

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

    Open Access
    1 Scopus citations
  • New query lower bounds for submodular function minimization

    Graur, A., Pollner, T., Ramaswamy, V. & Matthew Weinberg, S., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 64. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    13 Scopus citations
  • New techniques for traitor tracing: Size n1/3 and More from Pairings

    Zhandry, M., 2020, Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, CRYPTO 2020, Proceedings. Micciancio, D. & Ristenpart, T. (eds.). Springer, p. 652-682 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12170 LNCS).

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

    11 Scopus citations
  • Nifty assignments

    Parlante, N., Zelenski, J., Peck, E. M., Wayne, K., Malan, D. J., Yu, B., Albing, C., Schwarz, K., DeNero, J., Allsman, C., Perumpail, T., Arya, R., Gupta, K., Cang, C., Bitutsky, P. & Moughan, R., Feb 26 2020, SIGCSE 2020 - Proceedings of the 51st ACM Technical Symposium on Computer Science Education. p. 1270-1271 2 p. (SIGCSE 2020 - Proceedings of the 51st ACM Technical Symposium on Computer Science Education).

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

    3 Scopus citations
  • Noisy Beeps

    Efremenko, K., Kol, G. & Saxena, R. R., Jul 31 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 418-427 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    11 Scopus citations
  • No WAN's Land: Mapping U.S. Broadband Coverage with Millions of Address Queries to ISPs

    Major, D., Teixeira, R. & Mayer, J., Oct 27 2020, IMC 2020 - Proceedings of the 2020 ACM Internet Measurement Conference. Association for Computing Machinery, p. 393-419 27 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    14 Scopus citations
  • NV: An intermediate language for verification of network control planes

    Giannarakis, N., Loehr, D., Beckett, R. & Walker, D., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 958-973 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    19 Scopus citations
  • One-shot signatures and applications to hybrid quantum/classical authentication

    Amos, R., Georgiou, M., Kiayias, A. & Zhandry, M., Jun 8 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 255-268 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    44 Scopus citations
  • Online carpooling using expander decompositions

    Gupta, A., Krishnaswamy, R., Kumar, A. & Singla, S., Dec 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020. Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 182).

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

    5 Scopus citations
  • Online vector balancing and geometric discrepancy

    Bansal, N., Jiang, H., Singla, S. & Sinha, M., Jun 8 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 1139-1152 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    17 Scopus citations
  • On the (in-)approximability of Bayesian Revenue Maximization for a Combinatorial Buyer

    Collina, N. & Weinberg, S. M., Jul 13 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 477-497 21 p. 3399496. (EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation).

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

    Open Access
    1 Scopus citations
  • Open-domain question answering

    Chen, D. & Yih, W. T., 2020, ACL 2020 - 58th Annual Meeting of the Association for Computational Linguistics, Tutorial Abstracts. Association for Computational Linguistics (ACL), p. 34-37 4 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

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

    69 Scopus citations
  • Optimal single-choice prophet inequalities from samples

    Rubinstein, A., Wang, J. Z. & Matthew Weinberg, S., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 60. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    31 Scopus citations
  • PacketScope: Monitoring the packet lifecycle inside a switch

    Teixeira, R., Harrison, R., Gupta, A. & Rexford, J., Mar 3 2020, SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 76-82 7 p. (SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research).

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

    Open Access
    21 Scopus citations
  • PBE-CC: Congestion Control via Endpoint-Centric, Physical-Layer Bandwidth Measurements

    Xie, Y., Yi, F. & Jamieson, K., Jul 30 2020, SIGCOMM 2020 - Proceedings of the 2020 Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication. Association for Computing Machinery, p. 451-464 14 p. (SIGCOMM 2020 - Proceedings of the 2020 Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

    Open Access
    46 Scopus citations
  • Performance-Optimal read-only transactions

    Lu, H., Sen, S. & Lloyd, W., 2020, Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020. USENIX Association, p. 333-349 17 p. (Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020).

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

    15 Scopus citations
  • Perple: Improving the speed and effectiveness of memory consistency testing

    Melissaris, T., Markakis, M., Shaw, K. & Martonosi, M., Oct 2020, Proceedings - 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2020. IEEE Computer Society, p. 329-341 13 p. 09251867. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2020-October).

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

    2 Scopus citations
  • Perspective: A sensible approach to speculative automatic parallelization

    Apostolakis, S., Xu, Z., Chan, G., Campanoni, S. & August, D. I., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 351-367 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    Open Access
    23 Scopus citations
  • Pose2Pose

    Willett, N. S., Shin, H. V., Jin, Z., Li, W. & Finkelstein, A., Mar 17 2020, Proceedings of the 25th International Conference on Intelligent User Interfaces, IUI 2020. Association for Computing Machinery, p. 88-99 12 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

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

    20 Scopus citations
  • Prophet Inequalities with Linear Correlations and Augmentations

    Immorlica, N., Singla, S. & Waggoner, B., Jul 13 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 159-185 27 p. 3399452. (EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation).

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

    Open Access
    9 Scopus citations
  • Provable representation learning for imitation learning via bi-level optimization

    Arora, S., Du, S. S., Kakade, S., Luo, Y. & Saunshi, N., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 344-353 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-1).

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

    27 Scopus citations
  • PZnet: Efficient 3D ConvNet Inference on Manycore CPUs

    Popovych, S., Buniatyan, D., Zlateski, A., Li, K. & Seung, H. S., 2020, Advances in Computer Vision - Proceedings of the 2019 Computer Vision Conference CVC. Kapoor, S. & Arai, K. (eds.). Springer Verlag, p. 369-383 15 p. (Advances in Intelligent Systems and Computing; vol. 943).

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

    Open Access
    5 Scopus citations
  • RAFT: Recurrent All-Pairs Field Transforms for Optical Flow

    Teed, Z. & Deng, J., 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J.-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 402-419 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12347 LNCS).

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

    1283 Scopus citations
  • REVISE: A Tool for Measuring and Mitigating Bias in Visual Datasets

    Wang, A., Narayanan, A. & Russakovsky, O., 2020, Computer Vision – ECCV 2020 - 16th European Conference 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J.-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 733-751 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12348 LNCS).

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

    20 Scopus citations
  • Robust algorithms for the secretary problem

    Bradac, D., Gupta, A., Singla, S. & Zuzic, G., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    11 Scopus citations
  • Robust and interpretable grounding of spatial references with relation networks

    Yang, T. Y., Lan, A. S. & Narasimhan, K., 2020, Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020. Association for Computational Linguistics (ACL), p. 1908-1923 16 p. (Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020).

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

    7 Scopus citations
  • SCAF: A speculation-aware collaborative dependence analysis framework

    Apostolakis, S., Xu, Z., Tan, Z., Chan, G., Campanoni, S. & August, D. I., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 638-654 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    9 Scopus citations
  • Schrödinger’s pirate: How to trace a quantum decoder

    Zhandry, M., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 61-91 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12552 LNCS).

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

    9 Scopus citations
  • Separating the communication complexity of truthful and non-truthful combinatorial auctions

    Assadi, S., Khandeparkar, H., Saxena, R. R. & Weinberg, S. M., Jun 8 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 1073-1085 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    7 Scopus citations
  • Serverless in the wild: Characterizing and optimizing the serverless workload at a large cloud provider

    Shahrad, M., Fonseca, R., Goiri, Í., Chaudhry, G., Batum, P., Cooke, J., Laureano, E., Tresness, C., Russinovich, M. & Bianchini, R., 2020, Proceedings of the 2020 USENIX Annual Technical Conference, ATC 2020. USENIX Association, p. 205-218 14 p. (Proceedings of the 2020 USENIX Annual Technical Conference, ATC 2020).

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

    442 Scopus citations
  • Serverless Isn't Server-Less: Measuring and Exploiting Resource Variability on Cloud FaaS Platforms

    Ginzburg, S. & Freedman, M. J., Dec 7 2020, WOSC 2020 - Proceedings of the 2020 6th International Workshop on Serverless Computing, Part of Middleware 2020. Association for Computing Machinery, Inc, p. 43-48 6 p. (WOSC 2020 - Proceedings of the 2020 6th International Workshop on Serverless Computing, Part of Middleware 2020).

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

    21 Scopus citations
  • Single-cell tumor phylogeny inference with copy-number constrained mutation losses

    Satas, G., Zaccaria, S., Mon, G. & Raphael, B. J., 2020, Research in Computational Molecular Biology - 24th Annual International Conference, RECOMB 2020, Proceedings. Schwartz, R. (ed.). Springer, p. 273 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12074 LNBI).

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

    Open Access
  • Software mitigation of crosstalk on noisy intermediate-scale quantum computers

    Murali, P., McKay, D. C., Martonosi, M. & Javadi-Abhari, A., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 1001-1016 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    Open Access
    168 Scopus citations
  • Spatial Action Maps for Mobile Manipulation

    Wu, J., Sun, X., Zeng, A., Song, S., Lee, J., Rusinkiewicz, S. & Funkhouser, T., 2020, Robotics: Science and Systems XVI. Toussaint, M., Bicchi, A. & Hermans, T. (eds.). MIT Press Journals, (Robotics: Science and Systems).

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

    Open Access
    24 Scopus citations
  • SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation

    Ding, Y., Wu, X. C., Holmes, A., Wiseth, A., Franklin, D., Martonosi, M. & Chong, F. T., May 2020, Proceedings - 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture, ISCA 2020. Institute of Electrical and Electronics Engineers Inc., p. 570-583 14 p. 9138979. (Proceedings - International Symposium on Computer Architecture; vol. 2020-May).

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

    Open Access
    22 Scopus citations
  • Subsidy allocations in the presence of income shocks

    Abebe, R., Kleinberg, J. & Matthew Weinberg, S., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 7032-7039 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

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

    10 Scopus citations
  • Succinct filters for sets of unknown sizes

    Liu, M., Yin, Y. & Yu, H., Jun 1 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 79. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

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

    12 Scopus citations
  • Switch Code Generation Using Program Synthesis

    Gao, X., Kim, T., Wong, M. D., Raghunathan, D., Varma, A. K., Kannan, P. G., Sivaraman, A., Narayana, S. & Gupta, A., Jul 30 2020, SIGCOMM 2020 - Proceedings of the 2020 Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication. Association for Computing Machinery, p. 44-61 18 p. (SIGCOMM 2020 - Proceedings of the 2020 Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

    52 Scopus citations
  • Synaptic Partner Assignment Using Attentional Voxel Association Networks

    Turner, N. L., Lee, K., Lu, R., Wu, J., Ih, D. & Seung, H. S., Apr 2020, ISBI 2020 - 2020 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, p. 1209-1213 5 p. 9098489. (Proceedings - International Symposium on Biomedical Imaging; vol. 2020-April).

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

    Open Access
    13 Scopus citations
  • Synthesizing Environment Invariants for Modular Hardware Verification

    Zhang, H., Yang, W., Fedyukovich, G., Gupta, A. & Malik, S., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 202-225 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

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

    8 Scopus citations
  • Take the scenic route: Improving generalization in vision-and-language navigation

    Yu, F., Deng, Z., Narasimhan, K. & Russakovsky, O., Jun 2020, Proceedings - 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2020. IEEE Computer Society, p. 4000-4004 5 p. 9150847. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; vol. 2020-June).

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

    Open Access
    8 Scopus citations
  • Templates and recurrences: Better together

    Breck, J., Cyphert, J., Kincaid, Z. & Reps, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 688-702 15 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
    17 Scopus citations