Courant Institute

Research Output

Filter
Conference contribution
2020

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., Jan 1 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: 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

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

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., Jan 1 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., Jan 1 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., Jan 1 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., Jan 1 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

Finding generalizable evidence by learning to convince Q&A models

Perez, E., Karamcheti, S., Fergus, R., Weston, J., Kiela, D. & Cho, K., Jan 1 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

Generating diverse translations with sentence codes

Shu, R., Nakayama, H. & Cho, K., Jan 1 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

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., Jan 1 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., Jan 1 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

Local Reasoning for Global Graph Properties

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

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

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

Cousot, P., Jan 1 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., Jan 1 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., Jan 1 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., 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

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

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

Tan, J., Zhang, B., Cho, K., Chang, G. & Deniz, C. M., Jan 1 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

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

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

Kann, K., Cho, K. & Bowman, S. R., Jan 1 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

2019

1.1 Deep Learning Hardware: Past, Present, and Future

Lecun, Y., Mar 6 2019, 2019 IEEE International Solid-State Circuits Conference, ISSCC 2019. Institute of Electrical and Electronics Engineers Inc., p. 12-19 8 p. 8662396. (Digest of Technical Papers - IEEE International Solid-State Circuits Conference; vol. 2019-February).

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

ABC: A big cad model dataset for geometric deep learning

Koch, S., Matveev, A., Jiang, Z., Williams, F., Artemov, A., Burnaev, E., Alexa, M., Zorin, D. & Panozzo, D., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 9593-9603 11 p. 8954378. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

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

Abstract Semantic Dependency

Cousot, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 389-410 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

Active learning with disagreement graphs

Cortes, C., DeSalvo, G., Gentile, C., Mohri, M. & Zhang, N., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 2468-2483 16 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

A demonstration of dynamic drawing guidance via electromagnetic haptic feedback

Langerak, T., Zarate, J., Vechev, V., Panozzo, D. & Hilliges, O., Oct 14 2019, UIST 2019 Adjunct - Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 110-112 3 p. (UIST 2019 Adjunct - Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology).

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

A Direct-Conversion Digital Beamforming Array Receiver with 800 MHz Channel Bandwidth at 28 GHz using Xilinx RF SoC

Pulipati, S., Ariyarathna, V., Silva, U. D., Akram, N., Alwan, E., Madanayake, A., Mandal, S. & Rappaport, T. S., Nov 2019, 2019 IEEE International Conference on Microwaves, Antennas, Communications and Electronic Systems, COMCAS 2019. Institute of Electrical and Electronics Engineers Inc., 8958039. (2019 IEEE International Conference on Microwaves, Antennas, Communications and Electronic Systems, COMCAS 2019).

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

Agnostic federated learning

Mohri, M., Sivek, G. & Suresh, A. T., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 8114-8124 11 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

A Learning-based Framework for Line-spectra Super-resolution

Izacard, G., Bernstein, B. & Fernandez-Granda, C., May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 3632-3636 5 p. 8682882. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

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

A millimeter-wave channel simulator NYUSIM with spatial consistency and human blockage

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

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

An algorithmic approach to limit cycles of nonlinear differential systems: The averaging method revisited

Huang, B. & Yap, C., Jul 8 2019, ISSAC 2019 - Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 211-218 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

Open Access

An Improved RNS Variant of the BFV Homomorphic Encryption Scheme

Halevi, S., Polyakov, Y. & Shoup, V., Jan 1 2019, Topics in Cryptology – CT-RSA 2019 - The Cryptographers’ Track at the RSA Conference 2019, Proceedings. Matsui, M. (ed.). Springer Verlag, p. 83-105 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11405 LNCS).

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

Approximating orthogonal matrices with effective givens factorization

Frerix, T. & Bruna, J., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 3509-3517 9 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

A stretch-sensing soft glove for interactive hand pose estimation

Glauser, O., Wu, S., Panozzo, D., Hilliges, O. & Sorkine-Hornung, O., Jul 28 2019, ACM SIGGRAPH 2019 Emerging Technologies, SIGGRAPH 2019. Association for Computing Machinery, Inc, (ACM SIGGRAPH 2019 Emerging Technologies, SIGGRAPH 2019).

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

A Study of Interference Distributions in Millimeter Wave Cellular Networks

Alizadeh, A., Vu, M. & Rappaport, T. S., Nov 2019, 2019 IEEE International Conference on Microwaves, Antennas, Communications and Electronic Systems, COMCAS 2019. Institute of Electrical and Electronics Engineers Inc., 8958330. (2019 IEEE International Conference on Microwaves, Antennas, Communications and Electronic Systems, COMCAS 2019).

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

Attention-based mixture density recurrent networks for history-based recommendation

Wang, T., Cho, K. & Wen, M., Aug 5 2019, 1st International Workshop on Deep Learning Practice for High-Dimensional Sparse Data: Bridging Theory and Practice, DLP 2019 with KDD 2019. Association for Computing Machinery, 3341254. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Open Access

Autogenerating fast packet-processing code using program synthesis

Gao, X., Kim, T., Varma, A. K., Sivaraman, A. & Narayana, S., Nov 13 2019, HotNets 2019 - Proceedings of the 18th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 150-160 11 p. (HotNets 2019 - Proceedings of the 18th ACM Workshop on Hot Topics in Networks).

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

A wideband sliding correlator-based channel sounder with synchronization in 65 nm CMOS

Wu, T., Rappaport, T. S., Knox, M. E. & Shahrjerdi, D., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702223. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

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

Calculational Design of a Regular Model Checker by Abstract Interpretation

Cousot, P., Jan 1 2019, Theoretical Aspects of Computing – ICTAC 2019 - 16th International Colloquium, Proceedings. Hierons, R. M. & Mosbah, M. (eds.). Springer, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11884 LNCS).

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

CAVe: Making collective virtual narrative

Layng, K., Perlin, K., Herscher, S., Brenner, C. & Meduri, T., Jul 28 2019, ACM SIGGRAPH 2019 Art Gallery, SIGGRAPH 2019. Association for Computing Machinery, Inc, (ACM SIGGRAPH 2019 Art Gallery, SIGGRAPH 2019).

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

CAVRN: An exploration and evaluation of a collective audience virtual reality nexus experience

Herscher, S., DeFanti, C., Vitovitch, N. G., Brenner, C., Xia, H., Layng, K. & Perlin, K., Oct 17 2019, UIST 2019 - Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 1137-1150 14 p. (UIST 2019 - Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology).

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