Research Output

2019

REINAM: Reinforcement learning for input-grammar inference

Wu, Z., Johnson, E., Yang, W., Bastani, O., Song, D., Peng, J. & 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. 488-498 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

Replica: A Wireless Manycore for Communication-Intensive and Approximate Data

Fernando, V., Franques, A., Abadal, S., Misailovic, S. & Torrellas, J., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 849-863 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

Repurposing: Another R to prioritize in data curation

Twidale, M., Blake, C., Souden, M., Stelmack, J. & Kim, J., Jan 1 2019, In : Proceedings of the Association for Information Science and Technology. 56, 1, p. 785-787 3 p.

Research output: Contribution to journalArticle

Resilient distributed optimal generation dispatch for lossy AC microgrids

Zholbaryssov, M., Fooladivanda, D. & Dominguez-Garcia, A., Jan 2019, In : Systems and Control Letters. 123, p. 47-54 8 p.

Research output: Contribution to journalArticle

Reusable inline caching for Javascript performance

Choi, J., Shull, T. & Torrellas, J., 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. 889-901 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

Revisiting Client Puzzles for State Exhaustion Attacks Resilience

Noureddine, M. A., Fawaz, A. M., Hsu, A., Guldner, C., Vijay, S., Basar, T. & Sanders, W. H., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 617-629 13 p. 8809536. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

Ridesharing systems with electric vehicles

Mamalis, T., Bose, S. & Varshney, L. R., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 3329-3334 6 p. 8815109. (Proceedings of the American Control Conference; vol. 2019-July).

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

Risk-sensitive energy procurement with uncertain wind

Madavan, A. N. & Bose, S., Nov 2019, GlobalSIP 2019 - 7th IEEE Global Conference on Signal and Information Processing, Proceedings. Institute of Electrical and Electronics Engineers Inc., 8969200. (GlobalSIP 2019 - 7th IEEE Global Conference on Signal and Information Processing, Proceedings).

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

Risk-Sensitive Mean Field Games via the Stochastic Maximum Principle

Moon, J. & Başar, T., Dec 1 2019, In : Dynamic Games and Applications. 9, 4, p. 1100-1125 26 p.

Research output: Contribution to journalArticle

Risk-Sensitive Security-Constrained Economic Dispatch via Critical Region Exploration

Madavan, A. N., Bose, S., Guo, Y. & Tong, L., Aug 2019, 2019 IEEE Power and Energy Society General Meeting, PESGM 2019. IEEE Computer Society, 8974133. (IEEE Power and Energy Society General Meeting; vol. 2019-August).

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

Risk-Sensitive Zero-Sum Differential Games

Moon, J., Duncan, T. E. & Basar, M. T., Apr 2019, In : IEEE Transactions on Automatic Control. 64, 4, p. 1503-1518 16 p., 8378056.

Research output: Contribution to journalArticle

Robustifying network protocols with adversarial examples

Gilad, T., Jay, N. H., Shnaiderman, M., Godfrey, B. & Schapira, M., Nov 13 2019, HotNets 2019 - Proceedings of the 18th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 85-92 8 p. (HotNets 2019 - Proceedings of the 18th ACM Workshop on Hot Topics in Networks).

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

Robustra: Training provable robust neural networks over reference adversarial space

Li, L., Zhong, Z., Li, B. & Xie, T., Jan 1 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 4711-4717 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

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

Root cause localization for unreproducible builds via causality analysis over system call tracing

Ren, Z., Liu, C., Xiao, X., Jiang, H. & Xie, T., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 527-538 12 p. 8952375. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

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

Runtime verification-17 years later

Havelund, K. & Roşu, G., Jan 1 2019, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Colombo, C. & Leucker, M. (eds.). Springer-Verlag, p. 3-17 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

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

SADeepSense: Self-Attention Deep Learning Framework for Heterogeneous On-Device Sensors in Internet of Things Applications

Yao, S., Zhao, Y., Shao, H., Liu, D., Liu, S., Hao, Y., Piao, A., Hu, S., Lu, S. & Abdelzaher, T., Apr 2019, INFOCOM 2019 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1243-1251 9 p. 8737500. (Proceedings - IEEE INFOCOM; vol. 2019-April).

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

Scalable 360° Video Stream Delivery: Challenges, Solutions, and Opportunities

Zink, M., Sitaraman, R. & Nahrstedt, K., Apr 2019, In : Proceedings of the IEEE. 107, 4, p. 639-650 12 p., 8643410.

Research output: Contribution to journalArticle

Scheduling shared data acquisition for real-time decision making

Cheng, T. S. & Abdelzaher, T., Aug 2019, Proceedings - 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019. Institute of Electrical and Electronics Engineers Inc., 8864560. (Proceedings - 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019).

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

Scientific tests and continuous integration strategies to enhance reproducibility in the scientific software context

Krafczyk, M., Shi, A., Bhaskar, A., Marinov, D. & Stodden, V., Jun 17 2019, P-RECS 2019 - Proceedings of the 2nd International Workshop on Practical Reproducible Evaluation of Computer Systems, co-located with HPDC 2019. Association for Computing Machinery, Inc, p. 23-28 6 p. (P-RECS 2019 - Proceedings of the 2nd International Workshop on Practical Reproducible Evaluation of Computer Systems, co-located with HPDC 2019).

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

SDN Resiliency to Controller Failure in Mobile Contexts

Nicol, D. M. & Kumar, R., Dec 2019, 2019 Winter Simulation Conference, WSC 2019. Institute of Electrical and Electronics Engineers Inc., p. 2831-2842 12 p. 9004899. (Proceedings - Winter Simulation Conference; vol. 2019-December).

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

Search bias quantification: investigating political bias in social media and web search

Kulshrestha, J., Eslami, M., Messias, J., Zafar, M. B., Ghosh, S., Gummadi, K. P. & Karahalios, K., Apr 15 2019, In : Information Retrieval Journal. 22, 1-2, p. 188-227 40 p.

Research output: Contribution to journalArticle

Search tactics used in solving everyday how-to technical tasks: Repertoire, selection and tenacity

Rutter, S., Blinzler, V., Ye, C., Wilson, M. L. & Twidale, M. B., May 2019, In : Information Processing and Management. 56, 3, p. 919-938 20 p.

Research output: Contribution to journalArticle

Open Access

SecDir: A secure directory to defeat directory side-channel attacks

Yan, M., Wen, J. Y., Fletcher, C. W. & Torrellas, J., Jun 22 2019, ISCA 2019 - Proceedings of the 2019 46th International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 332-345 14 p. (Proceedings - International Symposium on Computer Architecture).

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

Secure integration of electric vehicles with the power grid

Niddodi, C., Lin, S., Mohan, S. & Zhu, H., Oct 2019, 2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2019. Institute of Electrical and Electronics Engineers Inc., 8909774. (2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2019).

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

Security risk assessment for SDN-enabled smart grids

Maziku, H., Shetty, S. & Nicol, D. M., Jan 2019, In : Computer Communications. 133, p. 1-11 11 p.

Research output: Contribution to journalArticle

Security via multirate control in cyber–physical systems

Naghnaeian, M., Hirzallah, N. H. & Voulgaris, P. G., Feb 2019, In : Systems and Control Letters. 124, p. 12-18 7 p.

Research output: Contribution to journalArticle

Selecting the most desirable IT portfolio under various risk tolerance levels

Huang, Y. H., Tu, Y. J., Strader, T. J., Shaw, M. J-P. & Subramanyam, R., Oct 1 2019, In : Information Resources Management Journal. 32, 4, p. 1-19 19 p.

Research output: Contribution to journalArticle

Selective Autonomous Molecular Transport and Collection by Hydrogel-Embedded Supramolecular Chemical Gradients

Zhang, S., Zhang, C., Chen, H., Kieffer, S. J., Neubrech, F., Giessen, H., Alleyne, A. G. & Braun, P. V., Dec 9 2019, In : Angewandte Chemie - International Edition. 58, 50, p. 18165-18170 6 p.

Research output: Contribution to journalArticle

Sensitivity Analysis of Continuous-Time Systems based on Power Spectral Density

Wan, N., Li, D. & Hovakimyan, N., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2549-2554 6 p. 8619522. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Sensor lattices: Structures for comparing information feedback

Lavalle, S. M., Jul 2019, 12th International Workshop on Robot Motion and Control, RoMoCo 2019 - Workshop Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 239-246 8 p. 8787364. (12th International Workshop on Robot Motion and Control, RoMoCo 2019 - Workshop Proceedings).

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

Sensor training data reduction for autonomous vehicles

Tomei, M., Schwing, A., Narayanasamy, S. & Kumar, R., Oct 7 2019, HotEdgeVideo 2019 - Proceedings of the 2019 Workshop on Hot Topics in Video Analytics and Intelligent Edges, co-located with MobiCom 2019. Association for Computing Machinery, p. 45-50 6 p. (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

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

Sequential anomaly detection with observation control

Tsopelakos, A., Fellouris, G. & Veeravalli, V. V., Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2389-2393 5 p. 8849555. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

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

Sequential public signaling in routing games with feedback information

Li, L., Massicot, O. & Langbort, C., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2735-2740 6 p. 8619619. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Shannon-Inspired Statistical Computing for the Nanoscale Era

Shanbhag, N. R., Verma, N., Kim, Y., Patil, A. D. & Varshney, L. R., Jan 2019, In : Proceedings of the IEEE. 107, 1, p. 90-107 18 p., 8482253.

Research output: Contribution to journalArticle

Shared polygenic risk and causal inferences in amyotrophic lateral sclerosis

The ITALSGEN Consortium & The International ALS Genomics Consortium, Apr 2019, In : Annals of Neurology. 85, 4, p. 470-481 12 p.

Research output: Contribution to journalArticle

Shortened Regenerating Codes

Duursma, I. M., Feb 2019, In : IEEE Transactions on Information Theory. 65, 2, p. 1000-1007 8 p., 8367855.

Research output: Contribution to journalArticle

Short Paper: I Can’t Believe It’s Not Stake! Resource Exhaustion Attacks on PoS

Kanjalkar, S., Kuo, J., Li, Y. & Miller, A., Jan 1 2019, Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Revised Selected Papers. Goldberg, I. & Moore, T. (eds.). Springer, p. 62-69 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11598 LNCS).

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

Should we use an abstract comic form to persuade? Experiments with online charitable donation

Xiao, Z., Ho, P. S., Wang, X., Karahalios, K. & Sundaram, H., Nov 2019, In : Proceedings of the ACM on Human-Computer Interaction. 3, CSCW, 75.

Research output: Contribution to journalEditorial

Similarity modeling on heterogeneous networks via automatic path discovery

Yang, C., Liu, M., He, F., Zhang, X., Peng, J. & Han, J., Jan 1 2019, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2018, Proceedings. Bonchi, F., Berlingerio, M., Gärtner, T., Hurley, N. & Ifrim, G. (eds.). Springer-Verlag, p. 37-54 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11052 LNAI).

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

Simulation-based analysis of network rules matching

Nicol, D. M., May 29 2019, SIGSIM-PADS 2019 - Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. Association for Computing Machinery, Inc, p. 49-60 12 p. (SIGSIM-PADS 2019 - Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation).

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

Simulation evaluation of fuel-saving systems in the city of Chicago

Zhao, Y., Yao, S., Liu, D., Shao, H., Liu, S. & Abdelzaher, T., Jul 2019, ICCCN 2019 - 28th International Conference on Computer Communications and Networks. Institute of Electrical and Electronics Engineers Inc., 8846953. (Proceedings - International Conference on Computer Communications and Networks, ICCCN; vol. 2019-July).

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

Simultaneous metabolic and functional imaging of the brain using SPICE

Guo, R., Zhao, Y., Li, Y., Li, Y. & Liang, Z-P., Dec 1 2019, In : Magnetic Resonance in Medicine. 82, 6, p. 1993-2002 10 p.

Research output: Contribution to journalArticle

Small group use of communication technologies: a comparison of modality on group outcomes

Dobosh, M. A., Poole, M. S. & Malik, R., Aug 8 2019, In : Communication Research Reports. 36, 4, p. 298-308 11 p.

Research output: Contribution to journalArticle

SmartCrowd: Decentralized and automated incentives for distributed IoT system detection

Wu, B., Xu, K., Li, Q., Liu, Z., Hu, Y. C., Zhang, Z., Du, X., Liu, B. & Ren, S., Jul 2019, Proceedings - 2019 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 1106-1116 11 p. 8884853. (Proceedings - International Conference on Distributed Computing Systems; vol. 2019-July).

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

Socially aware path planning for a flying robot in close proximity of humans

Yoon, H. J., Widdowson, C., Marinho, T., Wang, R. F. & Hovakimyan, N., Oct 2019, In : ACM Transactions on Cyber-Physical Systems. 3, 4, 3341570.

Research output: Contribution to journalArticle

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method

Sullivan, A., Marinov, D. & Khurshid, S., Jan 1 2019, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings. Ait-Ameur, Y. & Qin, S. (eds.). Springer, p. 336-352 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11852 LNCS).

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

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants

Neider, D., Saha, S., Garg, P. & Madhusudan, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 323-346 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

SparSDR: Sparsity-proportional Backhaul and Compute for SDRs

Khazraee, M., Guddeti, Y., Crow, S., Snoeren, A. C., Levchenko, K., Bharadia, D. & Schulman, A., Jun 12 2019, MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 391-403 13 p. (MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services).

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

Open Access

Sparse and balanced reed-solomon and tamo-barg codes

Halbawi, W., Liu, Z., Duursma, I. M., Dau, H. & Hassibi, B., Jan 2019, In : IEEE Transactions on Information Theory. 65, 1, p. 118-130 13 p., 8478350.

Research output: Contribution to journalArticle