Research Output

Filter
Conference contribution
2015

Conflict-directed graph coverage

Schwartz-Narbonne, D., Schäf, M., Jovanović, D., Rümmer, P. & Wies, T., 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Springer Verlag, Vol. 9058. p. 327-342 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

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

Coniks: Bringing key transparency to end users

Melara, M. S., Blankstein, A., Bonneau, J., Felten, E. W. & Freedman, M. J., Jan 1 2015, Proceedings of the 24th USENIX Security Symposium. USENIX Association, p. 383-398 16 p. (Proceedings of the 24th USENIX Security Symposium).

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

Context-directed graph coverage

Schwartz-Narbonne, D., Schaf, M., Jovanovic, D., Rummer, P. & Wies, T., Apr 2015, 7th NASA Formal Methods Symposium: NFM '15. Pasadena, CA

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

Counterexample-guided quantifier instantiation for synthesis in SMT

Reynolds, A., Deters, M., Kuncak, V., Tinelli, C. & Barrett, C., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Springer Verlag, Vol. 9207. p. 198-216 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9207).

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

Counterexample guided quantifier instantiation for synthesis of SMT

Reynolds, A., Deters, M., Kuncak, V., Barrett, C. & Tinelli, C., 2015, (Accepted/In press) Proceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA. Springer, to appear. (Lecture Notes in Computer Science).

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

Cracking-resistant password vaults using natural language encoders

Chatterjee, R., Bonneau, J., Juels, A. & Ristenpart, T., Jul 17 2015, Proceedings - 2015 IEEE Symposium on Security and Privacy, SP 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-July. p. 481-498 18 p. 7163043

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

Crowdsourcing with multi-dimensional trust

Liu, X., He, H. & Baras, J. S., Sep 14 2015, 2015 18th International Conference on Information Fusion, Fusion 2015. Institute of Electrical and Electronics Engineers Inc., p. 574-581 8 p. 7266612. (2015 18th International Conference on Information Fusion, Fusion 2015).

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

DC.p4: Programming the forwarding plane of a data-center switch

Sivaraman, A., Kim, C., Krishnamoorthy, R., Dixit, A. & Budiu, M., Jun 17 2015, Symposium on Software Defined Networking (SDN) Research, SOSR 2015. Association for Computing Machinery, Inc, 2775007

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

Decidability of robot manipulation planning: Three disks in the plane

Vendittelli, M., Laumond, J. P. & Mishra, B., 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. 641-657 17 p. (Springer Tracts in Advanced Robotics; vol. 107).

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

Deciding local theory extensions via E-matching

Bansal, K., Reynolds, A., King, T., Barrett, C. & Wies, T., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Springer Verlag, Vol. 9207. p. 87-105 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9207).

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

Deep generative image models using a laplacian pyramid of adversarial networks

Denton, E., Chintala, S., Szlam, A. & Fergus, R., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 1486-1494 9 p.

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

Deep learning with elastic averaging SGD

Zhang, S., Choromanska, A. & LeCun, Y., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 685-693 9 p.

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

Dynamic poisson factorization

Charlin, L., Ranganath, R., McInerney, J. & Blei, D. M., Sep 16 2015, RecSys 2015 - Proceedings of the 9th ACM Conference on Recommender Systems. Association for Computing Machinery, Inc, p. 155-162 8 p.

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

E2: A framework for NFV applications

Palkar, S., Lan, C., Han, S., Jang, K., Panda, A., Ratnasamy, S., Rizzo, L. & Shenker, S., Oct 4 2015, SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 121-136 16 p.

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

Efficient object localization using convolutional networks

Lecun, Y., 2015, Computer vision and pattern recognition (CVPR 2015).

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

Efficient RAM and control flow in verifiable outsourced computation

Wahby, R., Setty, S., Ren, Z., Blumberg, AJ. & Walfish, M., Feb 2015, Network and Distributed System Security Symposium (NDSS).

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

End-to-end integration of a Convolutional Network, Deformable Parts Model and non-maximum suppression

Wan, L., Eigen, D. & Fergus, R., Oct 14 2015, IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015. IEEE Computer Society, Vol. 07-12-June-2015. p. 851-859 9 p. 7298686

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

End-to-end memory networks

Sukhbaatar, S., Szlam, A., Weston, J. & Fergus, R., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 2440-2448 9 p.

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

Event detection and domain adaptation with convolutional neural networks

Nguyen, T. H. & 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. 2. p. 365-371 7 p.

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

Exploiting directionality for millimeter-wave wireless system improvement

MacCartney, G. R., Samimi, M. K. & Rappaport, T., 2015, 2015 IEEE International Conference on Communications (ICC), June 8-12, 2015.

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

Extreme web caching for faster web browsing

Raza, A., Zaki, Y., Poestch, T., Chen, J. & Subramanian, L., Aug 17 2015, SIGCOMM 2015 - Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 111-112 2 p.

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

Fast kronecker inference in Gaussian processes with non-Gaussian likelihoods

Flaxman, S., Wilson, A. G., Neill, D. B., Nickisch, H. & Smola, A. J., Jan 1 2015, 32nd International Conference on Machine Learning, ICML 2015. Bach, F. & Blei, D. (eds.). International Machine Learning Society (IMLS), Vol. 1. p. 607-616 10 p.

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

Fine grained SMT proofs for the theory of fixed-width bit-vectors

Hadarean, L., Barrett, C., Reynolds, A., Tinelli, C. & Deters, M., 2015, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Proceedings. Springer Verlag, Vol. 9450. p. 340-355 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450).

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

Frontiers in Algorithmics: 9th International Workshop, FAW 2015 Guilin, China, July 3–5, 2015 Proceedings

Wang, J. & Yap, C., 2015, Frontiers in Algorithmics - 9th International Workshop, FAW 2015, Proceedings. Springer Verlag, Vol. 9130. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9130).

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

Gappy Total ReCaller: Efficient algorithms and data structures for accurate transcriptomics

Mishra, B., Jan 1 2015, Distributed Computing and InternetTechnology - 11th International Conference, ICDCIT 2015, Proceedings. Patra, M. R., Barua, G. & Natarajan, R. (eds.). Springer Verlag, p. 150-161 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8956).

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

Gated feedback recurrent neural networks

Chung, J., Gulcehre, C., Cho, K. & Bengio, Y., 2015, 32nd International Conference on Machine Learning, ICML 2015. International Machine Learning Society (IMLS), Vol. 3. p. 2067-2075 9 p.

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

How hard is inference for structured prediction?

Globerson, A., Roughgarden, T., Sontag, D. & Yildirim, C., 2015, 32nd International Conference on Machine Learning, ICML 2015. International Machine Learning Society (IMLS), Vol. 3. p. 2171-2180 10 p.

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

How to pretrain deep Boltzmann machines in two stages

Cho, K., Raiko, T., Ilin, A. & Karhunen, J., 2015, Artificial Neural Networks - Methods and Applications in Bio-/Neuroinformatics. Springer Verlag, p. 201-219 19 p.

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

ICE: Rapid information extraction customization for NLP novices

He, Y. & Grishman, R., 2015, 2015 NAACL Demos (Annual Meeting of the North American Association for Computational Linguistics).

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

Improving event detection with active learning

Cao, K., Li, X., Fan, M. & Grishman, R., 2015, International Conference Recent Advances in Natural Language Processing, RANLP. Association for Computational Linguistics (ACL), Vol. 2015-January. p. 72-77 6 p.

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

Improving event detection with dependency regularization

Cao, K., Li, X. & Grishman, R., 2015, International Conference Recent Advances in Natural Language Processing, RANLP. Association for Computational Linguistics (ACL), Vol. 2015-January. p. 78-83 6 p.

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

Incremental codes

Dodis, Y. & Halevi, S., Jan 1 2015, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 4th International Workshop on Approximation, Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Proceedings. Trevisan, L., Jansen, K., Goemans, M. & Rolim, J. D. P. (eds.). Springer Verlag, p. 75-90 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2129).

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

Jointly embedding relations and mentions for knowledge population

Fan, M., Cao, K., He, Y. & Grishman, R., 2015, International Conference Recent Advances in Natural Language Processing, RANLP. Association for Computational Linguistics (ACL), Vol. 2015-January. p. 186-191 6 p.

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

Kernel interpolation for scalable structured Gaussian processes (KISS-GP)

Wilson, A. G. & Nickisch, H., Jan 1 2015, 32nd International Conference on Machine Learning, ICML 2015. Bach, F. & Blei, D. (eds.). International Machine Learning Society (IMLS), p. 1775-1784 10 p. (32nd International Conference on Machine Learning, ICML 2015; vol. 3).

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

Learning distributed representations from reviews for collaborative filtering

Almahairi, A., Kastner, K., Cho, K. & Courville, A., Sep 16 2015, RecSys 2015 - Proceedings of the 9th ACM Conference on Recommender Systems. Association for Computing Machinery, Inc, p. 147-154 8 p.

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

Learning theory and algorithms for forecasting non-stationary time series

Kuznetsov, V. & Mohri, M., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 541-549 9 p.

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

Learning to linearize under uncertainty

Goroshin, R., Mathieu, M. & LeCun, Y., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 1234-1242 9 p.

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

Learning weighted automata

Balle, B. & Mohri, M., 2015, Algebraic Informatics 6th International Conference, CAI 2015, Proceedings. Springer Verlag, Vol. 9270. p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9270).

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

Learning with deep cascades

DeSalvo, G., Mohri, M. & Syed, U., 2015, Algorithmic Learning Theory - 26th International Conference, ALT 2015. Springer Verlag, Vol. 9355. p. 254-269 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9355).

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

Mahimahi: Accurate record-and-replay for http

Netravali, R., Sivaraman, A., Das, S., Goyal, A., Winstein, K., Mickens, J. & Balakrishnan, H., Jan 1 2015, Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015. USENIX Association, p. 417-429 13 p. (Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015).

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

Minimum time length link scheduling under blockage and interference in 60GHz networks

He, Z., Mao, S. & Rappaport, T. T. S., Jun 17 2015, 2015 IEEE Wireless Communications and Networking Conference, WCNC 2015. Institute of Electrical and Electronics Engineers Inc., p. 837-842 6 p. 7127578

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

MoDeep: A deep learning framework using motion features for human pose estimation

Jain, A., Tompson, J., LeCun, Y. & Bregler, C., 2015, Computer Vision - ACCV 2014 - 12th Asian Conference on Computer Vision, Revised Selected Papers. Springer Verlag, Vol. 9004. p. 302-315 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9004).

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

New directions for network verification

Panda, A., Argyraki, K., Sagiv, M., Schapira, M. & Shenker, S., May 1 2015, 1st Summit on Advances in Programming Languages, SNAPL 2015. Ball, T., Bodik, R., Lerner, B. S., Morrisett, G. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 32. p. 209-220 12 p.

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

Non-malleable reductions and applications

Aggarwal, D., Dodis, Y., Kazana, T. & Obremski, M., 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. 459-468 10 p.

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

Non-parametric revenue optimization for generalized second price auctions

Mohri, M. & Medina, A. M., 2015, Uncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015. AUAI Press, p. 612-621 10 p.

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

Omnidirectional path loss models in New York City at 28 GHz and 73 GHz

Maccartney, G. R., Samimi, M. K. & Rappaport, T. S., Jun 25 2015, 2014 IEEE 25th Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, IEEE PIMRC 2014. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-June. p. 227-231 5 p. 7136165

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

On Monotonicity Testing and Boolean Isoperimetric Type Theorems

Khot, S., Minzer, D. & Safra, M., Dec 11 2015, Proceedings - 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. IEEE Computer Society, Vol. 2015-December. p. 52-58 7 p. 7354387

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

On randomness, codes and extractors in cryptography

Dodis, Y., 2015, Progress in Cryptology – INDOCRYPT 2015 - 16th International Conference on Cryptology in India, Proceedings. Springer Verlag, Vol. 9462. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9462).

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

On the disambiguation of weighted automata

Mohri, M. & Riley, M. D., 2015, Implementation and Application of Automata - 20th International Conference, CIAA 2015, Proceedings. Springer Verlag, Vol. 9223. p. 263-278 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9223).

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

On the rademacher complexity of weighted automata

Balle, B. & Mohri, M., 2015, Algorithmic Learning Theory - 26th International Conference, ALT 2015. Springer Verlag, Vol. 9355. p. 179-193 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9355).

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