Research Output

2021

A Study of Social Media Behaviors and Mental Health Wellbeing from a Privacy Perspective

Wang, T. & Bashir, M., 2021, Advances in Artificial Intelligence, Software and Systems Engineering - Proceedings of the AHFE 2020 Virtual Conferences on Software and Systems Engineering, and Artificial Intelligence and Social Computing. Ahram, T. (ed.). Springer, p. 137-144 8 p. (Advances in Intelligent Systems and Computing; vol. 1213 AISC).

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

Controller hardware in the loop testing of microgrid secondary frequency control schemes

Nigam, S., Ajala, O., Dominguez-Garcia, A. & Sauer, P. W., Jan 2021, In : Electric Power Systems Research. 190, 106757.

Research output: Contribution to journalArticle

Towards the construction of a class of grid operational flexibility metrics

Abrantes, A. L. & Gross, G., Jan 2021, In : Electric Power Systems Research. 190, 106674.

Research output: Contribution to journalArticle

Open Access
2020

Accelerating T2 mapping of the brain by integrating deep learning priors with low-rank and sparse modeling

Meng, Z., Guo, R., Li, Y., Guan, Y., Wang, T., Zhao, Y., Sutton, B., Li, Y. & Liang, Z-P., Sep 29 2020, In : Magnetic Resonance in Medicine.

Research output: Contribution to journalArticle

A composite phase change material thermal buffer based on porous metal foam and low-melting-temperature metal alloy

Yang, T., Kang, J. G., Weisensee, P. B., Kwon, B., Braun, P. V., Miljkovic, N. & King, W. P., Feb 18 2020, In : Applied Physics Letters. 116, 7, 071901.

Research output: Contribution to journalArticle

Open Access

A consensus-based transparency checklist

Aczel, B., Szaszi, B., Sarafoglou, A., Kekecs, Z., Kucharský, Š., Benjamin, D., Chambers, C. D., Fisher, A., Gelman, A., Gernsbacher, M. A., Ioannidis, J. P., Johnson, E., Jonas, K., Kousta, S., Lilienfeld, S. O., Lindsay, D. S., Morey, C. C., Munafò, M., Newell, B. R., Pashler, H. & 47 others, Shanks, D. R., Simons, D. J., Wicherts, J. M., Albarracin, D., Anderson, N. D., Antonakis, J., Arkes, H. R., Back, M. D., Banks, G. C., Beevers, C., Bennett, A. A., Bleidorn, W., Boyer, T. W., Cacciari, C., Carter, A. S., Cesario, J., Clifton, C., Conroy, R. M., Cortese, M., Cosci, F., Cowan, N., Crawford, J., Crone, E. A., Curtin, J., Engle, R., Farrell, S., Fearon, P., Fichman, M., Frankenhuis, W., Freund, A. M., Gaskell, M. G., Giner-Sorolla, R., Green, D. P., Greene, R. L., Harlow, L. L., de la Guardia, F. H., Isaacowitz, D., Kolodner, J., Lieberman, D., Logan, G. D., Mendes, W. B., Moersdorf, L., Nyhan, B., Pollack, J., Sullivan, C., Vazire, S. & Wagenmakers, E. J., Jan 1 2020, In : Nature human behaviour. 4, 1, p. 4-6 3 p.

Research output: Contribution to journalComment/debate

Open Access

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.

Research output: Contribution to journalArticle

Adaptive control designs for control-based continuation in a class of uncertain discrete-time dynamical systems

Li, Y. & Dankowicz, H., Jan 1 2020, (Accepted/In press) In : JVC/Journal of Vibration and Control. 26, 21-22, p. 2092-2109 18 p.

Research output: Contribution to journalArticle

A Data-Driven Graph Generative Model for Temporal Interaction Networks

Zhou, D., Zheng, L., Han, J. & He, J., Aug 23 2020, KDD 2020 - Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 401-411 11 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

A First-Order Logic with Frames

Murali, A., Peña, L., Löding, C. & Madhusudan, P., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 515-543 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

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

Open Access

A framework for supporting the development of verifiably safe medical best practice guideline systems

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Mar 2020, In : Journal of Systems Architecture. 104, 101693.

Research output: Contribution to journalArticle

A Game-Theoretic Framework for Multiperiod-Multicompany Demand Response Management in the Smart Grid

Alshehri, K., Liu, J., Chen, X. & Basar, T., Jan 1 2020, (Accepted/In press) In : IEEE Transactions on Control Systems Technology.

Research output: Contribution to journalArticle

A general approach to define binders using matching logic

Chen, X. & Rosu, G., Aug 2 2020, In : Proceedings of the ACM on Programming Languages. 4, ICFP, 88.

Research output: Contribution to journalArticle

Open Access

A Hypothesis Testing Approach to Sharing Logs with Confidence

Long, Y., Xu, L. & Gunter, C. A., Mar 16 2020, CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 307-318 12 p. (CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy).

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

Air Jet Impingement Cooling of Electronic Devices Using Additively Manufactured Nozzles

Kwon, B., Foulkes, T., Yang, T., Miljkovic, N. & King, W. P., Feb 2020, In : IEEE Transactions on Components, Packaging and Manufacturing Technology. 10, 2, p. 220-229 10 p., 8809671.

Research output: Contribution to journalArticle

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

Neider, D., Madhusudan, P., Saha, S., Garg, P. & Park, D., 2020, (Accepted/In press) In : Journal of Automated Reasoning.

Research output: Contribution to journalArticle

Open Access

A Linux in unikernel clothing

Kuo, H. C., Williams, D., Koller, R. & Mohan, S., Apr 15 2020, Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020. Association for Computing Machinery, Inc, (Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020).

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

Open Access

A multilevel sampled-data approach for resilient navigation and control of autonomous systems

Jafarnejadsani, H., Wan, N., Hovakimyan, N. & Voulgaris, P. G., Feb 1 2020, In : International Journal of Robust and Nonlinear Control. 30, 3, p. 1071-1097 27 p.

Research output: Contribution to journalArticle

Analysis, Estimation, and Validation of Discrete-Time Epidemic Processes

Pare, P. E., Liu, J., Beck, C. L., Kirwan, B. E. & Basar, T., Jan 2020, In : IEEE Transactions on Control Systems Technology. 28, 1, p. 79-93 15 p., 8488684.

Research output: Contribution to journalArticle

An Analysis of Phishing Emails and How the Human Vulnerabilities are Exploited

Sharma, T. & Bashir, M., 2020, Advances in Human Factors in Cybersecurity - AHFE 2020 Virtual Conference on Human Factors in Cybersecurity. Corradini, I., Nardelli, E. & Ahram, T. (eds.). Springer, p. 49-55 7 p. (Advances in Intelligent Systems and Computing; vol. 1219 AISC).

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

An Evaluation of Educational Institutions Reopening Strategies for In-person Classes Safely Amid the COVID-19 Pandemic

Mukherjee, U. K., Bose, S., Ivanov, A., Souyris, S., Seshadri, S., Sridhar, P., Watkins, R. & Yu, Y., Sep 12 2020, (In preparation) Cold Spring Harbor Laboratory Press, 19 p. (medRxiv).

Research output: Working paper

A New Fully-Distributed Arbitration-Based Membership Protocol

Ahsan, S. B. & Gupta, I., Jul 2020, INFOCOM 2020 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 716-725 10 p. 9155481. (Proceedings - IEEE INFOCOM; vol. 2020-July).

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

A New Variational Method for Deep Supervised Semantic Image Hashing

Zhuang, F. & Moulin, P., May 2020, 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4532-4536 5 p. 9053665. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2020-May).

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

An examination of dispositional trust in human and autonomous system interactions

Ferronato, P. & Bashir, M., 2020, Human-Computer Interaction. Human Values and Quality of Life - Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Proceedings. Kurosu, M. (ed.). Springer, p. 420-435 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12183 LNCS).

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

An Improved Iterative Learning Control for Uncertain Multi-Axis Systems

Armstrong, A. A. & Alleyne, A. G., Jul 2020, 2020 American Control Conference, ACC 2020. Institute of Electrical and Electronics Engineers Inc., p. 4810-4816 7 p. 9147845. (Proceedings of the American Control Conference; vol. 2020-July).

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

A partial evaluation framework for order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.

Research output: Contribution to journalArticle

Open Access

A Physics-Motivated DNN for X-Ray CT Scatter Correction

Iskender, B. & Bresler, Y., Apr 2020, ISBI 2020 - 2020 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, p. 609-613 5 p. 9098512. (Proceedings - International Symposium on Biomedical Imaging; vol. 2020-April).

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

A recurrent Markov state-space generative model for sequences

Ramachandran, A., Lumetta, S. S., Klee, E. & Chen, D., 2020.

Research output: Contribution to conferencePaper

A Simplified Approach to Analyze Complementary Sensitivity Tradeoffs in Continuous-Time and Discrete-Time Systems

Wan, N., Li, D. & Hovakimyan, N., Apr 2020, In : IEEE Transactions on Automatic Control. 65, 4, p. 1697-1703 7 p., 8793137.

Research output: Contribution to journalArticle

A Sparse Latent Class Model for Cognitive Diagnosis

Chen, Y., Culpepper, S. & Liang, F., Mar 1 2020, In : Psychometrika. 85, 1, p. 121-153 33 p.

Research output: Contribution to journalArticle

Assessing and mitigating impact of time delay attack: Case studies for power grid controls

Lou, X., Tran, C., Tan, R., Yau, D. K. Y., Kalbarczyk, Z. T., Banerjee, A. K. & Ganesh, P., Jan 2020, In : IEEE Journal on Selected Areas in Communications. 38, 1, p. 141-155 15 p., 8892729.

Research output: Contribution to journalArticle

A swarm-based approach to dynamic coverage control of multi-agent systems

Atınç, G. M., Stipanović, D. M. & Voulgaris, P. G., Feb 2020, In : Automatica. 112, 108637.

Research output: Contribution to journalArticle

Asymptotic Behavior of Conjunctive Boolean Networks over Weakly Connected Digraphs

Chen, X., Gao, Z. & Basar, T., Jun 2020, In : IEEE Transactions on Automatic Control. 65, 6, p. 2536-2549 14 p., 8770125.

Research output: Contribution to journalArticle

Atomicity checking in linear time using vector clocks

Mathur, U. & Viswanathan, M., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 183-199 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

Open Access

AutoDNNchip: An automated DNN chip predictor and builder for both FPGAs and ASICs

Xu, P., Zhang, X., Hao, C., Zhao, Y., Zhang, Y., Wang, Y., Li, C., Guan, Z., Chen, D. & Lin, Y., Feb 23 2020, FPGA 2020 - 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Association for Computing Machinery, Inc, p. 40-50 11 p. (FPGA 2020 - 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays).

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

Open Access

AutoKnow: Self-Driving Knowledge Collection for Products of Thousands of Types

Dong, X. L., He, X., Kan, A., Li, X., Liang, Y., Ma, J., Xu, Y. E., Zhang, C., Zhao, T., Blanco Saldana, G., Deshpande, S., Michetti Manduca, A., Ren, J., Singh, S. P., Xiao, F., Chang, H. S., Karamanolakis, G., Mao, Y., Wang, Y., Faloutsos, C. & 2 others, McCallum, A. & Han, J., Aug 23 2020, KDD 2020 - Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2724-2734 11 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Open Access

Automatic, location-privacy preserving dashcam video sharing using blockchain and deep learning

Kim, T., Jung, I. Y. & Hu, Y. C., Dec 1 2020, In : Human-centric Computing and Information Sciences. 10, 1, 36.

Research output: Contribution to journalArticle

Open Access

Avoidance Control with Relative Velocity Information for Lagrangian Dynamics

Zhang, W., Rodríguez-Seda, E. J., Deka, S. A., Amrouche, M., Zhou, D., Stipanović, D. M. & Leitmann, G., Aug 1 2020, In : Journal of Intelligent and Robotic Systems: Theory and Applications. 99, 2, p. 229-244 16 p.

Research output: Contribution to journalArticle

BabelFish: Fusing Address Translations for Containers

Skarlatos, D., Darbaz, U., Gopireddy, B., Kim, N. S. & Torrellas, J., May 2020, Proceedings - 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture, ISCA 2020. Institute of Electrical and Electronics Engineers Inc., p. 501-514 14 p. 9138923. (Proceedings - International Symposium on Computer Architecture; vol. 2020-May).

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

Benanza: Automatic μbenchmark Generation to Compute "lower-bound" Latency and Inform Optimizations of Deep Learning Models on GPUs

Li, C., Dakkak, A., Xiong, J. & Hwu, W. M., May 2020, Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020. Institute of Electrical and Electronics Engineers Inc., p. 440-450 11 p. 9139782. (Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020).

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

Benchmarking Spreadsheet Systems

Rahman, S., Mack, K., Bendre, M., Zhang, R., Karahalios, K. & Parameswaran, A. G., Jun 14 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 1589-1599 11 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Bloom Filter Based Low-Latency Provenance Embedding Schemes in Wireless Networks

Harshan, J., Vithalkar, A., Jhunjhunwala, N., Kabra, M., Manav, P. & Hu, Y. C., May 2020, 2020 IEEE Wireless Communications and Networking Conference, WCNC 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9120640. (IEEE Wireless Communications and Networking Conference, WCNC; vol. 2020-May).

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

Cache telepathy: Leveraging shared resource attacks to learn DNN architectures

Yan, M., Fletcher, C. W. & Torrellas, J., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, p. 2003-2020 18 p. (Proceedings of the 29th USENIX Security Symposium).

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

Open Access

Challenges and Opportunities in the Detection of Safety-Critical Cyberphysical Attacks

Lin, H., Alemzadeh, H., Kalbarczyk, Z. & Iyer, R., Mar 2020, Computer, 53, 3, p. 26-37 12 p.

Research output: Contribution to specialist publicationArticle

Challenges in quantifying an adversary’s cyber access to critical infrastructures

Nicol, D. M., 2020, Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Revised Selected Papers. Nadjm-Tehrani, S. (ed.). Springer, p. 18-28 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11777 LNCS).

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