Preprint MLtuner: System Support for Automatic Machine Learning Tuning 2018 Cui H, Ganger GR, Gibbons PB
Journal Article Explicit Capacity Approaching Coding for Interactive Communication 2018 • IEEE Transactions on Information Theory • 64(10):6546-6560 Gelles R, Haeupler B, Kol G, Ron-Zewi N, Wigderson A
Conference PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs 2018 • ACM Sigplan Notices • 513-528 Wang D, Hoffmann J, Reps T
Preprint What game are we playing? End-to-end learning in normal and extensive form games 2018 Ling CK, Fang F, Kolter JZ
Journal Article Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP Database Management System 2018 • Proceedings of the VLDB Endowment • 11(10):1289-1302 Yu X, Xia Y, Pavlo A, Sanchez D, Rudolph L, Devadas S
Preprint High Throughput Cryptocurrency Routing in Payment Channel Networks 2018 Sivaraman V, Venkatakrishnan SB, Ruan K, Negi P, Yang L, Mittal R, Alizadeh M, Fanti G
Journal Article Automatic Machine Knitting of 3D Meshes 2018 • ACM Transactions on Graphics • 37(3): Narayanan V, Albaugh L, Hodgins J, Cords S, Mccann J
Conference Ranking Wily People Who Rank Each Other 2018 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 1087-1094 Kahng A, Kotturi Y, Kulkarni C, Kurokawa D, Procaccia AD
Conference Trembling-Hand Perfection in Extensive-Form Games with Commitment 2018 • IJCAI International Joint Conference on Artificial Intelligence • 233-239 Farina G, Marchesi A, Kroer C, Gatti N, Sandholm T
Conference Diversified Strategies for Mitigating Adversarial Attacks in Multiagent Systems 2018 • Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS • 407-415 Balcan M-F, Blum A, Chen S-T
Journal Article Experimental Testbed for Edge Computing in Fiber-Wireless Broadband Access Networks 2018 • IEEE Communications Magazine • 56(8):160-167 Rimal BP, Maier M, Satyanarayanan M
Journal Article A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices 2018 • ACM Sigplan Notices • 53(2):767-781 Colin A, Ruppel E, Lucia B
Journal Article Matrix completion and related problems via strong duality 2018 • Leibniz International Proceedings in Informatics • 94: Balcan MF, Liang Y, Woodru DP, Zhang H
Journal Article STRONG INAPPROXIMABILITY RESULTS ON BALANCED RAINBOW-COLORABLE HYPERGRAPHS 2018 • Combinatorica • 38(3):547-599 Guruswami V, Lee E
Conference Polar codes with exponentially small error at finite block length 2018 • Leibniz International Proceedings in Informatics • 116: Basiok J, Guruswami V, Sudan M
Conference Learning Pipelines with Limited Data and Domain Knowledge: A Study in Parsing Physics Problems 2018 • Advances in Neural Information Processing Systems • 31: Sachan M, Dubey A, Mitchell T, Roth D, Xing EP
Conference How to Catch when Proxies Lie Verifying the Physical Locations of Network Proxies with Active Geolocation 2018 • IMC'18: PROCEEDINGS OF THE INTERNET MEASUREMENT CONFERENCE • 203-217 Weinberg Z, Cho S, Christin N, Sekar V, Gill P
Conference Generality vs. Reusability in Architecture-Based Self-Adaptation: The Case for Self-Adaptive Microservices 2018 • ECSA 2018: PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE: COMPANION PROCEEDINGS Mendonca NC, Garlan D, Schmerl B, Camara J
Conference Convolutional sequence modeling revisited 2018 • 6th International Conference on Learning Representations, ICLR 2018 - Workshop Track Proceedings Bai S, Kolter JZ, Koltun V
Conference A Lens into Employee Peer Reviews via Sentiment-Aspect Modeling 2018 • 2018 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM) • 670-677 Maurya A, Akoglu L, Krishnan R, Bay D
Conference Zero Shot Transfer Learning for Robot Soccer 2018 • Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS • 2070-2072 Schwab D, Zhu Y, Veloso M
Journal Article The Increasingly Fascinating Opportunity for Human-Robot-AI Interaction 2018 • ACM Transactions on Human-Robot Interaction • 7(1):1-2 Veloso MM
Conference Formal verification of probabilistic SystemC models with statistical model checking 2018 • Journal of Software: Evolution and Process • 30(3): Ngo VC, Legay A
Conference Nearly optimal distinct elements and heavy hitters on sliding windows 2018 • Leibniz International Proceedings in Informatics • 116: Braverman V, Grigorescu E, Lang H, Woodruff DP, Zhou S
Conference Work Analysis with Resource-Aware Session Types 2018 • Proceedings - Symposium on Logic in Computer Science • 305-314 Das A, Hoffmann J, Pfenning F
Conference A Winners-Take-All Incentive Mechanism for Crowd-Powered Systems 2018 1-6 Jiang P, Wang W, Zhou Y, He J, Ying L
Chapter Extended Resolution Simulates DRAT 2018 • Lecture Notes in Computer Science • 10900:516-531 Kiesl B, Rebola-Pardo A, Heule MJH
Journal Article Implicit Decomposition for Write-Efficient Connectivity Algorithms 2018 • Proceedings of the International Parallel and Distributed Processing Symposium, IPDPS • 711-722 Ben-David N, Blelloch GE, Fineman JT, Gibbons PB, Gu Y, McGuffey C, Shun J
Journal Article Coding for Interactive Communication with Small Memory and Applications to Robust Circuits 2018 Haeupler B, Resch N
Preprint A new system-wide diversity measure for recommendations with efficient algorithms 2018 Antikacioglu A, Bajpai T, Ravi R
Journal Article A greedy algorithm for finding a large 2-matching on a random cubic graph 2018 • Journal of Graph Theory • 88(3):449-481 Bal D, Bennett P, Bohman T, Frieze A
Preprint An Empirical Evaluation of Generic Convolutional and Recurrent Networks for Sequence Modeling 2018 Bai S, Kolter JZ, Koltun V
Journal Article A Demonstration of the Otter Tune Automatic Database Management System Tuning Service 2018 • Proceedings of the VLDB Endowment • 11(12):1910-1913 Zhang B, Van Aken D, Wang J, Dai T, Jiang S, Lao J, Sheng S, Pavlo A, Gordon GJ
Preprint Dandelion++: Lightweight Cryptocurrency Networking with Formal Anonymity Guarantees 2018 Fanti G, Venkatakrishnan SB, Bakshi S, Denby B, Bhargava S, Miller A, Viswanath P
Conference Fair rent division on a budget 2018 • 32nd AAAI Conference on Artificial Intelligence, AAAI 2018 • 1177-1184 Procaccia AD, Velez RA, Yu D
Conference Depth-Limited Solving for Imperfect-Information Games 2018 • Advances in Neural Information Processing Systems • 31: Brown N, Sandholm T, Amos B
Conference The AI Stack: A blueprint for developing and deploying Artificial Intelligence 2018 • Proceedings of SPIE • 10635: Moore AW, Hebert M, Shaneman S
Journal Article SOFRITAS 2018 • ACM Sigplan Notices • 53(2):286-300 DeLozier C, Eizenberg A, Lucia B, Devietti J
Conference Electing an Approximate Center in a Huge Modular Robot with the k-BFS SumSweep Algorithm 2018 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 4825-4832 Naz A, Piranda B, Bourgeois J, Goldstein SC
Journal Article Synthesizing a Scene-Specific Pedestrian Detector and Pose Estimator for Static Video Surveillance 2018 • International Journal of Computer Vision • 126(9):1027-1044 Hattori H, Lee N, Boddeti VN, Beainy F, Kitani KM, Kanade T
Conference Message from the NSDI'18 program co-chairs 2018 • Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018 Seshan S, Banerjee S
Conference Deployment of Backup Sensors in Wireless Sensor Networks for Structural Health Monitoring 2018 1526-1533 Surya S, Ravi R
Conference Hierarchical memory management for mutable state 2018 • ACM Sigplan Notices • 81-93 Guatto A, Westrick S, Raghunathan R, Acar U, Fluet M
Journal Article A General Theory of Sample Complexity for Multi-Item Profit Maximization 2018 • ACM EC'18: PROCEEDINGS OF THE 2018 ACM CONFERENCE ON ECONOMICS AND COMPUTATION • 173-174 Balcan M-F, Sandholm T, Vitercik E
Conference StreamCast: Fast and online mining of power grid time sequences 2018 • SIAM International Conference on Data Mining, SDM 2018 • 531-539 Hooi B, Song HA, Pandey A, Jereminov M, Pileggi L, Faloutsos C
