Conference Advanced Text and Video Analytics for Proactive Decision Making 2017 • Proceedings of SPIE • 10207: Bowman EK, Turek M, Tunison P, Porter R, Thomas S, Gintautas V, Shargo P, Lin J, Li Q, Gao Y, Li X, Mittu R, Rose CP, Maki K, Bogart C, Choudhari SS
Conference Safe and nested subgame solving for imperfect-information games 2017 • Advances in Neural Information Processing Systems • 2017-December:690-700 Brown N, Sandholm T
Conference Assisting Users in a World Full of Cameras A Privacy-aware Infrastructure for Computer Vision Applications 2017 • Conference on Computer Vision and Pattern Recognition Workshops IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Workshops • 1387-1396 Das A, Degeling M, Wang X, Wang J, Sadeh N, Satyanarayanan M
Journal Article LazyPIM: Efficient Support for Cache Coherence in Processing-in-Memory Architectures 2017 Boroumand A, Ghose S, Patel M, Hassan H, Lucia B, Hajinazar N, Hsieh K, Malladi KT, Zheng H, Mutlu O
Journal Article Computer vision for assistive technologies 2017 • Computer Vision and Image Understanding • 154:1-15 Leo M, Medioni G, Trivedi M, Kanade T, Farinella GM
Journal Article The Heat Method for Distance Computation 2017 • Communications of the ACM • 60(11):90-99 Crane K, Weischedel C, Wardetzky M
Conference Structural Analysis of Multi-Mode DAE Systems 2017 253-263 Benveniste A, Caillaud B, Elmqvist H, Ghorbal K, Otter M, Pouzet M
Journal Article Nonuniform surround suppression of visual responses in mouse V1 2017 • Journal of Neurophysiology • 118(6):3282-3292 Samonds JM, Feese BD, Lee TS, Kuhlman SJ
Conference Distributed Provenance Compression 2017 • Proceedings / ACM-SIGMOD International Conference on Management of Data. ACM-Sigmod International Conference on Management of Data • 203-218 Chen C, Lehri HT, Loh LK, Alur A, Jia L, Loo BT, Zhou W
Journal Article Local algorithms for interactive clustering 2017 • Journal of machine learning research • 18:1-35 Awasthi P, Balcan MF, Voevodski K
Conference Long Short Memory Process 2017 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 565-574 Zang C, Cui P, Faloutsos C, Zhu W
Conference M3A: Model, MetaModel, and Anomaly Detection for Inter-arrivals of Web Searches and Postings 2017 • 2017 IEEE INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA) • 341-350 Juan D-C, Shah N, Tang M, Qian Z, Marculescu D, Faloutsos C
Journal Article (2+ε)-SAT IS NP-HARD 2017 • SIAM journal on computing (Print) • 46(5):1554-1573 Austrin P, Guruswami V, Hastad J
Conference <i>k</i>-Connectivity in Random <i>K</i>-Out Graphs Intersecting Erdos-Renyi Graphs 2017 • IEEE Transactions on Information Theory • 63(3):1677-1692 Yavuz F, Zhao J, Yagan O, Gligor V
Conference Biases in Data-Driven Networking, and What to Do About Them 2017 • HOTNETS-XVI: PROCEEDINGS OF THE 16TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS • 192-198 Bartulovic M, Jiang J, Balakrishnan S, Sekar V, Sinopoli B
Journal Article Automatic Detection of Online Recruitment Frauds: Characteristics, Methods, and a Public Dataset 2017 • Future Internet • 9(1): Vidros S, Kolias C, Kambourakis G, Akoglu L
Conference Ranking in heterogeneous networks with geo-location information 2017 • Proceedings of the 17th SIAM International Conference on Data Mining, SDM 2017 • 408-416 Mishra A, Akoglu L
Conference Bellerophon: Tactical Theorem Proving for Hybrid Systems 2017 • Lecture Notes in Computer Science • 10499:207-224 Fulton N, Mitsch S, Bohrer B, Platzer A
Journal Article Allocating training instances to learning agents for team formation 2017 • Autonomous Agents and Multi-Agent Systems • 31(4):905-940 Liemhetcharat S, Veloso M
Conference Virtually Adapted Reality and Algorithm Visualization for Autonomous Robots 2017 • Lecture Notes in Computer Science • 9776:452-464 Zhu D, Veloso M
Conference Everest: Towards a verified, drop-in replacement of HTTPS 2017 • Leibniz International Proceedings in Informatics • 71: Parno B, and others
Journal Article Optimal CUR Matrix Decompositions 2017 • SIAM journal on computing (Print) • 46(2):543-589 Boutsidis C, Woodruff DP
Chapter PRuning Through Satisfaction 2017 • Lecture Notes in Computer Science • 10629:179-194 Heule MJH, Kiesl B, Seidl M, Biere A
Journal Article Multiple facility location on a network with linear reliability order of edges 2017 • Journal of Combinatorial Optimization • 34(3):931-955 Hassin R, Ravi R, Salman FS
Journal Article Technical Perspective: Functional compilers 2017 • Communications of the ACM • 60(5):82-82 Blelloch G
Conference On the insertion time of random walk cuckoo hashing 2017 • Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms • 1497-1502 Frieze A, Johansson T
Preprint On the Integrality Gap of the Prize-Collecting Steiner Forest LP 2017 Könemann J, Olver N, Pashkovich K, Ravi R, Swamy C, Vygen J
Journal Article Correctness of compiling polymorphism to dynamic typing 2017 • Journal of Functional Programming • 27:1-24 Hou (Favonia) K-B, Benton N, Harper R
Journal Article Computational Higher Type Theory III: Univalent Universes and Exact Equality 2017 Angiuli C, Hou K-B, Harper R
Conference Adaptivity Gaps for Stochastic Probing: Submodular and XOS Functions 2017 • Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms • 1688-1702 Gupta A, Nagarajan V, Singla S
Journal Article Opting Into Optimal Matchings 2017 • Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms • 2351-2363 Blum A, Caragiannis I, Haghtalab N, Procaccia AD, Procaccia EB, Vaish R
Conference Reduced space and faster convergence in imperfect-information games via pruning 2017 • 34th International Conference on Machine Learning, ICML 2017 • 2:969-979 Brown N, Sandholm T
Conference Live Synthesis of Vehicle-Sourced Data Over 4G LTE 2017 • PROCEEDINGS OF THE 20TH ACM INTERNATIONAL CONFERENCE ON MODELLING, ANALYSIS AND SIMULATION OF WIRELESS AND MOBILE SYSTEMS (MSWIM'17) • 161-170 Hu W, Feng Z, Chen Z, Harkes J, Pillai P, Satyanarayanan M
Journal Article LazyPIM: An Efficient Cache Coherence Mechanism for Processing-in-Memory 2017 • IEEE Computer Architecture Letters • 16(1):46-50 Boroumand A, Ghose S, Patel M, Hassan H, Lucia B, Hsieh K, Malladi KT, Zheng H, Mutlu O
Conference Redesigning CDN-Broker Interactions for Improved Content Delivery 2017 • CONEXT'17: PROCEEDINGS OF THE 2017 THE 13TH INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES • 68-80 Mukerjee MK, Bozkurt IN, Ray D, Maggs BM, Seshan S, Zhang H
Journal Article A Glimpse into Discrete Differential Geometry 2017 • Notices of the American Mathematical Society • 64(10):1153-1159 Crane K, Wardetzky M
Journal Article Data driven resource allocation for distributed learning 2017 • AAAI Workshop - Technical Report • WS-17-01 - WS-17-15:478-484 Dick T, White C, Li M, Balcan MF, Pillutla VK, Smola A
Conference Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism 2017 • ACM Sigplan Notices • 52(8):75-88 Acar UA, Ben-David N, Rainey M
Journal Article Sample and Computationally Efficient Learning Algorithms under S-Concave Distributions 2017 • Advances in Neural Information Processing Systems • 30: Balcan M-F, Zhang H
Conference Performance guarantees for transferring representations 2017 • 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings McNamara D, Balcan MF
Conference PNP: Fast Path Ensemble Method for Movie Design 2017 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 1527-1536 Koutra D, Dighe A, Bhagat S, Weinsberg U, Ioannidis S, Faloutsos C, Bolot J
Conference An improved bound on the zero-error list-decoding capacity of the 4/3 channel 2017 • IEEE International Symposium on Information Theory - Proceedings • 1658-1662 Dalai M, Guruswami V, Radhakrishnan J
Journal Article On Connectivity and Robustness in Random Intersection Graphs 2017 • IEEE Transactions on Automatic Control • 62(5):2121-2136 Zhao J, Yagan O, Gligor V
Conference Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems 2017 • Lecture Notes in Computer Science • 10475:3-21 Camara J, Garlan D, Schmerl B
Journal Article OptNet: Differentiable Optimization as a Layer in Neural Networks 2017 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 70 • 70: Amos B, Kolter JZ
Conference A Domain-Agnostic Approach to Spam-URL Detection via Redirects 2017 • Lecture Notes in Computer Science • 10235:220-232 Kwon H, Baig MB, Akoglu L
Conference A Simplex Architecture for Hybrid Systems Using Barrier Certificates 2017 • Lecture Notes in Computer Science • 10488:117-131 Yang J, Islam MA, Murthy A, Smolka SA, Stoller SD
Conference Formal Verification of Train Control with Air Pressure Brakes 2017 • Lecture Notes in Computer Science • 10598:173-191 Mitsch S, Gario M, Budnik CJ, Golm M, Platzer A
Conference Opponent-Aware Ball-Manipulation Skills for an Autonomous Soccer Robot 2017 • Lecture Notes in Computer Science • 9776:84-96 Cooksey P, Mendoza JP, Veloso M
