Courant Institute

Research Output 1953 2018

Filter
Conference contribution
2018

An improved dictatorship test with perfect completeness

Bhangale, A., Khot, S. & Thiruvenkatachari, D. Jan 1 2018 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 93, 15

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

Fourier analysis
Boolean functions
Software engineering
Constraint satisfaction problems
Hardness

Comparing mixing times on sparse random graphs

Ben-Hamou, A., Lubetzky, E. & Peres, Y. Jan 1 2018 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Association for Computing Machinery, p. 1734-1740 7 p.

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

Mixing Time
Simple Random Walk
Sparse Graphs
Random Graphs
Galton-Watson Tree

Exponentially slow mixing in the mean-field Swendsen-Wang dynamics

Gheissari, R., Lubetzky, E. & Peres, Y. Jan 1 2018 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Association for Computing Machinery, p. 1981-1988 8 p.

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

Mean Field
Potts model
Mean-field Model
Potts Model
Markov Chain Monte Carlo

Investigation and comparison of 3GPP and NYUSIM channel models for 5G wireless communications

Rappaport, T. S., Sun, S. & Shafi, M. Feb 8 2018 2017 IEEE 86th Vehicular Technology Conference, VTC Fall 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-September, p. 1-5 5 p.

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

Channel Model
Wireless Communication
Communication
Spectral Efficiency
Eigenvalue Distribution

Near-optimal approximation algorithm for simultaneous Max-cut

Bhangale, A., Khot, S., Kopparty, S., Sachdeva, S. & Thiruvenkatachari, D. Jan 1 2018 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Association for Computing Machinery, p. 1407-1425 19 p.

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

Max-cut
Optimal Approximation
Approximation algorithms
Optimal Algorithm
Approximation Algorithms

Quantum interference and shape detection

Geiger, D. & Kedem, Z. M. Jan 1 2018 Energy Minimization Methods in Computer Vision and Pattern Recognition - 11th International Conference, EMMCVPR 2017, Revised Selected Papers. Springer-Verlag, p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10746 LNCS)

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

Quantum Interference
Statistical methods
Hough transforms
Cost functions
Statistical method

RadiusSketch: Massively distributed indexing of time series

Yagoubi, D. E., Akbarinia, R., Masseglia, F. & Shasha, D. Jan 16 2018 Proceedings - 2017 International Conference on Data Science and Advanced Analytics, DSAA 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January, p. 262-271 10 p.

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

Indexing
Time series
Response Time
Query
Random Projection

Random oracles and non-uniformity

Coretti, S., Dodis, Y., Guo, S. & Steinberger, J. Jan 1 2018 Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018 Proceedings. Springer-Verlag, p. 227-258 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10820 LNCS)

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

Random Oracle
Random Oracle Model
Non-uniformity
Security Proof
Sampling

Rapid Fading Due to Human Blockage in Pedestrian Crowds at 5G Millimeter-Wave Frequencies

Maccartney, G. R., Rappaport, T. S. & Rangan, S. Jan 10 2018 2017 IEEE Global Communications Conference, GLOBECOM 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January, p. 1-7 7 p.

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

Millimeter waves
Antennas
Directional patterns (antenna)
Antenna arrays
Telecommunication traffic
2017

A flexible wideband millimeter-wave channel sounder with local area and NLOS to LOS transition measurements

Maccartney, G. R., Yan, H., Sun, S. & Rappaport, T. S. Jul 28 2017 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7996791

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

Millimeter waves
Acoustic waves
Steerable antennas
Rubidium
Correlators

A new distribution-sensitive secure sketch and popularity-proportional hashing

Woodage, J., Chatterjee, R., Dodis, Y., Juels, A. & Ristenpart, T. 2017 Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings. Springer Verlag, Vol. 10403 LNCS, p. 682-710 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10403 LNCS)

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

Hashing
Directly proportional
Password
Authentication
Hash functions

An Oculus platform to measure sensory integration for postural control in patients with vestibular dysfunction

Lubetzky, A. V., Kary, E. E., Darmanin, H., Hujsak, B. & Perlin, K. Aug 10 2017 2017 International Conference on Virtual Rehabilitation, ICVR 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-June, 8007458

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

Virtual reality
Testing
Processing
Costs

An Oculus Platfrom to Measure Sensory Integration for Postural Control in Patients with Vestibular Dysfunction

Lubetzky, A., Hujsak, B., Kary, E., Darmanin, H. & Perlin, K. 2017 (Accepted/In press) International Conference on Virtual Rehabilitation 2017.

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

An ODE-based wall model for turbulent flow simulations

Berger, M. J. & Aftosmis, M. J. 2017 AIAA SciTech Forum - 55th AIAA Aerospace Sciences Meeting. American Institute of Aeronautics and Astronautics Inc., AIAA-2017-0528

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

Flow simulation
Turbulent flow
Viscosity
Pressure gradient
Boundary value problems

A novel millimeter-wave channel simulator and applications for 5G wireless communications

Sun, S., Maccartney, G. R. & Rappaport, T. S. Jul 28 2017 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7996792

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

Millimeter waves
Simulators
Communication
Cellular radio systems
Antenna arrays

A reverse minkowski theorem

Regev, O. & Stephens-Davidowitz, N. Jun 19 2017 STOC 2017 - Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, Vol. Part F128415, p. 941-953 13 p.

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

A sampling theorem for deconvolution of point sources

Bernstein, B. & Fernandez-Granda, C. Sep 1 2017 2017 12th International Conference on Sampling Theory and Applications, SampTA 2017. Institute of Electrical and Electronics Engineers Inc., p. 60-63 4 p. 8024426

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

Sampling Theorem
Deconvolution
Point Source
Convolution
Sampling

Atypical: A type system for live performances

Nunes, G. B. & Perlin, K. Oct 20 2017 UIST 2017 Adjunct - Adjunct Publication of the 30th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 61-62 2 p.

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

Visual languages
Animation
Demonstrations
Visualization
Communication

Bounding cache miss costs of multithreaded computations under general schedulers

Cole, R. & Ramachandran, V. Jul 24 2017 SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Vol. Part F129316, p. 351-362 12 p.

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

Caching
Scheduler
Cache
Costs
Line

Can unicorns help users compare crypto key fingerprints?

Tan, J., Bauer, L., Bonneau, J., Cranor, L. F., Thomas, J. & Ur, B. May 2 2017 CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, Vol. 2017-May, p. 3787-3798 12 p.

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

Authentication
Experiments

Chalktalk VR/AR

Perlin, K., He, Z. & Zhu, F. Jan 1 2017 7th International Workshop on Semantic Ambient Media Experiences, SAME 2014: Ambient Media Usability, Interaction and Smart Media Technologies. 2 ed. International Ambient Media Association (iAMEA), Vol. 2017, p. 30-31 2 p.

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

Drawing (graphics)
Animation
Air

Community detection in hypergraphs, spiked tensor models, and Sum-of-Squares

Kim, C., Bandeira, A. S. & Goemans, M. X. Sep 1 2017 2017 12th International Conference on Sampling Theory and Applications, SampTA 2017. Institute of Electrical and Electronics Engineers Inc., p. 124-128 5 p. 8024470

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

Community Detection
Sum of squares
Hypergraph
Tensors
Tensor

Convex program duality, fisher markets, and nash social welfare

Cole, R., Devanur, N. R., Gkatzelis, V., Jain, K., Mai, T., Vazirani, V. V. & Yazdanbod, S. Jun 20 2017 EC 2017 - Proceedings of the 2017 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 459-460 2 p.

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

Convex Program
Welfare
Duality
Integrality
Approximation algorithms

Convolutional recurrent neural networks for music classification

Choi, K., Fazekas, G., Sandler, M. & Cho, K. Jun 16 2017 2017 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2392-2396 5 p. 7952585

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

Recurrent neural networks
Feature extraction
Neural networks

Demonstration of the marple system for network performance monitoring

Nathan, V., Narayana, S., Sivaraman, A., Goyal, P., Arun, V., Alizadeh, M., Jeyakumar, V. & Kim, C. Aug 22 2017 SIGCOMM Posters and Demos 2017 - Proceedings of the 2017 SIGCOMM Posters and Demos, Part of SIGCOMM 2017. Association for Computing Machinery, Inc, p. 57-59 3 p.

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

Network performance
Demonstrations
Switches
Monitoring
Query languages

Directional field synthesis, design, and processing

Vaxman, A., Campen, M., Diamanti, O., Panozzo, D., Bommes, D., Hildebrandt, K., Ben-Chen, M., Vaxman, A., Campen, M., Diamanti, O., Bommes, D., Hildebrandt, K., Ben-Chen, M. & Panozzo, D. Jul 30 2017 ACM SIGGRAPH 2017 Courses, SIGGRAPH 2017. Association for Computing Machinery, Inc, 12

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

Processing
Mesh generation
Computer graphics
Tensors
Textures

DRMT: Disaggregated programmable switching

Chole, S., Fingerhut, A., Ma, S., Sivaraman, A., Vargaftik, S., Berger, A., Mendelson, G., Alizadeh, M., Chuang, S. T., Keslassy, I., Orda, A. & Edsall, T. Aug 7 2017 SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 1-14 14 p.

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

Pipelines
Data storage equipment
Switches
hardware
Hardware

Eliminating depth cycles among triangles in three dimensions

Aronov, B., Miller, E. Y. & Sharir, M. 2017 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017. Association for Computing Machinery, p. 2476-2494 19 p.

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

Computational geometry
Computer graphics
Algebra
Three-dimension
Triangle

Entropy-SGD: Biasing Gradient Descent Into Wide Valleys

Chaudhari, P., Choromanska, A., Soatto, S., LeCun, Y., Baldassi, C., Borgs, C., Chayes, J., Sagun, L. & Zecchina, R. 2017 International Conference on Learning Representations (ICLR).

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

Escrow protocols for cryptocurrencies: How to buy physical goods using bitcoin

Goldfeder, S., Bonneau, J., Gennaro, R. & Narayanan, A. Jan 1 2017 Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers. Springer Verlag, Vol. 10322 LNCS, p. 321-339 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

Privacy
Dilemma
Ship
Ships
Electronic money

Extracting more intra-transaction parallelism with work stealing for OLTP workloads

Zhou, X., Wang, Z., Chen, R., Chen, H. & Li, J. Sep 2 2017 Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017. Association for Computing Machinery, Inc, 3124748

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

Throughput
Processing

Extracting signals from news streams for disease outbreak prediction

Chakraborty, S. & Subramanian, L. Apr 19 2017 2016 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1300-1304 5 p. 7906051

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

Experiments

Fixing cracks in the concrete: Random oracles with auxiliary input, revisited

Dodis, Y., Guo, S. & Katz, J. 2017 Advances in Cryptology – EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Springer Verlag, Vol. 10211 LNCS, p. 473-495 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10211 LNCS)

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

Random Oracle
Crack
Auxiliary Information
Concretes
Function generators

FLOCK: A location-based, multi-user VR experience

Lobser, D., Perlin, K., Fang, L. & Romero, C. Jul 30 2017 ACM SIGGRAPH 2017 VR Village, SIGGRAPH 2017. Association for Computing Machinery, Inc, a5

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

Full accounting for verifiable outsourcing

Wahby, R. S., Ji, Y., Blumberg, A. J., Shelat, A., Thaler, J., Walfish, M. & Wies, T. Oct 30 2017 CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Vol. Part F131467, p. 2071-2086 16 p.

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

Outsourcing
Costs
Application specific integrated circuits
Hardware

Implementing BP-Obfuscation Using graph-induced encoding

Halevi, S., Halevi, T., Shoup, V. & Stephens-Davidowitz, N. Oct 30 2017 CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Vol. Part F131467, p. 783-798 16 p.

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

Finite automata
Cryptography

Incentive compatibility of bitcoin mining pool reward functions

Schrijvers, O., Bonneau, J., Boneh, D. & Roughgarden, T. 2017 Financial Cryptography and Data Security - 20th International Conference, FC 2016, Revised Selected Papers. Springer Verlag, Vol. 9603 LNCS, p. 477-498 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9603 LNCS)

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

Incentive Compatibility
Reward
Mining
Incentives
Miners

Indoor and outdoor 5G diffraction measurements and models at 10, 20, and 26 GHz

Deng, S., Maccartney, G. R. & Rappaport, T. S. Feb 2 2017 2016 IEEE Global Communications Conference, GLOBECOM 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7841898

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

Diffraction
Horn antennas
Millimeter waves
Transmitters
Wireless networks

Indoor office wideband penetration loss measurements at 73 GHz

Ryan, J., Maccartney, G. R. & Rappaport, T. S. Jun 29 2017 2017 IEEE International Conference on Communications Workshops, ICC Workshops 2017. Institute of Electrical and Electronics Engineers Inc., p. 228-233 6 p. 7962662

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

Antennas
Millimeter waves
Horn antennas
Glass
Correlators

Language-directed hardware design for network performance monitoring

Narayana, S., Sivaraman, A., Nathan, V., Goyal, P., Arun, V., Alizadeh, M., Jeyakumar, V. & Kim, C. Aug 7 2017 SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 85-98 14 p.

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

performance monitoring
Network performance
hardware
Switches
Hardware

Learning to parse and translate improves neural machine translation

Eriguchi, A., Tsuruoka, Y. & Cho, K. Jan 1 2017 ACL 2017 - 55th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Short Papers). Association for Computational Linguistics (ACL), Vol. 2, p. 72-78 7 p.

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

Computer aided language translation
Computational linguistics
computational linguistics
Formal languages
Recurrent neural networks

Learning to translate in real-time with neural machine translation

Gu, J., Neubig, G., Cho, K. & Li, V. O. K. 2017 Long Papers - Continued. Association for Computational Linguistics (ACL), Vol. 1, p. 1053-1062 10 p.

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

learning
time
Machine Translation
experiment
interaction

Malware Fingerprinting under Uncertainty

Ghosh, K., Casey, W., Morales, J. A. & Mishra, B. Jul 20 2017 Proceedings - 4th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2017 and 3rd IEEE International Conference of Scalable and Smart Cloud, SSC 2017. Institute of Electrical and Electronics Engineers Inc., p. 276-286 11 p. 7987210

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

Classifiers
Malware
Uncertainty
Binary images
Supervised learning

Millimeter-wave human blockage at 73 GHz with a simple double knife-edge diffraction model and extension for directional antennas

Maccartney, G. R., Deng, S., Sun, S. & Rappaport, T. S. Mar 17 2017 2016 IEEE 84th Vehicular Technology Conference, VTC Fall 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7881087

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

Directional Antenna
Millimeter Wave
Millimeter waves
Diffraction
Antennas

Millimeter Wave MIMO channel estimation based on adaptive compressed sensing

Sun, S. & Rappaport, T. S. Jun 29 2017 2017 IEEE International Conference on Communications Workshops, ICC Workshops 2017. Institute of Electrical and Electronics Engineers Inc., p. 47-53 7 p. 7962632

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

Compressed sensing
Channel estimation
Millimeter waves
Glossaries
Beamforming

Millimeter wave small-scale spatial statistics in an urban microcell scenario

Sun, S., Yan, H., Maccartney, G. R. & Rappaport, T. S. Jul 28 2017 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7996408

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

Autocorrelation
Millimeter waves
Statistics
Directional patterns (antenna)
Omnidirectional antennas

More than a feeling: The MiFace framework for defining facial communication mappings

Butler, C., Michalowicz, S., Subramanian, L. & Burleson, W. Oct 20 2017 UIST 2017 - Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 773-786 14 p.

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

Muscle
Labels
Communication
Display devices
Processing

Nematus: A toolkit for neural machine translation

Sennrich, R., Firat, O., Cho, K., Birch, A., Haddow, B., Hitschler, J., Junczys-Dowmunt, M., Läubli, S., Barone, A. V. M., Mokry, J. & Nǎdejde, M. 2017 15th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2017 - Proceedings of the Software Demonstrations. Association for Computational Linguistics (ACL), p. 65-68 4 p.

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

present
Toolkit
Machine Translation
Train
Usability

Obstacles to the Adoption of Secure Communication Tools

Abu-Salma, R., Sasse, M. A., Bonneau, J., Danilova, A., Naiakshina, A. & Smith, M. Jun 23 2017 2017 IEEE Symposium on Security and Privacy, SP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 137-153 17 p. 7958575

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

Cryptography
Cellular telephone systems
Secure communication
Security of data
Sales

Ogre and pythia: An invariance proof method for weak consistency models

Alglave, J. & Cousot, P. Jan 1 2017 POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Association for Computing Machinery, Vol. Part F125683, p. 3-18 16 p.

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

Invariance
Semantics
Specifications