Research Output

Filter
Conference contribution
2015

Quiet: Faster belief propagation for images and related applications

Fujiwara, Y. & Shasha, D., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2015-January. p. 3497-3503 7 p.

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

Relation extraction: Perspective from convolutional neural networks

Nguyen, T. H. & Grishman, R., 2015, Workshop on Vector Space Modeling for NLP at NAACL 2015.

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

Resolution-exact algorithms for link robots

Luo, Z., Chiang, Y-J., Lien, J. M. & Yap, C., 2015, Algorithmic Foundations of Robotics - Selected Contributions of the 11th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2014. Springer Verlag, Vol. 107. p. 353-370 18 p. (Springer Tracts in Advanced Robotics; vol. 107).

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

Revenue optimization against strategic buyers

Mohri, M. & Medina, A. M., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 2530-2538 9 p.

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

Rollback-recovery for middleboxes

Sherry, J., Gao, P. X., Basu, S., Panda, A., Krishnamurthy, A., Macioccoy, C., Maneshy, M., Martins, J., Ratnasamy, S., Rizzo, L. & Shenke, S., Aug 17 2015, SIGCOMM 2015 - Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 227-240 14 p.

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

Secrets, lies, and account recovery: Lessons from the use of personal knowledge questions at google

Bonneau, J., Bursztein, E., Caron, I., Jackson, R. & Williamson, M., May 18 2015, WWW 2015 - Proceedings of the 24th International Conference on World Wide Web. Association for Computing Machinery, Inc, p. 141-150 10 p.

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

Semantic representations for domain adaptation: A case study on the tree kernel-based method for relation extraction

Nguyen, T. H., Plank, B. & Grishman, R., 2015, ACL-IJCNLP 2015 - 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), Vol. 1. p. 635-644 10 p.

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

Show, attend and tell: Neural image caption generation with visual attention

Xu, K., Ba, J. L., Kiros, R., Cho, K., Courville, A., Salakhutdinov, R., Zemel, R. S. & Bengio, Y., 2015, 32nd International Conference on Machine Learning, ICML 2015. International Machine Learning Society (IMLS), Vol. 3. p. 2048-2057 10 p.

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

SoK: Secure messaging

Unger, N., Dechand, S., Bonneau, J., Fahl, S., Perl, H., Goldberg, I. & Smith, M., Jul 17 2015, Proceedings - 2015 IEEE Symposium on Security and Privacy, SP 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-July. p. 232-249 18 p. 7163029

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

SoK: Research perspectives and challenges for bitcoin and cryptocurrencies

Bonneau, J., Miller, A., Clark, J., Narayanan, A., Kroll, J. A. & Felten, E. W., Jul 17 2015, Proceedings - 2015 IEEE Symposium on Security and Privacy, SP 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-July. p. 104-121 18 p. 7163021

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

Solar vs Diesel: Where to draw the line for cell towers?

Ahmad, T., Kalyanaraman, S., Amjad, F. & Subramanian, L., May 15 2015, Proceedings of the 7th International Conference on Information and Communication Technologies and Development, ICTD 2015. Association for Computing Machinery, Vol. 15. 7

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

Solving the shortest vector problem in 2n time via discrete Gaussian sampling

Aggarwal, D., Dadush, D., Regev, O. & Stephens-Davidowitz, N., Jun 14 2015, STOC 2015 - Proceedings of the 2015 ACM Symposium on Theory of Computing. Association for Computing Machinery, Vol. 14-17-June-2015. p. 733-742 10 p.

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

Source separation with scattering Non-Negative Matrix Factorization

Bruna Estrach, J., Sprechmann, P. & LeCun, Y., Aug 4 2015, 2015 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-August. p. 1876-1880 5 p. 7178296

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

Spartan: A distributed array framework with smart tiling

Huang, C-C., Chen, Q., Wang, Z., Power, R., Ortiz, J., Li, J. & Xiao, Z., 2015, (Accepted/In press) USENIX Annual Technical Conference. In Press

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

Structural maxent models

Cortes, C., Kuznetsov, V., Mohri, M. & Syed, U., 2015, 32nd International Conference on Machine Learning, ICML 2015. International Machine Learning Society (IMLS), Vol. 1. p. 391-399 9 p.

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

Summarization search: A new search abstraction for mobile devices

Chakraborty, S., Jabbar, Z. & Subramanian, L., Dec 1 2015, ACM DEV-6 2015 - Proceedings of the 2015 Annual Symposium on Computing for Development. Association for Computing Machinery, Inc, p. 69-70 2 p.

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

Syntax-based rewriting for simultaneous machine translation

He, H., Grissom, A., Boyd-Graber, J. & Daumé, H., Jan 1 2015, Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics (ACL), p. 55-64 10 p. (Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing).

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

Taming uncertainty in distributed systems with help from the network

Leners, J. B., Gupta, T., Aguilera, M. K. & Walfish, M., Apr 17 2015, Proceedings of the 10th European Conference on Computer Systems, EuroSys 2015. Association for Computing Machinery, Inc, 9

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

The human body and millimeter-wave wireless communication systems: Interactions and implications

Wu, T., Rappaport, T. & Collins, C. M., 2015, 2015 IEEE International Conference on Communications (ICC), June 8-12, 2015.

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

The list-decoding size of Fourier-sparse Boolean functions

Haviv, I. & Regev, O., Jun 1 2015, 30th Conference on Computational Complexity, CCC 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 33. p. 58-71 14 p.

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

The loss of surface of multilayer networks

Lecun, Y., 2015, AI and Statistics (AIStats 2015).

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

The Loss Surfaces of Multilayer Networks

Choromanska, A., Henaff, M. B., Mathieu, M., Ben Arous, G. & LeCun, Y., 2015, International Conference on Articial Intelligence and Statistics (AISTATS).

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

Theory of Cryptography: 12th Theory of Cryptography Conference, TCC 2015 Warsaw, Poland, March 23-25, 2015 Proceedings, Part I

Dodis, Y. & Nielsen, J. B., Jan 1 2015, Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Proceedings. Dodis, Y. & Nielsen, J. B. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9014).

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

Theory of cryptography:12th Theory of cryptography conference, TCC 2015 warsaw, poland, march 23-25, 2015 proceedings, part II

Dodis, Y. & Nielsen, J. B., Jan 1 2015, Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Proceedings. Dodis, Y. & Nielsen, J. B. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9015).

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

Tight Hardness of the Non-commutative Grothendieck Problem

Briot, J., Regev, O. & Saket, R., Dec 11 2015, Proceedings - 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. IEEE Computer Society, Vol. 2015-December. p. 1108-1122 15 p. 7354446

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

Towards a complete picture for mmW based 5G technology: From regulatory issues to first deployment

Ghosh, M., Sahin, O. & Rappaport, T., 2015, IEEE ICC 2015, London, England, June 2015.

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

Towards programmable packet scheduling

Sivaraman, A., Subramanian, S., Agrawal, A., Chole, S., Chuang, S. T., Edsall, T., Alizadeh, M., Katti, S., McKeown, N. & Balakrishnan, H., Nov 16 2015, Proceedings of the 14th ACM Workshop on Hot Topics in Networks, HotNets-XIV 2015. Association for Computing Machinery, Inc, 2834106

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

Trust-aware optimal crowdsourcing with budget constraint

Liu, X., He, H. & Baras, J. S., Sep 9 2015, 2015 IEEE International Conference on Communications, ICC 2015. Institute of Electrical and Electronics Engineers Inc., p. 1176-1181 6 p. 7248482. (IEEE International Conference on Communications; vol. 2015-September).

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

User conditional hashtag prediction for images

Denton, E., Weston, J., Paluri, M., Bourdev, L. & Fergus, R., Aug 10 2015, KDD 2015 - Proceedings of the 21st ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, Vol. 2015-August. p. 1731-1740 10 p.

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

Validation of a geometry-based statistical mmWave channel model using ray-tracing simulation

Li, Q., Shirani-Mehr, H., Balercia, T., Papathanassiou, A., Wu, G., Sun, S., Samimi, M. K. & Rappaport, T. S., Jul 1 2015, 2015 IEEE 81st Vehicular Technology Conference, VTC Spring 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-July. 7146155

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

Verification by abstract interpretation, soundness and abstract induction

Cousot, P., Jul 14 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 1-4 4 p.

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

Verification by abstract interpretation, Soundness and abstract induction

Cousot, P., 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Springer Verlag, Vol. 9527. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

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

VERMEER: A Tool for Tracing and Explaining Faulty C Programs

Schwartz-Narbonne, D., Oh, C., Schaf, M. & Wies, T., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, Vol. 2. p. 737-740 4 p. 7203056

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

Web scale photo hash clustering on a single machine

Gong, Y., Pawlowski, M., Yang, F., Brandy, L., Boundev, L. & Fergus, R., Oct 14 2015, IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015. IEEE Computer Society, Vol. 07-12-June-2015. p. 19-27 9 p. 7298596

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

Yesquel: Scalable SQL storage for Web applications

Aguilera, M. K., Leners, J. B., Kotla, R. & Walfish, M., Jan 4 2015, ICDCN 2015 - Proceedings of the 16th International Conference on Distributed Computing and Networking. Association for Computing Machinery, Vol. 04-07-January-2015.

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

Yesquel: Scalable SQL storage for Web applications

Aguilera, M. K., Leners, J. B. & Walfish, M., Oct 4 2015, SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 245-262 18 p.

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

2014

28 GHz and 73 GHz signal outage study for millimeter wave cellular and backhaul communications

Nie, S., MacCartney, G. R., Sun, S. & Rappaport, T. S., Jan 1 2014, 2014 IEEE International Conference on Communications, ICC 2014. IEEE Computer Society, p. 4856-4861 6 p. 6884089. (2014 IEEE International Conference on Communications, ICC 2014).

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

3D mmWave channel model proposal

MacCartney, G. R., Rappaport, T., Thomas, T. & Nguyen, H. C., 2014, 2014 IEEE International Microwave Symposium (IMS2014), Orlando, FL, June 1-6, 2014.

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

3D mmWave channel model proposal

Thomas, T. A., Nguyen, H. C., Maccartney, G. R. & Rappaport, T. S., Nov 24 2014, 2014 IEEE 80th Vehicular Technology Conference, VTC2014-Fall, Proceedings. Institute of Electrical and Electronics Engineers Inc., 6965800. (IEEE Vehicular Technology Conference).

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

73 GHz millimeter wave propagation measurements for outdoor urban mobile and backhaul communications in New York City

Maccartney, G. R. & Rappaport, T. S., Jan 1 2014, 2014 IEEE International Conference on Communications, ICC 2014. IEEE Computer Society, p. 4862-4867 6 p. 6884090. (2014 IEEE International Conference on Communications, ICC 2014).

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

A Bayesian method to quantifying chemical composition using NMR: Application to porous media systems

Wu, Y., Holland, D. J., Mantle, M. D., Wilson, A. G., Nowozin, S., Blake, A. & Gladden, L. F., Nov 10 2014, 2014 Proceedings of the 22nd European Signal Processing Conference, EUSIPCO 2014. European Signal Processing Conference, EUSIPCO, p. 2515-2519 5 p. 6952943. (European Signal Processing Conference).

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

Abstract interpretation: Past, present and future

Cousot, P. & Cousot, R., Jan 1 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. Association for Computing Machinery, 2. (Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014).

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

A characterization of strong approximation resistance

Khot, S., Tulsiani, M. & Worah, P., Jan 1 2014, STOC 2014 - Proceedings of the 2014 ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 634-643 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

A DPLL(T) theory solver for a theory of strings and regular expressions

Liang, T., Reynolds, A., Tinelli, C., Barrett, C. & Deters, M., Jan 1 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 646-662 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

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

A Galois connection calculus for abstract interpretation

Cousot, P. & Cousot, R., 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 3-4 2 p.

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

Agent-based trace learning in a recommendation-verification system for cybersecurity

Casey, W., Wright, E., Morales, J. A., Appel, M., Gennari, J. & Mishra, B., Dec 29 2014, Proceedings of the 9th IEEE International Conference on Malicious and Unwanted Software, MALCON 2014. Institute of Electrical and Electronics Engineers Inc., p. 135-143 9 p. 6999404. (Proceedings of the 9th IEEE International Conference on Malicious and Unwanted Software, MALCON 2014).

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

Algorithms in HElib

Halevi, S. & Shoup, V., Jan 1 2014, Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings. PART 1 ed. Springer Verlag, p. 554-571 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8616 LNCS, no. PART 1).

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

AMixed explicit implicit time stepping scheme for cartesian embedded boundary meshes

May, S. & Berger, M., Jan 1 2014, Finite Volumes for Complex Applications VII - Methods and Theoretical Aspects, FVCA 7. Rohde, C., Fuhrmann, J. & Ohlberger, M. (eds.). Springer New York LLC, p. 393-400 8 p. (Springer Proceedings in Mathematics and Statistics; vol. 77).

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

Amortized analysis of smooth quadtrees in all dimensions

Bennett, H. & Yap, C., Jan 1 2014, Algorithm Theory, SWAT 2014 - 14th Scandinavian Symposium and Workshops, Proceedings. Springer Verlag, p. 38-49 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8503 LNCS).

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

Amplifying privacy in privacy amplification

Aggarwal, D., Dodis, Y., Jafargholi, Z., Miles, E. & Reyzin, L., Jan 1 2014, Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings. PART 2 ed. Springer Verlag, p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8617 LNCS, no. PART 2).

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