Research Output

2019

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., Stipanovic, 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

Grading-based test suite augmentation

Osei-Owusu, J., Astorga, A., Butler, L., Xie, T. & Challen, G., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 226-229 4 p. 8952332. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

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

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

Guest Editorial: Special Issue on Network and Parallel Computing for Emerging Architectures and Applications

Zhang, F., Zhai, J., Snir, M., Jin, H., Kasahara, H. & Valero, M., Jun 15 2019, In : International Journal of Parallel Programming. 47, 3, p. 343-344 2 p.

Research output: Contribution to journalEditorial

Open Access

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, 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, M. 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. N., 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

Implementing neural machine translation with bi-directional GRU and attention mechanism on FPGAs using HLS

Li, Q., Zhang, X., Xiong, J. J., Hwu, W-M. W. & Chen, D., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 693-698 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

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

Influence of conformist and manipulative behaviors on public opinion

Etesami, S. R., Bolouki, S., Nedic, A., Basar, M. T. & Poor, H. V., Mar 2019, In : IEEE Transactions on Control of Network Systems. 6, 1, p. 202-214 13 p., 8291583.

Research output: Contribution to journalArticle

Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms

Sayin, M. O., Lin, C. W., Shiraishi, S., Shen, J. & Basar, T., Mar 2019, In : IEEE Transactions on Intelligent Transportation Systems. 20, 3, p. 912-924 13 p., 8370839.

Research output: Contribution to journalArticle

Input-delay compensation in a robust adaptive control framework

Nguyen, K. D. & Dankowicz, H., Jul 23 2019, In : IET Control Theory and Applications. 13, 11, p. 1718-1727 10 p.

Research output: Contribution to journalArticle

Integrating local context and global cohesiveness for open information extraction

Zhu, Q., Ren, X., Shang, J., Zhang, Y., El-Kishky, A. & Han, J., Jan 30 2019, WSDM 2019 - Proceedings of the 12th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, Inc, p. 42-50 9 p. (WSDM 2019 - Proceedings of the 12th ACM International Conference on Web Search and Data Mining).

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

Integration of machine learning and pharmacogenomic biomarkers for predicting response to antidepressant treatment: Can computational intelligence be used to augment clinical assessments?

Athreya, A. P., Iyer, R., Wang, L., Weinshilboum, R. M. & Bobo, W. V., Jan 1 2019, In : Pharmacogenomics. 20, 14, p. 983-988 6 p.

Research output: Contribution to journalReview article

Open Access

InvisiSpec: Making speculative execution invisible in the cache hierarchy (Corrigendum)

Yan, M., Choi, J., Skarlatos, D., Morrison, A., Fletcher, C. W. & Torrellas, J., Oct 12 2019, MICRO 2019 - 52nd Annual IEEE/ACM International Symposium on Microarchitecture, Proceedings. IEEE Computer Society, 1 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

Iterative Computation of Security Strategies of Matrix Games with Growing Action Set

Li, L. & Langbort, C., Dec 1 2019, In : Dynamic Games and Applications. 9, 4, p. 942-964 23 p.

Research output: Contribution to journalArticle

Kaizen: Building a performant blockchain system verified for consensus and integrity

Kalim, F., Palmskog, K., Mehar, J., Murali, A., Gupta, I. & Madhusudan, P., Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 96-104 9 p. 8894248. (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019).

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

L1 adaptive control for switching reference systems: Application to flight control

Snyder, S., Zhao, P. & Hovakimyan, N., Sep 2019, In : IFAC-PapersOnLine. 52, 16, p. 718-723 6 p.

Research output: Contribution to journalConference article

Open Access

L 1 adaptive sampled-data control for uncertain multi-input multi-output systems

Jafarnejadsani, H., Lee, H. & Hovakimyan, N., May 2019, In : Automatica. 103, p. 346-353 8 p.

Research output: Contribution to journalArticle

Lap-Based Video Frame Interpolation

Jayashankar, T., Moulin, P., Blu, T. & Gilliam, C., Sep 2019, 2019 IEEE International Conference on Image Processing, ICIP 2019 - Proceedings. IEEE Computer Society, p. 4195-4199 5 p. 8803484. (Proceedings - International Conference on Image Processing, ICIP; vol. 2019-September).

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

Large-area MRI-compatible epidermal electronic interfaces for prosthetic control and cognitive monitoring

Tian, L., Zimmerman, B., Akhtar, A., Yu, K. J., Moore, M., Wu, J., Larsen, R. J., Lee, J. W., Li, J., Liu, Y., Metzger, B., Qu, S., Guo, X., Mathewson, K. E., Fan, J. A., Cornman, J., Fatina, M., Xie, Z., Ma, Y., Zhang, J. & 9 others, Zhang, Y., Dolcos, F., Fabiani, M., Gratton, G., Bretl, T., Hargrove, L. J., Braun, P. V., Huang, Y. & Rogers, J. A., Mar 1 2019, In : Nature biomedical engineering. 3, 3, p. 194-205 12 p.

Research output: Contribution to journalArticle

Latent error prediction and fault localization for microservice applications by learning from system trace logs

Zhou, X., Peng, X., Xie, T., Sun, J., Ji, C., Liu, D., Xiang, Q. & He, C., 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. 683-694 12 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