Research Output

2018

Program verification by coinduction

Moore, B., Peña, L. & Rosu, G., Jan 1 2018, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Ahmed, A. (ed.). Springer-Verlag Berlin Heidelberg, p. 589-618 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10801 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

PROMISE: An end-to-End design of a programmable mixed-Signal accelerator for Machine-Learning algorithms

Srivastava, P., Kang, M., Gonugondla, S. K., Lim, S., Choi, J., Adve, V., Kim, N. S. & Shanbhag, N., Jul 19 2018, Proceedings - 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture, ISCA 2018. Institute of Electrical and Electronics Engineers Inc., p. 43-56 14 p. 8416817. (Proceedings - International Symposium on Computer Architecture).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Property inference attacks on fully connected neural networks using permutation invariant representations

Ganju, K., Wang, Q., Yang, W., Gunter, C. A. & Borisov, N., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 619-633 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proving ground confluence of equational specifications modulo axioms

Durán, F., Meseguer, J. & Rocha, C., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 184-204 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pure Nash Equilibrium in a Capacitated Selfish Resource Allocation Game

Etesami, S. R. & Basar, T., Mar 2018, In : IEEE Transactions on Control of Network Systems. 5, 1, p. 536-547 12 p.

Research output: Contribution to journalArticle

QualityDeepSense: Quality-aware deep learning framework for internet of things applications with sensor-temporal attention

Yao, S., Hu, S., Zhao, Y. & Abdelzaher, T., Jun 15 2018, EMDL 2018 - Proceedings of the 2018 International Workshop on Embedded and Mobile Deep Learning. Association for Computing Machinery, Inc, p. 42-47 6 p. (EMDL 2018 - Proceedings of the 2018 International Workshop on Embedded and Mobile Deep Learning).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quickest Detection of Dynamic Events in Sensor Networks

Zou, S. & Veeravalli, V. V., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 6907-6911 5 p. 8461854. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rank metric codes and zeta functions

Blanco-Chacón, I., Byrne, E., Duursma, I. & Sheekey, J., Aug 1 2018, In : Designs, Codes, and Cryptography. 86, 8, p. 1767-1792 26 p.

Research output: Contribution to journalArticle

Ransomware: Recommendations against the extortion

Goel, S., Bambenek, J. & Bashir, M., Jan 1 2018, Proceedings of the 11th IADIS International Conference Information Systems 2018, IS 2018. Isaias, P., Nunes, M. B., Powell, P. & Rodrigues, L. (eds.). IADIS, p. 193-200 8 p. (Proceedings of the 11th IADIS International Conference Information Systems 2018, IS 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rationally irrational? The ecologies and economics of honor

Cohen, D., Hernandez, I., Gruschow, K., Nowak, A., Gelfand, M. J. & Borkowski, W., Mar 22 2018, Socio-Economic Environment and Human Psychology: Social, Ecological, and Cultural Perspectives. Oxford University Press, p. 77-102 26 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Record-Replay Architecture as a General Security Framework

Shalabi, Y., Yan, M., Honarmand, N., Lee, R. B. & Torrellas, J., Mar 27 2018, Proceedings - 24th IEEE International Symposium on High Performance Computer Architecture, HPCA 2018. IEEE Computer Society, p. 180-193 14 p. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2018-February).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recursive truth estimation of time-varying sensing data from online open sources

Cui, H., Abdelzaher, T. & Kaplan, L., Oct 25 2018, Proceedings - 14th Annual International Conference on Distributed Computing in Sensor Systems, DCOSS 2018. Institute of Electrical and Electronics Engineers Inc., p. 25-34 10 p. 8510937. (Proceedings - 14th Annual International Conference on Distributed Computing in Sensor Systems, DCOSS 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reducing combinatorial testing requirements based on equivalences with respect to the code under test

Khurshid, S. & Marinov, D., Jan 1 2018, SQAMIA 2018 - Proceedings of the 7th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications. Budimac, Z. (ed.). CEUR-WS, (CEUR Workshop Proceedings; vol. 2217).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Relating syntactic and semantic perturbations of hybrid automata

Roohi, N., Prabhakar, P. & Viswanathan, M., Aug 1 2018, 29th International Conference on Concurrency Theory, CONCUR 2018. Schewe, S. & Zhang, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 118).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reliable Intersection Control in Non-cooperative Environments∗

Sayin, M. O., Lin, C. W., Shiraishi, S. & Başar, T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 6347-6352 6 p. 8430809. (Proceedings of the American Control Conference; vol. 2018-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Religion, repulsion, and reaction formation: Transforming repellent attractions and repulsions

Cohen, D., Kim, E. & Hudson, N. W., Sep 2018, In : Journal of personality and social psychology. 115, 3, p. 564-584 21 p.

Research output: Contribution to journalArticle

Repairing Reed-Solomon Codes With Multiple Erasures

Dau, H., Duursma, I. M., Kiah, H. M. & Milenkovic, O., Oct 2018, In : IEEE Transactions on Information Theory. 64, 10, p. 6567-6582 16 p., 8340062.

Research output: Contribution to journalArticle

RESEC 2018 welcome

Xu, Z., Xiao, X., Qian, Z., Xie, T. & Faloutsos, M., May 24 2018, In : RESEC 2018 - Proceedings of the 1st Workshop on Radical and Experiential Security, Co-located with ASIA CCS 2018. p. iii-iv

Research output: Contribution to journalEditorial

Resiliency of HPC interconnects: A case study of interconnect failures and recovery in blue waters

Jha, S., Formicola, V., Di Martino, C., Dalton, M., Kramer, W. T., Kalbarczyk, Z. & Iyer, R. K., Jan 1 2018, In : IEEE Transactions on Dependable and Secure Computing. 15, 6, p. 915-930 16 p., 8006294.

Research output: Contribution to journalArticle

Resilient Data Collection Protocol with In-Network Processing for Oil and Gas Refinery Networks

Guo, H., Lui, K. S., Liu, T. & Nahrstedt, K., Jun 19 2018, 2018 International Conference on Computing, Networking and Communications, ICNC 2018. Institute of Electrical and Electronics Engineers Inc., p. 231-237 7 p. (2018 International Conference on Computing, Networking and Communications, ICNC 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Resource and data optimization for hardware implementation of deep neural networks targeting FPGA-based edge devices

Liu, X., Kim, D. H., Chen, D. & Wu, C., Jun 23 2018, Proceedings of the 20th System Level Interconnect Prediction Workshop, SLIP 2018. Association for Computing Machinery, Inc, a1. (Proceedings of the 20th System Level Interconnect Prediction Workshop, SLIP 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Response: Real-time, secure, and privacy-aware video redaction system

Chen, B., Nahrstedt, K. & Gunter, C., Nov 5 2018, Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Mobiquitous 2018. Association for Computing Machinery, p. 39-48 10 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Revised design of a passive hydraulic training simulator of biceps spasticity

Pei, Y., Ewoldt, R. H., Zallek, C. M. & Hsiao-Wecksler, E. T., Jan 1 2018.

Research output: Contribution to conferencePaper

Revisiting MITL to fix decision procedures

Roohi, N. & Viswanathan, M., Jan 1 2018, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings. Dillig, I. & Palsberg, J. (eds.). Springer-Verlag, p. 474-494 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10747 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robust hierarchical model predictive control of graph-based power flow systems

Koeln, J. P. & Alleyne, A. G., Oct 2018, In : Automatica. 96, p. 127-133 7 p.

Research output: Contribution to journalArticle

Robust optimization: Lessons learned from aircraft routing

Marla, L., Vaze, V. & Barnhart, C., Oct 2018, In : Computers and Operations Research. 98, p. 165-184 20 p.

Research output: Contribution to journalArticle

ROLA: A new distributed transaction protocol and its formal analysis

Liu, S., Ölveczky, P. C., Santhanam, K., Wang, Q., Gupta, I. & Meseguer, J., Jan 1 2018, Fundamental Approaches to Software Engineering - 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Schurr, A. & Russo, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10802 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

RSimplex: A robust control architecture for cyber and physical failures

Wang, X., Hovakimyan, N. & Sha, L., Aug 2018, In : ACM Transactions on Cyber-Physical Systems. 2, 4, 27.

Research output: Contribution to journalArticle

Runtime analysis of whole-system provenance

Pasquier, T., Hermant, O., Han, X., Eyers, D., Moyer, T., Bacon, J., Bates, A. & Seltzer, M., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1601-1616 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Runtime semantic security analysis to detect and mitigate control-related attacks in power grids

Lin, H., Slagell, A., Kalbarczyk, Z. T., Sauer, P. W. & Iyer, R. K., Jan 2018, In : IEEE Transactions on Smart Grid. 9, 1, p. 163-178 16 p.

Research output: Contribution to journalArticle

SafeTrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Sha, L., Fu, Z. & Ren, S., Apr 9 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1282-1291 10 p. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Safety-assured model-driven design of the multifunction vehicle bus controller

Jiang, Y., Liu, H., Song, H., Kong, H., Wang, R., Guan, Y. & Sha, L., Oct 2018, In : IEEE Transactions on Intelligent Transportation Systems. 19, 10, p. 3320-3333 14 p., 8260537.

Research output: Contribution to journalArticle

Sampling strategies for conditional inference on multigraphs

Eisinger, R. D. & Chen, Y., Jan 1 2018, In : Statistics and its Interface. 11, 4, p. 649-656 8 p.

Research output: Contribution to journalArticle

Scheduling, isolation, and cache allocation: A side-channel defense

Sprabery, R., Evchenko, K., Raj, A., Bobba, R. B., Mohan, S. & Campbell, R., May 16 2018, Proceedings - 2018 IEEE International Conference on Cloud Engineering, IC2E 2018. Li, J., Chandra, A., Guo, T. & Cai, Y. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 34-40 7 p. (Proceedings - 2018 IEEE International Conference on Cloud Engineering, IC2E 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

Potok, M., Chen, C. Y., Mitra, S. & Mohan, S., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 88-97 10 p. 8443724. (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Secure Sensor Design for Resiliency of Control Systems Prior to Attack Detection

Sayin, M. O. & Basar, T., Oct 26 2018, 2018 IEEE Conference on Control Technology and Applications, CCTA 2018. Institute of Electrical and Electronics Engineers Inc., p. 1686-1691 6 p. 8511586. (2018 IEEE Conference on Control Technology and Applications, CCTA 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Securing real-time internet-of-things

Chen, C. Y., Hasan, M. & Mohan, S., Dec 2018, In : Sensors (Switzerland). 18, 12, 4356.

Research output: Contribution to journalReview article

Seeing the invisible: Limited-view imaging with multiple-scattering reconstruction

Hidayetoglu, M., Hwu, W. M. & Chew, W. C., Feb 21 2018, 2018 United States National Committee of URSI National Radio Science Meeting, USNC-URSI NRSM 2018. Institute of Electrical and Electronics Engineers Inc., p. 1-2 2 p. (2018 United States National Committee of URSI National Radio Science Meeting, USNC-URSI NRSM 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Self-citation is the hallmark of productive authors, of any gender

Mishra, S., Fegley, B. D., Diesner, J. & Torvik, V. I., Sep 2018, In : PloS one. 13, 9, e0195773.

Research output: Contribution to journalArticle

Self-healing attack-resilient PMU network for power system operation

Lin, H., Chen, C., Wang, J., Qi, J., Jin, D., Kalbarczyk, Z. T. & Iyer, R. K., May 2018, In : IEEE Transactions on Smart Grid. 9, 3, p. 1551-1565 15 p.

Research output: Contribution to journalArticle

Semantic-aware virtual reality video streaming

Leng, Y., Chen, C. C., Sun, Q., Huang, J. & Zhu, Y., Aug 27 2018, Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018. Association for Computing Machinery, Inc, 21. (Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semi-Coherent DMA: An Alternative I/O Coherency Management for Embedded Systems

Min, S., Alian, M., Hwu, W. M. & Kim, N. S., Jul 1 2018, In : IEEE Computer Architecture Letters. 17, 2, p. 221-224 4 p., 8444757.

Research output: Contribution to journalArticle

Sensor selection for heterogeneous coverage measures

Shamoun, S., Abdelzaher, T. & Bar-Noy, A., Jan 26 2018, Proceedings - 2017 13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017. Institute of Electrical and Electronics Engineers Inc., p. 93-98 6 p. (Proceedings - 2017 13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

SERIAL transmit – parallel receive (STxPRx) MR imaging produces acceptable proton image uniformity without compromising field of view or SAR guidelines for human neuroimaging at 9.4 Tesla

Thulborn, K. R., Ma, C., Sun, C., Atkinson, I. C., Claiborne, T., Umathum, R., Wright, S. M. & Liang, Z. P., Aug 2018, In : Journal of Magnetic Resonance. 293, p. 145-153 9 p.

Research output: Contribution to journalArticle

Service Fabric: A Distributed Platform for Building Microservices in the Cloud

Kakivaya, G., Xun, L., Hasha, R., Ahsan, S. B., Pfleiger, T., Sinha, R., Gupta, A., Tarta, M., Fussell, M., Modi, V., Mohsin, M., Kong, R., Ahuja, A., Platon, O., Wun, A., Snider, M., Daniel, C., Mastrian, D., Li, Y., Rao, A. & 13 others, Kidambi, V., Wang, R., Ram, A., Shivaprakash, S., Nair, R., Warwick, A., Narasimman, B. S., Lin, M., Chen, J., Mhatre, A. B., Subbarayalu, P., Coskun, M. & Gupta, I., Apr 23 2018, Proceedings of the 13th EuroSys Conference, EuroSys 2018. Association for Computing Machinery, Inc, (Proceedings of the 13th EuroSys Conference, EuroSys 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

ShapeSearch: Flexible patternbased querying of trend line visualizations

Siddiqui, T., Luh, P., Wang, Z., Karahalios, K. & Parameswaran, A., Jan 1 2018, In : Proceedings of the VLDB Endowment. 11, 12, p. 1962-1965 4 p.

Research output: Contribution to journalConference article

SHINE+: A General Framework for Domain-Specific Entity Linking with Heterogeneous Information Networks

Shen, W., Han, J., Wang, J., Yuan, X. & Yang, Z., Feb 1 2018, In : IEEE Transactions on Knowledge and Data Engineering. 30, 2, p. 353-366 14 p., 7990163.

Research output: Contribution to journalArticle

Signaling games in networked cyber-physical systems with strategic elements

Akyol, E., Basar, T. & Langbort, C., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4576-4581 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution