Research Output 1971 2019

Filter
Conference contribution
2019

(Invited) cross-layer resilience: Challenges, insights, and the road ahead

Cheng, E., Mueller-Gritschneder, D., Abraham, J., Bose, P., Buyuktosunoglu, A., Chen, D., Cho, H., Li, Y., Sharif, U., Skadron, K., Stan, M., Schlichtmann, U. & Mitra, S., Jun 2 2019, Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019. Institute of Electrical and Electronics Engineers Inc., a198. (Proceedings - Design Automation Conference).

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

Fault tolerant computer systems
Cross-layer
Cost-effectiveness
Resilience
Computer-aided Design

AcMC 2: Accelerated Markov Chain Monte Carlo for Probabilistic Models

Banerjee, S. S., Kalbarczyk, Z. T. & Iyer, R. K., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 515-528 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

Open Access
Markov processes
Particle accelerators
Program processors
Field programmable gate arrays (FPGA)
Application specific integrated circuits

A complete formal semantics of x86-64 user-level instruction set architecture

Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Rosu, G., 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. 1133-1148 16 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
Computer architecture
Computer programming languages
Semantics
Testing

A Computationally Efficient Model for Predicting Successful Memory Encoding Using Machine-Learning-based EEG Channel Selection

Saboo, K. V., Varatharajah, Y., Berry, B. M., Sperling, M. R., Gorniak, R., Davis, K. A., Jobst, B. C., Gross, R. E., Lega, B., Sheth, S. A., Kahana, M. J., Kucewicz, M. T., Worrell, G. A. & Iyer, R. K., May 16 2019, 9th International IEEE EMBS Conference on Neural Engineering, NER 2019. IEEE Computer Society, p. 323-327 5 p. 8717057. (International IEEE/EMBS Conference on Neural Engineering, NER; vol. 2019-March).

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

Electroencephalography
Learning systems
Data storage equipment
Electrodes
Set theory

A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems

Chen, J., Feng, Z., Wen, J. Y., Liu, B. & Sha, L. R., 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. 1222-1227 6 p. 8714888. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

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

Denial of Service
Unmanned aerial vehicles (UAV)
Container
Containers
Attack

ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

Alpuente, M., Ballis, D., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer-Verlag, p. 171-181 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11468 LNAI).

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

High Performance
Artificial intelligence
Associativity
Computing
Multiset

A figure of merit for assertions in verification

Hertz, S., Pal, D., Offenberger, S. & Vasudevan, S., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 675-680 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

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

Silicon

A Finite Sample Analysis of the Actor-Critic Algorithm

Yang, Z., Zhang, K., Hong, M. & Basar, M. T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2759-2764 6 p. 8619440. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Nonlinear Approximation
Function Approximation
Nonlinear Function
Objective function
Gradient

Aluminum: An Asynchronous, GPU-Aware Communication Library Optimized for Large-Scale Training of Deep Neural Networks on HPC Systems

Dryden, N., Maruyama, N., Moon, T., Benson, T., Yoo, A., Snir, M. & Van Essen, B., Feb 8 2019, Proceedings of MLHPC 2018: Machine Learning in HPC Environments, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 1-13 13 p. 8638639. (Proceedings of MLHPC 2018: Machine Learning in HPC Environments, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis).

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

Aluminum
Communication
Bandwidth
Graphics processing unit
Deep neural networks

A Multirate Adaptive Control for MIMO Systems with Application to Cyber-Physical Security

Jafarnejadsani, H., Lee, H., Hovakimyan, N. & Voulgaris, P. G., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 6620-6625 6 p. 8619570. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Adaptive Control
Controller
Controllers
Output
Attack

Analysis and modeling of collaborative execution strategies for heterogeneous CPU-FPGA architectures

Huang, S., De Gonzalo, S. G., El-Hadedy, M., Chang, L. W., Gómez-Luna, J., Milojicic, D., El Hajj, I., Chalamalasetti, S. R., Mutlu, O., Chen, D. & Hwu, W-M. W., Apr 4 2019, ICPE 2019 - Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery, Inc, p. 79-90 12 p. (ICPE 2019 - Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering).

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

Program processors
Field programmable gate arrays (FPGA)
Particle accelerators
Data storage equipment
Computer programming languages

An Approach to Robust Synchronization of Electric Power Generators

Ajala, O., Dominguez-Garcia, A. & Liberzon, D. M., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1586-1591 6 p. 8618905. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Synchronization
Generator
Disturbance
Angular velocity
Angle

An energy-efficient classifier via boosted spin channel networks

Patil, A. D., Manipatruni, S., Nikonov, D., Young, I. A. & Shanbhag, N. R., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702648. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

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

Classifiers
Adaptive boosting
Learning algorithms
Throughput
Networks (circuits)

An MRAM-based deep in-memory architecture for deep neural networks

Patil, A. D., Hua, H., Gonugondla, S., Kang, M. & Shanbhag, N. R., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702206. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

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

Memory architecture
Networks (circuits)
Deep neural networks

A predictive self-configuring simulator for online media

Yao, S., Hao, Y., Liu, D., Liu, S., Flamino, J., Shao, H., Wu, J., Bamba, M., Abdelzaher, T. & Szymanski, B., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 1262-1273 12 p. 8632412. (Proceedings - Winter Simulation Conference; vol. 2018-December).

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

Simulator
Simulators
Information dissemination
Information Dissemination
Extrapolation

Architecting waferscale processors-A GPU case study

Pal, S., Petrisko, D., Tomei, M., Gupta, P., Iyer, S. S. & Kumar, R., Mar 26 2019, Proceedings - 25th IEEE International Symposium on High Performance Computer Architecture, HPCA 2019. Institute of Electrical and Electronics Engineers Inc., p. 250-263 14 p. 8675211. (Proceedings - 25th IEEE International Symposium on High Performance Computer Architecture, HPCA 2019).

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

Silicon
Scheduling
Graphics processing unit
Communication
Multicarrier modulation

A semi-supervised active-learning truth estimator for social networks

Cui, H., Abdelzaher, T. & Kaplan, L., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 296-306 11 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

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

Fabrication
Problem-Based Learning
Uncertainty

Aspect-based sentiment analysis with minimal guidance

Zhuang, H., Hanratty, T. & Han, J., Jan 1 2019, SIAM International Conference on Data Mining, SDM 2019. Society for Industrial and Applied Mathematics Publications, p. 253-261 9 p. (SIAM International Conference on Data Mining, SDM 2019).

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

Seed
Experiments

At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets

Raman, A. & Sreenivas, R. S., May 14 2019, 2019 5th Indian Control Conference, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 242-247 6 p. 8715597. (2019 5th Indian Control Conference, ICC 2019 - Proceedings).

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

Discrete Event Dynamic Systems
Liveness
Petri nets
Control theory
Control Theory

Automated Generation and Selection of Interpretable Features for Enterprise Security

Duan, J., Zeng, Z., Oprea, A. & Vasudevan, S., Jan 22 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1258-1265 8 p. 8621986. (Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018).

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

Fourier analysis
Boolean functions
Clustering algorithms
Learning systems
Industry

Automatic analysis of consistency properties of distributed transaction systems in maude

Liu, S., Ölveczky, P. C., Zhang, M., Wang, Q. & Meseguer, J., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Springer-Verlag, p. 40-57 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

Open Access
Maude
Model checking
Fault tolerance
Transactions
Scalability

Automatic Generation of Warp-Level Primitives and Atomic Instructions for Fast and Portable Parallel Reduction on GPUs

Gonzalo, S. G. D., Huang, S., Gomez-Luna, J., Hammond, S., Mutlu, O. & Hwu, W-M. W., Mar 5 2019, CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. Moseley, T., Jimborean, A. & Kandemir, M. T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 73-84 12 p. 8661187. (CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization).

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

Portability
Shuffle
Hardware
Domain-specific Languages
Programming

Autopersist: An easy-to-use Java NVM framework based on reachability

Shull, T., Huang, J. & 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. 316-332 17 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
Nonvolatile storage
Program debugging
Dynamic random access storage
Software design
Data structures

Availability attacks on computing systems through alteration of environmental control: Smart malware approach

Chung, K., Kalbarczyk, Z. T. & Iyer, R. K., Apr 16 2019, ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems. Ramachandran, G. S. & Ortiz, J. (eds.). Association for Computing Machinery, Inc, p. 1-12 12 p. (ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems).

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

Availability
Cyber Physical System
Malware
Industry

BRACELET: Edge-Cloud Microservice Infrastructure for Aging Scientific Instruments

Nguyen, P., Elgamal, T., Konstanty, S., Nicholson, T., Turner, S., Su, P., Nahrstedt, K., Spila, T., Campbell, R. H., Dallesasse, J. M., Chan, M. & McHenry, K. G., Apr 8 2019, 2019 International Conference on Computing, Networking and Communications, ICNC 2019. Institute of Electrical and Electronics Engineers Inc., p. 692-696 5 p. 8685528. (2019 International Conference on Computing, Networking and Communications, ICNC 2019).

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

Aging of materials
Network performance
Metadata
Semiconductor materials
Fabrication

Business-to-Peer Carsharing Systems with Electric Vehicles

Mamalis, T., Bose, S. & Varshney, L. R., Apr 16 2019, 2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019. Institute of Electrical and Electronics Engineers Inc., 8692795. (2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019).

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

Electric vehicles
Industry
Railroad cars
Costs

Categorization and Comparison of Influential Twitter Users and Sources Referenced in Tweets for Two Health-Related Topics

Addawood, A., Balakumar, P. & Diesner, J., Jan 1 2019, Information in Contemporary Society - 14th International Conference, iConference 2019, Proceedings. Martin, M. H., Taylor, N. G., Nardi, B. & Christian-Lamb, C. (eds.). Springer-Verlag, p. 639-646 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11420 LNCS).

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

Categorization
Websites
Health
Vaccines
Nutrition

Cloud-DNN: An open framework for mapping DNN models to cloud FPGAS

Chen, Y., He, J., Zhang, X., Hao, C. & Chen, D., Feb 20 2019, FPGA 2019 - Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Association for Computing Machinery, Inc, p. 73-82 10 p. (FPGA 2019 - Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays).

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

Field programmable gate arrays (FPGA)
Neural networks
Cloud computing
Unmanned aerial vehicles (UAV)
Program processors

Comparing mutation testing at the levels of source code and compiler intermediate representation

Hariri, F., Shi, A., Fernando, V., Mahmood, S. & Marinov, D., Apr 1 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 114-124 11 p. 8730152. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

Program compilers
Fault detection
Testing
Codes (standards)
Computer programming languages

Constructing structured information networks from massive text corpora

Ren, X., Jiang, M., Shang, J. & Han, J., Jan 1 2019, 26th International World Wide Web Conference 2017, WWW 2017 Companion. International World Wide Web Conferences Steering Committee, p. 951-954 4 p. (26th International World Wide Web Conference 2017, WWW 2017 Companion).

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

Data mining

Controlled Sensing for Composite Multihypothesis Testing with Application to Anomaly Detection

Deshmukh, A., Bhashyam, S. & Veeravalli, V. V., Feb 19 2019, Conference Record of the 52nd Asilomar Conference on Signals, Systems and Computers, ACSSC 2018. Matthews, M. B. (ed.). IEEE Computer Society, p. 2109-2113 5 p. 8645380. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2018-October).

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

Composite materials
Testing
Error probability

Convergence Rate of Distributed Consensus with Nonuniform Delays

Doan, T. T., Beck, C. L. & Srikant, R., Feb 19 2019, Conference Record of the 52nd Asilomar Conference on Signals, Systems and Computers, ACSSC 2018. Matthews, M. B. (ed.). IEEE Computer Society, p. 1294-1298 5 p. 8645450. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2018-October).

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

Topology
Communication
Computer simulation

Cyber-physical simulation and optimal mitigation for shipping port operations

Weaver, G. A. & Marla, L., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2747-2758 12 p. 8632551. (Proceedings - Winter Simulation Conference; vol. 2018-December).

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

Physical Simulation
Freight transportation
Critical infrastructures
Crime
Supply chains

Cyber risk of coordinated attacks in critical infrastructures

Nicol, D. M., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2759-2768 10 p. 8632318. (Proceedings - Winter Simulation Conference; vol. 2018-December).

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

Critical infrastructures
Critical Infrastructure
Infrastructure
Attack
Emergency services

Differentially Private Gossip Gradient Descent

Liu, Y., Liu, J. & Basar, M. T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2777-2782 6 p. 8619437. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Gossip
Gradient Descent
Distributed Algorithms
Parallel algorithms
Online Learning

Dynamic Information Disclosure for Deception

Sayin, M. O. & Basar, M. T., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1110-1117 8 p. 8619281. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Deception
Disclosure
Cost functions
Artificial intelligence
Learning systems

Dynamic sensor selection for path coverage

Shamoun, S., Abdelzaher, T. & Bar-Noy, A., Jan 4 2019, ICDCN 2019 - Proceedings of the 2019 International Conference on Distributed Computing and Networking. Association for Computing Machinery, p. 277-281 5 p. (ACM International Conference Proceeding Series).

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

Sensors

Enabling Efficient Source and Path Verification via Probabilistic Packet Marking

Wu, B., Xu, K., Li, Q., Liu, Z., Hu, Y-C., Reed, M. J., Shen, M. & Yang, F., Jan 22 2019, 2018 IEEE/ACM 26th International Symposium on Quality of Service, IWQoS 2018. Institute of Electrical and Electronics Engineers Inc., 8624169. (2018 IEEE/ACM 26th International Symposium on Quality of Service, IWQoS 2018).

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

Routers
Testbeds
Servers
Throughput
Internet

Evaluating characteristics of CUDA communication primitives on high-bandwidth interconnects

Pearson, C., Dakkak, A., Hashash, S., Li, C., Chung, I. H., Xiong, J. & Hwu, W-M. W., Apr 4 2019, ICPE 2019 - Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery, Inc, p. 209-218 10 p. (ICPE 2019 - Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering).

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

Open Access
Data transfer
Bandwidth
Program processors
Communication
Data storage equipment

Every university should have a computer-based testing facility

Zilles, C., West, M., Herman, G. L. & Bretl, T. W., Jan 1 2019, CSEDU 2019 - Proceedings of the 11th International Conference on Computer Supported Education. Zvacek, S., Lane, H. & Uhomoibhi, J. (eds.). SciTePress, p. 414-420 7 p. (CSEDU 2019 - Proceedings of the 11th International Conference on Computer Supported Education; vol. 1).

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

semester
university
Testing
Students
costs

Examination of the effectiveness of a criteria-based team formation tool

Alamri, A. A. & Bailey, B. P., Mar 4 2019, Frontiers in Education: Fostering Innovation Through Diversity, FIE 2018 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 8658483. (Proceedings - Frontiers in Education Conference, FIE; vol. 2018-October).

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

Students
examination
instructor
student
work style

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 1 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
Navigation
Demonstrations

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

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

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

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

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

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

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