Courant Institute

Filter
Conference contribution

Search results

  • 2020

    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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

  • 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 proceedingConference 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 proceedingConference contribution

    Open Access
  • 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 proceedingConference 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 proceedingConference contribution

    Open Access
  • 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
  • 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

  • Prospero’s Books: A Distributed Architecture for AI: Invited Extended Abstract

    Mishra, B. B., 2020, Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Proceedings. Hung, D. V. & D’Souza, M. (eds.). Springer, p. 41-49 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11969 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • QUAC: Question answering in context

    Choi, E., He, H., Iyyer, M., Yatskar, M., Yih, W. T., Choi, Y., Liang, P. & Zettlemoyer, L., 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. 2174-2184 11 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • QUAC: Question answering in context

    Choi, E., He, H., Iyyer, M., Yatskar, M., Yih, W. T., Choi, Y., Liang, P. & Zettlemoyer, L., Jan 1 2020, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018. Riloff, E., Chiang, D., Hockenmaier, J. & Tsujii, J. (eds.). Association for Computational Linguistics, p. 2174-2184 11 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Quasi-Optimal Sampling to Learn Basis Updates for Online Adaptive Model Reduction with Adaptive Empirical Interpolation

    Cortinovis, A., Kressner, D., Massei, S. & Peherstorfer, B., Jul 2020, 2020 American Control Conference, ACC 2020. Institute of Electrical and Electronics Engineers Inc., p. 2472-2477 6 p. 9147832. (Proceedings of the American Control Conference; vol. 2020-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Security analysis and improvements for the ietf mls standard for group messaging

    Alwen, J., Coretti, S., Dodis, Y. & Tselekounis, Y., 2020, Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, CRYPTO 2020, Proceedings. Micciancio, D. & Ristenpart, T. (eds.). Springer, p. 248-277 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12170 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Semi-supervised learning for predicting total knee replacement with unsupervised data augmentation

    Tan, J., Zhang, B., Cho, K., Chang, G. & Deniz, C. M., 2020, Medical Imaging 2020: Computer-Aided Diagnosis. Hahn, H. K. & Mazurowski, M. A. (eds.). SPIE, 113140P. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 11314).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Simultaneous Max-Cut is harder to approximate than Max-Cut

    Bhangale, A. & Khot, S., Jul 1 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 169).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Stability of Graph Neural Networks to Relative Perturbations

    Gama, F., Ribeiro, A. & Bruna, J., May 2020, 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 9070-9074 5 p. 9054341. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2020-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • SwapAdvisor: Pushing deep learning beyond the GPU memory limit via smart swapping

    Huang, C. C., Jin, G. & Li, J., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 1341-1355 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 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 proceedingConference contribution

  • TarTar: A Timed Automata Repair Tool

    Kölbl, M., Leue, S. & Wies, T., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 529-540 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Tech and the city: Axialization, institutionalization and disruption

    Mishra, B., 2020, Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360, Proceedings. Santos, H., Pereira, G. V., Budde, M., Lopes, S. F. & Nikolic, P. (eds.). Springer, p. 3-12 10 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 323 LNICST).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Towards realistic practices in low-resource natural language processing: The development set

    Kann, K., Cho, K. & Bowman, S. R., 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. 3342-3349 8 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 proceedingConference contribution

  • Unwind: Interactive Fish Straightening

    Williams, F., Bock, A., Doraiswamy, H., Donatelli, C., Hall, K., Summers, A., Panozzo, D. & Silva, C. T., Apr 21 2020, CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 3376846. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Verifying concurrent search structure templates

    Krishna, S., Patel, N., Shasha, D. & Wies, 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. 181-196 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • VoronoiNet: General functional approximators with local support

    Williams, F., Parent-Levesque, J., Nowrouzezahrai, D., Panozzo, D., Yi, K. M. & Tagliasacchi, A., Jun 2020, Proceedings - 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2020. IEEE Computer Society, p. 1069-1073 5 p. 9150964. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; vol. 2020-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution