Research Output 1971 2020

2019

Open Source Vulnerability Notification

Carlson, B., Leach, K., Marinov, D., Nagappan, M. & Prakash, A., Jan 1 2019, Open Source Systems - 15th IFIP WG 2.13 International Conference, OSS 2019, Proceedings. Bordeleau, F., Sillitti, A., Meirelles, P. & Lenarduzzi, V. (eds.). Springer New York LLC, p. 12-23 12 p. (IFIP Advances in Information and Communication Technology; vol. 556).

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

Open source
Vulnerability
Disclosure
Security issues
Neglect

Opportunistic beamforming in wireless network-on-chip

Abadal, S., Marruedo, A., Franques, A., Taghvaee, H., Cabellos-Aparicio, A., Zhou, J., Torrellas, J. & Alarcón, E., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702417. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

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

Beamforming
Wireless networks
Antennas
Silicon
Network-on-chip

Optimal Blocking Device Placement for Geomagnetic Disturbance Mitigation

Liang, Y., He, D., Zhu, H. & Chen, D., Dec 2019, In : IEEE Transactions on Power Delivery. 34, 6, p. 2219-2231 13 p., 8772173.

Research output: Contribution to journalArticle

Induced currents
Large scale systems
Simulated annealing
Reactive power
Computational complexity

Optimal flow control and single split architecture exploration for fluid-based thermal management

Peddada, S. R. T., Herber, D. R., Pangborn, H. C., Alleyne, A. G. & Allison, J., Aug 1 2019, In : Journal of Mechanical Design, Transactions of the ASME. 141, 8, 083401.

Research output: Contribution to journalArticle

Thermal load
Cooling systems
Flow control
Fluids
Temperature control

Optimal scheduling and sequencing for large-scale seeding operations

Ahsan, Z. & Dankowicz, H., Aug 2019, In : Computers and Electronics in Agriculture. 163, 104728.

Research output: Contribution to journalArticle

seeding
planters
sowing
Scheduling
Seed

Optimizing I/O performance of HPC applications with autotuning

Behzad, B., Byna, S., Prabhat & Snir, M., Mar 2019, In : ACM Transactions on Parallel Computing. 5, 4, 15.

Research output: Contribution to journalArticle

Auto-tuning
High Performance
Computing
Middleware
Hardware

Outguard: Detecting in-browser covert cryptocurrency mining in the wild

Kharraz, A., Lever, C., Borisov, N., Ma, Z., Mason, J., Antonakakis, M., Murley, P., Miller, A. & Bailey, M., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 840-852 13 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

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

Websites
Web browsers
Paint
Ecosystems
Electronic money

P4AIG: Circuit-Level Verification of P4 Programs

Noureddine, M. A., Hsu, A., Caesar, M. C., Zaraket, F. A. & Sanders, W. H., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019. Institute of Electrical and Electronics Engineers Inc., p. 21-22 2 p. 8805757. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019).

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

Networks (circuits)
Sequential circuits
Electric network analysis
Scalability
Pipelines

PageSeer: Using page walks to trigger page swaps in hybrid memory systems

Kokolis, A., Skarlatos, D. & Torrellas, J., Mar 26 2019, Proceedings - 25th IEEE International Symposium on High Performance Computer Architecture, HPCA 2019. Institute of Electrical and Electronics Engineers Inc., p. 596-608 13 p. 8675233. (Proceedings - 25th IEEE International Symposium on High Performance Computer Architecture, HPCA 2019).

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

Computer systems
Data storage equipment
Dynamic random access storage
Physical addresses
Controllers

Path following for the soft origami crawling robot

Angatkina, O., Gustafson, K., Wissa, A. & Alleyne, A., Jan 1 2019, Rapid Fire Interactive Presentations: Advances in Control Systems; Advances in Robotics and Mechatronics; Automotive and Transportation Systems; Motion Planning and Trajectory Tracking; Soft Mechatronic Actuators and Sensors; Unmanned Ground and Aerial Vehicles. American Society of Mechanical Engineers (ASME), (ASME 2019 Dynamic Systems and Control Conference, DSCC 2019; vol. 3).

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

Robots
Kinematics
Mobile robots
Navigation
Robotics

Pattern Discovery for Wide-Window Open Information Extraction in Biomedical Literature

Li, Q., Wang, X., Zhang, Y., Ling, F., Wu, C. H. & Han, J., Jan 21 2019, Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018. Schmidt, H., Griol, D., Wang, H., Baumbach, J., Zheng, H., Callejas, Z., Hu, X., Dickerson, J. & Zhang, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 420-427 8 p. 8621375. (Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018).

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

Information Storage and Retrieval
PubMed
Experiments

PENNER: Pattern-enhanced Nested Named Entity Recognition in Biomedical Literature

Wang, X., Zhang, Y., Li, Q., Wu, C. H. & Han, J., Jan 21 2019, Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018. Schmidt, H., Griol, D., Wang, H., Baumbach, J., Zheng, H., Callejas, Z., Hu, X., Dickerson, J. & Zhang, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 540-547 8 p. 8621485. (Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018).

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

Genes
Biological Phenomena
Benchmarking
Knowledge Bases
Datasets

Permutation and randomization tests for network analysis

Fredrickson, M. M. & Chen, Y., Oct 2019, In : Social Networks. 59, p. 171-183 13 p.

Research output: Contribution to journalArticle

Random Allocation
network analysis
statistics
Observational Studies
hypothesis testing

Per-tensor fixed-point quantization of the back-propagation algorithm

Sakr, C. & Shanbhag, N. R., Jan 1 2019.

Research output: Contribution to conferencePaper

Backpropagation algorithms
Tensors
neural network
Neural networks
Chemical activation

Pharmacogenomics-Driven Prediction of Antidepressant Treatment Outcomes: A Machine-Learning Approach With Multi-trial Replication

Athreya, A. P., Neavin, D., Carrillo-Roa, T., Skime, M., Biernacka, J., Frye, M. A., Rush, A. J., Wang, L., Binder, E. B., Iyer, R. K., Weinshilboum, R. M. & Bobo, W. V., Oct 1 2019, In : Clinical Pharmacology and Therapeutics. 106, 4, p. 855-865 11 p.

Research output: Contribution to journalArticle

Pharmacogenetics
Serotonin Uptake Inhibitors
Antidepressive Agents
Major Depressive Disorder
Citalopram

Pisa: Arbitration outsourcing for state channels

McCorry, P., Bakshi, S., Bentov, I., Meiklejohn, S. & Miller, A., Oct 21 2019, AFT 2019 - Proceedings of the 1st ACM Conference on Advances in Financial Technologies. Association for Computing Machinery, Inc, p. 16-30 15 p. (AFT 2019 - Proceedings of the 1st ACM Conference on Advances in Financial Technologies).

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

Outsourcing
Scalability
Costs
Electronic money
Arbitration

Place deduplication with embeddings

Yang, C., Mikolov, T., Hoang, D. H. & Han, J., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 3420-3426 7 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

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

Open Access
Pipelines

Poisoning Attack on Load Forecasting

Liang, Y., He, D. & Chen, D., May 2019, 2019 IEEE PES Innovative Smart Grid Technologies Asia, ISGT 2019. Institute of Electrical and Electronics Engineers Inc., p. 1230-1235 6 p. 8881664. (2019 IEEE PES Innovative Smart Grid Technologies Asia, ISGT 2019).

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

Load Forecasting
Multiple Linear Regression
Outlier Detection
Attack
Short-term Load Forecasting

Policylint: Investigating internal privacy policy contradictions on google play

Andow, B., Mahmud, S. Y., Wang, W., Whitaker, J., Enck, W., Reaves, B., Singh, K. & Xie, T., Jan 1 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 585-602 18 p. (Proceedings of the 28th USENIX Security Symposium).

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

Laundering
Application programs
Ontology
Semantics
Processing

Policy Search in Infinite-Horizon Discounted Reinforcement Learning: Advances through Connections to Non-Convex Optimization: Invited Presentation

Zhang, K., Koppel, A., Zhu, H. & Basar, M. T., Apr 16 2019, 2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019. Institute of Electrical and Electronics Engineers Inc., 8693017. (2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019).

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

Reinforcement learning

Polytopic control of a PV-fed SEPIC DC-DC converter

Lekić, A., Aroudi, A. E. & Stipanovic, D. M., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702076. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

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

DC-DC converters
Inductance
Lyapunov functions
Recovery
Controllers

Power-positive networking: Wireless-charging-based networking to protect energy against battery DoS attacks

Chang, S. Y., Kumar, S. L. S., Hu, Y. C. & Park, Y., Jan 1 2019, In : ACM Transactions on Sensor Networks. 15, 3, 27.

Research output: Contribution to journalArticle

Embedded systems
Data transfer
Authentication
Availability
Hardware

Predicting Short-term MCI-to-AD Progression Using Imaging, CSF, Genetic Factors, Cognitive Resilience, and Demographics

For the Alzheimer’s Disease Neuroimaging Initiative & Iyer, R. K., Dec 1 2019, In : Scientific reports. 9, 1, 2235.

Research output: Contribution to journalArticle

Open Access
Disease Progression
Alzheimer Disease
Demography
Complement C1
Prodromal Symptoms

Preface

Guttman, J., Landwehr, C., Meseguer, J. & Pavlovic, D., Jan 1 2019, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11565 LNCS, p. vii-ix

Research output: Contribution to journalEditorial

Preface

Xie, T., Wei, J., Xu, C., Jin, Z. & Ma, X., Sep 1 2019, In : Journal of Computer Science and Technology. 34, 5, p. 939-941 3 p.

Research output: Contribution to journalEditorial

Preface

Xu, J. J., Zhu, B., Liu, X., Shaw, M. J-P., Zhang, H. & Fan, M., Jan 1 2019, In : Lecture Notes in Business Information Processing. 357

Research output: Contribution to journalEditorial

Preserving Physical Safety under Cyber Attacks

Abdi, F., Chen, C. Y., Hasan, M., Liu, S., Mohan, S. & Caccamo, M., Aug 2019, In : IEEE Internet of Things Journal. 6, 4, p. 6285-6300 16 p., 8590791.

Research output: Contribution to journalArticle

Warehouses
Helicopters
Hardware
Temperature
Cyber Physical System

Primal-Dual Algorithm for Distributed Reinforcement Learning: Distributed GTD

Lee, D., Yoon, H. & Hovakimyan, N., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1967-1972 6 p. 8619839. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Primal-dual Algorithm
Reinforcement learning
Reinforcement Learning
Reward
Learning algorithms

Probabilistic graphical fusion of LiDAR, GPS, and 3D building maps for urban UAV navigation

Chen, D. & Gao, G. X., Mar 1 2019, In : Navigation, Journal of the Institute of Navigation. 66, 1, p. 151-168 18 p.

Research output: Contribution to journalArticle

Global positioning system
Navigation
Fusion reactions
Air
Trajectories

Project almanac: A time-traveling solid-state drive

Wang, X., Yuan, Y., Zhou, Y., Coats, C. C. & Huang, J., Mar 25 2019, Proceedings of the 14th EuroSys Conference 2019. Association for Computing Machinery, Inc, 3303983. (Proceedings of the 14th EuroSys Conference 2019).

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

Travel time
Hardware
Recovery
Costs
Experiments

Projected stochastic primal-dual method for constrained online learning with kernels

Koppel, A., Zhang, K., Zhu, H. & Basar, M. T., May 15 2019, In : IEEE Transactions on Signal Processing. 67, 10, p. 2528-2542 15 p., 8678800.

Research output: Contribution to journalArticle

Hilbert spaces
Supervised learning
Tuning

Projected Stochastic Primal-Dual Method for Constrained Online Learning with Kernels

Zhang, K., Zhu, H., Basar, T. & Koppel, A., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 4224-4231 8 p. 8619068. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Primal-dual Method
Online Learning
Stochastic Methods
Hilbert spaces
kernel

Propeller phase synchronization for small distributed electric vehicles

Patterson, A., Gahlawat, A. & Hovakimyan, N., Jan 1 2019, AIAA Scitech 2019 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2019 Forum).

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

Propellers
Electric vehicles
Unmanned aerial vehicles (UAV)
Synchronization
Controllers

Public Signals and Persuasion for Road Network Congestion Games under Vagaries

Massicot, O. & Langbort, C., Jan 1 2019, In : IFAC-PapersOnLine. 51, 34, p. 124-130 7 p.

Research output: Contribution to journalArticle

Controllers

Publisher Correction: Large-area MRI-compatible epidermal electronic interfaces for prosthetic control and cognitive monitoring (Nature Biomedical Engineering, (2019), 3, 3, (194-205), 10.1038/s41551-019-0347-x)

Tian, L., Zimmerman, B., Akhtar, A., Yu, K. J., Moore, M., Wu, J., Larsen, R. J., Lee, J. W., Li, J., Liu, Y., Metzger, B., Qu, S., Guo, X., Mathewson, K. E., Fan, J. A., Cornman, J., Fatina, M., Xie, Z., Ma, Y., Zhang, J. & 9 others, Zhang, Y., Dolcos, F., Fabiani, M., Gratton, G., Bretl, T., Hargrove, L. J., Braun, P. V., Huang, Y. & Rogers, J. A., Jan 1 2019, In : Nature biomedical engineering.

Research output: Contribution to journalComment/debate

Open Access
Biomedical Engineering
Biomedical engineering
Prosthetics
Electrocardiography
Magnetic resonance imaging

Publisher Correction: Large-area MRI-compatible epidermal electronic interfaces for prosthetic control and cognitive monitoring (Nature Biomedical Engineering, (2019), 3, 3, (194-205), 10.1038/s41551-019-0347-x)

Tian, L., Zimmerman, B., Akhtar, A., Yu, K. J., Moore, M., Wu, J., Larsen, R. J., Lee, J. W., Li, J., Liu, Y., Metzger, B., Qu, S., Guo, X., Mathewson, K. E., Fan, J. A., Cornman, J., Fatina, M., Xie, Z., Ma, Y., Zhang, J. & 9 others, Zhang, Y., Dolcos, F., Fabiani, M., Gratton, G., Bretl, T., Hargrove, L. J., Braun, P. V., Huang, Y. & Rogers, J. A., May 1 2019, In : Nature biomedical engineering. 3, 5, 1 p.

Research output: Contribution to journalComment/debate

Open Access
Biomedical Engineering
Biomedical engineering
Prosthetics
Magnetic resonance imaging
Monitoring

PUMA: A Programmable Ultra-efficient Memristor-based Accelerator for Machine Learning Inference

Ankit, A., El Hajj, I., Rahul Chalamalasetti, S., Ndu, G., Foltin, M., Williams, R. S., Faraboschi, P., Hwu, W. M., Paul Strachan, J., Roy, K. & Milojicic, D. S., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 715-731 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

Open Access
Memristors
Particle accelerators
Learning systems
Image recognition
Energy efficiency

Putting a price on social movements: A case study of #metoo on instagram

Afnan, T., Huang, H. Y., Sclafani, M. & Bashir, M., Jan 1 2019, In : Proceedings of the Association for Information Science and Technology. 56, 1, p. 1-9 9 p.

Research output: Contribution to journalArticle

social media
Social Movements
social movement
sexual violence
networking
voter
trend
User interfaces
Websites
Gold

Query-specific knowledge summarization with entity evolutionary networks

Yang, C., Gan, L., Wang, Z., Shen, J., Xiao, J. & Han, J., Nov 3 2019, CIKM 2019 - Proceedings of the 28th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2121-2124 4 p. (International Conference on Information and Knowledge Management, Proceedings).

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

Open Access
Summarization
Query
Evolutionary
Computer vision
Experiment

QuickCheck: Using speculation to reduce the overhead of checks in NVM frameworks

Shull, T., Huang, J. & Torrellas, J., Apr 14 2019, VEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Sartor, J. B., Naik, M. & Sartor, J. B. (eds.). Association for Computing Machinery, Inc, p. 137-151 15 p. (VEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments).

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

Data storage equipment
Dynamic random access storage
Computer programming
Data structures
Productivity

Quickest change detection under transient dynamics: Theory and asymptotic analysis

Zou, S., Fellouris, G. & Veeravalli, V. V., Mar 2019, In : IEEE Transactions on Information Theory. 65, 3, p. 1397-1412 16 p., 8509641.

Research output: Contribution to journalArticle

Asymptotic analysis

Quickest Detection of a Moving Target in a Sensor Network

Rovatsos, G., Zou, S. & Veeravalli, V. V., Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2399-2403 5 p. 8849552. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

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

Moving Target
Sensor networks
Sensor Networks
Target
Sensors

Quickest Detection of Significant Events in Structured Networks

Zou, S., Veeravalli, V. V., Li, J. & Towsley, D., 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. 1307-1311 5 p. 8645282. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2018-October).

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

Statistics

Random ensemble of locally optimum detectors for detection of adversarial examples

Goel, A. & Moulin, P., Feb 20 2019, 2018 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1189-1193 5 p. 8646479. (2018 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2018 - Proceedings).

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

Image classification
Detectors
Deep neural networks

Reachability in concurrent uninterpreted programs

Torre, S. L. & Parthasarathy, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

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

Scheduling

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

Liu, S., Ölveczky, P. C., Wang, Q., Gupta, I. & Meseguer, J., Nov 1 2019, In : Formal Aspects of Computing. 31, 5, p. 503-540 38 p.

Research output: Contribution to journalArticle

Formal Analysis
Model checking
Transactions
Atomicity
Update

Recommendations for performance optimizations when using GATK3.8 and GATK4

Heldenbrand, J. R., Baheti, S., Bockol, M. A., Drucker, T. M., Hart, S. N., Hudson, M. E., Iyer, R. K., Kalmbach, M. T., Kendig, K. I., Klee, E. W., Mattson, N. R., Wieben, E. D., Wiepert, M., Wildman, D. E. & Mainzer, L. S., Nov 8 2019, In : BMC bioinformatics. 20, 1, 557.

Research output: Contribution to journalArticle

Open Access
Performance Optimization
Recommendations
Genes
Cost effectiveness
Electric sparks

Recovery of desired flying characteristics with an l1 adaptive control law: Flight test results on calspan’s vss learjet

Ackerman, K. A., Navarro, J. P., Hovakimyan, N., Cotting, M. C., Duke, D. J., Carrera, M. J., McCaskey, N. C., Esposito, D., Peterson, J. M. & Tellefsen, J. R., Jan 1 2019, AIAA Scitech 2019 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2019 Forum).

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

Recovery
System stability
Aircraft
Safe handling
Air

Region and effect inference for safe parallelism

Tzannes, A., Heumann, S. T., Eloussi, L., Vakilian, M., Adve, V. S. & Han, M., Jun 15 2019, In : Automated Software Engineering. 26, 2, p. 463-509 47 p.

Research output: Contribution to journalArticle

Constraint satisfaction problems
Polymorphism
Specifications