Research Output

2019

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

Intent-Aware Probabilistic Trajectory Estimation for Collision Prediction with Uncertainty Quantification

Patterson, A., Lakshmanan, A. & Hovakimyan, N., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 3827-3832 6 p. 9029215. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

Learning Filter Bank Sparsifying Transforms

Pfister, L. & Bresler, Y., Jan 15 2019, In : IEEE Transactions on Signal Processing. 67, 2, 8543611.

Research output: Contribution to journalArticle

Learning stateful preconditions modulo a test generator

Astorga, A., Madhusudan, P., Saha, S., Wang, S. & Xie, T., 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. 775-787 13 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

Learning to communicate: A machine learning framework for heterogeneous multi-agent robotic systems

Yoon, H. J., Chen, H., Long, K., Zhang, H., Gahlawat, A., Lee, D. & Hovakimyan, N., Jan 1 2019, AIAA Scitech 2019 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2019 Forum).

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

Lessons Learned by INFEWS-ER's virtual resource center for transdisciplinary graduate student training at the nexus of food, energy, and water

Koelsch, R., Rodríguez, L. F., Banner, S., Classen, J., Cotton, D., Deviney, A., Heemstra, J., Koziel, J., Meyer, D., Marshall, A. M., Padmanabhan, A. & Steward, D., Jan 1 2019.

Research output: Contribution to conferencePaper

Leveraging physical access logs to identify tailgating: Limitations and solutions

Cheh, C., Thakore, U., Chen, B., Temple, W. G. & Sanders, W. H., Sep 2019, Proceedings - 2019 15th European Dependable Computing Conference, EDCC 2019. Institute of Electrical and Electronics Engineers Inc., p. 127-132 6 p. 8893375. (Proceedings - 2019 15th European Dependable Computing Conference, EDCC 2019).

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

Linear-Complexity Exponentially-Consistent Tests for Universal Outlying Sequence Detection

Bu, Y., Zou, S. & Veeravalli, V. V., Apr 15 2019, In : IEEE Transactions on Signal Processing. 67, 8, p. 2115-2128 14 p., 8651359.

Research output: Contribution to journalArticle

LL-PCM: Low-latency phase change memory architecture

Kim, N. S., Song, C., Cho, W. Y., Huang, J. & Jung, M., Jun 2 2019, Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019. Institute of Electrical and Electronics Engineers Inc., a14. (Proceedings - Design Automation Conference).

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

Locating multiple GPS jammers using networked UAVs

Bhamidipati, S. & Gao, G. X., Apr 2019, In : IEEE Internet of Things Journal. 6, 2, p. 1816-1828 13 p., 8629980.

Research output: Contribution to journalArticle

Long-short term memory neural network stability and stabilization using linear matrix inequalities

Deka, S. A., Stipanović, D. M., Murmann, B. & Tomlin, C. J., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702629. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

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

Lyapunov analysis of the chaotic colpitts oscillator

Vasiljević, I., Lekić, A. & Stipanović, D., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702567. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

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

Lyapunov Characterization and Analysis of the Operating Modes of the AC-DC Ćuk Converter

Petrovic, N. Z., Lekic, A. & Stipanovic, D. M., Jun 2019, In : IEEE Journal of Emerging and Selected Topics in Power Electronics. 7, 2, p. 1318-1328 11 p., 8486971.

Research output: Contribution to journalArticle

Magnetostatic Spring Softening and Stiffening in Magneto-Mechanical Resonator Systems

Grinberg, I., Mangu, A., Peterson, C. W., Wilken-Resman, E., Bernhard, J. T. & Bahl, G., Aug 2019, In : IEEE Transactions on Magnetics. 55, 8, 8699123.

Research output: Contribution to journalArticle

Matching µ-logic: Foundation of K framework

Chen, X. & Roşu, G., Nov 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

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

Matching μ-Logic

Chen, X. & Rosu, G., Jun 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. Institute of Electrical and Electronics Engineers Inc., 8785675. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

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

Matrix theory for minimal trellises

Duursma, I. M., Nov 1 2019, In : Designs, Codes, and Cryptography. 87, 11, p. 2507-2536 30 p.

Research output: Contribution to journalArticle

Maximizing Power in Wind Turbine Arrays with Variable Wind Dynamics

Buccafusca, L. & Beck, C. L., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2667-2672 6 p. 8619789. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Maximum gaps in path coverage

Shamoun, S., Abdelzaher, T. & Bar-Noy, A., Nov 25 2019, MSWiM 2019 - Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. Association for Computing Machinery, Inc, p. 109-112 4 p. (MSWiM 2019 - Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems).

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

Max-sliced wasserstein distance and its use for gans

Deshpande, I., Hu, Y. T., Sun, R., Pyrros, A., Siddiqui, N., Koyejo, S., Zhao, Z., Forsyth, D. & Schwing, A. G., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 10640-10648 9 p. 8953668. (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

Meanings and Functions of Money in Different Cultural Milieus

Cohen, D., Shin, F. & Liu, X., Jan 4 2019, In : Annual review of psychology. 70, p. 475-497 23 p.

Research output: Contribution to journalReview article

Medley: A novel distributed failure detector for IoT networks

Yang, R., Zhu, S., Li, Y. & Gupta, I., Dec 9 2019, Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference. Association for Computing Machinery, Inc, p. 319-331 13 p. (Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference).

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

MemXCT: Memory-centric X-ray CT reconstruction with massive parallelization

Hidayetolu, M., Biçer, T., De Gonzalo, S. G., Ren, B., Gürsoy, D., Kettimuthu, R., Foster, I. T. & Hwu, W. M. W., Nov 17 2019, Proceedings of SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society, a85. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

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

Microgrid Distributed Frequency Control over Time-Varying Communication Networks

Zholbaryssov, M. & Dominguez-Garcia, A. D., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5722-5727 6 p. 8619398. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

MicroScope: Enabling microarchitectural replay attacks

Skarlatos, D., Yan, M., Gopireddy, B., Sprabery, R., Torrellas, J. & Fletcher, C. W., Jun 22 2019, ISCA 2019 - Proceedings of the 2019 46th International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 318-331 14 p. (Proceedings - International Symposium on Computer Architecture).

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

Minimum Precision Requirements of General Margin Hyperplane Classifiers

Sakr, C., Kim, Y. & Shanbhag, N., Jun 2019, In : IEEE Journal on Emerging and Selected Topics in Circuits and Systems. 9, 2, p. 253-266 14 p., 8685184.

Research output: Contribution to journalArticle

Mining News Events from Comparable News Corpora: A Multi-Attribute Proximity Network Modeling Approach

Kim, H., El-Kishky, A., Ren, X. & Han, J., Dec 2019, Proceedings - 2019 IEEE International Conference on Big Data, Big Data 2019. Baru, C., Huan, J., Khan, L., Hu, X. T., Ak, R., Tian, Y., Barga, R., Zaniolo, C., Lee, K. & Ye, Y. F. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 105-114 10 p. 9006049. (Proceedings - 2019 IEEE International Conference on Big Data, Big Data 2019).

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