Demo Data from EDBT 2026 / reviewers in the wild / expert
Ti Zhou
dblp:86/6614
· DBLP profile ↗
10ranked-venue papers
1as first author
6since 2021 · last 2025
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 1 first-author · 3 since 2021Security and privacy · 2Software engineering, systems software and programming languages · 2 · 1 since 2021Artificial intelligence and machine learning · 1Computer networks · 1 · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Compilers and program optimization · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Distributed systems · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Compilers and program optimization
code generation |
0.9 | 1 | 2025 | AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations · SOSP 2025 |
Compilers and program optimization › code generation › parallel code generation
distributed-memory code generation |
0.9 | 1 | 2025 | AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations · SOSP 2025 |
Methods — techniques the papers use, named apart from their topics
manual optimization · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu 0001 |
SOSP | 2 |
| 2025 | Energy-Efficient Computation With DVFS Using Deep Reinforcement Learning for Multi-Task Systems in Edge ComputingabstractFinding an optimal energy-efficient policy that is adaptable to underlying edge devices while meeting deadlines for tasks has always been challenging. This research studies generalized systems with multi-task, multi-deadline scenarios with reinforcement learning-based DVFS for energy saving for periodic soft real-time applications on edge devices. This work addresses the limitation of previous work that models a periodic system as a single task and single-deadline scenario, which is too simplified to cope with complex situations. The method encodes time series data in the Linux kernel into information that is easy to interpret for reinforcement learning, allowing the system to generate DVFS policies to adapt system patterns based on the general workload. For encoding, we present two different methods for comparison. Both methods use only one performance counter: system utilization, and the kernel only needs minimal information from the userspace. Our method is implemented on Jetson Nano Board (2GB) and is tested with three fixed multitask workloads, which are three, five, and eight tasks in the workload, respectively. For randomness and generalization, we also designed a random workload generator to build different multitask workloads to test. Based on the test results, our method could save 3%-10% power compared to Linux built-in governors. Ti Zhou, Man Lin |
IEEE Trans. Sustain. Comput. | 2 |
| 2025 | Data-Driven Software-Based Power Estimation for Embedded DevicesabstractEnergy measurement of computer devices, which are widely used in the Internet of Things (IoT),is an important yet challenging task. Most of these IoT devices lack ready-to-use hardware or software for power measurement. In this paper, we propose an easy-to-use approach to derive a software-based energy estimation model with external low-end power meters based on data-driven analysis. Our solution is demonstrated with a Jetson Nano board and Ruideng UM25C USB power meter. Various machine learning methods combined with our smart data collection & profiling method and physical measurement are explored. Periodic Long-duration measurements are utilized in the experiments to derive and validate power models, allowing more accurate power readings from the low-end power meter. Benchmarks were used to evaluate the derived software-power model for the Jetson Nano board and Raspberry Pi. The results show that 92% accuracy can be achieved by the software-based power estimation compared to measurement. A kernel module that can collect running traces of utilization and frequencies needed is developed, together with the power model derived, for power prediction for programs running in a real environment. Our cost-effective method facilitates accurate instantaneous power estimation, which low-end power meters cannot directly provide. Ti Zhou, Man Lin |
IEEE Trans. Sustain. Comput. | 3 |
| 2023 | Energy-Efficient Computation Offloading With DVFS Using Deep Reinforcement Learning for Time-Critical IoT Applications in Edge ComputingabstractInternet of Things (IoT) is a technology that allows ordinary physical devices to collect, process, and share data with other physical devices and systems over the Internet. It provides pervasively connected infrastructures to support innovative applications and services that can automate otherwise intensely laborious manual effort. Edge computing (EC) complements the powerful centralized cloud servers by providing powerful computation capability close to the data source, minimizing communication latency, and securing data privacy. The energy consumption problem has continued to receive much attention from the IoT community in applying various techniques to reduce energy consumption while still meeting the computational demand. In this article, we propose an application-deadline-aware data offloading scheme using deep reinforcement learning and dynamic voltage and frequency scaling (DVFS) in an EC environment to reduce the energy consumption of IoT devices. The proposed scheme learns the optimal data distribution policies and local computation DVFS frequency scaling by interacting with the system environment and learning the behavior of the device, network, and edge servers. The proposed scheme was tested on multiple EC environments with different IoT devices. Experimental results show that this scheme can reduce energy consumption while achieving the IoT application and services timing and computational goals. The proposed scheme has substantial energy savings when compared with the native Linux governors. Saroj Kumar Panda, Man Lin, Ti Zhou |
IEEE Internet Things J. | 3 |
| 2023 | CPU frequency scheduling of real-time applications on embedded devices with temporal encoding-based deep reinforcement learning
Ti Zhou, Man Lin |
J. Syst. Archit. | 1 |
| 2021 | Multi-scale visualization based on sketch interaction for massive surveillance video data
Ran Zuo, Ti Zhou, CuiXia Ma, Hongan Wang |
Pers. Ubiquitous Comput. | 5 |
| 2017 | Efficient Anonymous Authenticated Key Agreement Scheme for Wireless Body Area NetworksabstractWireless body area networks (WBANs) are widely used in telemedicine, which can be utilized for real-time patients monitoring and home health-care. The sensor nodes in WBANs collect the client’s physiological data and transmit it to the medical center. However, the clients’ personal information is sensitive and there are many security threats in the extra-body communication. Therefore, the security and privacy of client’s physiological data need to be ensured. Many authentication protocols for WBANs have been proposed in recent years. However, the existing protocols fail to consider the key update phase. In this paper, we propose an efficient authenticated key agreement scheme for WBANs and add the key update phase to enhance the security of the proposed scheme. In addition, session keys are generated during the registration phase and kept secretly, thus reducing computation cost in the authentication phase. The performance analysis demonstrates that our scheme is more efficient than the currently popular related schemes. Tong Li 0021, Yuhui Zheng, Ti Zhou |
Secur. Commun. Networks | 3 |
| 2014 | Estimation of evapotranspiration over heterogeneous surface based on HJ-1B satelliteabstractEvapotranspiration plays an important role in the surface-atmosphere interaction. Remote sensing has long been identified as a technology capable of monitoring ET. But spatial scale problem has a great effect on the accuracy of the ET retrieval by satellite. The objective of this paper is to reduce the uncertainty produced by spatial scale problem based on the spatial characteristic of HJ-1B data. Firstly, the temperature is sharpened to 30m spatial resolutions associated with visible-near-infrared bands. Then net radiation, soil heat flux and sensible heat flux of sub pixel are calculated at 30m resolution using one-source energy balance model. Finally, the fluxes are averaged to 300m resolution and latent heat flux is computed as residual of surface energy balance. The result shows that Temperature sharpening and flux aggregation (TSFA) method reduces the uncertainty produced by spatial scale problem, and it can capture the land surface heterogeneities and associated uncertainties in a way. Jingjun Jiao, Xiaozhou Xin, Jing Zhao 0008, Li Li 0061, Ti Zhou, Zhiqing Peng |
IGARSS | 5 |
| 2008 | SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming
Ti Zhou, Zhoujun Li 0001 |
Inscrypt | 2 |
| 2008 | Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic
Zhoujun Li 0001, Ti Zhou |
SEKE | 3 |