Conference A Joint Sequential and Relational Model for Frame-Semantic Parsing 2017 1247-1256 Yang B, Mitchell T
Conference Assuring the Safety of Asymmetric Social Protocols 2017 • Lecture Notes in Computer Science • 10476:38-48 Gligor V, Stajano F
Journal Article Rethinking Security in the Era of Cloud Computing 2017 • IEEE Security and Privacy • 15(3):60-69 Aikat J, Akella A, Chase JS, Juels A, Reiter MK, Ristenpart T, Sekar V, Swift M
Conference A Benchmark for Component-based Hybrid Systems Safety Verification 2017 • EPiC series in computing • 48:65-54 Müller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Conference Visualizing Robot Behaviors as Automated Video Annotations: A Case Study in Robot Soccer 2017 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 6408-6413 Zhu D, Veloso M
Conference The Complexities of Grasping in the Wild 2017 • IEEE-RAS International Conference on Humanoid Robots • 233-240 Nakamura YC, Troniak DM, Rodriguez A, Mason MT, Pollard NS
Journal Article Faster Kernel Ridge Regression Using Sketching and Preconditioning 2017 • SIAM Journal on Matrix Analysis and Applications • 38(4):1116-1138 Avron H, Clarkson KL, Woodruff DP
Conference Bootstrapping evolvability for inter-domain routing with D-BGP 2017 • SIGCOMM '17: PROCEEDINGS OF THE 2017 CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION • 474-487 Sambasivan RR, Tran-Lam D, Akella A, Steenkiste P
Conference Gaia: Geo-Distributed Machine Learning Approaching LAN Speeds 2017 • PROCEEDINGS OF NSDI '17: 14TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION • 629-647 Hsieh K, Harlap A, Vijaykumar N, Konomis D, Ganger GR, Gibbons PB, Mutlu O
Journal Article Viyojit 2017 • Computer architecture news • 45(2):613-626 Kateja R, Badam A, Govindan S, Sharma B, Ganger G
Preprint Theoretical and Practical Advances on Smoothing for Extensive-Form Games 2017 Kroer C, Waugh K, Kilinc-Karzan F, Sandholm T
Preprint Robust Communication-Optimal Distributed Clustering Algorithms 2017 Awasthi P, Bakshi A, Balcan M-F, White C, Woodruff D
Journal Article Tight Bounds on Vertex Connectivity Under Sampling 2017 • ACM Transactions on Algorithms (TALG) • 13(2): Censor-Hillel K, Ghaffari M, Giakkoupis G, Haeupler B, Kuhn F
Conference Relational Cost Analysis 2017 • ACM Sigplan Notices • 52(1):316-329 Cicek E, Barthe G, Gaboardi M, Garg D, Hoffmann J
Preprint Task-based End-to-end Model Learning in Stochastic Optimization 2017 Donti PL, Amos B, Kolter JZ
Conference How to Build a Non-Volatile Memory Database Management System 2017 • Proceedings / ACM-SIGMOD International Conference on Management of Data. ACM-Sigmod International Conference on Management of Data • 1753-1758 Arulraj J, Pavlo A
Journal Article Subset Selection Via Implicit Utilitarian Voting 2017 • The journal of artificial intelligence research • 58:123-152 Caragiannis I, Nath S, Procaccia AD, Shah N
Conference Exclusion method for finding nash equilibrium in multiplayer games 2017 • 31st AAAI Conference on Artificial Intelligence, AAAI 2017 • 383-389 Berg K, Sandholm T
Conference MSR Codes with Small Sub-packetization 2017 • IEEE International Symposium on Information Theory - Proceedings • 2043-2047 Rawat AS, Tamo I, Guruswami V, Efremenko K
Conference Theoretical and Practical Advances on Smoothing for Extensive-Form Games. 2017 • EC • 693-693 Kroer C, Waugh K, Kilinç-Karzan F, Sandholm T
Conference An Empirical Study of Latency in an Emerging Class of Edge Computing Applications for Wearable Cognitive Assistance 2017 • Platelets Chen Z, Hu W, Wang J, Zhao S, Amos B, Wu G, Ha K, Elgazzar K, Pillai P, Klatzky R, Siewiorek D, Satyanarayanan M
Conference Exploration of FPGA-Based Packet Switches for Rack-Scale Computers on a Board 2017 133-133 Har JH, Manihatty-Bojan N, Moore AW
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 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 Learning to Associate Words and Images Using a Large-scale Graph 2017 • 2017 14TH CONFERENCE ON COMPUTER AND ROBOT VISION (CRV 2017) • 16-23 Ya H, Sun H, Helt J, Lee TS
Conference Transfer of view-manifold learning to similarity perception of novel objects 2017 • 5th International Conference on Learning Representations, ICLR 2017 - Conference Track Proceedings Lin X, Wang H, Li Z, Zhang Y, Yuille A, Lee TS
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 Optimal rate list decoding over bounded alphabets using algebraic-geometric codes 2017 Guruswami V, Xing C
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
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
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 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
Conference Sketching for geometric problems 2017 • Leibniz International Proceedings in Informatics • 87: Woodruff DP
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
Journal Article Efficient construction of probabilistic tree embeddings 2017 • Leibniz International Proceedings in Informatics • 80: Blelloch GE, Gu Y, Sun Y
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 LOOKING FOR VERTEX NUMBER ONE 2017 • The Annals of Applied Probability • 27(1):582-630 Frieze A, Pegden W
Journal Article CAPACITY OF INTERACTIVE COMMUNICATION OVER ERASURE CHANNELS AND CHANNELS WITH FEEDBACK 2017 • SIAM journal on computing (Print) • 46(4):1449-1472 Gelles R, Haeupler B
