Journal Article GOTCHA! Network-Based Fraud Detection for Social Security Fraud 2017 • Management science • 63(9):3090-3110 Van Vlasselaer V, Eliassi-Rad T, Akoglu L, Snoeck M, Baesens B
Journal Article Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability 2017 • Nonlinear Analysis: Hybrid Systems • 23:272-286 Murthy A, Islam A, Smolka SA, Grosu R
Journal Article USA-JAPAN COMPUTER CONFERENCE PROCEEDINGS, 1972. 2017 Gilchrist B, Imamura S, Biermann AW, Enomoto H, Tomita E, Doshita S, Koffman EB, Fukushima K, Iijima T, Genchi H, Mori KI, Erwin JD, Sakai T, Nagao M, Kanade T
Journal Article Computational Design of Telescoping Structures 2017 • ACM Transactions on Graphics • 36(4): Yu C, Crane K, Coros S
Journal Article A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system 2017 • International Journal on Software Tools for Technology Transfer • 19(6):717-741 Jeannin J-B, Ghorbal K, Kouskoulas Y, Schmidt A, Gardner R, Mitsch S, Platzer A
Conference Is input sparsity time possible for kernel low-rank approximation? 2017 • Advances in Neural Information Processing Systems • 2017-December:4436-4446 Musco C, Woodruff DP
Conference VOLTIME: Unsupervised anomaly detection on users' online activity volume 2017 • Proceedings of the 17th SIAM International Conference on Data Mining, SDM 2017 • 108-116 Chino DYT, Costa AF, Traina AJM, Faloutsos C
Conference BEATLEX: Summarizing and Forecasting Time Series with Patterns 2017 • Lecture Notes in Computer Science • 10535:3-19 Hooi B, Liu S, Smailagic A, Faloutsos C
Journal Article Data-Driven Hint Generation in Vast Solution Spaces: a Self-Improving Python Programming Tutor 2017 • International Journal of Artificial Intelligence in Education • 27(1):37-64 Rivers K, Koedinger KR
Conference Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions 2017 • EPiC series in computing • 51:42-37 Moore J, Heule M
Chapter Efficient Certified RAT Verification 2017 • Lecture Notes in Computer Science • 10395:220-236 Cruz-Filipe L, Heule MJH, Hunt WAJ, Kaufmann M, Schneider-Kamp P
Conference Post Processing Recommender Systems for Diversity 2017 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 707-716 Antikacioglu A, Ravi R
Preprint Dynamic Data-Driven Estimation of Non-Parametric Choice Models 2017 Ho-Nguyen N, Kilinc-Karzan F
Preprint Delay Asymptotics and Bounds for Multi-Task Parallel Jobs 2017 Wang W, Harchol-Balter M, Jiang H, Scheller-Wolf A, Srikant R
Preprint Practical Bounds on Optimal Caching with Variable Object Sizes 2017 Berger DS, Beckmann N, Harchol-Balter M
Conference Sum of Squares Lower Bounds for Refuting any CSP 2017 • Annual ACM Symposium on Theory of Computing • 132-145 Kothari PK, Mori R, O'Donnell R, Witmer D
Preprint Intelligent Pothole Detection and Road Condition Assessment 2017 Bhatt U, Mani S, Xi E, Kolter JZ
Journal Article Episodic non-Markov localization 2017 • Robotics and Autonomous Systems • 87:162-176 Biswas J, Veloso MM
Conference Data-Driven Generation of Synthetic Behavioral Feature Vectors Modeling Children with Autism Spectrum Disorders 2017 • IEEE International Conference on Development and Learning : [proceedings]. IEEE International Conference on Development and Learning • 202-208 Baraka K, Melo FS, Veloso M
Conference Robust Evaluation Matrix Towards a More Principled Offline Exploration of Instructional Policies 2017 • PROCEEDINGS OF THE FOURTH (2017) ACM CONFERENCE ON LEARNING @ SCALE (L@S'17) • 3-12 Doroudi S, Aleven V, Brunskill E
Conference Secure Tera-scale Data Crunching with a Small TCB 2017 • 2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN) • 169-180 Vavala B, Neves N, Steenkiste P
Journal Article Training an Actor-Critic Reinforcement Learning Controller for Arm Movement Using Human-Generated Rewards 2017 • IEEE transactions on neural systems and rehabilitation engineering • 25(10):1892-1905 Jagodnik KM, Thomas PS, van den Bogert AJ, Branicky MS, Kirsch RF
Journal Article Stochastically Transitive Models for Pairwise Comparisons: Statistical and Computational Issues 2017 • IEEE Transactions on Information Theory • 63(2):934-959 Shah NB, Balakrishnan S, Guntuboyina A, Wainwright MJ
Conference AdaptSize: Orchestrating the Hot Object Memory Cache in a Content Delivery Network 2017 • PROCEEDINGS OF NSDI '17: 14TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION • 483-498 Berger DS, Sitaraman RK, Harchol-Balter M
Journal Article Efficiently decodable codes for the binary deletion channel 2017 • Leibniz International Proceedings in Informatics • 81: Guruswami V, Li R
Conference On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters 2017 • Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security • 483-493 Singh B, Evtyushkin D, Elwell J, Riley R, Cervesato I
Conference Input Convex Neural Networks 2017 • 34th International Conference on Machine Learning, ICML 2017 • 1:146-155 Amos B, Xu L, Kolter JZ
Conference NutShell: Scalable Whittled Proxy Execution for Low-Latency Web over Cellular Networks 2017 • Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM • 448-461 Sivakumar A, Jiang C, Nam YS, Shankaranarayanan PN, Gopalakrishnan V, Rao SG, Sen S, Thottethodi M, Vijaykumar TN
Conference Approximation algorithms for l<inf>0</inf>-low rank approximation 2017 • Advances in Neural Information Processing Systems • 2017-December:6649-6660 Bringmann K, Kolev P, Woodruff DP
Journal Article Nash Equilibria in Perturbation-Stable Games 2017 • Theory of Computing • 13: Balcan M-F, Braverman M
Conference H-FUSE: Efficient fusion of aggregated historical data 2017 • Proceedings of the 17th SIAM International Conference on Data Mining, SDM 2017 • 786-794 Liu Z, Song HA, Zadorozhny V, Faloutsos C, Sidiropoulos N
Conference zooRank: Ranking Suspicious Entities in Time-Evolving Tensors 2017 • Lecture Notes in Computer Science • 10534:68-84 Lamba H, Hooi B, Shin K, Faloutsos C, Pfeffer J
Chapter Skolem Function Continuation for Quantified Boolean Formulas 2017 • Lecture Notes in Computer Science • 10375:129-138 Fazekas K, Heule MJH, Seidl M, Biere A
Conference On the integrality gap of the prize-collecting steiner forest LP 2017 • Leibniz International Proceedings in Informatics • 81: Könemann J, Olver N, Pashkovich K, Ravi R, Swamy C, Vygen J
Journal Article Coloring Down: $3/2$-approximation for special cases of the weighted tree augmentation problem 2017 Iglesias J, Ravi R
Conference Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances 2017 • Lecture Notes in Computer Science • 9640:3-30 Garlan D, Shaw M, and others
Preprint Matrix Completion and Related Problems via Strong Duality 2017 Balcan M-F, Liang Y, Woodruff DP, Zhang H
Preprint Dispersion for Data-Driven Algorithm Design, Online Learning, and Private Optimization 2017 Balcan M-F, Dick T, Vitercik E
Journal Article Foreword by David Garlan 2017 • Managing Trade-offs in Adaptable Software Architectures • xix-xx Garlan D
Preprint Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting 2017 Yeom S, Giacomelli I, Fredrikson M, Jha S
Preprint Approximation Algorithms for Replenishment Problems with Fixed Turnover Times 2017 Bosman T, van Ee M, Jiao Y, Marchetti-Spaccamela A, Ravi R, Stougie L
Conference Optimal Mean-Based Algorithms for Trace Reconstruction 2017 • Annual ACM Symposium on Theory of Computing • 1047-1056 De A, O'Donnell R, Servedio RA
Preprint The Mixing method: low-rank coordinate descent for semidefinite programming with diagonal constraints 2017 Wang P-W, Chang W-C, Kolter JZ
Journal Article Event-based automated refereeing for robot soccer 2017 • Autonomous Robots • 41(7):1463-1485 Zhu D, Veloso M
Preprint Dandelion: Redesigning the Bitcoin Network for Anonymity 2017 Venkatakrishnan SB, Fanti G, Viswanath P
