Research Output

Filter
Conference contribution
2016

The quest for resilient (static) forwarding tables

Chiesa, M., Nikolaevskiy, I., Mitrović, S., Panda, A., Gurtov, A., Maidry, A., Schapira, M. & Shenker, S., Jul 27 2016, IEEE INFOCOM 2016 - 35th Annual IEEE International Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July. 7524552

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

The restricted isometry property of subsampled Fourier matrices

Haviv, I. & Regev, O., 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Association for Computing Machinery, Vol. 1. p. 288-297 10 p.

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

Tightness of LP relaxations for almost balanced models

Weller, A., Rowland, M. & Sontag, D., 2016, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Proceedings. Springer Verlag, Vol. 9892 LNCS. p. 894-895 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9892 LNCS).

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

Towards Strong Reverse Minkowski-Type Inequalities for Lattices

Dadush, D. & Regev, O., Dec 14 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016. IEEE Computer Society, Vol. 2016-December. p. 447-456 10 p. 7782959

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

Train and test tightness of lp relaxations in structured prediction

Meshi, O., Mahdavi, M., Weiler, A. & Sontag, D., 2016, 33rd International Conference on Machine Learning, ICML 2016. International Machine Learning Society (IMLS), Vol. 4. p. 2652-2664 13 p.

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

Unsupervised learning of spatiotemporally coherent metrics

Goroshin, R., Bruna Estrach, J., Tompson, J., Eigen, D. & LeCun, Y., 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. 4086-4093 8 p. 7410822

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

Verifiable ASICs

Wahby, R. S., Howald, M., Garg, S., Shelat, A. & Walfish, M., Aug 16 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016. Institute of Electrical and Electronics Engineers Inc., p. 759-778 20 p. 7546534

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

Very deep multilingual convolutional neural networks for LVCSR

Sercu, T., Puhrsch, C., Kingsbury, B. & LeCun, Y., May 18 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-May. p. 4955-4959 5 p. 7472620

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

Visualizing a Malware Distribution Network

Peryt, S., Andre Morales, J., Casey, W., Volkmann, A., Mishra, B. & Cai, Y., Nov 8 2016, 2016 IEEE Symposium on Visualization for Cyber Security, VizSec 2016. Institute of Electrical and Electronics Engineers Inc., 7739585

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

Why buy when you can rent? Bribery attacks on bitcoin-style consensus

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. 19-26 8 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

Zero-resource translation with multi-lingual neural machine translation

Firat, O., Sankaran, B., Al-Onaizan, Y., Yarman Vural, F. T. & Cho, K., Jan 1 2016, EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 268-277 10 p. (EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

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

2015

28GHz and 73GHz millimeter-wave indoor propagation measurements and path loss models

Deng, S., 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

28 GHz and 73 GHz millimeter-wave indoor propagation measurements and path loss models

Deng, S., Samimi, M. K. & Rappaport, T., Sep 8 2015, 2015 IEEE International Conference on Communication Workshop, ICCW 2015. Institute of Electrical and Electronics Engineers Inc., p. 1244-1250 7 p. 7247348

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

3-D statistical channel model for millimeter-wave outdoor mobile broadband communications

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

73GHz wideband millimeter-wave foliage and ground reflection measurements and models

Deng, S. & Rappaport, T., 2015, 2015 IEEE International Conference on Communications (ICC), June 8-12, 2015.

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

73 GHz wideband millimeter-wave foliage and ground reflection measurements and models

Rappaport, T. & Deng, S., Sep 8 2015, 2015 IEEE International Conference on Communication Workshop, ICCW 2015. Institute of Electrical and Electronics Engineers Inc., p. 1238-1243 6 p. 7247347

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

A binary decision tree abstract domain functor

Chen, J. & Cousot, P., 2015, Static Analysis- 22nd International Symposium, SAS 2015, Proceedings. Springer Verlag, Vol. 9291. p. 36-53 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9291).

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

Abstracting induction by extrapolation and interpolation

Cousot, P., Jan 1 2015, Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. D’Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer Verlag, p. 19-42 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8931).

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

Adaptation algorithm and theory based on generalized discrepancy

Cortes, C., Mohri, M. & Medina, A. M., 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. 169-178 10 p.

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

Adaptive congestion control for unpredictable cellular networks

Zaki, Y., Poestch, T., Chen, J., Subramanian, L. & Görg, C., Aug 17 2015, SIGCOMM 2015 - Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 509-522 14 p.

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

A decision procedure for regular membership and length constraints over unbounded strings

Liang, T., Tsiskaridze, N., Reynolds, A., Tinelli, C. & Barrett, C., 2015, Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Proceedings. Springer Verlag, Vol. 9322. p. 135-150 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9322).

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

A fast variational approach for learning Markov random field language models

Jernite, Y., Rush, A. M. & Sontag, D., 2015, 32nd International Conference on Machine Learning, ICML 2015. International Machine Learning Society (IMLS), Vol. 3. p. 2199-2207 9 p.

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

A formal treatment of backdoored pseudorandom generators

Dodis, Y., Ganesh, C., Golovnev, A., Juels, A. & Ristenpart, T., 2015, Advances in Cryptology – EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Springer Verlag, Vol. 9056. p. 101-126 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9056).

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

Applications of α-strongly regular distributions to bayesian auctions

Cole, R. & Rao, S., 2015, Web and Internet Economics - 11th International Conference, WINE 2015, Proceedings. Springer Verlag, Vol. 9470. p. 244-257 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9470).

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

Approximating CSPs using LP relaxation

Khot, S. & Saket, R., 2015, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Proceedings. Springer Verlag, Vol. 9134. p. 822-833 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9134).

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

Approximating the Nash social welfare with indivisible items

Cole, R. & Gkatzelis, V., 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. 371-380 10 p.

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

A preliminary 3D mm wave indoor office channel model

Sun, S., Rappaport, T. S., Thomas, T. A. & Ghosh, A., Mar 26 2015, 2015 International Conference on Computing, Networking and Communications, ICNC 2015. Institute of Electrical and Electronics Engineers Inc., p. 26-31 6 p. 7069289. (2015 International Conference on Computing, Networking and Communications, ICNC 2015).

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

A structured approach to post-silicon validation and debug using symbolic quick error detection

Lin, D., Singh, E., Barrett, C. & Mitra, S., Nov 30 2015, International Test Conference 2015, ITC 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-November. 7342397

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

A study of the recurrent neural network encoder-decoder for large vocabulary speech recognition

Lu, L., Zhang, X., Cho, K. & Renals, S., 2015, Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. International Speech and Communication Association, Vol. 2015-January. p. 3249-3253 5 p.

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

Attention-based models for speech recognition

Chorowski, J., Bahdanau, D., Serdyuk, D., Cho, K. & Bengio, Y., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 577-585 9 p.

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

Audio source separation with discriminative scattering networks

Sprechmann, P., Bruna Estrach, J. & LeCun, Y., 2015, Latent Variable Analysis and Signal Separation - 12th International Conference, LVA/ICA 2015, Proceedings. Springer Verlag, Vol. 9237. p. 259-267 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9237).

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

Automata and graph compression

Mohri, M., Riley, M. & Suresh, A. T., Sep 28 2015, Proceedings - 2015 IEEE International Symposium on Information Theory, ISIT 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-June. p. 2989-2993 5 p. 7283005

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

Barrier Frank-Wolfe for marginal inference

Krishnan, R. G., Lacoste-Julien, S. & Sontag, D., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 532-540 9 p.

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

Beating the random assignment on constraint satisfaction problems of bounded degree

Barak, B., Moitra, A., O'Donnell, R., Raghavendra, P., Regev, O., Steurer, D., Trevisan, L., Vijayaraghavan, A., Witmer, D. & Wright, J., Aug 1 2015, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 18th International Workshop, APPROX 2015, and 19th International Workshop, RANDOM 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 40. p. 110-123 14 p.

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

Beyond frontal faces: Improving Person Recognition using multiple cues

Zhang, N., Paluri, M., Taigman, Y., Fergus, R. & Bourdev, L., Oct 14 2015, IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015. IEEE Computer Society, Vol. 07-12-June-2015. p. 4804-4813 10 p. 7299113

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

Bootstrapping for HElib

Halevi, S. & Shoup, V., 2015, Advances in Cryptology – EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Springer Verlag, Vol. 9056. p. 641-670 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9056).

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

Cascade (Competition contribution)

Wang, W. & Barrett, C., Jan 1 2015, Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Tinelli, C. & Baier, C. (eds.). Springer Verlag, p. 420-422 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9035).

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

Character-level convolutional networks for text classification

Zhang, X., Zhao, J. & LeCun, Y., 2015, Advances in Neural Information Processing Systems. Neural information processing systems foundation, Vol. 2015-January. p. 649-657 9 p.

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

Clayodor: Retrieving scents through the manipulation of malleable material

Kao, C. H. L., Dreshaj, E., Amores, J., Leigh, S. W., Benavides, X., Maes, P., Perlin, K. & Ishii, H., Jan 15 2015, TEI 2015 - Proceedings of the 9th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, Inc, p. 697-702 6 p. (TEI 2015 - Proceedings of the 9th International Conference on Tangible, Embedded, and Embodied Interaction).

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

Complex-valued Hough transforms for circles

Cicconet, M., Geiger, D. & Werman, M., 2015, IEEE 22nd International Conference in Image Processing (ICIP), 2015, Quebec City, Canada.

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

Compliance control: Managed vulnerability surface in social-technological systems via signaling games

Casey, W., Zhu, Q., Morales, J. A. & Mishra, B., Oct 16 2015, MIST 2015 - Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, co-located with CCS 2015. Association for Computing Machinery, Inc, p. 53-62 10 p.

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

Computing the stereo matching cost with a convolutional neural network

Žbontar, J. & LeCun, Y., Oct 14 2015, IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015. IEEE Computer Society, Vol. 07-12-June-2015. p. 1592-1599 8 p. 7298767

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

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