Research Output 1974 2020

2018

Bespoke Processors for Applications with Ultra-Low Area and Power Constraints

Cherupalli, H., Duwe, H., Ye, W., Kumar, R. & Sartori, J., May 1 2018, In : IEEE Micro. 38, 3, p. 32-39 8 p.

Research output: Contribution to journalArticle

Beta-defensin 1, aryl hydrocarbon receptor and plasma kynurenine in major depressive disorder: Metabolomics-informed genomics

Liu, D., Ray, B., Neavin, D. R., Zhang, J., Athreya, A. P., Biernacka, J. M., Bobo, W. V., Hall-Flavin, D. K., Skime, M. K., Zhu, H., Jenkins, G. D., Batzler, A., Kalari, K. R., Boakye-Agyeman, F., Matson, W. R., Bhasin, S. S., Mushiroda, T., Nakamura, Y., Kubo, M., Iyer, R. K. & 4 others, Wang, L., Frye, M. A., Kaddurah-Daouk, R. & Weinshilboum, R. M., Dec 1 2018, In : Translational psychiatry. 8, 1, 56.

Research output: Contribution to journalArticle

beta-Defensins
Kynurenine
Aryl Hydrocarbon Receptors
Metabolomics
Major Depressive Disorder

Biased reference counting: Minimizing atomic operations in garbage collection

Choi, J., Shull, T. & Torrellas, J., Nov 1 2018, Proceedings - 27th International Conference on Parallel Architectures and Compilation Techniques, PACT 2018. Institute of Electrical and Electronics Engineers Inc., a35. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

Garbage Collection
Biased
Counting
Servers
Data storage equipment

Brief announcement: Optimal record and replay under causal consistency

Jones, R. L., Khan, M. S. & Vaidya, N. H., Jul 23 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 277-279 3 p.

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

Data storage equipment

Brief announcement: Partially replicated causally consistent shared memory

Xiang, Z. & Vaidya, N. H., Jul 23 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 273-275 3 p.

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

Data storage equipment
Metadata
Computer systems

Case Study of An Energy-Saving Game for Public Buildings

Cheng, Z., Zhao, Q. & Basar, M. T., Dec 4 2018, 2018 IEEE 14th International Conference on Automation Science and Engineering, CASE 2018. IEEE Computer Society, p. 684-689 6 p. 8560530. (IEEE International Conference on Automation Science and Engineering; vol. 2018-August).

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

Energy conservation
Managers
Game theory
Costs
Experiments

CERTS 2018 Introduction

Asplund, M. & Mohan, S., Jul 19 2018, In : Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018. 1 p., 8416242.

Research output: Contribution to journalEditorial

Characterizing scalability issues in spreadsheet software using online forums

Mack, K., Lee, J., Chang, K. C-C., Karahalios, K. G. & Parameswaran, A. G., Apr 20 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, CS04. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

Spreadsheets
Scalability
Websites
Costs
Processing

Characterizing Supercomputer Traffic Networks Through Link-Level Analysis

Jha, S., Brandt, J., Gentile, A., Kalbarczyk, Z. T. & Iyer, R. K., Oct 29 2018, Proceedings - 2018 IEEE International Conference on Cluster Computing, CLUSTER 2018. Institute of Electrical and Electronics Engineers Inc., p. 562-570 9 p. 8514916. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2018-September).

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

Supercomputers
Telecommunication traffic
Telecommunication links
Topology
Bandwidth

CLEF: Limiting the damage caused by large flows in the internet core

Wu, H., Hsiao, H. C., Asoni, D. E., Scherrer, S., Perrig, A. & Hu, Y-C., Jan 1 2018, Cryptology and Network Security - 17th International Conference, CANS 2018, Proceedings. Papadimitratos, P. & Camenisch, J. (eds.). Springer-Verlag, p. 89-108 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11124 LNCS).

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

Damage
Limiting
Internet
Router
Routers

CoDrive: Cooperative Driving Scheme for Vehicles in Urban Signalized Intersections

Zhao, Y., Yao, S., Shao, H. & Abdelzaher, T., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 308-319 12 p. 8443744. (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018).

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

Intersection
Fuel consumption
Timing
Heavy Traffic
Evaluation

Cognitive radio from hell: Flipping attack on direct-sequence spread spectrum

Harshan, J. & Hu, Y-C., Jun 8 2018, 2018 IEEE Wireless Communications and Networking Conference, WCNC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-April. p. 1-6 6 p.

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

Channel capacity
Jamming
Cognitive radio
Transceivers
Transmitters

Collaborative (CPU + GPU) Algorithms for Triangle Counting and Truss Decomposition

Mailthody, V. S., Date, K., Qureshi, Z., Pearson, C., Nagi, R., Xiong, J. & Hwu, W-M. W., Nov 26 2018, 2018 IEEE High Performance Extreme Computing Conference, HPEC 2018. Institute of Electrical and Electronics Engineers Inc., 8547517. (2018 IEEE High Performance Extreme Computing Conference, HPEC 2018).

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

Program processors
Decomposition
Hardware
Graphics processing unit

Collision Avoidance Based on Line-of-Sight Angle: Guaranteed Safety Using Limited Information About the Obstacle

Cichella, V., Marinho, T., Stipanović, D., Hovakimyan, N., Kaminer, I. & Trujillo, A., Jan 1 2018, In : Journal of Intelligent and Robotic Systems: Theory and Applications. 89, 1-2, p. 139-153 15 p.

Research output: Contribution to journalArticle

Collision avoidance
Unmanned aerial vehicles (UAV)
Degrees of freedom (mechanics)
Angular velocity
Feedback

Collision avoidance in multi-vehicle cooperative missions using speed adjustment

Mehdi, S. B., Cichella, V., Marinho, T. & Hovakimyan, N., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2152-2157 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

Collision Avoidance
Collision avoidance
Adjustment
Categorical or nominal
Deviation

Communicating algorithmic process in online behavioral advertising

Eslami, M., Kumaran, S. R. K., Sandvig, C. & Karahalios, K. G., Apr 20 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

Marketing
Information use
Opacity

Compact modeling to device- and circuit-level evaluation of flexible TMD field-effect transistors

Gholipour, M., Chen, Y. Y. & Chen, D., Apr 2018, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37, 4, p. 820-831 12 p., 7984874.

Research output: Contribution to journalArticle

Field effect transistors
Transition metals
Transistors
Networks (circuits)
SPICE

Complexity of model checking MDPs against LTL specifications

Kini, D. & Viswanathan, M., Jan 1 2018, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. Lokam, S. & Ramanujam, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 93).

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

Model checking
Specifications

Compositional synthesis of piece-wise functions by learning classifiers

Neider, D., Saha, S. & Parthasarathy, M., Feb 2018, In : ACM Transactions on Computational Logic. 19, 2, 10.

Research output: Contribution to journalArticle

Classifiers
Classifier
Synthesis
Specification
Specifications
Materials science
Curricula
Teaching
Students
Education

Concurrent garbage collection in the actor model

Plyukhin, D. & Agha, G. A., Nov 5 2018, AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018. Bergenti, F., De Koster, J. & Franco, J. (eds.). Association for Computing Machinery, Inc, p. 44-53 10 p.

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

Computer programming languages
Data storage equipment

Congestion control for future mobile networks

Mangiante, S., Silva, M. D., Schapira, M., Godfrey, P. B., Navon, A., Wang, W., Smith, K. & Pechtalt, I., Oct 1 2018, CHANTS 2018 - Proceedings of the 13th Workshop on Challenged Networks, Co-located with MobiCom 2018. Association for Computing Machinery, p. 55-61 7 p. (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

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

Wireless networks
Network protocols
Throughput
Bandwidth

Controllability of Conjunctive Boolean Networks with Application to Gene Regulation

Gao, Z., Chen, X. & Basar, M. T., Jun 2018, In : IEEE Transactions on Control of Network Systems. 5, 2, p. 770-781 12 p.

Research output: Contribution to journalArticle

Boolean Networks
Gene Regulation
Controllability
Gene expression
Orbits

Controller design for two-input single-output systems exploiting plant/controller alignment

Weir, N. A. & Alleyne, A. G., Jan 1 2018, Advances in Control Design Methods; Advances in Nonlinear Control; Advances in Robotics; Assistive and Rehabilitation Robotics; Automotive Dynamics and Emerging Powertrain Technologies; Automotive Systems; Bio Engineering Applications; Bio-Mechatronics and Physical Human Robot Interaction; Biomedical and Neural Systems; Biomedical and Neural Systems Modeling, Diagnostics, and Healthcare. American Society of Mechanical Engineers (ASME), (ASME 2018 Dynamic Systems and Control Conference, DSCC 2018; vol. 1).

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

Controllers
Closed loop systems
Frequency response
Feedback

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics

Fan, C., Mathur, U., Mitra, S. & Viswanathan, M., Jan 1 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer-Verlag, p. 347-366 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

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

Synthesis
Specification
Specifications
Controller
Controllers

CONTROLLING the CONTACT TIMES of BOUNCING DROPLETS: DROPLET IMPACT on VIBRATING SURFACES

Weisensee, P. B., Ma, J., King, W. P. & Miljkovic, N., Mar 1 2018, In : Journal of Heat Transfer. 140, 3, 030901.

Research output: Contribution to journalComment/debate

Controlling the Ćuk Converter Using Polytopic Lyapunov Functions

Lekic, A., Stipanovic, D. M. & Petrovic, N., Nov 2018, In : IEEE Transactions on Circuits and Systems II: Express Briefs. 65, 11, p. 1678-1682 5 p., 8170285.

Research output: Contribution to journalArticle

Lyapunov functions
Differential equations

Control of Networked Distributed Energy Resources in Grid-Connected AC Microgrids

Fooladivanda, D., Zholbaryssov, M. & Dominguez-Garcia, A., Dec 2018, In : IEEE Transactions on Control of Network Systems. 5, 4, p. 1875-1886 12 p., 8105872.

Research output: Contribution to journalArticle

Microgrid
Energy resources
Grid
Discrete-time
Resources

Convergence Rate of Distributed Random Projections

Doan, T. T., Lubars, J., Beck, C. L. & Srikant, R., Jan 1 2018, In : IFAC-PapersOnLine. 51, 23, p. 373-378 6 p.

Research output: Contribution to journalArticle

Convex optimization
Constrained optimization
Learning systems
Servers

Convergence Rate of Distributed Subgradient Methods under Communication Delays

Doan, T. T., Beck, C. L. & Srikant, R., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June. p. 5310-5315 6 p. 8431382

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

Communication
Parallel algorithms
Computer science
Topology

Countries' survival in networked international environments

Li, Y., Morse, A. S., Liu, J. & Basar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2912-2917 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

Game
Antagonism
Power Allocation
Complete Graph
Bipartite Graph

Cross-app poisoning in software-defined networking

Ujcich, B. E., Jero, S., Edmundson, A., Wang, Q., Skowyra, R., Landry, J., Bates, A. M., Sanders, W. H., Nita-Rotaru, C. & Okhravi, H., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 648-663 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Software defined networking
Application programs
Flow control
Access control
Controllers

CSCW 2018: Chairs’ welcome

Naaman, M., Evers, V., Karahalios, K., Monroy-Hernández, A., Lampinen, A. & Fitzpatrick, G., Oct 30 2018, In : Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW. p. III-IV

Research output: Contribution to journalEditorial

CSRNet: Dilated Convolutional Neural Networks for Understanding the Highly Congested Scenes

Li, Y., Zhang, X. & Chen, D., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 1091-1100 10 p. 8578218. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

Neural networks
Feature extraction
Deep learning

Curriculum learning for heterogeneous star network embedding via deep reinforcement learning

Qu, M., Tang, J. & Han, J., Feb 2 2018, WSDM 2018 - Proceedings of the 11th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, Inc, Vol. 2018-Febuary. p. 468-476 9 p.

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

Reinforcement learning
Curricula
Stars

Cyberattacks on primary frequency response mechanisms in power grids

Badrinath Krishna, V., Wu, Z., Ambardekar, V. V., Macwan, R. & Sanders, W. H., Nov 2018, Computer, 51, 11, p. 37-45 9 p.

Research output: Contribution to specialist publicationArticle

Outages
Frequency response
Control systems

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features

Fan, C., Qi, B. & Mitra, S., Jun 2018, In : IEEE Design and Test. 35, 3, p. 31-38 8 p.

Research output: Contribution to journalArticle

Control systems

Data race detection on compressed traces

Kini, D., Mathur, U. & Viswanathan, M., 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. 26-37 12 p.

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

Context free grammars

Decentralized collaborative localization in urban environments using 3D-mapping-aided (3DMA) GNSS and inter-agent ranging

Tanwar, S. & Gao, G. X., Jan 1 2018, Proceedings of the 31st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS+ 2018. Institute of Navigation, p. 2352-2363 12 p. (Proceedings of the 31st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS+ 2018).

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

Navigation
Multi agent systems
Global positioning system
Sensors
Visibility

Decentralized collaborative localization using 3D mapping aided (3DMA) GPS

Tanwar, S. & Gao, G. X., Jan 1 2018, Proceedings of the 31st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS+ 2018. Institute of Navigation, (Proceedings of the 31st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS+ 2018).

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

Global positioning system
Navigation
Geometry

Decentralized collaborative localization with deep GPS coupling for UAVs

Tanwar, S. & 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. 767-774 8 p. (2018 IEEE/ION Position, Location and Navigation Symposium, PLANS 2018 - Proceedings).

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

Unmanned aerial vehicles (UAV)
Decentralized
Global positioning system
Sensor
Sensors

Decentralized Control of Switched-Systems with Path-Dependent ℓ2-induced Bounds

Jansch-Porto, J. P. & Dullerud, G. E., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 502-507 6 p. 8430949. (Proceedings of the American Control Conference; vol. 2018-June).

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

Decentralized control
Controllers
Aircraft
Data storage equipment

Deceptive Multi-dimensional Information Disclosure over a Gaussian Channel∗

Sayin, M. O. & Basar, M. T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June. p. 6545-6552 8 p. 8431702

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

Communication

Decision-driven scheduling

Kim, J. E., Abdelzaher, T., Sha, L. R., Bar-Noy, A., Hobbs, R. & Dron, W., Jan 1 2018, (Accepted/In press) In : Real-Time Systems.

Research output: Contribution to journalArticle

Event-driven
Scheduling
Sensor
Periodic Tasks
Sensors

Deep Learning for Better Variant Calling for Cancer Diagnosis and Treatment

Ramachandran, A., Li, H., Klee, E., Lumetta, S. S. & Chen, D., Feb 20 2018, ASP-DAC 2018 - 23rd Asia and South Pacific Design Automation Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 16-21 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; vol. 2018-January).

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

DNA
Throughput
Molecular biology
Bioinformatics
Gene expression

Deep Learning for the Internet of Things

Yao, S., Zhao, Y., Zhang, A., Hu, S., Shao, H., Zhang, C., Su, L. & Abdelzaher, T., May 2018, Computer, 51, 5, p. 32-41 10 p.

Research output: Contribution to specialist publicationArticle

Deep learning
Internet of things

Deep Neural Network Model and FPGA Accelerator Co-Design: Opportunities and Challenges

Hao, C. & Chen, D., Dec 5 2018, 2018 14th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2018 - Proceedings. Tang, T-A., Ye, F. & Jiang, Y-L. (eds.). Institute of Electrical and Electronics Engineers Inc., 8564956. (2018 14th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2018 - Proceedings).

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

Particle accelerators
Field programmable gate arrays (FPGA)
Hardware
Energy efficiency
Learning systems

De facto diagnosis specialties: Recognition and discovery

Zhang, A., Lu, X., Gunter, C. A., Yao, S., Tao, F., Zhu, R., Gui, H., Fabbri, D., Liebovitz, D. & Malin, B., Jan 1 2018, In : Learning Health Systems. 2, 3, e10057.

Research output: Contribution to journalArticle

Open Access
Health Personnel
Learning
Medicine
Information Services
Recognition (Psychology)

Defining a high-level programming model for emerging NVRAM technologies

Shull, T., Huang, J. & Torrellas, J., Sep 12 2018, Proceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018 (formerly PPPJ). Association for Computing Machinery, (ACM International Conference Proceeding Series).

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

Computer programming
Data storage equipment
Hybrid systems
Mirrors
Productivity

Delta debugging microservice systems

Zhou, X., Sun, J., Peng, X., Li, W., Ding, D., Xie, T. & Ji, C., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 802-807 6 p.

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