Conference ML for ML: Learning Cost Semantics by Experiment 2017 • Lecture Notes in Computer Science • 10205:190-207 Das A, Hoffmann J
Journal Article Learning to Schedule Control Fragments for Physics-Based Characters Using Deep Q-Learning 2017 • ACM Transactions on Graphics • 36(3):1-14 Liu L, Hodgins J
Conference Automatic Database Management System Tuning Through Large-scale Machine Learning 2017 • Proceedings / ACM-SIGMOD International Conference on Management of Data. ACM-Sigmod International Conference on Management of Data • 1009-1024 Van Aken D, Pavlo A, Gordon GJ, Zhang B
Journal Article Rethinking Security in the Era of Cloud Computing 2017 • IEEE Security and Privacy • PP(99):1-1 Aikat J, Akella A, Chase JS, Juels A, Reiter M, Ristenpart T, Sekar V, Swift M
Journal Article Why You Should Charge Your Friends for Borrowing Your Stuff 2017 • IJCAI International Joint Conference on Artificial Intelligence • 395-401 Shin K, Lee E, Eswaran D, Procaccia AD
Conference Task-based end-to-end model learning in stochastic optimization 2017 • Advances in Neural Information Processing Systems • 2017-December:5485-5495 Donti PL, Amos B, Kolter JZ
Conference Mind the Gap - A Comparison of Software Packet Generators 2017 191-203 Emmerich P, Gallenmüller S, Antichi G, Moore AW, Carle G
Journal Article A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets 2017 • Computer Languages, Systems and Structures • 47:19-43 Ghorbal K, Sogokon A, Platzer A
Conference Sketching for geometric problems 2017 • Leibniz International Proceedings in Informatics • 87: Woodruff DP
Journal Article Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks 2017 • Journal of machine learning research • 18: Du N, Liang Y, Balcan M-F, Gomez-Rodriguez M, Zha H, Song L
Chapter Beyond Assortativity: Proclivity Index for Attributed Networks (PRONE) 2017 • Lecture Notes in Computer Science • 10234:225-237 Rabbany R, Eswaran D, Dubrawski AW, Faloutsos C
Journal Article COMENGO: A Dynamic Model for Social Group Evolution 2017 • ACM Transactions on Knowledge Discovery from Data • 11(4): Zhang T, Cui P, Faloutsos C, Lu Y, Ye H, Zhu W, Yang S
Journal Article Fast, Warped Graph Embedding: Unifying Framework and One-Click Algorithm 2017 Chen S, Niu S, Akoglu L, Kovačević J, Faloutsos C
Journal Article Proxy Non-Discrimination in Data-Driven Systems 2017 Datta A, Fredrikson M, Ko G, Mardziel P, Sen S
Journal Article Track how technology is transforming work 2017 • Nature • 544(7650):290-292 Mitchell T, Brynjolfsson E
Conference Joint Concept Learning and Semantic Parsing from Natural Language Explanations 2017 1527-1536 Srivastava S, Labutov I, Mitchell T
Conference The Potential of Interference-Based Proof Systems 2017 • EPiC series in computing • 51:51-46 Heule M, Kiesl B
Chapter Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions 2017 • Lecture Notes in Computer Science • 10206:3-20 Wustholz V, Olivo O, Heule MJH, Dillig I
Conference Randomized contractions for multiobjective minimum cuts 2017 • Leibniz International Proceedings in Informatics • 87: Aissi H, Mahjoub AR, Ravi R
Preprint 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 The evolution of tumour phylogenetics: principles and practice 2017 • Nature Reviews Genetics • 18(4):213-229 Schwartz R, Schaffer AA
Preprint Shorter tours and longer detours: Uniform covers and a bit beyond 2017 Haddadan A, Newman A, Ravi R
Conference Computational higher-dimensional type theory 2017 • ACM Sigplan Notices • 680-693 Angiuli C, Harper R, Wilson T
Conference Second-Order Destination Inference using Semi-Supervised Self-Training for Entry-Only Passenger Data 2017 • BDCAT'17: PROCEEDINGS OF THE FOURTH IEEE/ACM INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING, APPLICATIONS AND TECHNOLOGIES • 255-264 Shi R, Steenkiste P, Veloso M
Preprint Is Input Sparsity Time Possible for Kernel Low-Rank Approximation? 2017 Musco C, Woodruff DP
Conference Libratus: The Superhuman AI for No-Limit Poker 2017 • IJCAI International Joint Conference on Artificial Intelligence • 5226-5228 Brown N, Sandholm T
Conference Recognition of Power System Transients Based on Higher Order Statistical Moments using Empirical Mode Decomposition 2017 • 2017 IEEE INTERNATIONAL CONFERENCE ON SMART TECHNOLOGIES AND MANAGEMENT FOR COMPUTING, COMMUNICATION, CONTROLS, ENERGY AND MATERIALS (ICSTM) • 12-17 Das A, Samanta S, Alam S, Kumar S, Sengupta D, Bose R, Chatterjee S
Conference You Can Teach Elephants to Dance: <i>Agile VM Handoff for Edge Computing</i> 2017 • SEC 2017: 2017 THE SECOND ACM/IEEE SYMPOSIUM ON EDGE COMPUTING (SEC'17) Ha K, Abe Y, Eiszler T, Chen Z, Hu W, Amos B, Upadhyaya R, Pillai P, Satyanarayanan M
Journal Article Efficient construction of probabilistic tree embeddings 2017 • Leibniz International Proceedings in Informatics • 80: Blelloch GE, Gu Y, Sun Y
Journal Article LOOKING FOR VERTEX NUMBER ONE 2017 • The Annals of Applied Probability • 27(1):582-630 Frieze A, Pegden W
Conference Evaluating Critical Points in Trajectories 2017 • 2017 26TH IEEE INTERNATIONAL SYMPOSIUM ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION (RO-MAN) • 1357-1364 Li S, Scalise R, Admoni H, Srinivasa SS, Rosenthal S
Journal Article VLSI Implementation Multimodal Biometric Recognition System Using Improved Pulse Coupled Neural Network for Digital Nano-CMOS Technology 2017 • Journal of Computational and Theoretical Nanoscience • 14(11):5657-5662 Madhivhanan M, Ravi R
Journal Article Communication With Imperfectly Shared Randomness 2017 • IEEE Transactions on Information Theory • 63(10):6799-6818 Canonne CL, Guruswami V, Meka R, Sudan M
Journal Article Scheduling for efficiency and fairness in systems with redundancy 2017 • Performance evaluation (Print) • 116:1-25 Gardner K, Harchol-Balter M, Hyytia E, Righter R
Journal Article Efficiently List-Decodable Punctured Reed-Muller Codes 2017 • IEEE Transactions on Information Theory • 63(7):4317-4324 Guruswami V, Jin L, Xing C
Journal Article Repairing Reed-Solomon Codes 2017 • IEEE Transactions on Information Theory • 63(9):5684-5698 Guruswami V, Wootters M
Conference ε-MSR Codes with Small Sub-packetization 2017 • 2017 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT) • 2043-2047 Rawat AS, Tamo I, Guruswami V, Efremeko K
Conference Verifying and Synthesizing Constant-Resource Implementations with Types 2017 • IEEE Symposium on Security and Privacy: Proceedings • 710-728 Van CN, Dehesa-Azuara M, Fredrikson M, Hoffmann J
Conference Online Deduplication for Databases 2017 • Proceedings / ACM-SIGMOD International Conference on Management of Data. ACM-Sigmod International Conference on Management of Data • 1355-1368 Xu L, Pavlo A, Sengupta S, Ganger GR
Journal Article PrivateRide: A Privacy-Enhanced Ride-Hailing Service 2017 • Proceedings on Privacy Enhancing Technologies • 2017(2):38-56 Pham A, Dacosta I, Jacot-Guillarmod B, Huguenin K, Hajar T, Tramèr F, Gligor V, Hubaux J-P
Journal Article Momentum-mapped inverted pendulum models for controlling dynamic human motions 2017 • ACM Transactions on Graphics • 36(4):1 Kwon T, Hodgins JK
Conference Flow Reconnaissance via Timing Attacks on SDN Switches 2017 • Distributed Computing Systems • 196-206 Liu S, Reiter MK, Sekar V
Conference A Lower Bound for Equitable Cake Cutting 2017 • EC'17: PROCEEDINGS OF THE 2017 ACM CONFERENCE ON ECONOMICS AND COMPUTATION • 479-495 Procaccia AD, Wang J
Conference Input convex neural networks: Supplementary material 2017 • 34th International Conference on Machine Learning, ICML 2017 • 1:192-206 Amos B, Xu L, Kolter JZ
Conference Enabling Fast Hierarchical Heavy Hitter Detection using Programmable Data Planes 2017 191-192 Popescu DA, Antichi G, Moore AW
Conference Continuous Supervised Descent Method for Facial Landmark Localisation 2017 • Lecture Notes in Computer Science • 10112:121-135 Oliu M, Corneanu C, Jeni LA, Cohn JF, Kanade T, Escalera S
Journal Article A Sequent Calculus for Counterfactual Reasoning (CMU-CyLab-17-003) 2017 McCall M, Loh LK, Jia L
