Computer Science

Filter
Conference contribution

Search results

  • 2021

    Tight distributed sketching lower bound for connectivity

    Yu, H., 2021, ACM-SIAM Symposium on Discrete Algorithms, SODA 2021. Marx, D. (ed.). Association for Computing Machinery, p. 1856-1873 18 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    Open Access
    7 Scopus citations

  • Towards memory-efficient inference in edge video analytics

    Padmanabhan, A., Iyer, A. P., Ananthanarayanan, G., Shu, Y., Karianakis, N., Xu, G. H. & Netravali, R., Oct 25 2021, HotEdgeVideo 2021 - Proceedings of the 2021 3rd ACM Workshop on Hot Topics in Video Analytics and Intelligent Edges. Association for Computing Machinery, Inc, p. 31-37 7 p. (HotEdgeVideo 2021 - Proceedings of the 2021 3rd ACM Workshop on Hot Topics in Video Analytics and Intelligent Edges).

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

    Open Access
    5 Scopus citations

  • Unbounded Procedure Summaries from Bounded Environments

    Pick, L., Fedyukovich, G. & Gupta, A., 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 291-324 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).

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

    1 Scopus citations

  • Universal Adversarial Attacks with Natural Triggers for Text Classification

    Song, L., Yu, X., Peng, H. T. & Narasimhan, K., 2021, NAACL-HLT 2021 - 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 3724-3733 10 p. (NAACL-HLT 2021 - 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference).

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

    Open Access
    36 Scopus citations

  • Verified Software Units

    Beringer, L., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 118-147 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).

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

    Open Access
    4 Scopus citations

  • Verifying an HTTP key-value server with interaction trees and VST

    Zhang, H., Honoré, W., Koh, N., Li, Y., Li, Y., Xia, L. Y., Beringer, L., Mansky, W., Pierce, B. & Zdancewic, S., Jun 1 2021, 12th International Conference on Interactive Theorem Proving, ITP 2021. Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 193).

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

    17 Scopus citations

  • Virtual classrooms and real harms: Remote learning at U.S. Universities

    Cohney, S., Teixeira, R., Kohlbrenner, A., Narayanan, A., Kshirsagar, M., Shvartzshnaider, Y. & Sanfilippo, M., 2021, Proceedings of the 17th Symposium on Usable Privacy and Security, SOUPS 2021. USENIX Association, p. 653-673 21 p. (Proceedings of the 17th Symposium on Usable Privacy and Security, SOUPS 2021).

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

    17 Scopus citations

  • What makes a dark pattern... dark? design attributes, normative considerations, and measurement methods

    Mathur, A. & Mayer, J., May 6 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. Association for Computing Machinery, (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access
    196 Scopus citations

  • White Box Traitor Tracing

    Zhandry, M., 2021, Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings. Malkin, T. & Peikert, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 303-333 31 p. (Lecture Notes in Computer Science; vol. 12828 LNCS).

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

    2 Scopus citations

  • Why Generalization in RL is Difficult: Epistemic POMDPs and Implicit Partial Observability

    Ghosh, D., Rahme, J., Kumar, A., Zhang, A., Adams, R. P. & Levine, S., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (eds.). Neural information processing systems foundation, p. 25502-25515 14 p. (Advances in Neural Information Processing Systems; vol. 31).

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

    57 Scopus citations

  • ZeroScatter: Domain Transfer for Long Distance Imaging and Vision through Scattering Media

    Shi, Z., Tseng, E., Bijelic, M., Ritter, W. & Heide, F., 2021, Proceedings - 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2021. IEEE Computer Society, p. 3475-3485 11 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

    Open Access
    10 Scopus citations
  • 2020

    Acoustic matching by embedding impulse responses

    Su, J., Jin, Z. & Finkelstein, A., May 2020, 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 426-430 5 p. 9054701. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2020-May).

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

    30 Scopus citations

  • Adaptive weighted traffic splitting in programmable data planes

    Hsu, K. F., Tammana, P., Beckett, R., Chen, A., Rexford, J. & Walker, D., Mar 3 2020, SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 103-109 7 p. (SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research).

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

    Open Access
    33 Scopus citations

  • A differentiable perceptual audio metric learned from just noticeable differences

    Manocha, P., Finkelstein, A., Zhang, R., Bryan, N. J., Mysore, G. J. & Jin, Z., 2020, Interspeech 2020. International Speech Communication Association, p. 2852-2856 5 p. (Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH; vol. 2020-October).

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

    Open Access
    44 Scopus citations

  • Affine determinant programs: A framework for obfuscation and witness encryption

    Bartusek, J., Ishai, Y., Jain, A., Ma, F., Sahai, A. & Zhandry, M., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 82. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    18 Scopus citations

  • A guided network propagation approach to identify disease genes that combines prior and new information

    Hristov, B. H., Chazelle, B. & Singh, M., 2020, Research in Computational Molecular Biology - 24th Annual International Conference, RECOMB 2020, Proceedings. Schwartz, R. (ed.). Springer, p. 251-252 2 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 proceeding › Conference contribution

    Open Access
    3 Scopus citations

  • Algorithms and adaptivity gaps for stochastic k-TSP

    Jiang, H., Li, J., Liu, D. & Singla, S., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    7 Scopus citations

  • Amortized finite element analysis for fast PDE-constrained optimization

    Xue, T., Beatson, A., Adriaenssens, S. & Adams, R. P., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 10569-10578 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-14).

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

    16 Scopus citations

  • An empirical study of wireless carrier authentication for SIM swaps

    Lee, K., Kaiser, B., Mayer, J. & Narayanan, A., 2020, Proceedings of the 16th Symposium on Usable Privacy and Security, SOUPS 2020. USENIX Association, p. 61-80 20 p. (Proceedings of the 16th Symposium on Usable Privacy and Security, SOUPS 2020).

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

    35 Scopus citations

  • Approximately strategyproof tournament rules: On large manipulating sets and cover-consistence

    Schvartzman, A., Weinberg, S. M., Zlatin, E. & Zuo, A., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    5 Scopus citations

  • Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers

    Murali, P., Debroy, D. M., Brown, K. R. & Martonosi, M., May 2020, Proceedings - 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture, ISCA 2020. Institute of Electrical and Electronics Engineers Inc., p. 529-542 14 p. 9138945. (Proceedings - International Symposium on Computer Architecture; vol. 2020-May).

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

    Open Access
    54 Scopus citations

  • A sample complexity separation between non-convex and convex meta-learning

    Saunshi, N., Zhang, Y., Khodak, M. & Arora, S., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 8470-8479 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-11).

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

    11 Scopus citations

  • Asynchronous majority dynamics in preferential attachment trees

    Bahrani, M., Immorlica, N., Mohan, D. & Matthew Weinberg, S., 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, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

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

    4 Scopus citations

  • A Unified Framework of Surrogate Loss by Refactoring and Interpolation

    Liu, L., Wang, M. & 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. 278-293 16 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 proceeding › Conference contribution

    Open Access
    5 Scopus citations

  • Automating Modular Verification of Secure Information Flow

    Pick, L., Fedyukovich, G. & Gupta, A., Sep 21 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 158-168 11 p. 9283650. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020).

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

    10 Scopus citations

  • BeauCoup: Answering Many Network Traffic Queries, One Memory Update at a Time

    Chen, X., Landau-Feibish, S., Braverman, M. & Rexford, J., 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. 226-239 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 proceeding › Conference contribution

    Open Access
    77 Scopus citations

  • Binary interactive error resilience beyond

    Efremenko, K., Kol, G. & Saxena, R. R., Nov 2020, Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. IEEE Computer Society, p. 470-481 12 p. 9317957. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2020-November).

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

    6 Scopus citations

  • BlockSci: Design and applications of a blockchain analysis platform

    Kalodner, H., Möser, M., Lee, K., Goldfeder, S., Plattner, M., Chator, A. & Narayanan, A., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, p. 2721-2738 18 p. (Proceedings of the 29th USENIX Security Symposium).

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

    103 Scopus citations

  • Boosting for control of dynamical systems

    Agarwal, N., Brukhim, N., Hazan, E. & Lu, Z., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 84-91 8 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-1).

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

    8 Scopus citations

  • Caesar: Segment-Wise Alignment Method for Solving Discontinuous Deformations

    Popovych, S., Alexander Bae, J. & Seung, H. S., Apr 2020, ISBI 2020 - 2020 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, p. 1214-1218 5 p. 9098363. (Proceedings - International Symposium on Biomedical Imaging; vol. 2020-April).

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

    5 Scopus citations

  • Calibration, entropy rates, and memory in language models

    Braverman, M., Chen, X., Kakade, S., Narasimhan, K., Zhang, C. & Zhang, Y., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 1066-1076 11 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-2).

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

    12 Scopus citations

  • Carpe Elephants: Seize the Global Heavy Hitters

    Harrison, R., Feibish, S. L., Gupta, A., Teixeira, R., Muthukrishnan, S. & Rexford, J., Aug 10 2020, Proceedings of the 2020 ACM SIGCOMM Workshop on Secure Programmable Network Infrastructure, SPIN 2020. Association for Computing Machinery, p. 15-21 7 p. (Proceedings of the 2020 ACM SIGCOMM Workshop on Secure Programmable Network Infrastructure, SPIN 2020).

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

    14 Scopus citations

  • Computing high quality phase-only holograms for holographic displays

    Chakravarthula, P., Peng, Y., Kollin, J., Heide, F. & Fuchs, H., 2020, Optical Architectures for Displays and Sensing in Augmented, Virtual, and Mixed Reality (AR, VR, MR). Kress, B. C. & Peroz, C. (eds.). SPIE, 1131006. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11310).

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

    9 Scopus citations

  • Connected Components on a PRAM in Log Diameter Time

    Liu, S. C., Tarjan, R. E. & Zhong, P., Jul 6 2020, SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 359-369 11 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

    Open Access
    9 Scopus citations

  • Connecting Higher-Order Separation Logic to a First-Order Outside World

    Mansky, W., Honoré, W. & Appel, A. W., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 428-455 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

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

    Open Access
    7 Scopus citations

  • Contra: A programmable system for performance-aware routing

    Hsu, K. F., Beckett, R., Chen, A., Rexford, J., Tammana, P. & Walker, D., 2020, Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020. USENIX Association, p. 701-721 21 p. (Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020).

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

    73 Scopus citations

  • Cooperative Rule Caching for SDN Switches

    Rottenstreich, O., Kulik, A., Joshi, A., Rexford, J., Retvari, G. & Menasche, D. S., Nov 9 2020, Proceedings - 2020 IEEE 9th International Conference on Cloud Networking, CloudNet 2020. Caicedo Rendon, O. M. (ed.). Institute of Electrical and Electronics Engineers Inc., 9335795. (Proceedings - 2020 IEEE 9th International Conference on Cloud Networking, CloudNet 2020).

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

    9 Scopus citations

  • Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments

    Ferreira, M. V. X. & Weinberg, S. M., Jul 13 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 683-712 30 p. 3399495. (EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation).

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

    Open Access
    18 Scopus citations

  • D3D: Distilled 3D networks for video action recognition

    Stroud, J. C., Ross, D. A., Sun, C., Deng, J. & Sukthankar, R., Mar 2020, Proceedings - 2020 IEEE Winter Conference on Applications of Computer Vision, WACV 2020. Institute of Electrical and Electronics Engineers Inc., p. 614-623 10 p. 9093274. (Proceedings - 2020 IEEE Winter Conference on Applications of Computer Vision, WACV 2020).

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

    Open Access
    147 Scopus citations

  • Data-driven inference of representation invariants

    Miltner, A., Padhi, S., Millstein, T. & 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. 1-15 15 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
    26 Scopus citations

  • Decentralized reinforcement learning: Global decision-making via local economic transactions

    Chang, M., Kaushik, S., Weinberg, S. M., Griffiths, T. L. & Levine, S., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 1414-1424 11 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-2).

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

    9 Scopus citations

  • Defining admissible rewards for high-confidence policy evaluation in batch reinforcement learning

    Prasad, N., Engelhardt, B. & Doshi-Velez, F., Feb 4 2020, ACM CHIL 2020 - Proceedings of the 2020 ACM Conference on Health, Inference, and Learning. Association for Computing Machinery, Inc, p. 1-9 9 p. (ACM CHIL 2020 - Proceedings of the 2020 ACM Conference on Health, Inference, and Learning).

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

    Open Access
    1 Scopus citations

  • Dense passage retrieval for open-domain question answering

    Karpukhin, V., Oğuz, B., Min, S., Lewis, P., Wu, L., Edunov, S., Chen, D. & Yih, W. T., 2020, EMNLP 2020 - 2020 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 6769-6781 13 p. (EMNLP 2020 - 2020 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference).

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

    1787 Scopus citations

  • Elastic Switch Programming with P4All

    Hogan, M., Landau-Feibish, S., Tahmasbi Arashloo, M., Rexford, J., Walker, D. & Harrison, R., Nov 4 2020, HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 168-174 7 p. (HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks).

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

    18 Scopus citations

  • Enabling programmable transport protocols in high-speed NICs

    Arashloo, M. T., Lavrov, A., Ghobadi, M., Rexford, J., Walker, D. & Wentzlaff, D., 2020, Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020. USENIX Association, p. 93-109 17 p. (Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020).

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

    81 Scopus citations

  • Evaluating theory of mind in question answering

    Nematzadeh, A., Burns, K., Grant, E., Gopnik, A. & Griffiths, T. L., Jan 1 2020, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018. Riloff, E., Chiang, D., Hockenmaier, J. & Tsujii, J. (eds.). Association for Computational Linguistics, p. 2392-2400 9 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

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

    44 Scopus citations

  • Faster update time for turnstile streaming algorithms

    Alman, J. & Yu, H., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 1803-1813 11 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    Open Access
    5 Scopus citations

  • Fast software cache design for network appliances

    Zhou, D., Yu, H., Kaminsky, M. & Andersen, D. G., 2020, Proceedings of the 2020 USENIX Annual Technical Conference, ATC 2020. USENIX Association, p. 657-671 15 p. (Proceedings of the 2020 USENIX Annual Technical Conference, ATC 2020).

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

    4 Scopus citations

  • Fold/Unfold Transformations for Fixpoint Logic

    Kobayashi, N., Fedyukovich, G. & Gupta, A., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 195-214 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

    Open Access
    6 Scopus citations

  • Gryff: Unifying consensus and shared registers

    Burke, M., Cheng, A. & Lloyd, W., 2020, Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020. USENIX Association, p. 591-617 27 p. (Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020).

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

    21 Scopus citations