Research Output

2019

Reachability in concurrent uninterpreted programs

Torre, S. L. & Parthasarathy, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

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

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

Liu, S., Ölveczky, P. C., Wang, Q., Gupta, I. & Meseguer, J., Nov 1 2019, In : Formal Aspects of Computing. 31, 5, p. 503-540 38 p.

Research output: Contribution to journalArticle

Reading the tea leaves: A comparative analysis of threat intelligence

Li, V. G., Dunn, M., Pearce, P., McCoy, D., Voelker, G. M., Savage, S. & Levchenko, K., Jan 1 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 851-867 17 p. (Proceedings of the 28th USENIX Security Symposium).

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

Recommendations for performance optimizations when using GATK3.8 and GATK4

Heldenbrand, J. R., Baheti, S., Bockol, M. A., Drucker, T. M., Hart, S. N., Hudson, M. E., Iyer, R. K., Kalmbach, M. T., Kendig, K. I., Klee, E. W., Mattson, N. R., Wieben, E. D., Wiepert, M., Wildman, D. E. & Mainzer, L. S., Nov 8 2019, In : BMC bioinformatics. 20, 1, 557.

Research output: Contribution to journalArticle

Open Access

Recovery of desired flying characteristics with an l1 adaptive control law: Flight test results on calspan’s vss learjet

Ackerman, K. A., Navarro, J. P., Hovakimyan, N., Cotting, M. C., Duke, D. J., Carrera, M. J., McCaskey, N. C., Esposito, D., Peterson, J. M. & Tellefsen, J. R., 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

Region and effect inference for safe parallelism

Tzannes, A., Heumann, S. T., Eloussi, L., Vakilian, M., Adve, V. S. & Han, M., Jun 15 2019, In : Automated Software Engineering. 26, 2, p. 463-509 47 p.

Research output: Contribution to journalArticle

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. & Domínguez-García, A. D., 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, 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

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. F., 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. D., 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 Brokered Delegation Through DelegaTEE

Schneider, M., Matetic, S., Juels, A., Miller, A. & Capkun, S., Jul 1 2019, In : IEEE Security and Privacy. 17, 4, p. 43-52 10 p., 8706929.

Research output: Contribution to journalArticle

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

Secure Linear Quadratic Regulator Using Sparse Model-Free Reinforcement Learning

Kiumarsi, B. & Basar, T., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 3641-3647 7 p. 9028861. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

Sequential synthesis of supervisory policies for discrete-event systems modeled by petri nets

Raman, A. & Sreenivas, R. S., Oct 2019, 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019. Institute of Electrical and Electronics Engineers Inc., p. 2372-2377 6 p. 8914207. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 2019-October).

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

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 Berlin Heidelberg, 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