Research Output

2018

Tracking Certificate Misissuance in the Wild

Kumar, D., Wang, Z., Hyder, M., Dickinson, J., Beck, G., Adrian, D., Mason, J., Durumeric, Z., Halderman, J. A. & Bailey, M., Jul 23 2018, Proceedings - 2018 IEEE Symposium on Security and Privacy, SP 2018. Institute of Electrical and Electronics Engineers Inc., p. 785-798 14 p. 8418638. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2018-May).

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

Transactional intellectual property: from startups to public companies

Gruner, R. S., Ghosh, S. & Kesan, J. P., 2018, Fourth edition. ed. 1106 p.

Research output: Book/ReportBook

Transforming Taxonomic Interfaces

Thomer, A. K., Twidale, M. B. & Yoder, M. J., 2018, p. 173:1-173:23.

Research output: Contribution to conferencePaper

Triangle Counting and Truss Decomposition using FPGA

Huang, S., El-Hadedy, M., Hao, C., Li, Q., Mailthody, V. S., Date, K., Xiong, J., Chen, D., Nagi, R. & Hwu, W. M., Nov 26 2018, 2018 IEEE High Performance Extreme Computing Conference, HPEC 2018. Institute of Electrical and Electronics Engineers Inc., 8547536. (2018 IEEE High Performance Extreme Computing Conference, HPEC 2018).

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

True Gradient-Based Training of Deep Binary Activated Neural Networks Via Continuous Binarization

Sakr, C., Choi, J., Wang, Z., Gopalakrishnan, K. & Shanbhag, N., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2346-2350 5 p. 8461456. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

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

TruePIE: Discovering reliable patterns in pattern-based information extraction

Li, Q., Jiang, M., Zhang, X., Qu, M., Hanratty, T., Gao, J. & Han, J., Jul 19 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 1675-1684 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Two-Level Hierarchical Mission-Based Model Predictive Control

Koeln, J. P. & Alleyne, A. G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2332-2337 6 p. 8431370. (Proceedings of the American Control Conference; vol. 2018-June).

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

Understanding Aggressive and Nonaggressive Individual Behaviors in Massively Multiplayer Online Games

Ahmed, I., Pilny, A. & Poole, M. S., Jul 5 2018, Social Interactions in Virtual Worlds: An Interdisciplinary Perspective. Lakkaraju, K., Sukthankar, G. & Wigand, R. T. (eds.). Cambridge University Press, p. 43-61

Research output: Chapter in Book/Report/Conference proceedingChapter

Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles

Liu, X., Li, H., Lu, X., Xie, T., Mei, Q., Feng, F. & Mei, H., Apr 1 2018, In : IEEE Transactions on Software Engineering. 44, 4, p. 384-411 28 p.

Research output: Contribution to journalArticle

Understanding identity presentation in medical crowdfunding

Kim, J. G., Hong, H. & Karahalios, K., Apr 20 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

Unified stability criteria for slowly time-varying and switched linear systems

Gao, X., Liberzon, D., Liu, J. & Başar, T., Oct 2018, In : Automatica. 96, p. 110-120 11 p.

Research output: Contribution to journalArticle

Unsupervised meta-path selection for text similarity measure based on heterogeneous information networks

Wang, C., Song, Y., Li, H., Zhang, M. & Han, J., Nov 1 2018, In : Data Mining and Knowledge Discovery. 32, 6, p. 1735-1767 33 p.

Research output: Contribution to journalArticle

Users’ attitudes towards the “Going Dark” debate

Addawood, A., Zou, Y. & Bashir, M. N., Jan 1 2018, Advances in Human Factors in Cybersecurity - Proceedings of the AHFE 2017 International Conference on Human Factors in Cybersecurity, 2017. Nicholson, D. (ed.). Springer-Verlag, p. 296-307 12 p. (Advances in Intelligent Systems and Computing; vol. 593).

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

Users’ trust in automation: A cultural perspective

Huang, H. Y. & Bashir, M. N., Jan 1 2018, Advances in Human Factors in Robots and Unmanned Systems - Proceedings of the AHFE 2017 International Conference on Human Factors in Robots and Unmanned Systems, 2017. Chen, J. (ed.). Springer-Verlag, p. 282-289 8 p. (Advances in Intelligent Systems and Computing; vol. 595).

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

Validation of a wearable position, velocity, and resistance meter for assessing spasticity and rigidity

Song, S. Y., Pei, Y., Tippett, S. R., Lamichhane, D., Zallek, C. M. & Hsiao-Wecksler, E. T., Jan 1 2018.

Research output: Contribution to conferencePaper

Variant-based decidable satisfiability in initial algebras with predicates

Gutiérrez, R. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag Berlin Heidelberg, p. 306-322 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

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

Variant-based satisfiability in initial algebras

Meseguer, J., Mar 1 2018, In : Science of Computer Programming. 154, p. 3-41 39 p.

Research output: Contribution to journalArticle

Verified hybrid LQ control for autonomous spacecraft rendezvous

Chan, N. & Mitra, S., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1427-1432 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

Verifying nonlinear analog and mixed-signal circuits with inputs

Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S. & Schmid, U., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 241-246 6 p.

Research output: Contribution to journalArticle

Vertical integrity monitoring with direct positioning

Chu, A. H. P. & Gao, G. X., Jun 5 2018, 2018 IEEE/ION Position, Location and Navigation Symposium, PLANS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 367-373 7 p. (2018 IEEE/ION Position, Location and Navigation Symposium, PLANS 2018 - Proceedings).

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

Visualizing path exploration to assist problem diagnosis for structural test generation

Cao, J., Astorga, A., Srisakaokul, S., Wu, Z., Liu, X., Xiao, X. & Xie, T., Oct 23 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE Computer Society, p. 323-325 3 p. 8506484. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC; vol. 2018-October).

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

VR environment for the study of collocated interaction between small UAVs and humans

Widdowson, C., Yoon, H. J., Cichella, V., Wang, R. F. & Hovakimyan, N., Jan 1 2018, Advances in Human Factors in Robots and Unmanned Systems - Proceedings of the AHFE 2017 International Conference on Human Factors in Robots and Unmanned Systems, 2017. Chen, J. (ed.). Springer-Verlag, p. 348-355 8 p. (Advances in Intelligent Systems and Computing; vol. 595).

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

Weakly-supervised neural text classification

Meng, Y., Shen, J., Zhang, C. & Han, J., Oct 17 2018, CIKM 2018 - Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (eds.). Association for Computing Machinery, p. 983-992 10 p. (International Conference on Information and Knowledge Management, Proceedings).

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

Weakly-supervised relation extraction by pattern-enhanced embedding learning

Qu, M., Ren, X., Zhang, Y. & Han, J., Apr 10 2018, The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018. Association for Computing Machinery, Inc, p. 1257-1266 10 p. (The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018).

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

Will distributed computing revolutionize peace? the emergence of battlefield IoT

Abdelzaher, T., Ayanian, N., Basar, T., Diggavi, S., Diesner, J., Ganesan, D., Govindan, R., Jha, S., Lepoint, T., Marlin, B., Nahrstedt, K., Nicol, D., Rajkumar, R., Russell, S., Seshia, S., Sha, F., Shenoy, P., Srivastava, M., Sukhatme, G., Swami, A. & 4 others, Tabuada, P., Towsley, D., Vaidya, N. & Veeravalli, V., Jul 19 2018, Proceedings - 2018 IEEE 38th International Conference on Distributed Computing Systems, ICDCS 2018. Institute of Electrical and Electronics Engineers Inc., p. 1129-1138 10 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2018-July).

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

Your attention is unique: Detecting 360-degree video saliency in head-mounted display for head movement prediction

Nguyen, A., Yan, Z. & Nahrstedt, K., Oct 15 2018, MM 2018 - Proceedings of the 2018 ACM Multimedia Conference. Association for Computing Machinery, Inc, p. 1190-1198 9 p. (MM 2018 - Proceedings of the 2018 ACM Multimedia Conference).

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

Yukta: Multilayer resource controllers to maximize efficiency

Pothukuchi, R. P., Pothukuchi, S. Y., Voulgaris, P. & Torrellas, J., Jul 19 2018, Proceedings - 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture, ISCA 2018. Institute of Electrical and Electronics Engineers Inc., p. 505-518 14 p. 8416851. (Proceedings - International Symposium on Computer Architecture).

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

2019

(Invited) cross-layer resilience: Challenges, insights, and the road ahead

Cheng, E., Mueller-Gritschneder, D., Abraham, J., Bose, P., Buyuktosunoglu, A., Chen, D., Cho, H., Li, Y., Sharif, U., Skadron, K., Stan, M., Schlichtmann, U. & Mitra, S., Jun 2 2019, Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019. Institute of Electrical and Electronics Engineers Inc., a198. (Proceedings - Design Automation Conference).

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

A Binning Approach to Quickest Change Detection With Unknown Postchange Distribution

Lau, T. S., Tay, W. P. & Veeravalli, V. V., Feb 1 2019, In : IEEE Transactions on Signal Processing. 67, 3, p. 609-621 13 p., 8537967.

Research output: Contribution to journalArticle

Accelerating distributed reinforcement learning with in-switch computing

Li, Y., Liu, I. J., Yuan, Y., Chen, D., Schwing, A. & 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. 279-291 13 p. (Proceedings - International Symposium on Computer Architecture).

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

Accelerating reduction and scan using tensor core units

Dakkak, A., Li, C., Xiong, J., Gelado, I. & Hwu, W. M., Jun 26 2019, ICS 2019 - International Conference on Supercomputing. Association for Computing Machinery, p. 46-57 12 p. (Proceedings of the International Conference on Supercomputing).

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

Accelerating sparse deep neural networks on FPGAs

Huang, S., Pearson, C., Nagi, R., Xiong, J., Chen, D. & Hwu, W. M., Sep 2019, 2019 IEEE High Performance Extreme Computing Conference, HPEC 2019. Institute of Electrical and Electronics Engineers Inc., 8916419. (2019 IEEE High Performance Extreme Computing Conference, HPEC 2019).

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

Accumulation bit-width scaling for ultra-low precision training of deep networks

Sakr, C., Wang, N., Chen, C. Y., Choi, J., Agrawal, A., Shanbhag, N. & Gopalakrishnan, K., Jan 1 2019.

Research output: Contribution to conferencePaper

AcMC2: Accelerated Markov Chain Monte Carlo for Probabilistic Models

Banerjee, S. S., Kalbarczyk, Z. T. & Iyer, R. K., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 515-528 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

Open Access

A Communication-Efficient Multi-Agent Actor-Critic Algorithm for Distributed Reinforcement Learning

Lin, Y., Zhang, K., Yang, Z., Wang, Z., Basar, T., Sandhu, R. & Liu, J., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 5562-5567 6 p. 9029257. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

A comparison of glenohumeral joint kinematics and muscle activation during standard and geared manual wheelchair mobility

Slavens, B. A., Jahanian, O., Schnorenberg, A. J. & Hsiao-Wecksler, E. T., Aug 2019, In : Medical Engineering and Physics. 70, p. 1-8 8 p.

Research output: Contribution to journalArticle

A complete formal semantics of x86-64 user-level instruction set architecture

Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Roşu, G., 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. 1133-1148 16 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

A Computationally Efficient Model for Predicting Successful Memory Encoding Using Machine-Learning-based EEG Channel Selection

Saboo, K. V., Varatharajah, Y., Berry, B. M., Sperling, M. R., Gorniak, R., Davis, K. A., Jobst, B. C., Gross, R. E., Lega, B., Sheth, S. A., Kahana, M. J., Kucewicz, M. T., Worrell, G. A. & Iyer, R. K., May 16 2019, 9th International IEEE EMBS Conference on Neural Engineering, NER 2019. IEEE Computer Society, p. 323-327 5 p. 8717057. (International IEEE/EMBS Conference on Neural Engineering, NER; vol. 2019-March).

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

A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems

Chen, J., Feng, Z., Wen, J. Y., Liu, B. & Sha, L., 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. 1222-1227 6 p. 8714888. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

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

ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

Alpuente, M., Ballis, D., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 171-181 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11468 LNAI).

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

Adaptive covariance estimation of LiDAR-based positioning errors for UAVs

Shetty, A. & Xingxin Gao, G., Jun 1 2019, In : Navigation, Journal of the Institute of Navigation. 66, 2, p. 463-476 14 p.

Research output: Contribution to journalArticle

Adaptive sequential machine learning

Wilson, C., Bu, Y. & Veeravalli, V. V., Oct 2 2019, In : Sequential Analysis. 38, 4, p. 545-568 24 p.

Research output: Contribution to journalArticle

Adaptive Sequential Stochastic Optimization

Wilson, C., Veeravalli, V. V. & Nedic, A., Feb 2019, In : IEEE Transactions on Automatic Control. 64, 2, p. 496-509 14 p., 8316928.

Research output: Contribution to journalArticle

Additively manufactured impinging air jet cooler for high-power electronic devices

Kwon, B., Foulkes, T., Yang, T., Miljkovic, N. & King, W. P., May 2019, Proceedings of the 18th InterSociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems, ITherm 2019. IEEE Computer Society, p. 941-945 5 p. 8757389. (InterSociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems, ITHERM; vol. 2019-May).

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

Adversarial Multi-user Bandits for Uncoordinated Spectrum Access

Bande, M. & Veeravalli, V. V., May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4514-4518 5 p. 8682263. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

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

Adversarial perturbations to manipulate the perception of power and influence in networks

Avram, M. V., Mishra, S., Parulian, N. N. & Diesner, J., Aug 27 2019, Proceedings of the 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2019. Spezzano, F., Chen, W. & Xiao, X. (eds.). Association for Computing Machinery, Inc, p. 986-994 9 p. (Proceedings of the 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2019).

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

A figure of merit for assertions in verification

Hertz, S., Pal, D., Offenberger, S. & Vasudevan, S., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 675-680 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

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

A Finite Sample Analysis of the Actor-Critic Algorithm

Yang, Z., Zhang, K., Hong, M. & Basar, T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2759-2764 6 p. 8619440. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Agile research

Twidale, M. & Hansen, P., Jan 1 2019, In : First Monday. 24, 1, 5.

Research output: Contribution to journalArticle