Research Output

2018

A formal verification tool for ethereum VM bytecode

Park, D., Zhang, Y., Saxena, M., Daian, P. & Roşu, G., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 912-915 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

A game theoretical framework for inter-process adversarial intervention detection

Sayin, M. O., Hosseini, H., Poovendran, R. & Başar, T., Jan 1 2018, Decision and Game Theory for Security - 9th International Conference, GameSec 2018, Proceedings. Bushnell, L., Poovendran, R. & Basar, T. (eds.). Springer-Verlag Berlin Heidelberg, p. 486-507 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11199 LNCS).

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

Aggio: A coupon safe for privacy-preserving smart retail environments

Harris, A. F., Kravets, R. & Snader, R., Dec 6 2018, Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018. Institute of Electrical and Electronics Engineers Inc., p. 174-186 13 p. 8567665. (Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018).

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

A language-independent approach to smart contract verification

Chen, X., Park, D. & Roşu, G., Jan 1 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 405-413 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

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

A language-independent program verification framework

Chen, X. & Roşu, G., Jan 1 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 92-102 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

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

A large-scale empirical study on android runtime-permission rationale messages

Liu, X., Leng, Y., Yang, W., Wang, W., Zhai, C. & 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. 137-146 10 p. 8506574. (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

A large-scale study of test coverage evolution

Hilton, M., Bell, J. & Marinov, D., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 53-63 11 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

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

Algorithmic attack synthesis using hybrid dynamics of power grid critical infrastructures

Huang, Z., Etigowni, S., Garcia, L., Mitra, S. & Zonouz, S., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018. Institute of Electrical and Electronics Engineers Inc., p. 151-162 12 p. 8416479. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018).

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

AliDrone: Enabling trustworthy proof-of-alibi for commercial drone compliance

Liu, T., Hojjati, A., Bates, A. & Nahrstedt, K., Jul 19 2018, Proceedings - 2018 IEEE 38th International Conference on Distributed Computing Systems, ICDCS 2018. Institute of Electrical and Electronics Engineers Inc., p. 841-852 12 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2018-July).

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

A microfabrication approach for making metallic mechanical metamaterials

Dong, L., King, W. P., Raleigh, M. & Wadley, H. N. G., Dec 15 2018, In : Materials and Design. 160, p. 147-168 22 p.

Research output: Contribution to journalArticle

A ML-based runtime system for executing dataflow graphs on heterogeneous processors

Banerjee, S. S., Athreya, A. P., Kalbarczyk, Z., Lumetta, S. & Iyer, R. K., Oct 11 2018, SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, 1 p. (SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing).

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

A Multi-Functional In-Memory Inference Processor Using a Standard 6T SRAM Array

Kang, M., Gonugondla, S. K., Patil, A. & Shanbhag, N. R., Feb 2018, In : IEEE Journal of Solid-State Circuits. 53, 2, p. 642-655 14 p., 8246704.

Research output: Contribution to journalArticle

Analysis of privacy protections in fitness tracking social networks-or-you can run, but can you hide?

Hassan, W. U., Hussain, S. & Bates, A., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 497-512 16 p. (Proceedings of the 27th USENIX Security Symposium).

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

Analysis of Stepping Stone Attacks in Dynamic Vulnerability Graphs

Gamarra, M., Shetty, S., Nicol, D. M., Gonazlez, O., Kamhoua, C. A. & Njilla, L., Jul 27 2018, 2018 IEEE International Conference on Communications, ICC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8422723. (IEEE International Conference on Communications; vol. 2018-May).

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

An Analytical Method to Determine Minimum Per-Layer Precision of Deep Neural Networks

Sakr, C. & 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. 1090-1094 5 p. 8461702. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

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

An approach to distributed parametric learning with streaming data

Liu, J., Liu, Y., Nedić, A. & Başar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 3206-3211 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

An average queue-length-difference–based congestion detection algorithm in TCP/AQM network

Zhu, J., Luo, T., Yang, L., Xie, W. & Dullerud, G. E., May 2018, In : International Journal of Adaptive Control and Signal Processing. 32, 5, p. 742-752 11 p.

Research output: Contribution to journalArticle

An Efficient Sampling Algorithm for Network Motif Detection

Chen, Y. & Chen, Y., Jul 3 2018, In : Journal of Computational and Graphical Statistics. 27, 3, p. 503-515 13 p.

Research output: Contribution to journalArticle

An Efficient Strategy for Model Composition in the Möbius Modeling Environment

Masetti, G., Chiaradonna, S., Di Giandomenico, F., Feddersen, B. & Sanders, W. H., Nov 9 2018, Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018. Institute of Electrical and Electronics Engineers Inc., p. 116-119 4 p. 8530770. (Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018).

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

An empirical study of android test generation tools in industrial cases

Wang, W., Cao, Y., Li, D., Zhang, Z., Deng, Y., Yang, W. & Xie, T., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 738-748 11 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

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

A neuromechanical model of reduced dorsiflexor torque during the anticipatory postural adjustments of gait initiation

Petrucci, M. N., Diberardino, L. A., MacKinnon, C. D. & Hsiao-Wecksler, E. T., Nov 2018, In : IEEE Transactions on Neural Systems and Rehabilitation Engineering. 26, 11, p. 2210-2216 7 p., 8486966.

Research output: Contribution to journalArticle

An extensible, regular-expression-based tool for multi-language mutant generation

Groce, A., Holmes, J., Marinov, D., Shi, A. & Zhang, L., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 25-28 4 p. (Proceedings - International Conference on Software Engineering).

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

An In-Memory VLSI Architecture for Convolutional Neural Networks

Kang, M., Lim, S., Gonugondla, S. & Shanbhag, N. R., Sep 2018, In : IEEE Journal on Emerging and Selected Topics in Circuits and Systems. 8, 3, p. 494-505 12 p., 8345293.

Research output: Contribution to journalArticle

Annotating gene sets by mining large literature collections with protein networks

Wang, S., Ma, J., Yu, M. K., Zheng, F., Huang, E. W., Han, J., Peng, J. & Ideker, T., Jan 1 2018, In : Pacific Symposium on Biocomputing. 0, 212669, p. 602-613 12 p.

Research output: Contribution to journalConference article

An online risk index for the cross-sectional prediction of new HIV chlamydia, and gonorrhea diagnoses across U.S. counties and across years

Chan, M. P. S., Lohmann, S., Morales, A., Zhai, C., Ungar, L., Holtgrave, D. R. & Albarracín, D., Jul 2018, In : AIDS and Behavior. 22, 7, p. 2322-2333 12 p.

Research output: Contribution to journalArticle

An Ontology Framework for Generating Discrete-Event Stochastic Models

Keefe, K., Feddersen, B., Rausch, M., Wright, R. & Sanders, W. H., Jan 1 2018, Computer Performance Engineering - 15th European Workshop, EPEW 2018, Proceedings. Remke, A., Ballarini, P., Barbot, B., Bakhshi, R. & Castel-Taleb, H. (eds.). Springer-Verlag, p. 173-189 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11178 LNCS).

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

ApDeepSense: Deep learning uncertainty estimation without the pain for IoT applications

Yao, S., Zhao, Y., Shao, H., Zhang, C., Zhang, A., Liu, D., Liu, S., Su, L. & Abdelzaher, T., Jul 19 2018, Proceedings - 2018 IEEE 38th International Conference on Distributed Computing Systems, ICDCS 2018. Institute of Electrical and Electronics Engineers Inc., p. 334-343 10 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2018-July).

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

A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services

Zhang, M., Wo, T. & Xie, T., Aug 22 2018, 2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018. Institute of Electrical and Electronics Engineers Inc., 8444581. (2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018).

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

Application level hardware tracing for scaling post-silicon debug

Pal, D., Sharma, A., Ray, S., De Paula, F. M. & Vasudevan, S., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., a92. (Proceedings - Design Automation Conference; vol. Part F137710).

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

Application of a Message-Passing Decomposition of Sparsely-Coupled Linear Programming Problems to the Uniform Stabilization of Positive Switched Linear Systems

Essick, R. & Dullerud, G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 3780-3785 6 p. 8431432. (Proceedings of the American Control Conference; vol. 2018-June).

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

Applications of group testing to security decision-making in networks

Bolouki, S., Dobakhshari, D. G., Basar, T., Gupta, V. & Nedic, A., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2929-2934 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

Application-Transparent near-memory processing architecture with memory channel network

Alian, M., Min, S. W., Asgharimoghaddam, H., Dhar, A., Wang, D. K., Roewer, T., McPadden, A., O'Halloran, O., Chen, D., Xiong, J., Kim, D., Hwu, W. M. & Kim, N. S., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 802-814 13 p. 8574587. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

Approximate partial order reduction

Fan, C., Huang, Z. & Mitra, S., Jan 1 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 588-607 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

Approximating probabilistic automata by regular languages

Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

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

A provenance model for the european union general data protection regulation

Ujcich, B. E., Bates, A. & Sanders, W. H., Jan 1 2018, Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, Proceedings. Belhajjame, K., Gehani, A. & Alper, P. (eds.). Springer-Verlag Berlin Heidelberg, p. 45-57 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11017 LNCS).

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

Architecture

Connors, D. A. & Hwu, W. M. W., Jan 1 2018, Mechatronic System Control, Logic, and Data Acquisition. CRC Press, p. 24-1-24-22

Research output: Chapter in Book/Report/Conference proceedingChapter

ASketch: A sketching framework for alloy

Wang, K., Sullivan, A., Marinov, D. & Khurshid, S., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 916-919 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

ASPEM: Embedding learning by aspects in heterogeneous information networks

Shi, Y., Gui, H., Zhu, Q., Kaplan, L. & Han, J., Jan 1 2018, p. 144-152. 9 p.

Research output: Contribution to conferencePaper

A spherical hidden Markov model for semantics-rich human mobility modeling

Zhu, W., Zhang, C., Yao, S., Gao, X. & Han, J., Jan 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 4613-4620 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

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

Assessing gait changes in firefighters after firefighting activities and while carrying asymmetric loads

Park, K., Sy, J. F., Horn, G. P., Kesler, R. M., Petrucci, M. N., Rosengren, K. S. & Hsiao-Wecksler, E. T., Jul 2018, In : Applied Ergonomics. 70, p. 44-50 7 p.

Research output: Contribution to journalArticle

Associations of Topics of Discussion on Twitter With Survey Measures of Attitudes, Knowledge, and Behaviors Related to Zika: Probabilistic Study in the United States

Farhadloo, M., Winneg, K., Chan, M. P. S., Jamieson, K. H. & Albarracin, D., Feb 9 2018, In : JMIR public health and surveillance. 4, 1, p. e16

Research output: Contribution to journalArticle

Associative unification and symbolic reasoning modulo associativity in maude

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

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

Asymptotic behavior of a reduced conjunctive Boolean network

Chen, X., Gao, Z. & Basar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4404-4409 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

Athena: Towards decision-centric anticipatory sensor information delivery

Lee, J., Marcus, K., Abdelzaher, T., Amin, T. A., Bar-Noy, A., Dron, W., Govindan, R., Hobbs, R., Hu, S., Kim, J. E., Sha, L., Yao, S. & Zhao, Y., Jan 1 2018, In : Journal of Sensor and Actuator Networks. 7, 1, 5.

Research output: Contribution to journalArticle

Attitudes and Attitude Change

Albarracin, D. & Shavitt, S., Jan 4 2018, In : Annual review of psychology. 69, p. 299-327 29 p.

Research output: Contribution to journalReview article

Audio Based Handwriting Input for Tiny Mobile Devices

Yu, T., Jin, H. & Nahrstedt, K., Jun 26 2018, Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018. Institute of Electrical and Electronics Engineers Inc., p. 130-135 6 p. (Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018).

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

Augmentation of physician assessments with multi-omics enhances predictability of drug response: A case study of major depressive disorder

Athreya, A., Iyer, R., Neavin, D., Wang, L., Weinshilboum, R., Kaddurah-Daouk, R., Rush, J., Frye, M. & Bobo, W., Aug 2018, In : IEEE Computational Intelligence Magazine. 13, 3, p. 20-31 12 p., 8416980.

Research output: Contribution to journalArticle

Augmented Joint Stiffness and Actuation Using Architectures of Soft Pneumatic Actuators

Thompson, N., Zhang, X., Ayala, F., Hsiao-Wecksler, E. T. & Krishnan, G., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 1533-1538 6 p. 8460746. (Proceedings - IEEE International Conference on Robotics and Automation).

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

A Unified Framework for Decentralized Control Synthesis

Naghnaeian, M., Voulgaris, P. G. & Elia, N., Nov 27 2018, 2018 European Control Conference, ECC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2482-2487 6 p. 8550564. (2018 European Control Conference, ECC 2018).

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