Research Output

2019

Extensions of Network Reliability Analysis

Nguyen, H. H., Palani, K. & Nicol, D. M., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 88-99 12 p. 8809489. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

Fall of empires: Breaking byzantine-tolerant SGD by inner product manipulation

Xie, C., Koyejo, O. & Gupta, I., Jan 1 2019.

Research output: Contribution to conferencePaper

Fast, diverse and accurate image captioning guided by part-of-speech

Deshpande, A., Aneja, J., Wang, L., Schwing, A. G. & Forsyth, D., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 10687-10696 10 p. 8953300. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

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

Faster, higher, stronger: Redesigning spreadsheets for scale

Bendre, M., Wattanawaroon, T., Rahman, S., Mack, K., Liu, Y., Zhu, S., Lu, Y., Yang, P. J., Zhou, X., Chang, K. C. C., Karahalios, K. & Parameswaran, A., Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE Computer Society, p. 1972-1975 4 p. 8731567. (Proceedings - International Conference on Data Engineering; vol. 2019-April).

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

FinExpert: Domain-specific test generation for FinTech systems

Jin, T., Wang, Q., Xu, L., Pan, C., Dou, L., Qian, H., He, L. & Xie, T., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 853-862 10 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

Finite-Time Distributed Flow Balancing

Hadjicostis, C. N., Dominguez-Garcia, A. D. & Rikos, A. I., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 903-908 6 p. 9029956. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., Feb 6 2019, In : International Journal on Software Tools for Technology Transfer. 21, 1, p. 31-70 40 p.

Research output: Contribution to journalArticle

FIS: Facial Information Segmentation for Video Redaction

Chen, B. & Nahrstedt, K., Apr 22 2019, Proceedings - 2nd International Conference on Multimedia Information Processing and Retrieval, MIPR 2019. Institute of Electrical and Electronics Engineers Inc., p. 360-365 6 p. 8695409. (Proceedings - 2nd International Conference on Multimedia Information Processing and Retrieval, MIPR 2019).

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

FlashBlox: Achieving both performance isolation and uniform lifetime for virtualized SSDs

Huang, J., Badam, A., Caulfield, L., Nath, S., Sengupta, S., Sharma, B. & Qureshi, M. K., Jan 1 2019, Proceedings of the 15th USENIX Conference on File and Storage Technologies, FAST 2017. USENIX Association, p. 375-390 16 p. (Proceedings of the 15th USENIX Conference on File and Storage Technologies, FAST 2017).

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

FlatFlash: Exploiting the Byte-Accessibility of SSDs within A Unified Memory-Storage Hierarchy

Abulila, A., Mailthody, V. S., Qureshi, Z., Huang, J., Kim, N. S., Xiong, J. & Hwu, W. M., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 971-985 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

Open Access

Flight control methods for multirotor UAS

Ackerman, K. A., Gregory, I. M. & Hovakimyan, N., Jun 2019, 2019 International Conference on Unmanned Aircraft Systems, ICUAS 2019. Institute of Electrical and Electronics Engineers Inc., p. 353-361 9 p. 8797739. (2019 International Conference on Unmanned Aircraft Systems, ICUAS 2019).

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

Formational bounds of link prediction in collaboration networks

Kim, J. & Diesner, J., May 15 2019, In : Scientometrics. 119, 2, p. 687-706 20 p.

Research output: Contribution to journalArticle

FPGA/DNN co-design: An efficient design methodology for IoT intelligence on the edge

Hao, C., Zhang, X., Li, Y., Huang, S., Xiong, J., Rupnow, K., Hwu, W. M. & Chen, D., Jun 2 2019, Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019. Institute of Electrical and Electronics Engineers Inc., a206. (Proceedings - Design Automation Conference).

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

F-Pro: A fast and flexible provenance-aware message authentication scheme for smart grid

Esiner, E., Mashima, D., Chen, B., Kalbarczyk, Z. & Nicol, D., Oct 2019, 2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2019. Institute of Electrical and Electronics Engineers Inc., 8909712. (2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2019).

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

Functional brain changes during mindfulness-based cognitive therapy associated with tinnitus severity

Zimmerman, B., Finnegan, M., Paul, S., Schmidt, S., Tai, Y., Roth, K., Chen, Y. & Husain, F. T., Jan 1 2019, In : Frontiers in Neuroscience. 13, JUL, 747.

Research output: Contribution to journalArticle

Open Access

GAN-based projector for faster recovery with convergence guarantees in linear inverse problems

Raj, A., Li, Y. & Bresler, Y., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 5601-5610 10 p. 9009825. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

Gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis

Venkatagiri, R., Ahmed, K., Mahmoud, A., Misailovic, S., Marinov, D., Fletcher, C. W. & Adve, S. V., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 214-221 8 p. 8809540. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

Generalized Minimum Phase Property for Finite-Dimensional Continuous-Time SISO LTI Systems with Additive Disturbances

Pan, Z. & Basar, T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 6256-6262 7 p. 8619112. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Generalized Sarymsakov Matrices

Xia, W., Liu, J., Cao, M., Johansson, K. H. & Başar, T., Aug 2019, In : IEEE Transactions on Automatic Control. 64, 8, p. 3085-3100 16 p., 8513840.

Research output: Contribution to journalArticle

GeoAttn: Localization of social media messages via attentional memory network

Li, S., Zhang, C., Lei, D., Li, J. & Han, J., Jan 1 2019, SIAM International Conference on Data Mining, SDM 2019. Society for Industrial and Applied Mathematics Publications, p. 64-72 9 p. (SIAM International Conference on Data Mining, SDM 2019).

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

Global Asymptotic Stability and Stabilization of Long Short-Term Memory Neural Networks with Constant Weights and Biases

Deka, S. A., Stipanović, D. M., Murmann, B. & Tomlin, C. J., Apr 15 2019, In : Journal of Optimization Theory and Applications. 181, 1, p. 231-243 13 p.

Research output: Contribution to journalArticle

Graph-based electro-mechanical modeling of a hybrid unmanned aerial vehicle for real-time applications

Aksland, C. T., Bixel, T. W., Raymond, L. C., Rottmayer, M. A. & Alleyne, A. G., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 4253-4259 7 p. 8814930. (Proceedings of the American Control Conference; vol. 2019-July).

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

GreenRoute: A Generalizable Fuel-Saving Vehicular Navigation Service

Zhao, Y., Yao, S., Liu, D., Shao, H., Liu, S. & Abdelzaher, T., Jun 2019, Proceedings - 2019 IEEE International Conference on Autonomic Computing, ICAC 2019. Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. 8831213. (Proceedings - 2019 IEEE International Conference on Autonomic Computing, ICAC 2019).

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

Guilty As Charged: Computational Reliability Threats Posed by Electrostatic Discharge-induced Soft Errors

Feng, K., Vora, S., Jiang, R., Rosenbaum, E. & Vasudevan, S., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 156-161 6 p. 8715149. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

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

HALO: Accelerating flow classification for scalable packet processing in NFV

Yuan, Y., Wang, Y., Wang, R. & Huang, J., Jun 22 2019, ISCA 2019 - Proceedings of the 2019 46th International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 601-614 14 p. (Proceedings - International Symposium on Computer Architecture).

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

Hardware-Software Co-Design for an Analog-Digital Accelerator for Machine Learning

Ambrosi, J., Ankit, A., Antunes, R., Chalamalasetti, S. R., Chatterjee, S., El Hajj, I., Fachini, G., Faraboschi, P., Foltin, M., Huang, S., Hwu, W. M., Knuppe, G., Lakshminarasimha, S. V., Milojicic, D., Parthasarathy, M., Ribeiro, F., Rosa, L., Roy, K., Silveira, P. & Strachan, J. P., Feb 8 2019, 2018 IEEE International Conference on Rebooting Computing, ICRC 2018. Institute of Electrical and Electronics Engineers Inc., 8638612. (2018 IEEE International Conference on Rebooting Computing, ICRC 2018).

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

Hidden markov model estimation-based q-learning for partially observable markov decision process

Yoon, H. J., Lee, D. & Hovakimyan, N., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 2366-2371 6 p. 8814849. (Proceedings of the American Control Conference; vol. 2019-July).

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

Hierarchical estimation for complex multi-domain dynamical systems

Tannous, P. J., Docimo, D. J., Pangborn, H. C. & Alleyne, A. G., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 909-915 7 p. 8814330. (Proceedings of the American Control Conference; vol. 2019-July).

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

Hierarchical multistage Gaussian signaling games in noncooperative communication and control systems

Sayin, M. O., Akyol, E. & Başar, T., Sep 2019, In : Automatica. 107, p. 9-20 12 p.

Research output: Contribution to journalArticle

High power density two-phase cooling in microchannel heat exchangers

Kwon, B., Maniscalco, N. I., Jacobi, A. M. & King, W. P., Feb 5 2019, In : Applied Thermal Engineering. 148, p. 1271-1277 7 p.

Research output: Contribution to journalArticle

High strength metallic wood from nanostructured nickel inverse opal materials

Pikul, J. H., Özerinç, S., Liu, B., Zhang, R., Braun, P. V., Deshpande, V. S. & King, W. P., Dec 1 2019, In : Scientific reports. 9, 1, 719.

Research output: Contribution to journalArticle

HiGitClass: Keyword-driven hierarchical classification of github repositories

Zhang, Y., Xu, F. F., Li, S., Meng, Y., Wang, X., Li, Q. & Han, J., Nov 2019, Proceedings - 19th IEEE International Conference on Data Mining, ICDM 2019. Wang, J., Shim, K. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 876-885 10 p. 8970799. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2019-November).

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

Home, safehome: Ensuring a safe and reliable home using the edge

Ahsan, S. B., Yang, R., Noghabi, S. A. & Gupta, I., Jan 1 2019.

Research output: Contribution to conferencePaper

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer-Verlag Berlin Heidelberg, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11408 LNCS).

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

HoneyBadgerMPC and AsynchroMix: Practical asynchronous MPC and its application to anonymous communication

Lu, D., Govind, R., Yurek, T., Kate, A., Kulshreshtha, S. & Miller, A., Nov 6 2019, CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 887-903 17 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Open Access

HOPF bifurcation in the informational nudging of boundedly rational decision makers

Cheng, Y. & Langbort, C., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 5761-5766 6 p. 8815198. (Proceedings of the American Control Conference; vol. 2019-July).

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

How effective are existing Java API specifications for finding bugs during runtime verification?

Legunsen, O., Al Awar, N., Xu, X., Hassan, W. U., Roşu, G. & Marinov, D., Dec 1 2019, In : Automated Software Engineering. 26, 4, p. 795-837 43 p.

Research output: Contribution to journalArticle

Human-in-the-loop Control of Distributed Multi-Agent Systems: A Relative Input-Output Approach

Kiumarsi, B. & Basar, T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 3343-3348 6 p. 8618994. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Human verbal memory encoding is hierarchically distributed in a continuous processing stream

Kucewicz, M. T., Saboo, K., Berry, B. M., Kremen, V., Miller, L. R., Khadjevand, F., Inman, C. S., Wanda, P., Sperling, M. R., Gorniak, R., Davis, K. A., Jobst, B. C., Lega, B., Sheth, S. A., Rizzuto, D. S., Iyer, R. K., Kahana, M. J. & Worrell, G. A., Jan 1 2019, In : eNeuro. 6, 1, e0214-18.2018.

Research output: Contribution to journalArticle

Open Access

Human vs bots: Detecting human attacks in a honeypot environment

Udhani, S., Withers, A. & Bashir, M., Jun 2019, 7th International Symposium on Digital Forensics and Security, ISDFS 2019. Varol, A., Karabatak, M., Varol, C. & Teke, S. (eds.). Institute of Electrical and Electronics Engineers Inc., 8757534. (7th International Symposium on Digital Forensics and Security, ISDFS 2019).

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

Hybrid Quick Error Detection: Validation and Debug of SoCs Through High-Level Synthesis

Campbell, K., Lin, D., He, L., Yang, L., Gurumani, S. T., Rupnow, K., Mitra, S. & Chen, D., Jul 2019, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38, 7, p. 1345-1358 14 p., 8360082.

Research output: Contribution to journalArticle

Hyperservice: Interoperability and programmability across heterogeneous blockchains

Liu, Z., Xiang, Y., Shi, J., Gao, P., Wang, H., Xiao, X., Wen, B. & Hu, Y. C., Nov 6 2019, CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 549-566 18 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Open Access

IDFlakies: A framework for detecting and partially classifying flaky tests

Lam, W., Oei, R., Shi, A., Marinov, D. & Xie, T., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 312-322 11 p. 8730188. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

IELE: A rigorously designed language and tool ecosystem for the blockchain

Kasampalis, T., Guth, D., Moore, B., Șerbănuță, T. F., Zhang, Y., Filaretti, D., Șerbănuță, V., Johnson, R. & Roşu, G., Jan 1 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 593-610 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

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

IFixFlakies: A framework for automatically fixing order-dependent flaky tests

Shi, A., Lam, W., Oei, R., Xie, T. & Marinov, D., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 545-555 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

ILC: A calculus for composable, computational cryptography

Liao, K., Hammer, M. A. & Miller, A., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 640-654 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

Open Access
Open Access