Computer Science

Filter
Conference contribution

Search results

  • 2018

    A formal instruction-level GPU model for scalable verification

    Xing, Y., Huang, B. Y., Gupta, A. & Malik, S., Nov 5 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2018 - Digest of Technical Papers. Institute of Electrical and Electronics Engineers Inc., a130. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

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

    Open Access
    7 Scopus citations

  • Agnostic learning by refuting

    Kothari, P. K. & Livni, R., Jan 1 2018, 9th Innovations in Theoretical Computer Science, ITCS 2018. Karlin, A. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 55. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 94).

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

    7 Scopus citations

  • A la carte embedding: Cheap but effective induction of semantic feature vectors

    Khodak, M., Saunshi, N., Liang, Y., Ma, T., Stewart, B. M. & Arora, S., 2018, ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers). Association for Computational Linguistics (ACL), p. 12-22 11 p. (ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers); vol. 1).

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

    Open Access
    79 Scopus citations

  • A lower bound for adaptively-secure collective coin-flipping protocols

    Kalai, Y. T., Komargodski, I. & Raz, R., Oct 1 2018, 32nd International Symposium on Distributed Computing, DISC 2018. Schmid, U. & Widder, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 34. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 121).

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

    5 Scopus citations

  • A mixed-initiative interface for animating static pictures

    Willett, N. S., Kazi, R. H., Chen, M., Fitzmaurice, G., Finkelstein, A. & Grossman, T., Oct 11 2018, UIST 2018 - Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 649-661 13 p. (UIST 2018 - Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology).

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

    11 Scopus citations

  • A multi-institution exploration of peer instruction in practice

    Taylor, C., Petersen, A., Spacco, J., Bunde, D. P., Liao, S. N. & Porter, L., Jul 2 2018, ITiCSE 2018 - Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education. Andreou, P., Armoni, M., Read, J. C. & Polycarpou, I. (eds.). Association for Computing Machinery, p. 308-313 6 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

    10 Scopus citations

  • Arbitrum: Scalable, private smart contracts

    Kalodner, H., Goldfeder, S., Chen, X., Weinberg, S. M. & Felten, E. W., 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 1353-1370 18 p. (Proceedings of the 27th USENIX Security Symposium).

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

    222 Scopus citations

  • Arbitrum: Scalable, private smart contracts

    Kalodner, H., Goldfeder, S., Chen, X., Weinberg, S. M. & Felten, E. W., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 1353-1370 18 p. (Proceedings of the 27th USENIX Security Symposium).

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

  • A review of introductory programming research 2003–2017

    Luxton-Reilly, A., Becker, B. A., Ott, L., Simon, Giannakos, M., Paterson, J., Albluwi, I., Kumar, A. N., Scott, M. J., Sheard, J. & Szabo, C., Jul 2 2018, ITiCSE 2018 - Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education. Andreou, P., Armoni, M., Read, J. C. & Polycarpou, I. (eds.). Association for Computing Machinery, p. 342-343 2 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

    13 Scopus citations

  • Bamboozling certificate authorities with BGP

    Birge-Lee, H., Sun, Y., Edmundson, A., Rexford, J. & Mittal, P., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 833-849 17 p. (Proceedings of the 27th USENIX Security Symposium).

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

    72 Scopus citations

  • Catching the microburst culprits with snappy

    Chen, X., Feibish, S. L., Koral, Y., Rexford, J. L. & Rottenstreich, O., Aug 7 2018, SelfDN 2018 - Proceedings of the 2018 Afternoon Workshop on Self-Driving Networks, Part of SIGCOMM 2018. Association for Computing Machinery, Inc, p. 22-28 7 p. (SelfDN 2018 - Proceedings of the 2018 Afternoon Workshop on Self-Driving Networks, Part of SIGCOMM 2018).

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

    Open Access
    49 Scopus citations

  • CheckMate: Automated synthesis of hardware exploits and security litmus tests

    Trippel, C., Lustig, D. & Martonosi, M. R., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 947-960 14 p. 8574598. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

    55 Scopus citations

  • Classroom experience report on jigsaw learning

    Liao, S. N., Griswold, W. G. & Porter, L., Jul 2 2018, ITiCSE 2018 - Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education. Andreou, P., Armoni, M., Read, J. C. & Polycarpou, I. (eds.). Association for Computing Machinery, p. 302-307 6 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

    12 Scopus citations

  • Computing exact minimum cuts without knowing the graph

    Rubinstein, A., Schramm, T. & Weinberg, S. M., Jan 1 2018, 9th Innovations in Theoretical Computer Science, ITCS 2018. Karlin, A. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 94).

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

    39 Scopus citations

  • 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 proceeding › Conference contribution

    Open Access
    65 Scopus citations

  • Deep Depth Completion of a Single RGB-D Image

    Zhang, Y. & Funkhouser, T., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 175-185 11 p. 8578124. (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
    367 Scopus citations

  • Deep multispectral painting reproduction via multi-layer, custom-ink printing

    Shi, L., Babaei, V., Kim, C., Foshey, M., Hu, Y., Sitthi-Amorn, P., Rusinkiewicz, S. & Matusik, W., Dec 4 2018, SIGGRAPH Asia 2018 Technical Papers, SIGGRAPH Asia 2018. Association for Computing Machinery, Inc, 271. (SIGGRAPH Asia 2018 Technical Papers, SIGGRAPH Asia 2018).

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

    Open Access
    18 Scopus citations

  • Eigenvector computation and community detection in asynchronous gossip models

    Mallmann-Trenn, F., Musco, C. & Musco, C., Jul 1 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 159. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

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

    5 Scopus citations

  • Explicit binary tree codes with polylogarithmic size alphabet

    Cohen, G., Haeupler, B. & Schulman, L. J., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 1074-1087 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    10 Scopus citations

  • Exploiting Attention to Reveal Shortcomings in Memory Models

    Burns, K., Nematzadeh, A., Grant, E., Gopnik, A. & Griffiths, T. L., 2018, EMNLP 2018 - 2018 EMNLP Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, Proceedings of the 1st Workshop. Association for Computational Linguistics (ACL), p. 378-380 3 p. (EMNLP 2018 - 2018 EMNLP Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, Proceedings of the 1st Workshop).

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

    6 Scopus citations

  • Exploiting synchrony and symmetry in relational verification

    Pick, L., Fedyukovich, G. & Gupta, A., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer Verlag, p. 164-182 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

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

    Open Access
    17 Scopus citations

  • Exponential bounds on graph enumerations from vertex incremental characterizations

    Lumbroso, J. & Shi, J., 2018, 2018 Proceedings of the 15th Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2018. Nebel, M. & Wagner, S. (eds.). Society for Industrial and Applied Mathematics Publications, p. 118-132 15 p. (2018 Proceedings of the 15th Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2018; vol. 2018-January).

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

    Open Access
    1 Scopus citations

  • Extractor-Based time-Space lower bounds for learning

    Garg, S., Raz, R. & Tal, A., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 297-310 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    34 Scopus citations

  • Fftnet: A real-time speaker-dependent neural vocoder

    Jin, Z., Finkelstein, A., Mysore, G. J. & Lu, J., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2251-2255 5 p. 8462431. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

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

    85 Scopus citations

  • Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware

    Huang, B. Y., Ray, S., Gupta, A., Fung, J. M. & Malik, S., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., a91. (Proceedings - Design Automation Conference; vol. Part F137710).

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

    21 Scopus citations

  • Hardware multithreaded transactions

    Fix, J., Zhang, H., Nagendra, N. P., Qiu, S., Apostolakis, S. & August, D. I., Mar 19 2018, Proceedings of the 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018. 2 ed. Association for Computing Machinery, Vol. 53. p. 15-29 15 p.

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

    4 Scopus citations

  • Hitting sets with near-Optimal error for read-Once branching programs

    Braverman, M., Cohen, G. & Garg, S., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 940-951 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    5 Scopus citations

  • Identifying student difficulties with basic data structures

    Zingaro, D., Taylor, C., Porter, L., Clancy, M., Lee, C., Liao, S. N. & Webb, K. C., Aug 8 2018, ICER 2018 - Proceedings of the 2018 ACM Conference on International Computing Education Research. Association for Computing Machinery, Inc, p. 169-177 9 p. (ICER 2018 - Proceedings of the 2018 ACM Conference on International Computing Education Research).

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

    Open Access
    31 Scopus citations

  • ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

    Zhang, H., Trippel, C., Manerkar, Y. A., Gupta, A., Martonosi, M. R. & Malik, S., Jul 2 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 12-21 10 p. 8603015. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

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

    10 Scopus citations

  • Im2Pano3D: Extrapolating 360° Structure and Semantics beyond the Field of View

    Song, S., Zeng, A., Chang, A. X., Savva, M., Savarese, S. & Funkhouser, T., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 3847-3856 10 p. 8578503. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

    55 Scopus citations

  • Impossibility of Order-Revealing Encryption in Idealized Models

    Zhandry, M. & Zhang, C., 2018, Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings. Beimel, A. & Dziembowski, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 129-158 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11240 LNCS).

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

    1 Scopus citations

  • Information value of two-prover games

    Braverman, M. & Ko, Y. K., Jan 1 2018, 9th Innovations in Theoretical Computer Science, ITCS 2018. Karlin, A. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 94).

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

    1 Scopus citations

  • Interactive 3D Modeling with a Generative Adversarial Network

    Liu, J., Yu, F. & Funkhouser, T., May 25 2018, Proceedings - 2017 International Conference on 3D Vision, 3DV 2017. Institute of Electrical and Electronics Engineers Inc., p. 126-134 9 p. (Proceedings - 2017 International Conference on 3D Vision, 3DV 2017).

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

    Open Access
    52 Scopus citations

  • Interactive coding over the noisy broadcast channel

    Efremenko, K., Kol, G. & Saxena, R., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 890-901 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    9 Scopus citations

  • Interactive compression to external information

    Braverman, M. & Kol, G., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 760-772 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    5 Scopus citations

  • Interactive distributed proofs

    Kol, G., Oshman, R. & Saxena, R. R., Jul 23 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 255-264 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    42 Scopus citations

  • Introductory programming: A systematic literature review

    Luxton-Reilly, A., Simon, Albluwi, I., Becker, B. A., Giannakos, M., Kumar, A. N., Ott, L., Paterson, J., Scott, M. J., Sheard, J. & Szabo, C., Jul 2 2018, ITiCSE 2018 Companion - Proceedings Companion of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education. Scharlau, B. & Rossling, G. (eds.). Association for Computing Machinery, p. 55-106 52 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

    Open Access
    355 Scopus citations

  • Lazy self-composition for security verification

    Yang, W., Vizel, Y., Subramanyan, P., Gupta, A. & Malik, S., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer Verlag, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

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

    Open Access
    14 Scopus citations

  • Learning Synergies between Pushing and Grasping with Self-Supervised Deep Reinforcement Learning

    Zeng, A., Song, S., Welker, S., Lee, J., Rodriguez, A. & Funkhouser, T., Dec 27 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018. Institute of Electrical and Electronics Engineers Inc., p. 4238-4245 8 p. 8593986. (IEEE International Conference on Intelligent Robots and Systems).

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

    Open Access
    470 Scopus citations

  • Learning to Detect Features in Texture Images

    Zhang, L. & Rusinkiewicz, S., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 6325-6333 9 p. 8578760. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

    69 Scopus citations

  • Limits on low-degree pseudorandom generators (Or: Sum-of-squares meets program obfuscation)

    Barak, B., Brakerski, Z., Komargodski, I. & Kothari, P. K., 2018, Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018 Proceedings. Nielsen, J. B. & Rijmen, V. (eds.). Springer Verlag, p. 649-679 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10821 LNCS).

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

    13 Scopus citations

  • Machine learning DDoS detection for consumer internet of things devices

    Doshi, R., Apthorpe, N. & Feamster, N., Aug 2 2018, Proceedings - 2018 IEEE Symposium on Security and Privacy Workshops, SPW 2018. Institute of Electrical and Electronics Engineers Inc., p. 29-35 7 p. 8424629. (Proceedings - 2018 IEEE Symposium on Security and Privacy Workshops, SPW 2018).

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

    Open Access
    602 Scopus citations

  • Magic-state functional units: Mapping and scheduling multi-level distillation circuits for fault-Tolerant quantum architectures

    Ding, Y., Holmes, A., Javadi-Abhari, A., Franklin, D., Martonosi, M. R. & Chong, F., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 828-840 13 p. 8574589. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

    Open Access
    21 Scopus citations

  • Mathematics of machine learning: An introduction

    Arora, S., 2018, Invited Lectures. Sirakov, B., de Souza, P. N. & Viana, M. (eds.). World Scientific Publishing Co. Pte Ltd, p. 377-390 14 p. (Proceedings of the International Congress of Mathematicians, ICM 2018; vol. 1).

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

    5 Scopus citations

  • Matterport3D: Learning from RGB-D data in indoor environments

    Chang, A., Dai, A., Funkhouser, T., Halber, M., Niebner, M., Savva, M., Song, S., Zeng, A. & Zhang, Y., May 25 2018, Proceedings - 2017 International Conference on 3D Vision, 3DV 2017. Institute of Electrical and Electronics Engineers Inc., p. 667-676 10 p. (Proceedings - 2017 International Conference on 3D Vision, 3DV 2017).

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

    Open Access
    738 Scopus citations

  • MemoDyn: ExploitingWeakly consistent data structures for dynamic parallel memoization

    Prabhu, P., Beard, S. R., Apostolakis, S., Zaks, A. & August, D. I., Nov 1 2018, Proceedings - 27th International Conference on Parallel Architectures and Compilation Techniques, PACT 2018. Institute of Electrical and Electronics Engineers Inc., a15. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

    3 Scopus citations

  • Nation-state hegemony in internet routing

    Edmundson, A., Feamster, N. G., Ensafi, R. & Rexford, J. L., Jun 20 2018, Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, COMPASS 2018. Association for Computing Machinery, Inc, 3211887. (Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, COMPASS 2018).

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

    11 Scopus citations

  • Network-wide heavy hitter detection with commodity switches

    Harrison, R., Cai, Q., Gupta, A. & Rexford, J. L., Mar 28 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, Inc, 3185476. (Proceedings of the Symposium on SDN Research, SOSR 2018).

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

    93 Scopus citations

  • Numerical Invariants via Abstract Machines

    Kincaid, Z., 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer Verlag, p. 24-42 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

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

    3 Scopus citations

  • On simultaneous two-player combinatorial auctions

    Braverman, M., Mao, J. & Weinberg, S. M., 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 2256-2273 18 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    Open Access
    15 Scopus citations