An Algorithm for Target Localization in Sensor Networks Based on Overlap Area Boundary of Sensor Detection. - Quanlong Li; Luo Yu; Xiaofei Xu; Zhijia Zhao 001 (ICYCS, 2008)

Group Target Tracking in WSN Based on Convex Hulls Merging. - Quanlong Li; Zhijia Zhao 001; Xiaofei Xu; Tingting Zhou (Wirel. Sens. Netw., 2009)

Probabilistic Models Towards Optimal Speculation of DFA Applications. - Zhijia Zhao 001; Bo Wu (PACT, 2011)

A Flexible Boundary Sensing Model for Group Target Tracking in Wireless Sensor Networks. - Quanlong Li; Zhijia Zhao 001; Xiaofei Xu; Qingjun Yan (GreeNets, 2011)

A Scheme for Group Target Tracking in WSN Based on Boundary Detecting. - Quanlong Li; Zhijia Zhao 001; Xiaofei Xu; Tingting Zhou (Ad Hoc Sens. Wirel. Networks, 2011)

Speculative parallelization needs rigor: probabilistic analysis for optimal speculation of finite-state machine applications. - Zhijia Zhao 001; Bo Wu 002; Xipeng Shen (PACT, 2012)

Exploiting inter-sequence correlations for program behavior prediction. - Bo Wu 002; Zhijia Zhao 001; Xipeng Shen; Yunlian Jiang; Yaoqing Gao; Raúl Silvera (OOPSLA, 2012)

Complexity analysis and algorithm design for reorganizing data to minimize non-coalesced memory accesses on GPU. - Bo Wu 002; Zhijia Zhao 001; Eddy Zheng Zhang; Yunlian Jiang; Xipeng Shen (PPoPP, 2013)

HPar: A practical parallel parser for HTML-taming HTML complexities for parallel parsing. - Zhijia Zhao 001; Michael Bebenita; Dave Herman; Jianhua Sun; Xipeng Shen (ACM Trans. Archit. Code Optim., 2013)

Finding the limit: examining the potential and complexity of compilation scheduling for JIT-based runtime systems. - Yufei Ding 001; Mingzhou Zhou; Zhijia Zhao 001; Sarah Eisenstat; Xipeng Shen (ASPLOS, 2014)

Challenging the "embarrassingly sequential": parallelizing finite state machine-based computations through principled speculation. - Zhijia Zhao 001; Bo Wu 002; Xipeng Shen (ASPLOS, 2014)

SatScore: uncovering and avoiding a principled pitfall in responsiveness measurements of app launches. - Zhijia Zhao 001; Mingzhou Zhou; Xipeng Shen (UbiComp, 2014)

Call sequence prediction through probabilistic calling automata. - Zhijia Zhao 001; Bo Wu 002; Mingzhou Zhou; Yufei Ding 001; Jianhua Sun; Xipeng Shen; Youfeng Wu (OOPSLA, 2014)

On-the-Fly Principled Speculation for FSM Parallelization. - Zhijia Zhao 001; Xipeng Shen (ASPLOS, 2015)

MicroSpec: Speculation-Centric Fine-Grained Parallelization for FSM Computations. - Junqiao Qiu; Zhijia Zhao 001; Bin Ren (PACT, 2016)

Enabling scalability-sensitive speculative parallelization for FSM computations. - Junqiao Qiu; Zhijia Zhao 001; Bo Wu 002; Abhinav Vishnu; Shuaiwen Leon Song (ICS, 2017)

Grammar-aware Parallelization for Scalable XPath Querying. - Lin Jiang 005; Zhijia Zhao 001 (PPoPP, 2017)

Tigr: Transforming Irregular Graphs for GPU-Friendly Graph Processing. - Amir Hossein Nodehi Sabet; Junqiao Qiu; Zhijia Zhao 001 (ASPLOS, 2018)

RuntimeDroid: Restarting-Free Runtime Change Handling for Android Apps. - Umar Farooq 002; Zhijia Zhao 001 (GetMobile Mob. Comput. Commun., 2018)

Scalable Processing of Contemporary Semi-Structured Data on Commodity Parallel Processors - A Compilation-based Approach. - Lin Jiang 005; Xiaofan Sun; Umar Farooq 002; Zhijia Zhao 001 (ASPLOS, 2019)

Transforming Query Sequences for High-Throughput B+ Tree Processing on Many-Core Processors. - Ruiqin Tian; Junqiao Qiu; Zhijia Zhao 001; Xu Liu 001; Bin Ren (CGO, 2019)

Challenging Sequential Bitstream Processing via Principled Bitwise Speculation. - Junqiao Qiu; Lin Jiang 005; Zhijia Zhao 001 (ASPLOS, 2020)

App-Aware Response Synthesis for User Reviews. - Umar Farooq 002; A. B. Siddique 001; Fuad T. Jamour; Zhijia Zhao 001; Vagelis Hristidis (IEEE BigData, 2020)

BEAD: Batched Evaluation of Iterative Graph Queries with Evolving Analytics Demands. - Abbas Mazloumi; Chengshuo Xu; Zhijia Zhao 001; Rajiv Gupta 001 (IEEE BigData, 2020)

Subway: minimizing data transfer during out-of-GPU-memory graph processing. - Amir Hossein Nodehi Sabet; Zhijia Zhao 001; Rajiv Gupta 001 (EuroSys, 2020)

AARSynth: App-Aware Response Synthesis for User Reviews. - Umar Farooq 002; A. B. Siddique 001; Fuad T. Jamour; Zhijia Zhao 001; Vagelis Hristidis (CoRR, 2020)

LiveDroid: identifying and preserving mobile app state in volatile runtime environments. - Umar Farooq 002; Zhijia Zhao 001; Manu Sridharan; Iulian Neamtiu (Proc. ACM Program. Lang., 2020)

Scalable Structural Index Construction for JSON Analytics. - Lin Jiang 005; Junqiao Qiu; Zhijia Zhao 001 (Proc. VLDB Endow., 2020)

Reliability Analysis for Unreliable FSM Computations. - Amir Hossein Nodehi Sabet; Junqiao Qiu; Zhijia Zhao 001; Sriram Krishnamoorthy (ACM Trans. Archit. Code Optim., 2020)

Scalable FSM parallelization via path fusion and higher-order speculation. - Junqiao Qiu; Xiaofan Sun; Amir Hossein Nodehi Sabet; Zhijia Zhao 001 (ASPLOS, 2021)

Tripoline: generalized incremental graph processing via graph triangle inequality. - Xiaolin Jiang 002; Chengshuo Xu; Xizhe Yin; Zhijia Zhao 001; Rajiv Gupta 001 (EuroSys, 2021)

JSONSki: streaming semi-structured data with bit-parallel fast-forwarding. - Lin Jiang 005; Zhijia Zhao 001 (ASPLOS, 2022)

Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing. - Xizhe Yin; Zhijia Zhao 001; Rajiv Gupta 001 (ASPLOS (1), 2023)

Detecting Potential User-data Save & Export Losses due to Android App Termination. - Sydur Rahaman; Umar Farooq 002; Iulian Neamtiu; Zhijia Zhao 001 (AST, 2023)

Taming Misaligned Graph Traversals in Concurrent Graph Processing (Abstract). - Xizhe Yin; Zhijia Zhao 001; Rajiv Gupta 001 (HOPC@SPAA, 2023)

dsJSON: A Distributed SQL JSON Processor. - Majid Saeedan; Ahmed Eldawy; Zhijia Zhao 001 (Proc. ACM Manag. Data, 2023)

IncBoost: Scaling Incremental Graph Processing for Edge Deletions and Weight Updates. - Xizhe Yin; Zhijia Zhao 001; Rajiv Gupta 001 (SoCC, 2024)

Core Graph: Exploiting Edge Centrality to Speedup the Evaluation of Iterative Graph Queries. - Xiaolin Jiang 002; Mahbod Afarin; Zhijia Zhao 001; Nael B. Abu-Ghazaleh; Rajiv Gupta 001 (EuroSys, 2024)

PANNS: Enhancing Graph-based Approximate Nearest Neighbor Search through Recency-aware Construction and Parameterized Search. - Xizhe Yin; Chao Gao; Zhijia Zhao 001; Rajiv Gupta 001 (PPoPP, 2025)

Analysis of Stable Vertex Values: Fast Query Evaluation Over An Evolving Graph. - Mahbod Afarin; Chao Gao; Xizhe Yin; Zhijia Zhao 001; Nael B. Abu-Ghazaleh; Rajiv Gupta 001 (CoRR, 2025)