Research Output

2018

Symbolic reasoning methods in rewriting logic and maude

Meseguer, J., Jan 1 2018, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. Springer-Verlag, p. 25-60 36 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10944 LNCS).

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

Synthesis of liveness enforcing supervisory policies in Petri nets by stepwise refinement

Somnath, N. & Sreenivas, R. S., Feb 5 2018, Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-February. p. 529-534 6 p.

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

Synthetic phonons enable nonreciprocal coupling to arbitrary resonator networks

Peterson, C. W., Kim, S., Bernhard, J. T. & Bahl, G., Jun 8 2018, In : Science Advances. 4, 6, eaat0232.

Research output: Contribution to journalArticle

Systematic generation of non-equivalent expressions for relational algebra

Wang, K., Sullivan, A., Koukoutos, M., Marinov, D. & Khurshid, S., Jan 1 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. Butler, M., Hoang, T. S., Raschke, A. & Reichl, K. (eds.). Springer-Verlag, p. 105-120 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10817 LNCS).

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

Targeted test generation for actor systems

Li, S., Hariri, F. & Agha, G., Jul 1 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 109).

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

TaxoGen: Unsupervised topic taxonomy construction by adaptive term embedding and clustering

Zhang, C., Tao, F., Chen, X., Shen, J., Jiang, M., Sadler, B., Vanni, M. & 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. 2701-2709 9 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Teaching undergraduate courses on robotics and control in prison

Bretl, T. W., Sep 2018, Mechanical Engineering, 140, 9, p. S11-S16.

Research output: Contribution to specialist publicationArticle

Open Access

Technical perspective: The future of MPI

Snir, M., Oct 2018, In : Communications of the ACM. 61, 10, 1 p.

Research output: Contribution to journalComment/debate

Temporal integration of emulation and network simulators on linux multiprocessors

Lamps, J., Babu, V., Nicol, D. M., Adam, V. & Kumar, R., Jan 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 1.

Research output: Contribution to journalArticle

TextCube: Automated construction and multidimensional exploration

Meng, Y., Huang, J., Shang, J. & Han, J., Jan 1 2018, In : Proceedings of the VLDB Endowment. 12, 12, p. 1974-1977 4 p.

Research output: Contribution to journalConference article

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Lucas, S., Meseguer, J. & Gutiérrez, R., Jan 1 2018, (Accepted/In press) In : Journal of Computer and System Sciences.

Research output: Contribution to journalArticle

The algorithm and the user: How can hci use lay understandings of algorithmic systems?

DeVito, M. A., Hancock, J. T., French, M., Antin, J., Karahalios, K. G., Tong, S., Birnholtz, J. & Shklovski, I., 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, panel04. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

The event tracking dashboard: From multilingual social media feeds to event patterns and anomalies

Giridhar, P., Lee, J., Abdelzaher, T. & Kaplan, L., Jan 1 2018, Next-Generation Analyst VI. SPIE, Vol. 10653. 106530V

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

The illusion of control: Placebo effects of control settings

Vaccaro, K., Huang, D., Eslami, M., Sandvig, C., Hamilton, K. & 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

The performance of 9-11-year-old children using an SSVEP-based BCI for target selection

Norton, J. J. S., Mullins, J., Alitz, B. E. & Bretl, T., Jul 27 2018, In : Journal of Neural Engineering. 15, 5, 056012.

Research output: Contribution to journalArticle

The Self-Multiset Sampler

Huang, W., Shen, J. & Chen, Y., Jan 2 2018, In : Journal of Computational and Graphical Statistics. 27, 1, p. 34-47 14 p.

Research output: Contribution to journalArticle

The value proposition of working with universities

Nicol, D. M. & Woeltge, F. W., Jan 1 2018, American Fuel and Petrochemical Manufacturers, AFPM - AFPM Operations and Process Technology Summit: Cybersecurity. American Fuel and Petrochemical Manufacturers (AFPM), p. 1-11 11 p.

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

The Visual–Inertial Canoe Dataset

Miller, M., Chung, S. J. & Hutchinson, S. A., Jan 1 2018, In : The International Journal of Robotics Research. 37, 1, p. 13-20 8 p.

Research output: Contribution to journalArticle

The Web’s sixth sense: A study of scripts accessing smartphone sensors

Das, A., Borisov, N., Acar, G. & Pradeep, A., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1515-1532 18 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

TightRope: Towards optimal load-balancing of paths in anonymous networks

Darir, H., Sibai, H., Borisov, N., Dullerud, G. & Mitra, S., Oct 15 2018, WPES 2018 - Proceedings of the 2018 Workshop on Privacy in the Electronic Society, co-located with CCS 2018. Association for Computing Machinery, p. 76-85 10 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Time-regularized and periodic event-triggered control for linear systems

Borgers, D. P., Dolk, V. S., Dullerud, G. E., Teel, A. R. & Heemels, W. P. M. H., Jan 1 2018, Lecture Notes in Control and Information Sciences. Springer-Verlag, p. 121-149 29 p. (Lecture Notes in Control and Information Sciences; vol. 475).

Research output: Chapter in Book/Report/Conference proceedingChapter

Toward an Internet of Battlefield Things: A Resilience Perspective

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., Nov 2018, Computer, 51, 11, p. 24-36 13 p.

Research output: Contribution to specialist publicationArticle

Towards quality aware information integration in distributed sensing systems

Jiang, W., Miao, C., Su, L., Li, Q., Hu, S., Wang, S., Gao, J., Liu, H., Abdelzaher, T., Han, J., Liu, X., Gao, Y. & Kaplan, L., Jan 2018, In : IEEE Transactions on Parallel and Distributed Systems. 29, 1, p. 198-211 14 p.

Research output: Contribution to journalArticle

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

Tracking Ransomware End-to-end

Huang, D. Y., Aliapoulios, M. M., Li, V. G., Invernizzi, L., Bursztein, E., McRoberts, K., Levin, J., Levchenko, K., Snoeren, A. C. & McCoy, D., Jul 23 2018, Proceedings - 2018 IEEE Symposium on Security and Privacy, SP 2018. Institute of Electrical and Electronics Engineers Inc., p. 618-631 14 p. 8418627. (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

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Agha, G. & Palmskog, K., Jan 1 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, p. 16-37 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

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. W., 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. R., 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. G., 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

Utilization of Water Supply Networks for Harvesting Renewable Energy

Fooladivanda, D., Dominguez-Garcia, A. & Sauer, P. W., Jan 1 2018, (Accepted/In press) In : IEEE Transactions on Control of Network Systems.

Research output: Contribution to journalArticle

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, Vol. 2018-October. p. 323-325 3 p. 8506484

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