Computer Science

Filter
Conference contribution

Search results

  • 2019

    Extending Rationality

    Pothos, E. M., Busemeyer, J. R., Pleskac, T., Yearsley, J. M., Tenenbaum, J. B., Goodman, N. D., Tessler, M. H., Griffiths, T. L., Lieder, F., Hertwig, R., Pachur, T., Leuker, C. & Shiffrin, R. M., 2019, Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019. The Cognitive Science Society, p. 39-40 2 p. (Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019).

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

  • Faster Matroid Intersection

    Chakrabarty, D., Tat Lee, Y., Sidford, A., Singla, S. & Chiu-Wai Wong, S., Nov 2019, Proceedings - 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS 2019. IEEE Computer Society, p. 1146-1168 23 p. 8948634. (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
    24 Scopus citations

  • Fine-grained analysis of optimization and generalization for overparameterized two-layer neural networks

    Arora, S., Du, S. S., Hu, W., Li, Z. & Wang, R., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 477-502 26 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    186 Scopus citations

  • Fine-grained queue measurement in the data plane

    Chen, X., Feibish, S. L., Koral, Y., Rexford, J., Rottenstreich, O., Monetti, S. A. & Wang, T. Y., Dec 3 2019, CoNEXT 2019 - Proceedings of the 15th International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, Inc, p. 15-29 15 p. (CoNEXT 2019 - Proceedings of the 15th International Conference on Emerging Networking Experiments and Technologies).

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

    Open Access
    82 Scopus citations

  • FlyMC: Highly scalable testing of complex interleavings in distributed systems

    Lukman, J. F., Ke, H., Stuardo, C. A., Suminto, R. O., Kurniawan, D. H., Simon, D., Priambada, S., Tian, C., Ye, F., Leesatapornwongsa, T., Gupta, A., Lu, S. & Gunawi, H. S., Mar 25 2019, Proceedings of the 14th EuroSys Conference 2019. Association for Computing Machinery, Inc, 3303986. (Proceedings of the 14th EuroSys Conference 2019).

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

    Open Access
    32 Scopus citations

  • Formal barriers to longest-chain Proof-of-Stake protocols?

    Brown-Cohen, J., Narayanan, A., Psomas, A. & Matthew Weinberg, S., Jun 17 2019, ACM EC 2019 - Proceedings of the 2019 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 459-473 15 p. (ACM EC 2019 - Proceedings of the 2019 ACM Conference on Economics and Computation).

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

    43 Scopus citations

  • From C to interaction trees: Specifying, verifying, and testing a networked server

    Koh, N., Li, Y., Li, Y., Xia, L. Y., Beringer, L., Honoré, W., Mansky, W., Pierce, B. C. & Zdancewic, S., Jan 14 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 234-248 15 p. (CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019).

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

    Open Access
    39 Scopus citations

  • Full-stack, real-system quantum computer studies: Architectural comparisons and design insights

    Murali, P., Linke, N. M., Martonosi, M., Abhari, A. J., Nguyen, N. H. & Alderete, C. H., Jun 22 2019, ISCA 2019 - Proceedings of the 2019 46th International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 527-540 14 p. (Proceedings - International Symposium on Computer Architecture).

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

    Open Access
    111 Scopus citations

  • Functional Synthesis with Examples

    Fedyukovich, G. & Gupta, A., 2019, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Springer, p. 547-564 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11802 LNCS).

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

    4 Scopus citations

  • Gated2Depth: Real-time dense lidar from gated images

    Gruber, T., Julca-Aguilar, F., Bijelic, M. & Heide, F., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 1506-1516 11 p. 9010016. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

    Open Access
    50 Scopus citations

  • Generative modeling for small-data object detection

    Liu, L., Muelly, M., Deng, J., Pfister, T. & Li, L. J., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 6072-6080 9 p. 9008794. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

    Open Access
    55 Scopus citations

  • High-precision localization using ground texture

    Zhang, L., Finkelstein, A. & Rusinkiewicz, S., May 2019, 2019 International Conference on Robotics and Automation, ICRA 2019. Institute of Electrical and Electronics Engineers Inc., p. 6381-6387 7 p. 8794106. (Proceedings - IEEE International Conference on Robotics and Automation).

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

    Open Access
    18 Scopus citations

  • How to Record Quantum Queries, and Applications to Quantum Indifferentiability

    Zhandry, M., 2019, Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Boldyreva, A. & Micciancio, D. (eds.). Springer Verlag, p. 239-268 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11693 LNCS).

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

    85 Scopus citations

  • Human uncertainty makes classification more robust

    Peterson, J., Battleday, R., Griffiths, T. & Russakovsky, O., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 9616-9625 10 p. 9010969. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

    Open Access
    181 Scopus citations

  • Hyperbolic caching: Flexible caching for web applications

    Blankstein, A., Sen, S. & Freedman, M. J., Jan 1 2019, Proceedings of the 2017 USENIX Annual Technical Conference, USENIX ATC 2017. USENIX Association, p. 499-511 13 p. (Proceedings of the 2017 USENIX Annual Technical Conference, USENIX ATC 2017).

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

  • Hyperbolic caching: Flexible caching for web applications

    Blankstein, A., Sen, S. & Freedman, M. J., 2019, Proceedings of the 2017 USENIX Annual Technical Conference, USENIX ATC 2017. USENIX Association, p. 499-511 13 p. (Proceedings of the 2017 USENIX Annual Technical Conference, USENIX ATC 2017).

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

    76 Scopus citations

  • If it's important, then I am curious: A value intervention to induce curiosity

    Dubey, R., Griffiths, T. L. & Lombrozo, T., 2019, Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019. The Cognitive Science Society, p. 282-288 7 p. (Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019).

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

    12 Scopus citations

  • Ilang: a modeling and verification platform for SoCs using instruction-level abstractions

    Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Springer Verlag, p. 351-357 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

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

    Open Access
    12 Scopus citations

  • Improved Truthful Mechanisms for Combinatorial Auctions with Submodular Bidders

    Assadi, S. & Singla, S., Nov 2019, Proceedings - 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS 2019. IEEE Computer Society, p. 233-248 16 p. 8948592. (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
    25 Scopus citations

  • Inductive Biases Constrain Cumulative Cultural Evolution

    Thompson, B. & Griffiths, T. L., 2019, Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019. The Cognitive Science Society, p. 1111-1117 7 p. (Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019).

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

    4 Scopus citations

  • Lazy but effective functional synthesis

    Fedyukovich, G., Gurfinkel, A. & Gupta, A., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer Verlag, p. 92-113 22 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

    15 Scopus citations

  • Learning Bandwidth Expansion Using Perceptually-motivated Loss

    Feng, B., Jin, Z., Su, J. & Finkelstein, A., May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 606-610 5 p. 8682367. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

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

    19 Scopus citations

  • Learning deep taxonomic priors for concept learning from few positive examples

    Grant, E., Peterson, J. C. & Griffiths, T. L., 2019, Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019. The Cognitive Science Society, p. 1865-1870 6 p. (Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019).

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

    2 Scopus citations

  • Learning local descriptors with a CDF-based dynamic soft margin

    Zhang, L. & Rusinkiewicz, S., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 2969-2978 10 p. 9010244. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

    38 Scopus citations

  • Learning metric graphs for neuron segmentation in electron microscopy images

    Luther, K. & Seung, H. S., Apr 2019, ISBI 2019 - 2019 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, p. 244-248 5 p. 8759576. (Proceedings - International Symposium on Biomedical Imaging; vol. 2019-April).

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

    Open Access
    5 Scopus citations

  • Learning single-image depth from videos using quality assessment networks

    Chen, W., Qian, S. & Deng, J., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 5597-5606 10 p. 8953964. (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
    57 Scopus citations

  • Learning to prove theorems via interacting with proof assistants

    Yang, K. & Deng, J., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 12079-12094 16 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    31 Scopus citations

  • Lemma Synthesis for Automating Induction over Algebraic Data Types

    Yang, W., Fedyukovich, G. & Gupta, A., 2019, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Springer, p. 600-617 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11802 LNCS).

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

    25 Scopus citations

  • Leveraging quantum annealing for large MIMO processing in centralized radio access networks

    Kim, M., Venturelli, D. & Jamieson, K., 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. 241-255 15 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

    71 Scopus citations

  • Loop summarization with rational vector addition systems

    Silverman, J. & Kincaid, Z., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 97-115 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

  • MD-Track: Leveraging multi-dimensionality in passive indoor Wi-Fi tracking

    Xie, Y., Li, M., Xiong, J. & Jamieson, K., Aug 7 2019, MobiCom 2019 - Proceedings of the 25th Annual International Conference on Mobile Computing and Networking. Association for Computing Machinery, (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

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

    Open Access
    258 Scopus citations

  • MeshAdv: Adversarial meshes for visual recognition

    Xiao, C., Yang, D., Li, B., Deng, J. & Liu, M., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 6891-6900 10 p. 8953197. (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
    77 Scopus citations

  • Mrqa 2019 shared task: Evaluating generalization in reading comprehension

    Fisch, A., Talmor, A., Jia, R., Seo, M., Choi, E. & Chen, D., 2019, MRQA@EMNLP 2019 - Proceedings of the 2nd Workshop on Machine Reading for Question Answering. Association for Computational Linguistics (ACL), p. 1-13 13 p. (MRQA@EMNLP 2019 - Proceedings of the 2nd Workshop on Machine Reading for Question Answering).

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

    205 Scopus citations

  • Multi-commodity Flow with In-Network Processing

    Charikar, M., Naamad, Y., Rexford, J. L. & Zou, X. K., 2019, Algorithmic Aspects of Cloud Computing - 4th International Symposium, ALGOCLOUD 2018, Revised Selected Papers. Verykios, V. S. & Disser, Y. (eds.). Springer Verlag, p. 73-101 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11409 LNCS).

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

    17 Scopus citations

  • Netreview: Detecting when interdomain routing goes wrong

    Haeberlen, A., Avramopoulos, I., Rexford, J. & Druschel, P., Jan 1 2019, Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009. USENIX Association, p. 437-452 16 p. (Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009).

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

  • New techniques for obfuscating conjunctions

    Bartusek, J., Lepoint, T., Ma, F. & Zhandry, M., 2019, Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Ishai, Y. & Rijmen, V. (eds.). Springer Verlag, p. 636-666 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11478 LNCS).

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

    12 Scopus citations

  • Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers

    Murali, P., Baker, J. M., Abhari, A. J., Chong, F. T. & Martonosi, M. R., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 1015-1029 15 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
    233 Scopus citations

  • Non-clairvoyant precedence constrained scheduling

    Garg, N., Gupta, A., Kumar, A. & Singla, S., Jul 1 2019, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019. Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 63. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 132).

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

    7 Scopus citations

  • NV: An intermediate language for network verification

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

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

    Open Access
    2 Scopus citations

  • Object storage on CRAQ: High-throughput chain replication for read-mostly workloads

    Terrace, J. & Freedman, M. J., Jan 1 2019, Proceedings of the 2009 USENIX Annual Technical Conference. USENIX Association, p. 143-158 16 p. (Proceedings of the 2009 USENIX Annual Technical Conference).

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

    32 Scopus citations

  • Oblivious DNS: Practical privacy for DNS queries: Published in PoPETS 2019

    Schmitt, P., Edmundson, A., Mankin, A. & Feamster, N., Jul 22 2019, ANRW 2019 - Proceedings of the 2019 Applied Networking Research Workshop. Association for Computing Machinery, Inc, p. 17-19 3 p. (ANRW 2019 - Proceedings of the 2019 Applied Networking Research Workshop).

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

    8 Scopus citations

  • OKAPI: In support of application correctness in smart home environments

    Melissaris, T., Shaw, K. & Martonosi, M., Jun 2019, 2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019. Institute of Electrical and Electronics Engineers Inc., p. 173-180 8 p. 8795349. (2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019).

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

    4 Scopus citations

  • On ELFs, deterministic encryption, and correlated-input security

    Zhandry, M., 2019, Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Ishai, Y. & Rijmen, V. (eds.). Springer Verlag, p. 3-32 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11478 LNCS).

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

    4 Scopus citations

  • On finding quantum multi-collisions

    Liu, Q. & Zhandry, M., 2019, Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Rijmen, V. & Ishai, Y. (eds.). Springer Verlag, p. 189-218 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11478 LNCS).

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

    Open Access
    32 Scopus citations

  • Online control with adversarial disturbances

    Agarwal, N., Bullins, B., Hazan, E., Kakade, S. M. & Singh, K., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 154-165 12 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    80 Scopus citations

  • On the computational power of radio channels

    Braverman, M., Kol, G., Oshman, R. & Tal, A., Oct 2019, 33rd International Symposium on Distributed Computing, DISC 2019. Suomela, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 146).

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

    1 Scopus citations

  • On the potential of Google AMP to promote local content in developing regions

    Phokeer, A., Chavula, J., Johnson, D., Densmore, M., Tyson, G., Sathiaseelan, A. & Feamster, N., May 9 2019, 2019 11th International Conference on Communication Systems and Networks, COMSNETS 2019. Institute of Electrical and Electronics Engineers Inc., p. 80-87 8 p. 8711393. (2019 11th International Conference on Communication Systems and Networks, COMSNETS 2019).

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

    Open Access
    7 Scopus citations

  • Optimal (and benchmark-optimal) competition complexity for additive buyers over independent items

    Beyhaghi, H. & Weinberg, S. M., 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. 686-696 11 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    16 Scopus citations

  • Oracle separation of BQP and pH

    Raz, R. & Tal, 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. 13-23 11 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    33 Scopus citations

  • Orthogonal multi-view three-dimensional object representations in memory revealed by serial reproduction

    Langlois, T. A., Jacoby, N., Suchow, J. & Griffiths, T. L., 2019, Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019. The Cognitive Science Society, p. 2078-2083 6 p. (Proceedings of the 41st Annual Meeting of the Cognitive Science Society: Creativity + Cognition + Computation, CogSci 2019).

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

    1 Scopus citations