Publications By Year | Carnegie Mellon University Computer Science Department

Year: 2017

Preprint

Spectrum Approximation Beyond Fast Matrix Multiplication: Algorithms and Hardness

2017
Musco C, Netrapalli P, Sidford A, Ubaru S, Woodruff DP

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

Preprint

Linguistic Markers of Influence in Informal Interactions

2017
Prabhumoye S, Choudhary S, Spiliopoulou E, Bogart C, Rose CP, Black AW

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

Edge Computing for Situational Awareness

2017 • IEEE Workshop on Local and Metropolitan Area Networks
Satyanarayanan M

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

Conference

BETTER THAN REAL: COMPLEX-VALUED NEURAL NETS FOR MRI FINGERPRINTING

2017 • Proceedings / ICIP ... International Conference on Image Processing • 3953-3957
Virtue P, Yu SX, Lustig M

Journal Article

Long-Term Two-Photon Imaging in Awake Macaque Monkey

2017 • Neuron • 93(5):1049-+
Li M, Liu F, Jiang H, Lee TS, Tang S

Journal Article

A Sequent Calculus for Counterfactual Reasoning (CMU-CyLab-17-003)

2017
McCall M, Loh LK, Jia L

Conference

Local algorithms for interactive clustering

2017 • Journal of machine learning research • 18:
Awasthi P, Balcan MF, Voevodski K

Conference

BRAINZOOM: High resolution reconstruction from multi-modal brain signals

2017 • Proceedings of the 17th SIAM International Conference on Data Mining, SDM 2017 • 216-223
Fu X, Huang K, Stretcu O, Song HA, Papalexakis E, Talukdar P, Mitchell T, Sidiropoulos N, Faloutsos C, Poczos B

Journal Article

DAPs: Mining using Change-Point Detection of Epileptic Activity Time Series Data

2017 • Journal of Information Science and Engineering • 33(2):517-536
Kim S-H, Li L, Faloutsos C, Yang H-J, Lee S-W

Journal Article

An Improved Bound on the Fraction of Correctable Deletions

2017 • IEEE Transactions on Information Theory • 63(1):93-103
Bukh B, Guruswami V, Hastad J

Journal Article

PrivacyProxy: Leveraging Crowdsourcing and In Situ Traffic Analysis to Detect and Mitigate Information Leakage

2017
Srivastava G, Bhuwalka K, Sahoo SK, Chitkara S, Ku K, Fredrikson M, Hong J, Agarwal Y

Journal Article

PrivacyStreams

2017 • Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies • 1(3):1-26
Li Y, Chen F, Li TJ-J, Guo Y, Huang G, Fredrikson M, Agarwal Y, Hong JI

Conference

IN APPROXIMABILITY OF <i>H</i>-TRANSVERSAL/PACKING

2017 • SIAM Journal on Discrete Mathematics • 31(3):1552-1571
Guruswamit V, Lee E

Journal Article

生態系モデルに基づくオンライン活動データの非線形解析

2017 • 電子情報通信学会論文誌 D • J100-D(4):457-471
靖子松, 保志櫻, FALOUTSOS C

Conference

Ambit: In-Memory Accelerator for Bulk Bitwise Operations Using Commodity DRAM Technology

2017 • Micro -Annual Workshop then Annual International Symposium- • 273-287
Seshadri V, Lee D, Mullins T, Hassan H, Boroumand A, Kim J, Kozuch MA, Mutlu O, Gibbons PB, Mowry TC

Conference

Pytheas: Enabling data-driven quality of experience optimization using group-based exploration-exploitation

2017 • Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017 • 393-406
Jiang J, Sun S, Sekar V, Zhang H

Conference

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?

2017 • Lecture Notes in Computer Science • 9640:90-134
Litoiu M, Shaw M, Tamura G, Villegas NM, Müller HA, Giese H, Rouvoy R, Rutten E

Conference

Computational Thinking and Mental Models: From Kodu to Calypso

2017 • 2017 IEEE BLOCKS AND BEYOND WORKSHOP (B&B) • 71-78
Touretzky DS

Journal Article

Autonomous Surveillance Robots <i>A Decision-Making Framework for Networked Multiagent Systems</i>

2017 • IEEE Robotics and Automation Magazine • 24(3):52-64
Witwicki S, Carlos Castillo J, Messias J, Capitan J, Melo FS, Lima PU, Veloso M

Conference

Autonomous Narration of Humanoid Robot Kitchen Task Experience

2017 • IEEE-RAS International Conference on Humanoid Robots • 390-397
Zhu Q, Perera V, Waechter M, Asfour T, Veloso M

Journal Article

Using options and covariance testing for long horizon off-policy policy evaluation

2017 • Advances in Neural Information Processing Systems • 2017-December:2493-2502
Guo ZD, Thomas PS, Brunskill E

Conference

Komodo

2017 287-305
Ferraiuolo A, Baumann A, Hawblitzel C, Parno B

Conference

Sublinear Time Low-Rank Approximation of Positive Semidefinite Matrices

2017 • Annual Symposium on Foundations of Computer Science • 672-683
Musco C, Woodruff DP

Conference

BPTree

2017 • Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems • 361-376
Braverman V, Chestnut SR, Ivkin N, Nelson J, Wang Z, Woodruff DP

Journal Article

Hiding the Rumor Source

2017 • IEEE Transactions on Information Theory • 63(10):6679-6713
Fanti G, Kairouz P, Oh S, Ramchandran K, Viswanath P

Conference

Cloudlet-based Just-in-Time Indexing of IoT Video

2017 • 2017 GLOBAL INTERNET OF THINGS SUMMIT (GIOTS 2017) • 11-18
Satyanarayanan M, Gibbons PB, Mummert L, Pillai P, Simoens P, Sukthankar R

Chapter

Round Optimal Concurrent MPC via Strong Simulation

2017 • Lecture Notes in Computer Science • 10677:743-775
Badrinarayanan S, Goyal V, Jain A, Khurana D, Sahai A

Conference

HOP: Hardware makes Obfuscation Practical

2017
Nayak K, Fletcher CW, Ren L, Chandran N, Lokam S, Shi E, Goyal V

Preprint

DenseAlert: Incremental Dense-Subtensor Detection in Tensor Streams

2017
Shin K, Hooi B, Kim J, Faloutsos C

Journal Article

Separating subadditive euclidean functionals

2017 • Random structures & algorithms (Print) • 51(3):375-403
Frieze A, Pegden W

Conference

Touch Based Localization of Parts for High Precision Manufacturing

2017 • IEEE International Conference on Robotics and Automation • 378-385
Saund B, Chen S, Simmons R

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

Preprint

Operation Frames and Clubs in Kidney Exchange

2017
Farina G, Dickerson JP, Sandholm T

Preprint

Vulnerabilities of Electric Vehicle Battery Packs to Cyberattacks

2017
Sripad S, Kulandaivel S, Pande V, Sekar V, Viswanathan V

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

Preprint

The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving

2017
Mitsch S, Platzer A

Preprint

Sublinear Time Low-Rank Approximation of Positive Semidefinite Matrices

2017
Musco C, Woodruff DP

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