Computer Science

Filter
Conference contribution

Search results

  • 2020

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

    Open Access
    181 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 proceeding › Conference contribution

    Open Access
    26 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 proceeding › Conference contribution

    Open Access
    23 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    9 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 proceeding › Conference contribution

    Open Access
    17 Scopus citations

  • TextHide: Tackling data privacy in language understanding tasks

    Huang, Y., Song, Z., Chen, D., Li, K. & Arora, S., 2020, Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020. Association for Computational Linguistics (ACL), p. 1368-1382 15 p. (Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020).

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

    28 Scopus citations

  • The efficiency of human cognition reflects planned information processing

    Ho, M. K., Abel, D., Cohen, J. D., Littman, M. L. & Griffiths, T. L., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 1300-1307 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

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

    11 Scopus citations

  • The random-query model and the memory-bounded coupon collector

    Raz, R. & Zhan, W., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    1 Scopus citations

  • Tolerating slowdowns in replicated state machines using copilots

    Ngo, K., Sen, S. & Lloyd, W., 2020, Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020. USENIX Association, p. 583-598 16 p. (Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020).

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

    13 Scopus citations

  • Towards fairer datasets: Filtering and balancing the distribution of the people subtree in the ImageNet hierarchy

    Yang, K., Qinami, K., Fei-Fei, L., Deng, J. & Russakovsky, O., Jan 27 2020, FAT* 2020 - Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery, Inc, p. 547-558 12 p. (FAT* 2020 - Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency).

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

    237 Scopus citations

  • Towards non-interactive witness hiding

    Kuykendall, B. & 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. 627-656 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12550 LNCS).

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

    3 Scopus citations

  • Towards Unique and Informative Captioning of Images

    Wang, Z., Feng, B., Narasimhan, K. & 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. 629-644 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12352 LNCS).

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

    14 Scopus citations

  • Tracking P4 program execution in the data plane

    Kodeswaran, S., Arashloo, M. T., Tammana, P. & Rexford, J., Mar 3 2020, SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 117-122 6 p. (SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research).

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

    17 Scopus citations

  • TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests

    Hossain, N., Trippel, C. & 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. 874-887 14 p. 9138952. (Proceedings - International Symposium on Computer Architecture; vol. 2020-May).

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

    Open Access
    2 Scopus citations

  • Verified sequential Malloc/Free

    Appel, A. W. & Naumann, D. A., Jun 16 2020, ISMM 2020 - Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, co-located with PLDI 2020. Ding, C. & Maas, M. (eds.). Association for Computing Machinery, p. 48-59 12 p. (International Symposium on Memory Management, ISMM).

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

    10 Scopus citations

  • Weakly Supervised Deep Metric Learning for Template Matching

    Buniatyan, D., Popovych, S., Ih, D., Macrina, T., Zung, J. & Seung, H. S., 2020, Advances in Computer Vision - Proceedings of the 2019 Computer Vision Conference CVC. Kapoor, S. & Arai, K. (eds.). Springer Verlag, p. 39-58 20 p. (Advances in Intelligent Systems and Computing; vol. 943).

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

    6 Scopus citations
  • 2019

    (Near) optimal adaptivity gaps for stochastic multi-value probing

    Bradac, D., Singla, S. & Zuzic, G., Sep 2019, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2019. Achlioptas, D. & Vegh, L. A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 145).

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

    18 Scopus citations

  • Abstraction and subsumption in modular verification of C programs

    Beringer, L. & Appel, A. W., 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 573-590 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

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

    7 Scopus citations

  • A discrete hard EM approach for weakly supervised question answering

    Min, S., Chen, D., Hajishirzi, H. & Zettlemoyer, L., 2019, EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics, p. 2851-2864 14 p. (EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference).

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

    103 Scopus citations

  • Analyzing the costs (and benefits) of DNS, DoT, and DoH for the modern web

    Hounsel, A., Borgolte, K., Schmitt, P., Holland, J. & Feamster, N., Jul 22 2019, ANRW 2019 - Proceedings of the 2019 Applied Networking Research Workshop. Association for Computing Machinery, Inc, p. 20-22 3 p. (ANRW 2019 - Proceedings of the 2019 Applied Networking Research Workshop).

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

    10 Scopus citations

  • Approximation Schemes for a Unit-Demand Buyer with Independent Items via Symmetries

    Kothari, P., Singla, S., Mohan, D., Schvartzman, A. & Weinberg, S. M., Nov 2019, Proceedings - 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS 2019. IEEE Computer Society, p. 220-232 13 p. 8948637. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2019-November).

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

    Open Access
    17 Scopus citations

  • A practical algorithm for structure embedding

    Murphy, C. & Kincaid, Z., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer Verlag, p. 342-362 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).

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

  • Architectural implications of function-as-a-service computing

    Shahrad, M., Balkind, J. & Wentzlaff, D., Oct 12 2019, MICRO 2019 - 52nd Annual IEEE/ACM International Symposium on Microarchitecture, Proceedings. IEEE Computer Society, p. 1063-1075 13 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

    Open Access
    152 Scopus citations

  • Architectural Support for Containment-based Security

    Zhang, H., Ghosh, S., Fix, J., Apostolakis, S., Beard, S. R., Nagendra, N. P., Oh, T. & August, D. I., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 361-377 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    Open Access
    10 Scopus citations

  • A scalable server for 3D metaverses

    Cheslack-Postava, E., Azim, T., Mistree, B. F. T., Horn, D. R., Terrace, J., Levis, P. & Freedman, M. J., Jan 1 2019, Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012. USENIX Association, p. 209-222 14 p. (Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012).

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

    2 Scopus citations

  • AsmDB: Understanding and mitigating front-end stalls in warehouse-scale computers

    Ayers, G., Nagendra, N. P., August, D. I., Cho, H. K., Kanev, S., Kozyrakis, C., Krishnamurthy, T., Litz, H., Moseley, T. & Ranganathan, P., Jun 22 2019, ISCA 2019 - Proceedings of the 2019 46th International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 462-473 12 p. (Proceedings - International Symposium on Computer Architecture).

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

    Open Access
    63 Scopus citations

  • A System-Wide Debugging Assistant Powered by Natural Language Processing

    Dogga, P., Narasimhan, K., Sivaraman, A. & Netravali, R., Nov 20 2019, SoCC 2019 - Proceedings of the ACM Symposium on Cloud Computing. Association for Computing Machinery, p. 171-177 7 p. (SoCC 2019 - Proceedings of the ACM Symposium on Cloud Computing).

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

    Open Access
    8 Scopus citations

  • A theoretical analysis of contrastive unsupervised representation learning

    Arora, S., Khandeparkar, H., Khodak, M., Plevrakis, O. & Saunshi, N., 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 9904-9923 20 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    115 Scopus citations

  • A universal sampling method for reconstructing signals with simple Fourier transforms

    Avron, H., Kapralov, M., Musco, C., Musco, C., Velingker, A. & Zandieh, A., Jun 23 2019, STOC 2019 - Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. Charikar, M. & Cohen, E. (eds.). Association for Computing Machinery, p. 1051-1063 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    29 Scopus citations

  • BDSI: A validated concept inventory for basic data structures

    Porter, L., Zingaro, D., Liao, S. N., Taylor, C., Webb, K. C., Lee, C. & Clancy, M., Jul 30 2019, ICER 2019 - Proceedings of the 2019 ACM Conference on International Computing Education Research. Association for Computing Machinery, Inc, p. 111-119 9 p. (ICER 2019 - Proceedings of the 2019 ACM Conference on International Computing Education Research).

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

    53 Scopus citations

  • Behaviors of higher and lower performing students in CS1

    Liao, S. N., Valstar, S., Thai, K., Alvarado, C., Zingaro, D., Griswold, W. G. & Porter, L., Jul 2 2019, ITiCSE 2019 - Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 196-202 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

    Open Access
    40 Scopus citations

  • Bitcoin: A natural oligopoly

    Arnosti, N. & Matthew Weinberg, S., Jan 1 2019, 10th Innovations in Theoretical Computer Science, ITCS 2019. Blum, A. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 124).

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

    10 Scopus citations

  • Burstable Instances for Clouds: Performance Modeling, Equilibrium Analysis, and Revenue Maximization

    Jiang, Y., Shahrad, M., Wentzlaff, D., Tsang, D. H. K. & Joe-Wong, C., Apr 2019, INFOCOM 2019 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1576-1584 9 p. 8737634. (Proceedings - IEEE INFOCOM; vol. 2019-April).

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

    14 Scopus citations

  • Characterizing the use of browser-based blocking extensions to prevent online tracking

    Mathur, A., Narayanan, A., Vitak, J. & Chetty, M., Jan 1 2019, Proceedings of the 14th Symposium on Usable Privacy and Security, SOUPS 2018. USENIX Association, p. 103-116 14 p. (Proceedings of the 14th Symposium on Usable Privacy and Security, SOUPS 2018).

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

    36 Scopus citations

  • Cognitive model priors for predicting human decisions

    Bourgin, D. D., Peterson, J. C., Reichman, D., Russell, S. J. & Griffiths, T. L., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 8984-8992 9 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    12 Scopus citations

  • CoMET: An active distributed key-value store

    Geambasu, R., Levy, A. A., Kohno, T., Krishnamurthy, A. & Levy, H. M., Jan 1 2019, Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010. USENIX Association, p. 323-336 14 p. (Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010).

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

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

    257 Scopus citations

  • Compressed Sensing MRI Reconstruction on Intel HARPv2

    Su, Y., Anderson, M., Tamir, J. I., Lustig, M. & Li, K., Apr 2019, Proceedings - 27th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2019. Institute of Electrical and Electronics Engineers Inc., p. 254-257 4 p. 8735528. (Proceedings - 27th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2019).

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

    3 Scopus citations

  • DeepVoxels: Learning persistent 3D feature embeddings

    Sitzmann, V., Thies, J., Heide, F., Niebner, M., Wetzstein, G. & Zollhofer, M., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 2432-2441 10 p. 8953309. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

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

    Open Access
    481 Scopus citations

  • DFS: A file system for virtualized flash storage

    Josephson, W. K., Bongo, L. A., Li, K. & Flynn, D., Jan 1 2019, Proceedings of FAST 2010: 8th USENIX Conference on File and Storage Technologies. USENIX Association, p. 85-99 15 p. (Proceedings of FAST 2010: 8th USENIX Conference on File and Storage Technologies).

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

  • Efficient full-matrix adaptive regularization

    Agarwal, N., Bullins, B., Chen, X., Hazan, E., Singh, K., Zhang, C. & Zhang, Y., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 139-147 9 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    16 Scopus citations

  • Efficient optimization of loops and limits with randomized telescoping sums

    Beatson, A. & Adams, R. P., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 836-854 19 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    7 Scopus citations

  • Efficient verification of network fault tolerance via counterexample-guided refinement

    Giannarakis, N., Beckett, R., Mahajan, R. & Walker, D., 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 proceeding › Conference contribution

    Open Access
    16 Scopus citations

  • Elmo: Source routed multicast for public clouds

    Shahbaz, M., Suresh, L., Rexford, J. L., Feamster, N. G., Rottenstreich, O. & Hira, M., Aug 19 2019, SIGCOMM 2019 - Proceedings of the 2019 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 458-471 14 p. (SIGCOMM 2019 - Proceedings of the 2019 Conference of the ACM Special Interest Group on Data Communication).

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

    Open Access
    43 Scopus citations

  • Exploring the value of different data sources for predicting student performance in multiple CS courses

    Liao, S. N., Zingaro, D., Alvarado, C., Griswold, W. G. & Porter, L., Feb 22 2019, SIGCSE 2019 - Proceedings of the 50th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, Inc, p. 112-118 7 p. (SIGCSE 2019 - Proceedings of the 50th ACM Technical Symposium on Computer Science Education).

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

    Open Access
    24 Scopus citations