Conference Guarded Computational Type Theory 2018 • Proceedings - Symposium on Logic in Computer Science • 879-888 Sterling J, Harper R
Conference A local-search algorithm for steiner forest 2018 • Leibniz International Proceedings in Informatics • 94: Groß M, Gupta A, Kumar A, Matuschke J, Schmidt DR, Schmidt M, Verschae J
Preprint Near Optimal Linear Algebra in the Online and Sliding Window Models 2018 Braverman V, Drineas P, Musco C, Musco C, Upadhyay J, Woodruff DP, Zhou S
Preprint Heavy-Traffic Insensitive Bounds for Weighted Proportionally Fair Bandwidth Sharing Policies 2018 Wang W, Maguluri ST, Srikant R, Ying L
Conference The Effects of Eye Design on the Perception of Social Robots 2018 1032-1037 Luria M, Forlizzi J, Hodgins J
Journal Article Weighted voting via no-regret learning 2018 • 32nd AAAI Conference on Artificial Intelligence, AAAI 2018 • 1055-1062 Haghtalab N, Noothigattu R, Procaccia AD
Journal Article Strategyproof Linear Regression in High Dimensions 2018 • ACM EC'18: PROCEEDINGS OF THE 2018 ACM CONFERENCE ON ECONOMICS AND COMPUTATION • 9-26 Chen Y, Podimata C, Procaccia AD, Shah N
Journal Article A Denotational Semantics for SPARC TSO 2018 • Electronic Notes in Theoretical Computer Science • 336:223-239 Kavanagh R, Brookes S
Journal Article Discourse in Multimedia: A Case Study in Information Extraction 2018 Sachan M, Dubey KA, Hovy EH, Mitchell TM, Roth D, Xing EP
Conference HyperLoop: Group-Based NIC-Offloading to Accelerate Replicated Transactions in Multi-Tenant Storage Systems 2018 • PROCEEDINGS OF THE 2018 CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION (SIGCOMM '18) • 297-312 Kim D, Memaripour A, Badam A, Zhu Y, Liu HH, Padhye J, Raindel S, Swanson S, Sekar V, Seshan S
Conference Efficient and Correct Test Scheduling for Ensembles of Network Policies 2018 • PROCEEDINGS OF THE 15TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI'18) • 437-452 Yuan Y, Chandrasekaran S, Jia L, Sekar V
Journal Article Dispersion for Data-Driven Algorithm Design, Online Learning, and Private Optimization 2018 • Annual Symposium on Foundations of Computer Science • 603-614 Balcan M-F, Dick T, Vitercik E
Conference SDREGION 2018 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 867-875 Wong SWH, Pastrello C, Kotlyar M, Faloutsos C, Jurisica I
Journal Article The Mayhem Cyber Reasoning System 2018 • IEEE Security and Privacy • 16(2):52-60 Avgerinos T, Brumley D, Davis J, Goulden R, Nighswander T, Rebert A, Williamson N
Journal Article Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation 2018 • Science of Computer Programming • 167:51-69 Camara J, Peng W, Garlan D, Schmerl B
Conference Quantitative underpinnings of secure, graceful degradation 2018 1-1 Wagner R, Garlan D, Fredrikson M
Journal Article What Game AreWe Playing? End-to-end Learning in Normal and Extensive Form Games 2018 • PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE • 396-402 Ling CK, Fang F, Kolter JZ
Conference Convolutional sequence modeling revisited 2018 • 6th International Conference on Learning Representations, ICLR 2018 - Workshop Track Proceedings Bai S, Kolter JZ, Koltun V
Conference Demo Abstract: The OpenChirp Low-Power Wide-Area Network and Ecosystem 2018 • 2018 17TH ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN) • 138-139 Dongare A, Luong A, Balanuta A, Hesling C, Bhatia K, Iannucci B, Kumar S, Rowe A
Journal Article Primal-Dual Algorithms for Convex Optimization via Regret Minimization 2018 • IEEE Control Systems Letters • 2(2):284-289 Nam H-N, Kilinc-Karzan F
Conference Parallel Complexity Analysis with Temporal Session Types 2018 • Proceedings of the ACM on Programming Languages • 2: Das A, Hoffmann J, Pfenning F
Conference Focus: Querying Large Video Datasets with Low Latency and Low Cost 2018 • PROCEEDINGS OF THE 13TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION • 269-286 Hsieh K, Ananthanarayanan G, Bodik P, Venkataraman S, Bahl P, Philipose M, Gibbons PB, Mutlu O
Conference On the diversity of cluster workloads and its impact on research results 2018 • PROCEEDINGS OF THE 2018 USENIX ANNUAL TECHNICAL CONFERENCE • 533-546 Amvrosiadis G, Park JW, Ganger GR, Gibson GA, Baseman E, DeBardeleben N
Preprint CoCoS: Fast and Accurate Distributed Triangle Counting in Graph Streams 2018 Shin K, Lee E, Oh J, Hammoud M, Faloutsos C
Conference Explicit Binary Tree Codes with Polylogarithmic Size Alphabet 2018 • Annual ACM Symposium on Theory of Computing • 535-544 Cohen G, Haeupler B, Schulman LJ
Preprint RowClone: Accelerating Data Movement and Initialization Using DRAM 2018 Seshadri V, Kim Y, Fallin C, Lee D, Ausavarungnirun R, Pekhimenko G, Luo Y, Mutlu O, Gibbons PB, Kozuch MA, Mowry TC
Preprint Online Convex Optimization for Sequential Decision Processes and Extensive-Form Games 2018 Farina G, Kroer C, Sandholm T
Conference Cartesian cubical computational type theory: Constructive reasoning with paths and equalities 2018 • Leibniz International Proceedings in Informatics • 119: Angiuli C, Hou KB, Harper R
Conference Stochastic Load Balancing on Unrelated Machines 2018 • Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms • 1274-1285 Gupta A, Kumar A, Nagarajan V, Shen X
Journal Article PMAF: an algebraic framework for static analysis of probabilistic programs 2018 • ACM Sigplan Notices • 53(4):513-528 Wang D, Hoffmann J, Reps T
Preprint Nearly Optimal Distinct Elements and Heavy Hitters on Sliding Windows 2018 Braverman V, Grigorescu E, Lang H, Woodruff DP, Zhou S
Conference Heterogeneous Integration Technology Demonstrations for Future Healthcare, IoT, and AI Computing Solutions 2018 • Electronic Components and Technology Conference • 1519-1528 Knickerbocker JU, Budd R, Dang B, Chen Q, Colgan E, Hung LW, Kumar S, Lee KW, Lu M, Nah JW, Narayanan R, Sakuma K, Siu V, Wen B
Conference A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices 2018 • ACM Sigplan Notices • 53(2):767-781 Colin A, Ruppel E, Lucia B
Chapter Framing the Problem of Interactive Task Learning 2018 • INTERACTIVE TASK LEARNING: HUMANS, ROBOTS, AND AGENTS ACQUIRING NEW TASKS THROUGH NATURAL INTERACTIONS • 9-15 Mitchell TM, Garrod S, Laird JE, Levinson SC, Koedinger KR
Journal Article Guest Editorial: The Computational Face 2018 • IEEE Transactions on Pattern Analysis and Machine Intelligence • 40(11):2541-2545 Escalera S, Baro X, Guyon I, Escalante HJ, Tzimiropoulos G, Valstar M, Pantic M, Cohn J, Kanade T
Conference Generic External Memory for Switch Data Planes 2018 • HOTNETS-XVII: PROCEEDINGS OF THE 2018 ACM WORKSHOP ON HOT TOPICS IN NETWORKS • 1-7 Kim D, Zhu Y, Kim C, Lee J, Seshan S
Journal Article SUBMODULAR FUNCTIONS: LEARNABILITY, STRUCTURE, AND OPTIMIZATION 2018 • SIAM journal on computing (Print) • 47(3):703-754 Balcan M-F, Harvey NJA
Journal Article Why Are They Collecting My Data? 2018 • Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies • 2(4):1-27 Jin H, Liu M, Dodhia K, Li Y, Srivastava G, Fredrikson M, Agarwal Y, Hong JI
Conference Promise Constraint Satisfaction: Structure Theory and a Symmetric Boolean Dichotomy 2018 • Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms • 1782-1801 Brakensiek J, Guruswami V
Conference ε-MSR Codes: Contacting Fewer Code Blocks for Exact Repair 2018 • 2018 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT) • 2371-2375 Guruswami V, Lokam SV, Jayaraman SVM
Conference Strong Sums in Focused Logic 2018 • Proceedings - Symposium on Logic in Computer Science • 265-274 Crary K
Conference Cloud Datacenter SDN Monitoring 2018 464-470 Roy A, Bansal D, Brumley D, Chandrappa HK, Sharma P, Tewari R, Arzani B, Snoeren AC
Journal Article Half a Century of Software Engineering Education The CMU Exemplar 2018 • IEEE Software • 35(5):25-31 Mead NR, Garlan D, Shaw M
Conference Implementing Malloc: Students and Systems Programming 2018 • SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION • 104-109 Railing BP, Bryant RE
Journal Article Explaining anomalies in groups with characterizing subspace rules 2018 • Data mining and knowledge discovery • 32(5):1444-1480 Macha M, Akoglu L
