Research Output

2018

Enabling GPU support for the COMPSs-mobile framework

Lordan, F., Badia, R. M. & Hwu, W. M., Jan 1 2018, Accelerator Programming Using Directives - 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Proceedings. Juckeland, G. & Chandrasekaran, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 83-102 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10732 LNCS).

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

Enabling Work-Conserving Bandwidth Guarantees for Multi-Tenant Datacenters via Dynamic Tenant-Queue Binding

Liu, Z., Chen, K., Wu, H., Hu, S., Hu, Y. C., Wang, Y. & Zhang, G., Oct 8 2018, INFOCOM 2018 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1-9 9 p. 8486219. (Proceedings - IEEE INFOCOM; vol. 2018-April).

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

End-to-End Network Delay Guarantees for Real-Time Systems Using SDN

Kumar, R., Hasan, M., Padhy, S., Evchenko, K., Piramanayagam, L., Mohan, S. & Bobba, R. B., Jan 31 2018, Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. Institute of Electrical and Electronics Engineers Inc., p. 231-242 12 p. (Proceedings - Real-Time Systems Symposium; vol. 2018-January).

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

End-to-end reinforcement learning for automatic taxonomy induction

Mao, Y., Ren, X., Shen, J., Gu, X. & Han, J., Jan 1 2018, ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers). Association for Computational Linguistics (ACL), p. 2462-2472 11 p. (ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers); vol. 1).

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

Open Access

Energy-Efficient Deep In-memory Architecture for NAND Flash Memories

Gonugondla, S. K., Kang, M., Kim, Y., Helm, M., Eilert, S. & Shanbhag, N., Apr 26 2018, 2018 IEEE International Symposium on Circuits and Systems, ISCAS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8351458. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2018-May).

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

Entity set search of scientific literature: An unsupervised ranking approach

Shen, J., Xiao, J., He, X., Shang, J., Sinha, S. & Han, J., Jun 27 2018, 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2018. Association for Computing Machinery, Inc, p. 565-574 10 p. (41st International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2018).

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

Entropy and minimal bit rates for state estimation and model detection

Liberzon, D. & Mitra, S., Oct 2018, In : IEEE Transactions on Automatic Control. 63, 10, p. 3330-3340 11 p., 8186184.

Research output: Contribution to journalArticle

Epidemic processes over time-varying networks

Pare, P. E., Beck, C. L. & Nedic, A., Sep 2018, In : IEEE Transactions on Control of Network Systems. 5, 3, p. 1322-1334 13 p., 7931651.

Research output: Contribution to journalArticle

Erays: Reverse engineering Ethereum's opaque smart contracts

Zhou, Y., Kumar, D., Bakshi, S., Mason, J., Miller, A. & Bailey, M., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 1371-1385 15 p. (Proceedings of the 27th USENIX Security Symposium).

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

Estimation of KL Divergence: Optimal Minimax Rate

Bu, Y., Zou, S., Liang, Y. & Veeravalli, V. V., Apr 2018, In : IEEE Transactions on Information Theory. 64, 4, p. 2648-2674 27 p.

Research output: Contribution to journalArticle

Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and der Fraud

Krishna, V. B., Gunter, C. A. & Sanders, W. H., Aug 2018, In : IEEE Journal on Selected Topics in Signal Processing. 12, 4, p. 790-805 16 p., 8355252.

Research output: Contribution to journalArticle

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem

Gyori, A., Legunsen, O., Hariri, F. & Marinov, D., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 112-122 11 p. 8539074. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2018-October).

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

Evaluating test-suite reduction in real software evolution

Shi, A., Gyori, A., Mahmood, S., Zhao, P. & Marinov, D., Jul 12 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (eds.). Association for Computing Machinery, Inc, p. 84-94 11 p. (ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

Evaluation of demand response resource aggregation system capacity under uncertainty

Zhang, J. & Dominguez-Garcia, A. D., Sep 2018, In : IEEE Transactions on Smart Grid. 9, 5, p. 4577-4586 10 p., 7839997.

Research output: Contribution to journalArticle

Evolution of Social Power in Social Networks with Dynamic Topology

Ye, M., Liu, J., Anderson, B. D. O., Yu, C. & Başar, T., Nov 2018, In : IEEE Transactions on Automatic Control. 63, 11, p. 3793-3808 16 p., 8289383.

Research output: Contribution to journalArticle

Evolution of temporal multimedia synchronization principles

Huang, Z., Nahrstedt, K. & Steinmetz, R., Mar 26 2018, MediaSync: Handbook on Multimedia Synchronization. Springer International Publishing, p. 33-71 39 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Experience trailers

Twidale, M. & Rennick-Egglestone, S., Jul 1 2018, Interactions, 25, 4, p. 58-62 5 p.

Research output: Contribution to specialist publicationArticle

Experimental Evaluation of the Planar Assumption in Magnetic Positioning

Hanley, D., Zhang, X., Dantas De Oliveira, A. S., Steinberg, D. & Bretl, T., Nov 13 2018, IPIN 2018 - 9th International Conference on Indoor Positioning and Indoor Navigation. Institute of Electrical and Electronics Engineers Inc., 8533828. (IPIN 2018 - 9th International Conference on Indoor Positioning and Indoor Navigation).

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

Experimental validation of graph-based hierarchical control for thermal management

Pangborn, H. C., Koeln, J. P., Williams, M. A. & Alleyne, A. G., Oct 1 2018, In : Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME. 140, 10, 101016.

Research output: Contribution to journalArticle

Face recognition with hybrid efficient convolution algorithms on FPGAs

Zhuge, C., Liu, X., Zhang, X., Gummadi, S., Xiong, J. & Chen, D., May 30 2018, GLSVLSI 2018 - Proceedings of the 2018 Great Lakes Symposium on VLSI. Association for Computing Machinery, p. 123-128 6 p. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI).

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

FACTS: Automated black-box testing of fintech systems

Wang, Q., Gu, L., Xue, M., Xu, L., Niu, W., Dou, L., He, L. & Xie, T., 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. 839-844 6 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

Fairness in Supervised Learning: An Information Theoretic Approach

Ghassami, A., Khodadadian, S. & Kiyavash, N., Aug 15 2018, 2018 IEEE International Symposium on Information Theory, ISIT 2018. Institute of Electrical and Electronics Engineers Inc., p. 176-180 5 p. 8437807. (IEEE International Symposium on Information Theory - Proceedings; vol. 2018-June).

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

FastDeepIoT: Towards understanding and optimizing neural network execution time on mobile and embedded devices

Yao, S., Zhao, Y., Shao, H., Liu, S. Z., Liu, D., Su, L. & Abdelzaher, T., Nov 4 2018, SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, Inc, p. 278-291 14 p. (SenSys 2018 - Proceedings of the 16th Conference on Embedded Networked Sensor Systems).

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

Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study

Zhou, X., Peng, X., Xie, T., Sun, J., Ji, C., Li, W. & Ding, D., Jan 1 2018, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Fault detection and isolation for complex thermal management systems

Tannous, P. J. & Alleyne, A. G., Jan 1 2018, Control and Optimization of Connected and Automated Ground Vehicles; Dynamic Systems and Control Education; Dynamics and Control of Renewable Energy Systems; Energy Harvesting; Energy Systems; Estimation and Identification; Intelligent Transportation and Vehicles; Manufacturing; Mechatronics; Modeling and Control of IC Engines and Aftertreatment Systems; Modeling and Control of IC Engines and Powertrain Systems; Modeling and Management of Power Systems. American Society of Mechanical Engineers (ASME), (ASME 2018 Dynamic Systems and Control Conference, DSCC 2018; vol. 2).

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

FEATS: Synthetic feature tracks for structure from motion evaluation

Degol, J., Lee, J. Y., Kataria, R., Yuan, D., Bretl, T. & Hoiem, D., Oct 12 2018, Proceedings - 2018 International Conference on 3D Vision, 3DV 2018. Institute of Electrical and Electronics Engineers Inc., p. 352-361 10 p. 8490986. (Proceedings - 2018 International Conference on 3D Vision, 3DV 2018).

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

Feature-constrained Active Visual SLAM for Mobile Robot Navigation

Deng, X., Zhang, Z., Sintov, A., Huang, J. & Bretl, T. W., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 7233-7238 6 p. 8460721. (Proceedings - IEEE International Conference on Robotics and Automation).

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

Finite-trace linear temporal logic: coinductive completeness

Roşu, G., Aug 1 2018, In : Formal Methods in System Design. 53, 1, p. 138-163 26 p.

Research output: Contribution to journalArticle

Foreword

Hovakimyan, N. & Kiyavash, N., Jan 17 2018, In : 55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017. 2018-January, 1 p.

Research output: Contribution to journalEditorial

Formal design, implementation and verification of blockchain languages

Rosu, G., Jul 1 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 108).

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

Formal design of cloud computing systems in maude

Meseguer, J., Jan 1 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer-Verlag Berlin Heidelberg, p. 5-19 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

Formal modeling and analysis of the walter transactional data store

Liu, S., Ölveczky, P. C., Wang, Q. & Meseguer, J., 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. 136-152 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

Frames and slants in titles of visualizations on controversial topics

Kong, H. K., Liu, Z. & 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

Fully decentralized multi-agent reinforcement learning with networked agents

Zhang, K., Yang, Z., Liu, H., Zhang, T. & Başar, T., Jan 1 2018, 35th International Conference on Machine Learning, ICML 2018. Krause, A. & Dy, J. (eds.). International Machine Learning Society (IMLS), p. 9340-9371 32 p. (35th International Conference on Machine Learning, ICML 2018; vol. 13).

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

Fundamental Limits of Database Alignment

Cullina, D., Mittal, P. & Kiyavash, N., Aug 15 2018, 2018 IEEE International Symposium on Information Theory, ISIT 2018. Institute of Electrical and Electronics Engineers Inc., p. 651-655 5 p. 8437908. (IEEE International Symposium on Information Theory - Proceedings; vol. 2018-June).

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

Generalized Colonel Blotto Game

Ferdowsi, A., Sanjab, A., Saad, W. & Basar, T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5744-5749 6 p. 8431701. (Proceedings of the American Control Conference; vol. 2018-June).

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

Generalized rewrite theories and coherence completion

Meseguer, J., 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. 164-183 20 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

Generalized water-filling for source-aware energy-efficient SRAMs

Kim, Y., Kang, M., Varshney, L. R. & Shanbhag, N. R., Oct 2018, In : IEEE Transactions on Communications. 66, 10, p. 4826-4841 16 p., 8368137.

Research output: Contribution to journalArticle

GeoBurst+: Effective and real-time local event detection in geo-tagged tweet streams

Zhang, C., Lei, D., Yuan, Q., Zhuang, H., Kaplan, L., Wang, S. & Han, J., Feb 2018, In : ACM Transactions on Intelligent Systems and Technology. 9, 3, 34.

Research output: Contribution to journalArticle

Getting there and beyond: Incidental learning of spatial knowledge with turn-by-turn directions and location updates in navigation interfaces

Dey, S., Karahalios, K. & Fu, W. T., Oct 13 2018, SUI 2018 - Proceedings of the Symposium on Spatial User Interaction. Association for Computing Machinery, Inc, p. 100-110 11 p. (SUI 2018 - Proceedings of the Symposium on Spatial User Interaction).

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

Global geometry of multichannel sparse blind deconvolution on the sphere

Li, Y. & Bresler, Y., Jan 1 2018, In : Advances in Neural Information Processing Systems. 2018-December, p. 1132-1143 12 p.

Research output: Contribution to journalConference article

Gossip gradient descent

Liu, Y., Liu, J. & Başar, T., Jan 1 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1995-1997 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 3).

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

GPS Multi-Receiver Joint Direct Time Estimation and Spoofer Localization

Bhamidipati, S. & Gao, G. X., Jan 1 2018, (Accepted/In press) In : IEEE Transactions on Aerospace and Electronic Systems.

Research output: Contribution to journalArticle

GPS time authentication against spoofing via a network of receivers for power systems

Bhamidipati, S., Mina, T. Y. & 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. 1485-1491 7 p. (2018 IEEE/ION Position, Location and Navigation Symposium, PLANS 2018 - Proceedings).

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

GPU accelerated probabilistic latent sequential motifs for activity analysis

Mohiuddin, K. W., Varadarajan, J., Emonet, R., Odobez, J. M. & Moulin, P., Jan 1 2018, VISAPP. Imai, F., Tremeau, A. & Braz, J. (eds.). SciTePress, p. 409-418 10 p. (VISIGRAPP 2018 - Proceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications; vol. 5).

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

GPU Acceleration of Advanced k-mer Counting for Computational Genomics

Li, H., Ramachandran, A. & Chen, D., Aug 23 2018, 2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2018. Institute of Electrical and Electronics Engineers Inc., 8445084. (Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors; vol. 2018-July).

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

Guaranteed Collision Avoidance Based on Line-of-Sight Angle and Time-to-Collision

Marinho, T., Amrouche, M., Cichella, V., Stipanovic, D. & Hovakimyan, N., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 4305-4310 6 p. 8431871. (Proceedings of the American Control Conference; vol. 2018-June).

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

Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems

Abdi, F., Chen, C. Y., Hasan, M., Liu, S., Mohan, S. & Caccamo, M., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 10-21 12 p. 8443717. (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018).

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

Guaranteeing local differential privacy on ultra-low-power systems

Choi, W. S., Tomei, M., Vicarte, J. R. S., Hanumolu, P. K. & Kumar, R., Jul 19 2018, Proceedings - 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture, ISCA 2018. Institute of Electrical and Electronics Engineers Inc., p. 561-574 14 p. 8416855. (Proceedings - International Symposium on Computer Architecture).

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

Handbook of Attitudes: Applications

Albarracin, D. & Johnson, B. T., 2018, New York: Taylor & Francis.

Research output: Book/ReportBook