Research Output

Filter
Conference contribution
2017

Trainable greedy decoding for neural machine translation

Gu, J., Cho, K. & Li, V. O. K., Jan 1 2017, EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 1968-1978 11 p. (EMNLP 2017 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

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

Transfer learning for music classification and regression tasks

Choi, K., Fazekas, G., Sandler, M. & Cho, K., Jan 1 2017, Proceedings of the 18th International Society for Music Information Retrieval Conference, ISMIR 2017. Duan, Z., Turnbull, D., Cunningham, S. J. & Hu, X. (eds.). International Society for Music Information Retrieval, p. 141-149 9 p. (Proceedings of the 18th International Society for Music Information Retrieval Conference, ISMIR 2017).

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

Tunable efficient unitary neural networks (EUNN) and their application to RNNs

Jing, L., Shen, Y., Dubcek, T., Peurifoy, J., Skirlo, S., LeCun, Y., Tegmark, M. & Soljačić, M., Jan 1 2017, 34th International Conference on Machine Learning, ICML 2017. International Machine Learning Society (IMLS), Vol. 4. p. 2753-2761 9 p.

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

Unilaterally-authenticated key exchange

Dodis, Y. & Fiore, D., Jan 1 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers. Springer Verlag, Vol. 10322 LNCS. p. 542-560 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

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

Universum prescription: Regularization using unlabeled data

Zhang, X. & LeCun, Y., 2017, 31st AAAI Conference on Artificial Intelligence, AAAI 2017. AAAI press, p. 2907-2913 7 p.

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

Verification in the Age of Microservices

Panda, A., Sagiv, M. & Shenker, S., May 7 2017, HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. IEEE Computer Society, Vol. Part F129307. p. 30-36 7 p.

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

Verifying reachability in networks with mutable datapaths

Panda, A., Lahav, O., Argyraki, K., Sagiv, M. & Shenker, S., Jan 1 2017, Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017. USENIX Association, p. 699-718 20 p. (Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017).

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

Very deep convolutional networks for text classification

Conneau, A., Schwenk, H., LeCun, Y. & Barrault, L., Jan 1 2017, Long Papers - Continued. Association for Computational Linguistics (ACL), Vol. 1. p. 1107-1116 10 p.

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

Virtual Cellular ISPs

Ahmad, T. & Subramanian, L., Oct 16 2017, SMARTOBJECTS 2017 - Proceedings of the 3rd Workshop on Experiences with the Design and Implementation of Smart Objects, co-located with MobiCom 2017. Association for Computing Machinery, Inc, p. 35-40 6 p.

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

XCache: Rethinking edge caching for developing regions

Raza, A., Zaki, Y., Poestch, T., Chen, J. & Subramanian, L., Nov 16 2017, Proceedings of the 9th International Conference on Information and Communication Technologies and Development, ICTD 2017. Association for Computing Machinery, Vol. Part F132087. 3136577

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

2016

28 GHz millimeter-wave ultrawideband small-scale fading models in wireless channels

Samimi, M. K., Maccartney, G. R., Sun, S. & Rappaport, T., Jul 5 2016, 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July. 7503970

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

5G 3GPP-like channel models for outdoor urban microcellular and macrocellular environments

Haneda, K., Zhang, J., Tan, L., Liu, G., Zheng, Y., Asplund, H., Li, J., Wang, Y., Steer, D., Li, C., Balercia, T., Lee, S., Kim, Y., Ghosh, A., Thomas, T., Nakamura, T., Kakishima, Y., Imai, T., Papadopoulos, H., Rappaport, T. & 11 others, Maccartney, G. R., Samimi, M. K., Sun, S., Koymen, O., Hur, S., Park, J., Zhang, C., Mellios, E., Molisch, A. F., Ghassamzadeh, S. S. & Ghosh, A., Jul 5 2016, 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July. 7503971

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

A character-level decoder without explicit segmentation for neural machine translation

Chung, J., Cho, K. & Bengio, Y., 2016, 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers. Association for Computational Linguistics (ACL), Vol. 3. p. 1693-1703 11 p.

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

A correlational encoder decoder architecture for pivot based sequence generation

Saha, A., Khapra, M. M., Chandar, S., Rajendran, J. & Cho, K., Jan 1 2016, COLING 2016 - 26th International Conference on Computational Linguistics, Proceedings of COLING 2016: Technical Papers. Association for Computational Linguistics, ACL Anthology, p. 109-118 10 p.

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

A course on programming and problem solving

Sheth, S., Murphy, C., Ross, K. A. & Shasha, D., Feb 17 2016, SIGCSE 2016 - Proceedings of the 47th ACM Technical Symposium on Computing Science Education. Association for Computing Machinery, Inc, p. 323-328 6 p.

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

Adaptive algorithms and data-dependent guarantees for bandit convex optimization

Mohri, M. & Yang, S., 2016, 32nd Conference on Uncertainty in Artificial Intelligence 2016, UAI 2016. Association For Uncertainty in Artificial Intelligence (AUAI), p. 815-824 10 p.

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

Alphacodes: Usable, secure transactions with untrusted providers using human computable puzzles

Sharma, A., Chandrasekaran, V., Amjad, F., Shasha, D. & Subramanian, L., Nov 18 2016, Proceedings of the 7th Annual Symposium on Computing for Development, ACM DEV-7 2016. Association for Computing Machinery, Inc, a5

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

A new decision procedure for finite sets and cardinality constraints in SMT

Bansal, K., Reynolds, A., Barrett, C. & Tinelli, C., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Springer Verlag, Vol. 9706. p. 82-98 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

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

An Ō(n) queries adaptive tester for unateness

Khot, S. & Shinkar, I., Sep 1 2016, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 19th International Workshop, APPROX 2016 and 20th International Workshop, RANDOM 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 60.

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

A prediction study of path loss models from 2-73.5 GHz in an urban-macro environment

Thomas, T. A., Rybakowski, M., Sun, S., Rappaport, T., Nguyen, H., Kovacs, I. Z. & Rodriguez, I., Jul 5 2016, 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July. 7504094

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

Binary embeddings with structured hashed projections

Choromanska, A., Choromanski, K., Bojarski, M., Jebara, T., Kumar, S. & LeCun, Y., 2016, 33rd International Conference on Machine Learning, ICML 2016. International Machine Learning Society (IMLS), Vol. 1. p. 539-554 16 p.

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

Candidate hard unique game

Khot, S. & Moshkovitz, D., Jun 19 2016, STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, Vol. 19-21-June-2016. p. 63-76 14 p.

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

Character-Aware neural language models

Kim, Y., Jernite, Y., Sontag, D. & Rush, A. M., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 2741-2749 9 p.

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

Classifying bugs with interpolants

Podelski, A., Schäf, M. & Wies, T., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer Verlag, Vol. 9762. p. 151-168 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762).

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

Complexity analysis of root clustering for a complex polynomial

Becker, R., Sagraloff, M., Sharma, V., Xu, J. & Yap, C., Jul 20 2016, ISSAC 2016 - Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, Vol. 20-22-July-2016. p. 71-78 8 p.

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

Conjugate conformal prediction for online binary classification

Kocak, M. A., Erkip, E. & Shasha, D., 2016, 32nd Conference on Uncertainty in Artificial Intelligence 2016, UAI 2016. Association For Uncertainty in Artificial Intelligence (AUAI), p. 347-356 10 p.

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

Crowdsourced facial expression mapping using a 3D avatar

Butler, C., Subramanian, L. & Michalowicz, S., May 7 2016, CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, Vol. 07-12-May-2016. p. 2798-2804 7 p.

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

Deep End2End Voxel2Voxel Prediction

Tran, D., Bourdev, L., Fergus, R., Torresani, L. & Paluri, M., Dec 16 2016, Proceedings - 29th IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2016. IEEE Computer Society, p. 402-409 8 p. 7789547

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

Deep learning & convolutional networks

LeCun, Y., May 23 2016, 2015 IEEE Hot Chips 27 Symposium, HCS 2015. Institute of Electrical and Electronics Engineers Inc., 7477328

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

Describing videos by exploiting temporal structure

Yao, L., Torabi, A., Cho, K., Ballas, N., Pal, C., Larochelle, H. & Courville, A., Feb 17 2016, Proceedings - 2015 IEEE International Conference on Computer Vision, ICCV 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 11-18-December-2015. p. 4507-4515 9 p. 7410869

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

Directional field synthesis, design, and processing

Vaxman, A., Campen, M., Diamanti, O., Panozzo, D., Bommes, D., Hildebrandt, K. & Ben-Chen, M., Nov 28 2016, SA 2016 - SIGGRAPH ASIA 2016 Courses. Association for Computing Machinery, Inc, a15

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

Efficient quantum algorithms for (Gapped) group testing and junta testing

Ambainis, A., Belovs, A., Regev, O. & De Wolf, R., 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Association for Computing Machinery, Vol. 2. p. 903-922 20 p.

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

Entity linking with a paraphrase flavor

Pershina, M., He, Y. & Grishman, R., Jan 1 2016, Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016. European Language Resources Association (ELRA), p. 556-560 5 p.

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

Error invariants for concurrent traces

Holzer, A., Schwartz-Narbonne, D., Befrouei, M. T., Weissenbacher, G. & Wies, T., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Springer Verlag, Vol. 9995 LNCS. p. 370-387 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

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

Eth IKS: Using ethereum to audit a CONIKS key transparency log

Bonneau, J., 2016, Financial Cryptography and Data Security - International Workshops, FC 2016, BITCOIN, VOTING, and WAHC, Revised Selected Papers. Springer Verlag, Vol. 9604 LNCS. p. 95-105 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9604 LNCS).

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

Gated word-character recurrent language model

Miyamoto, Y. & Cho, K., Jan 1 2016, EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 1992-1997 6 p. (EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

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

Hardness of bipartite expansion

Khot, S. & Saket, R., Aug 1 2016, 24th Annual European Symposium on Algorithms, ESA 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 57. 55

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

Hardware-software co-design for network performance measurement

Narayana, S., Sivaraman, A., Nathan, V., Alizadeh, M., Walker, D., Rexford, J., Jeyakumar, V. & Kim, C., Nov 9 2016, HotNets 2016 - Proceedings of the 15th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 190-196 7 p.

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

Hierarchical variational models

Ranganath, R., Tran, D. & Blei, D. M., Jan 1 2016, 33rd International Conference on Machine Learning, ICML 2016. International Machine Learning Society (IMLS), Vol. 1. p. 515-528 14 p.

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

HULA: Scalable load balancing using programmable data planes

Katta, N., Hira, M., Kim, C., Sivaraman, A. & Rexford, J., Mar 14 2016, Symposium on Software Defined Networking (SDN) Research, SOSR 2016. Association for Computing Machinery, Inc, a10

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

Improving image classification with location context

Tang, K., Paluri, M., Fei-Fei, L., Fergus, R. & Bourdev, L., Feb 17 2016, Proceedings - 2015 IEEE International Conference on Computer Vision, ICCV 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 11-18-December-2015. p. 1008-1016 9 p. 7410478

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

Indifferentiability of confusion-diffusion networks

Dodis, Y., Stam, M., Steinberger, J. & Liu, T., 2016, Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Springer Verlag, Vol. 9666. p. 679-704 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9666).

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

Indoor 5G 3GPP-like channel models for office and shopping mall environments

Haneda, K., Tian, L., Asplund, H., Li, J., Wang, Y., Steer, D., Li, C., Balercia, T., Lee, S., Kim, Y., Ghosh, A., Thomas, T., Nakamurai, T., Kakishima, Y., Imai, T., Papadopoulas, H., Rappaport, T., Maccartney, G. R., Samimi, M. K., Sun, S. & 8 others, Koymen, O., Hur, S., Park, J., Zhang, J., Mellios, E., Molisch, A. F., Ghassamzadeh, S. S. & Ghosh, A., Jul 5 2016, 2016 IEEE International Conference on Communications Workshops, ICC 2016. Institute of Electrical and Electronics Engineers Inc., p. 694-699 6 p. 7503868

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

Indoor office plan environment and layout-based mmWave path loss models for 28 GHz and 73 GHz

Maccartney, G. R., Deng, S. & Rappaport, T., Jul 5 2016, 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July. 7504287

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

Interactive coding for interactive proofs

Bishop, A. & Dodis, Y., 2016, Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings. Springer Verlag, Vol. 9563. p. 352-366 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9563).

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

Interpretese vs. translationese: The uniqueness of human strategies in simultaneous interpretation

He, H., Boyd-Graber, J. & Daumé, H., Jan 1 2016, 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2016 - Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 971-976 6 p. (2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2016 - Proceedings of the Conference).

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

Ivy: Safety verification by interactive generalization

Padon, O., McMillan, K. L., Panda, A., Sagiv, M. & Shoham, S., Jun 2 2016, PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (eds.). Association for Computing Machinery, Vol. 13-17-June-2016. p. 614-630 17 p.

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

Joint event extraction via recurrent neural networks

Nguyen, T. H., Cho, K. & Grishman, R., 2016, 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2016 - Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 300-309 10 p.

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

Large margin nearest neighbor embedding for knowledge representation

Fan, M., Zhou, Q., Zheng, T. F. & Grishman, R., Feb 2 2016, Proceedings - 2015 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 1. p. 53-59 7 p. 7396779

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

Large market games with near optimal efficiency

Cole, R. & Tao, Y., Jul 21 2016, EC 2016 - Proceedings of the 2016 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 791-808 18 p.

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