Courant Institute

Filter
Conference contribution

Search results

  • 2020

    3-D Statistical Indoor Channel Model for Millimeter-Wave and Sub-Terahertz Bands

    Ju, S., Xing, Y., Kanhere, O. & Rappaport, T. S., Dec 2020, 2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9322429. (2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings).

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

  • A Public Option for the Core

    Harchol, Y., Bergemann, D., Feamster, N., Friedman, E., Krishnamurthy, A., Panda, A., Ratnasamy, S., Schapira, M. & Shenker, S., 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. 377-389 13 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

  • A stable and effective learning strategy for trainable greedy decoding

    Chen, Y., Li, V. O. K., Cho, K. & Bowman, S. R., 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. 380-390 11 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

  • A truthful cardinal mechanism for one-sided matching

    Abebe, R., Cole, R., Gkatzelis, V. & Hartline, J. D., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 2096-2113 18 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

  • Attention-based CNN for KL Grade Classification: Data from the Osteoarthritis Initiative

    Zhang, B., Tan, J., Cho, K., Chang, G. & Deniz, C. M., Apr 2020, ISBI 2020 - 2020 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, p. 731-735 5 p. 9098456. (Proceedings - International Symposium on Biomedical Imaging; vol. 2020-April).

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

  • A Virtual Obstacle Course within Diverse Sensory Environments

    Wang, Z., Lubetzky, A., Hendee, C., Gospodarek, M. & Perlin, K., Aug 17 2020, ACM SIGGRAPH 2020 Immersive Pavilion, SIGGRAPH 2020. Association for Computing Machinery, 3407875. (ACM SIGGRAPH 2020 Immersive Pavilion, SIGGRAPH 2020).

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

  • A Wideband Sliding Correlator based Channel Sounder in 65 nm CMOS: An Evaluation Board Design

    Shakya, D., Wu, T. & Rappaport, T. S., Dec 2020, 2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9322622. (2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings).

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

  • Bertha: Tunneling through the Network API

    Narayan, A., Panda, A., Alizadeh, M., Balakrishnan, H., Krishnamurthy, A. & Shenker, S., Nov 4 2020, HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 53-59 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

    Open Access

  • BugDoc: Algorithms to Debug Computational Processes

    Lourenço, R., Freire, J. & Shasha, D., Jun 14 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 463-478 16 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

    Open Access

  • BugDoc: A System for Debugging Computational Pipelines

    Lourenço, R., Freire, J. & Shasha, D., Jun 14 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 2733-2736 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

    Open Access

  • CAD-Deform: Deformable Fitting of CAD Models to 3D Scans

    Ishimtsev, V., Bokhovkin, A., Artemov, A., Ignatyev, S., Niessner, M., Zorin, D. & Burnaev, E., 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. 599-628 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12358 LNCS).

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

  • Calibrating a 4-channel Fully-Digital 60 GHz SDR

    Dhananjay, A., Zheng, K., Haarla, J., Iotti, L., Mezzavilla, M., Shasha, D. & Rangan, S., Sep 21 2020, WiNTECH 2020 - Proceedings of the 14th ACM Workshop on Wireless Network Testbeds, Experimental evaluation and CHaracterization, Part of ACM MobiCom 2020. Association for Computing Machinery, p. 40-47 8 p. (WiNTECH 2020 - Proceedings of the 14th ACM Workshop on Wireless Network Testbeds, Experimental evaluation and CHaracterization, Part of ACM MobiCom 2020).

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

    Open Access

  • Can far memory improve job throughput?

    Amaro, E., Branner-Augmon, C., Luo, Z., Ousterhout, A., Aguilera, M. K., Panda, A., Ratnasamy, S. & Shenker, S., Apr 15 2020, Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020. Association for Computing Machinery, Inc, (Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020).

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

    Open Access

  • Capacity, bandwidth, and compositionality in emergent language learning

    Resnick, C., Gupta, A., Foerster, J., Dai, A. M. & Cho, K., 2020, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020. An, B., El Fallah Seghrouchni, A. & Sukthankar, G. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1125-1133 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2020-May).

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

  • Cobra: Making transactional key-value stores verifiably serializable

    Tan, C., Zhao, C., Mu, S. & Walfish, M., 2020, Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020. USENIX Association, p. 63-80 18 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

  • CollaboVR: A Reconfigurable Framework for Creative Collaboration in Virtual Reality

    He, Z., Du, R. & Perlin, K., Nov 2020, Proceedings - 2020 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2020. Institute of Electrical and Electronics Engineers Inc., p. 542-554 13 p. 9284659. (Proceedings - 2020 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2020).

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

  • Conditional word embedding and hypothesis testing via bayes-by-backprop

    Han, R., Spirling, A., Gill, M. & Cho, K., 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. 4890-4895 6 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

  • Countering language drift via visual grounding

    Lee, J., Cho, K. & Kiela, D., 2020, 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. 4385-4395 11 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

  • Decoupling strategy and generation in negotiation dialogues

    He, H., Chen, D., Balakrishnan, A. & Liang, P., 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. 2333-2343 11 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

  • Deep Vectorization of Technical Drawings

    Egiazarian, V., Voynov, O., Artemov, A., Volkhonskiy, D., Safin, A., Taktasheva, M., Zorin, D. & Burnaev, E., 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. 582-598 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12358 LNCS).

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

  • Deterministic non-autoregressive neural sequence modeling by iterative refinement

    Lee, J., Mansimov, E. & Cho, K., 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. 1173-1182 10 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

  • Dialogue natural language inference

    Welleck, S., Weston, J., Szlam, A. & Cho, K., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 3731-3741 11 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

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

  • Distributed Algorithms to Find Similar Time Series

    Levchenko, O., Kolev, B., Yagoubi, D. E., Shasha, D., Palpanas, T., Valduriez, P., Akbarinia, R. & Masseglia, F., 2020, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2019, Proceedings. Brefeld, U., Fromont, E., Hotho, A., Knobbe, A., Maathuis, M. & Robardet, C. (eds.). Springer, p. 781-785 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11908 LNAI).

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

  • Dynamic meta-embeddings for improved sentence representations

    Kiela, D., Wang, C. & Cho, K., 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. 1466-1477 12 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

  • Emergent linguistic phenomena in multi-agent communication games

    Graesser, L., Cho, K. & Kiela, D., 2020, 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. 3700-3710 11 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

  • Extracting randomness from extractor-dependent sources

    Dodis, Y., Vaikuntanathan, V. & Wichs, D., 2020, Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Ishai, Y. (eds.). Springer, p. 313-342 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12105 LNCS).

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

  • Finding generalizable evidence by learning to convince Q&A models

    Perez, E., Karamcheti, S., Fergus, R., Weston, J., Kiela, D. & Cho, K., 2020, 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. 2402-2411 10 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

  • Forecasting Sparse Traffic Congestion Patterns Using Message-Passing RNNS

    Iyer, S. R., An, U. & Subramanian, L., May 2020, 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 3772-3776 5 p. 9052963. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2020-May).

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

  • Fully-digital beamforming demonstration with Pi-Radio mmWave SDR platform

    Dhananjay, A., Zheng, K., Mezzavilla, M., Shasha, D. & Rangan, S., Oct 11 2020, MobiHoc 2020 - Proceedings of the 2020 International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing. Association for Computing Machinery, p. 301-302 2 p. (Proceedings of the International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc)).

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

    Open Access

  • Gauntlet: Finding bugs in compilers for programmable packet processing

    Ruffy, F., Wang, T. & Sivaraman, A., 2020, Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020. USENIX Association, p. 683-699 17 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

  • Generating diverse translations with sentence codes

    Shu, R., Nakayama, H. & Cho, K., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1823-1827 5 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

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

  • Geometric attention for prediction of differential properties in 3d point clouds

    Matveev, A., Artemov, A., Zorin, D. & Burnaev, E., 2020, Artificial Neural Networks in Pattern Recognition - 9th IAPR TC3 Workshop, ANNPR 2020, Proceedings. Schilling, F-P. & Stadelmann, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 113-124 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12294 LNAI).

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

  • Grammar induction with neural language models: An unusual replication

    Htut, P. M., Cho, K. & Bowman, S. R., 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. 4998-5003 6 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

  • Identifying predictive causal factors from news streams

    Balashankar, A., Chakraborty, S., Fraiberger, S. & Subramanian, L., 2020, 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. 2338-2348 11 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

  • Improved zero-shot neural machine translation via ignoring spurious correlations

    Gu, J., Wang, Y., Cho, K. & Li, V. O. K., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1258-1268 11 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

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

  • JSCleaner: De-Cluttering Mobile Webpages Through JavaScript Cleanup

    Chaqfeh, M., Zaki, Y., Hu, J. & Subramanian, L., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 763-773 11 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

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

  • Kappa: A programming framework for serverless computing

    Zhang, W., Fang, V., Panda, A. & Shenker, S., Oct 12 2020, SoCC 2020 - Proceedings of the 2020 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, p. 328-343 16 p. (SoCC 2020 - Proceedings of the 2020 ACM Symposium on Cloud Computing).

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

    Open Access

  • Local Reasoning for Global Graph Properties

    Krishna, S., Summers, A. J. & Wies, T., 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. 308-335 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

  • Making edge-computing resilient

    Harchol, Y., Mushtaq, A., Fang, V., McCauley, J., Panda, A. & Shenker, S., Oct 12 2020, SoCC 2020 - Proceedings of the 2020 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, p. 253-266 14 p. (SoCC 2020 - Proceedings of the 2020 ACM Symposium on Cloud Computing).

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

    Open Access

  • Meta-learning for low-resource neural machine translation

    Gu, J., Wang, Y., Chen, Y., Cho, K. & Li, V. O. K., 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. 3622-3631 10 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

  • Millimeter Wave Position Location using Multipath Differentiation for 3GPP using Field Measurements

    Kanhere, O. & Rappaport, T. S., Dec 2020, 2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9348110. (2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings; vol. 2020-January).

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

  • Multifidelity cross-entropy estimation of conditional value-at-risk for risk-averse design optimization

    Chaudhuri, A., Peherstorfer, B. & Willcox, K., 2020, AIAA Scitech 2020 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2020 Forum; vol. 1 PartF).

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

  • Multi-lingual common semantic space construction via cluster-consistent word embedding

    Huang, L., Cho, K., Zhang, B., Ji, H. & Knight, K., 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. 250-260 11 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

  • Nearly optimal embeddings of flat tori

    Agarwal, I., Regev, O. & Tang, Y., Aug 1 2020, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2020. Byrka, J. & Meka, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, APPROX43. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 176).

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

  • On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

    Cousot, P., 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).

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

  • On the price of concurrency in group ratcheting protocols

    Bienstock, A., Dodis, Y. & Rösler, P., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 198-228 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12551 LNCS).

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

  • Optimal control for electromagnetic haptic guidance systems

    Langerak, T., Zárate, J. J., Vechev, V., Lindlbauer, D., Panozzo, D. & Hilliges, O., Oct 20 2020, UIST 2020 - Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 951-965 15 p. 3415593. (UIST 2020 - Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology).

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

    Open Access

  • Panic: A high-performance programmable NIC for multi-tenant networks

    Lin, J., Patel, K., Stephens, B. E., Sivaraman, A. & Akella, A., 2020, Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020. USENIX Association, p. 243-259 17 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

  • Polynomial data structure lower bounds in the group model

    Golovnev, A., Posobin, G., Regev, O. & Weinstein, O., Nov 2020, Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. IEEE Computer Society, p. 740-751 12 p. 9317940. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2020-November).

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

  • Potentially Stably Rational Del Pezzo Surfaces over Nonclosed Fields

    Tschinkel, Y. & Yang, K., 2020, Combinatorial and Additive Number Theory III - CANT, 2017 and 2018. Nathanson, M. B. (ed.). Springer, p. 227-233 7 p. (Springer Proceedings in Mathematics and Statistics; vol. 297).

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