Research Output 1972 2020

2019

Exploring Properties and Correlations of Fatal Events in a Large-Scale HPC System

Di, S., Guo, H., Gupta, R., Pershey, E. R., Snir, M. & Cappello, F., Feb 1 2019, In : IEEE Transactions on Parallel and Distributed Systems. 30, 2, p. 361-374 14 p., 8436427.

Research output: Contribution to journalArticle

Large scale systems
Availability
Supercomputers
Fault tolerance
Genes

Exploring the feasibility of lossy compression for PDE simulations

Calhoun, J., Cappello, F., Olson, L., Snir, M. & Gropp, W. D., Mar 1 2019, In : International Journal of High Performance Computing Applications. 33, 2, p. 397-410 14 p.

Research output: Contribution to journalArticle

Lossy Compression
Checkpoint
Partial differential equations
Restart
Partial differential equation

Extensions of Network Reliability Analysis

Nguyen, H. H., Palani, K. & Nicol, D. M., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 88-99 12 p. 8809489. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

Reliability analysis
Random variables
Polynomials
Network security
Networks (circuits)

Fall of empires: Breaking byzantine-tolerant SGD by inner product manipulation

Xie, C., Koyejo, O. & Gupta, I., Jan 1 2019.

Research output: Contribution to conferencePaper

Byproducts
Learning systems
Agglomeration

Faster, higher, stronger: Redesigning spreadsheets for scale

Bendre, M., Wattanawaroon, T., Rahman, S., Mack, K., Liu, Y., Zhu, S., Lu, Y., Yang, P. J., Zhou, X., Chang, K. C-C., Karahalios, K. G. & Parameswaran, A. G., Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE Computer Society, p. 1972-1975 4 p. 8731567. (Proceedings - International Conference on Data Engineering; vol. 2019-April).

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

Spreadsheets
Information management
Scalability
Demonstrations

Faster subgradient methods for functions with Hölderian growth

Johnstone, P. R. & Moulin, P., Jan 1 2019, (Accepted/In press) In : Mathematical Programming.

Research output: Contribution to journalArticle

Subgradient Method
Convergence Rate
Linear Convergence
Stairs
Nonsmooth Function

Fast generation for convolutional autoregressive models

Ramachandran, P., Le Paine, T., Khorrami, P., Babaeizadeh, M., Chang, S., Zhang, Y., Hasegawa-Johnson, M., Campbell, R. & Huang, T., Jan 1 2019.

Research output: Contribution to conferencePaper

training method
performance
Nave
Model-making
Cache
fault detection
management systems
Fault detection
Temperature control
isolation

FinExpert: Domain-specific test generation for FinTech systems

Jin, T., Wang, Q., Xu, L., Pan, C., Dou, L., Qian, H., He, L. & 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. 853-862 10 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

Testing
Information technology
Industry

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., Feb 6 2019, In : International Journal on Software Tools for Technology Transfer. 21, 1, p. 31-70 40 p.

Research output: Contribution to journalArticle

Monitoring
Satellites

FIS: Facial Information Segmentation for Video Redaction

Chen, B. & Nahrstedt, K., Apr 22 2019, Proceedings - 2nd International Conference on Multimedia Information Processing and Retrieval, MIPR 2019. Institute of Electrical and Electronics Engineers Inc., p. 360-365 6 p. 8695409. (Proceedings - 2nd International Conference on Multimedia Information Processing and Retrieval, MIPR 2019).

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

Face recognition
Cameras
Pixels
Color

FlatFlash: Exploiting the Byte-Accessibility of SSDs within A Unified Memory-Storage Hierarchy

Abulila, A., Mailthody, V. S., Qureshi, Z., Huang, J., Kim, N. S., Xiong, J. & Hwu, W. M., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 971-985 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
Data storage equipment
Dynamic random access storage
Flash-based SSDs
Cost effectiveness
Metadata

Flight control methods for multirotor UAS

Ackerman, K. A., Gregory, I. M. & Hovakimyan, N., Jun 2019, 2019 International Conference on Unmanned Aircraft Systems, ICUAS 2019. Institute of Electrical and Electronics Engineers Inc., p. 353-361 9 p. 8797739. (2019 International Conference on Unmanned Aircraft Systems, ICUAS 2019).

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

Flight Control
Path Following
Gain control
Closed loop systems
Natural frequencies

Formational bounds of link prediction in collaboration networks

Kim, J. & Diesner, J., May 15 2019, In : Scientometrics. 119, 2, p. 687-706 20 p.

Research output: Contribution to journalArticle

Structural properties
time

FPGA/DNN co-design: An efficient design methodology for IoT intelligence on the edge

Hao, C., Zhang, X., Li, Y., Huang, S., Xiong, J., Rupnow, K., Hwu, W-M. W. & Chen, D., Jun 2 2019, Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019. Institute of Electrical and Electronics Engineers Inc., a206. (Proceedings - Design Automation Conference).

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

Co-design
Field Programmable Gate Array
Design Methodology
Field programmable gate arrays (FPGA)
Accelerator

F-Pro: A fast and flexible provenance-aware message authentication scheme for smart grid

Esiner, E., Mashima, D., Chen, B., Kalbarczyk, Z. & Nicol, D., Oct 2019, 2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2019. Institute of Electrical and Electronics Engineers Inc., 8909712. (2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2019).

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

Message Authentication
Smart Grid
Provenance
Authentication
communication

Functional brain changes during mindfulness-based cognitive therapy associated with tinnitus severity

Zimmerman, B., Finnegan, M., Paul, S., Schmidt, S., Tai, Y., Roth, K., Chen, Y. & Husain, F. T., Jan 1 2019, In : Frontiers in Neuroscience. 13, JUL, 747.

Research output: Contribution to journalArticle

Open Access
Mindfulness
Tinnitus
Cognitive Therapy
Brain
Amygdala

Gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis

Venkatagiri, R., Ahmed, K., Mahmoud, A., Misailovic, S., Marinov, D., Fletcher, C. W. & Adve, S. V., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 214-221 8 p. 8809540. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

Error analysis
Redundancy
Simulators
Costs
Experiments

Generalized Minimum Phase Property for Finite-Dimensional Continuous-Time SISO LTI Systems with Additive Disturbances

Pan, Z. & Basar, M. T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 6256-6262 7 p. 8619112. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Continuous Time
Disturbance
Trajectories
Zero
Trajectory

Generalized Sarymsakov Matrices

Xia, W., Liu, J., Cao, M., Johansson, K. H. & Başar, T., Aug 2019, In : IEEE Transactions on Automatic Control. 64, 8, p. 3085-3100 16 p., 8513840.

Research output: Contribution to journalArticle

GeoAttn: Localization of social media messages via attentional memory network

Li, S., Zhang, C., Lei, D., Li, J. & Han, J., Jan 1 2019, SIAM International Conference on Data Mining, SDM 2019. Society for Industrial and Applied Mathematics Publications, p. 64-72 9 p. (SIAM International Conference on Data Mining, SDM 2019).

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

Data storage equipment
Metadata
Experiments
Shoulder Joint
Wheelchairs
Spinal Cord Injuries
Muscles
Hand

Global Asymptotic Stability and Stabilization of Long Short-Term Memory Neural Networks with Constant Weights and Biases

Deka, S. A., Stipanovic, D. M., Murmann, B. & Tomlin, C. J., Apr 15 2019, In : Journal of Optimization Theory and Applications. 181, 1, p. 231-243 13 p.

Research output: Contribution to journalArticle

Memory Term
Global Asymptotic Stability
Asymptotic stability
Stabilization
Neural Networks

Gluon-async: A bulk-asynchronous system for distributed and heterogeneous graph analytics

Dathathri, R., Gill, G., Hoang, L., Jatala, V., Pingali, K., Nandivada, V. K., Dang, H. V. & Snir, M., Sep 2019, Proceedings - 2019 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019. Institute of Electrical and Electronics Engineers Inc., p. 15-28 14 p. 8891625. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT; vol. 2019-September).

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

Asynchronous Systems
Graph in graph theory
Galois
Program processors
Communication

Graph-based electro-mechanical modeling of a hybrid unmanned aerial vehicle for real-time applications

Aksland, C. T., Bixel, T. W., Raymond, L. C., Rottmayer, M. A. & Alleyne, A. G., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 4253-4259 7 p. 8814930. (Proceedings of the American Control Conference; vol. 2019-July).

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

Unmanned aerial vehicles (UAV)
Fault detection
Temperature control
Systems analysis

GreenRoute: A Generalizable Fuel-Saving Vehicular Navigation Service

Zhao, Y., Yao, S., Liu, D., Shao, H., Liu, S. & Abdelzaher, T., Jun 2019, Proceedings - 2019 IEEE International Conference on Autonomic Computing, ICAC 2019. Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. 8831213. (Proceedings - 2019 IEEE International Conference on Autonomic Computing, ICAC 2019).

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

Navigation
Fuel consumption
Costs
Navigation systems
Operating costs

Guest Editorial: Special Issue on Network and Parallel Computing for Emerging Architectures and Applications

Zhang, F., Zhai, J., Snir, M., Jin, H., Kasahara, H. & Valero, M., Jun 15 2019, In : International Journal of Parallel Programming. 47, 3, p. 343-344 2 p.

Research output: Contribution to journalEditorial

Open Access
Parallel processing systems
Parallel Computing
Architecture

Guilty As Charged: Computational Reliability Threats Posed by Electrostatic Discharge-induced Soft Errors

Feng, K., Vora, S., Jiang, R., Rosenbaum, E. & Vasudevan, S., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 156-161 6 p. 8715149. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

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

Soft Error
Electrostatic discharge
Electrostatics
Chip
Microcontroller

HALO: Accelerating flow classification for scalable packet processing in NFV

Yuan, Y., Wang, Y., Wang, R. & Huang, J., Jun 22 2019, ISCA 2019 - Proceedings of the 2019 46th International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 601-614 14 p. (Proceedings - International Symposium on Computer Architecture).

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

Processing
Particle accelerators
Servers
Throughput
Associative storage

Hardware-Software Co-Design for an Analog-Digital Accelerator for Machine Learning

Ambrosi, J., Ankit, A., Antunes, R., Chalamalasetti, S. R., Chatterjee, S., El Hajj, I., Fachini, G., Faraboschi, P., Foltin, M., Huang, S., Hwu, W. M., Knuppe, G., Lakshminarasimha, S. V., Milojicic, D., Parthasarathy, M., Ribeiro, F., Rosa, L., Roy, K., Silveira, P. & Strachan, J. P., Feb 8 2019, 2018 IEEE International Conference on Rebooting Computing, ICRC 2018. Institute of Electrical and Electronics Engineers Inc., 8638612. (2018 IEEE International Conference on Rebooting Computing, ICRC 2018).

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

Particle accelerators
Learning systems
Hardware
Memristors
Neural networks

Heat transfer enhancement of internal laminar flows using additively manufactured static mixers

Kwon, B., Liebenberg, L., Jacobi, A. M. & King, W. P., Jul 2019, In : International Journal of Heat and Mass Transfer. 137, p. 292-300 9 p.

Research output: Contribution to journalArticle

3D printers
laminar flow
Laminar flow
heat transfer
Heat transfer

Hidden markov model estimation-based q-learning for partially observable markov decision process

Yoon, H. J., Lee, D. & Hovakimyan, N., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 2366-2371 6 p. 8814849. (Proceedings of the American Control Conference; vol. 2019-July).

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

Hidden Markov models
Learning algorithms
Maximum likelihood

Hierarchical estimation for complex multi-domain dynamical systems

Tannous, P. J., Docimo, D. J., Pangborn, H. C. & Alleyne, A. G., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 909-915 7 p. 8814330. (Proceedings of the American Control Conference; vol. 2019-July).

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

Dynamical systems
Controllers
Graph theory
Extended Kalman filters
Electric vehicles

Hierarchical multistage Gaussian signaling games in noncooperative communication and control systems

Sayin, M. O., Akyol, E. & Başar, T., Sep 2019, In : Automatica. 107, p. 9-20 12 p.

Research output: Contribution to journalArticle

Communication systems
Control systems
Communication
Cost functions
Transparency

High power density two-phase cooling in microchannel heat exchangers

Kwon, B., Maniscalco, N. I., Jacobi, A. M. & King, W. P., Feb 5 2019, In : Applied Thermal Engineering. 148, p. 1271-1277 7 p.

Research output: Contribution to journalArticle

Microchannels
Heat exchangers
Cooling
Refrigerants
Air

High strength metallic wood from nanostructured nickel inverse opal materials

Pikul, J. H., Özerinç, S., Liu, B., Zhang, R., Braun, P. V., Deshpande, V. S. & King, W. P., Dec 1 2019, In : Scientific reports. 9, 1, 719.

Research output: Contribution to journalArticle

Nickel
Weight-Bearing
Titanium
Metals
Water

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer-Verlag, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11408 LNCS).

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

Associativity
Commutativity
Homeomorphic
Axioms
Modulo

HoneyBadgerMPC and AsynchroMix: Practical asynchronous MPC and its application to anonymous communication

Lu, D., Govind, R., Yurek, T., Kate, A., Kulshreshtha, S. & Miller, A., Nov 6 2019, CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 887-903 17 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Open Access
Communication
Communication systems
Servers
Network protocols

HOPF bifurcation in the informational nudging of boundedly rational decision makers

Cheng, Y. & Langbort, C., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 5761-5766 6 p. 8815198. (Proceedings of the American Control Conference; vol. 2019-July).

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

Hopf bifurcation
Decision making

How effective are existing Java API specifications for finding bugs during runtime verification?

Legunsen, O., Al Awar, N., Xu, X., Hassan, W. U., Roşu, G. & Marinov, D., Dec 1 2019, In : Automated Software Engineering. 26, 4, p. 795-837 43 p.

Research output: Contribution to journalArticle

Application programming interfaces (API)
Specifications
Software engineering
Monitoring
Testing

Human-in-the-loop Control of Distributed Multi-Agent Systems: A Relative Input-Output Approach

Kiumarsi, B. & Basar, M. T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 3343-3348 6 p. 8618994. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Multi agent systems
Multi-agent Systems
Distributed Systems
Output
Observer

Human verbal memory encoding is hierarchically distributed in a continuous processing stream

Kucewicz, M. T., Saboo, K., Berry, B. M., Kremen, V., Miller, L. R., Khadjevand, F., Inman, C. S., Wanda, P., Sperling, M. R., Gorniak, R., Davis, K. A., Jobst, B. C., Lega, B., Sheth, S. A., Rizzuto, D. S., Iyer, R. K., Kahana, M. J. & Worrell, G. A., Jan 1 2019, In : eNeuro. 6, 1, e0214-18.2018.

Research output: Contribution to journalArticle

Open Access
Brain
Occipital Lobe
Temporal Lobe
Prefrontal Cortex
Epilepsy

Human vs bots: Detecting human attacks in a honeypot environment

Udhani, S., Withers, A. & Bashir, M. N., Jun 2019, 7th International Symposium on Digital Forensics and Security, ISDFS 2019. Varol, A., Karabatak, M., Varol, C. & Teke, S. (eds.). Institute of Electrical and Electronics Engineers Inc., 8757534. (7th International Symposium on Digital Forensics and Security, ISDFS 2019).

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

Research Personnel

Hybrid Quick Error Detection: Validation and Debug of SoCs Through High-Level Synthesis

Campbell, K., Lin, D., He, L., Yang, L., Gurumani, S. T., Rupnow, K., Mitra, S. & Chen, D., Jul 2019, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38, 7, p. 1345-1358 14 p., 8360082.

Research output: Contribution to journalArticle

Error detection
Particle accelerators
Hardware
Silicon
High level synthesis

Hyperservice: Interoperability and programmability across heterogeneous blockchains

Liu, Z., Xiang, Y., Shi, J., Gao, P., Wang, H., Xiao, X., Wen, B. & Hu, Y. C., Nov 6 2019, CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 549-566 18 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Open Access
Interoperability
Facings
Cryptography
Experiments

IDFlakies: A framework for detecting and partially classifying flaky tests

Lam, W., Oei, R., Shi, A., Marinov, D. & Xie, T., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 312-322 11 p. 8730188. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

Testing

IELE: A rigorously designed language and tool ecosystem for the blockchain

Kasampalis, T., Guth, D., Moore, B., Șerbănuță, T. F., Zhang, Y., Filaretti, D., Șerbănuță, V., Johnson, R. & Roşu, G., Jan 1 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 593-610 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

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

Ecosystem
Ecosystems
Formal Verification
Virtual Machine
High level languages

IFixFlakies: A framework for automatically fixing order-dependent flaky tests

Shi, A., Lam, W., Oei, R., Xie, T. & Marinov, D., 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. 545-555 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

Testing

ILC: A calculus for composable, computational cryptography

Liao, K., Hammer, M. A. & Miller, A. E., 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. 640-654 15 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
Turing machines
Cryptography
Network protocols
Concretes
Chemical analysis
Open Access
Daylighting
architectural design
learning
methodology
prediction