Yu Huang

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 36

Top Topics

Replicated Data

Top Venues

Publications

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. EuroSys (2024)
Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
Model-checking-driven explorative testing of CRDT designs and implementations. J. Softw. Evol. Process. 36 (4) (2024)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma
Specifications to Improve the Reliability of the ZooKeeperCoordination Service. SETTA (2023)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. CoRR (2023)
Yuqi Zhang, Lingzhi Ouyang, Yu Huang, Xiaoxing Ma
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. Internetware (2023)
Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. CoRR (2022)
Xue Jiang, Hengfeng Wei, Yu Huang
Tunable Causal Consistency: Specification and Implementation. CoRR (2022)
Lintian Shi, Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
ViSearch: Weak Consistency Measurement for Replicated Data Types. CoRR (2022)
Xue Jiang, Hengfeng Wei, Yu Huang
Tunable Causal Consistency: Specification and Implementation. ICPADS (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. CoRR (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. SRDS (2022)
Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores. IEEE Trans. Parallel Distributed Syst. 32 (4) (2021)
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol. CoRR (2021)
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. SSS (2021)
Yuqi Zhang, Hengfeng Wei, Yu Huang
Remove-Win: a Design Framework for Conflict-free Replicated Data Types. ICPADS (2021)
Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang
Raft with Out-of-Order Executions. Int. J. Softw. Informatics 11 (4) (2021)
Hongrong Ouyang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Verifying Transactional Consistency of MongoDB. CoRR (2021)
Kaile Huang, Yu Huang, Hengfeng Wei
Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers. CoRR (2020)
Kaile Huang, Yu Huang, Hengfeng Wei
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers. PODC (2020)
Hongrong Ouyang, Hengfeng Wei, Yu Huang
Checking Causal Consistency of MongoDB. Internetware (2020)
Xue Jiang, Hengfeng Wei, Yu Huang
A Generic Specification Framework for Weakly Consistent Replicated Data Types. SRDS (2020)
Yu Huang, Hengfeng Wei, Maosen Huang, Lingzhi Ouyang
Inversion-based Measurement of Data Consistency for Read/Write Registers. CoRR (2019)
Yuqi Zhang, Yu Huang, Hengfeng Wei, Jian Lu
Remove-Win: a Design Framework for Conflict-free Replicated Data Collections. CoRR (2019)
Yi Qin, Xianping Tao, Yu Huang, Jian Lu
An index structure supporting rule activation in pervasive applications. World Wide Web 22 (1) (2019)
Hengfeng Wei, Yu Huang, Jian Lu
Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. PODC (2018)
Zhen Tang, Wei Wang, Lei Sun, Yu Huang, Heng Wu, Jun Wei, Tao Huang
IO dependent SSD cache allocation for elastic Hadoop applications. Sci. China Inf. Sci. 61 (5) (2018)
Hengfeng Wei, Yu Huang, Jian Lu
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. OPODIS (2018)
Hengfeng Wei, Yu Huang, Jian Lu
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. CoRR (2017)
Hengfeng Wei, Yu Huang, Jian Lu
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. IEEE Trans. Computers 66 (3) (2017)
Hengfeng Wei, Yu Huang, Jian Lu
Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores. SRDS (2017)
Zhen Tang, Wei Wang, Yu Huang, Heng Wu, Jun Wei, Tao Huang
Application-centric SSD Cache Allocation for Hadoop Applications. Internetware (2017)
Xue Jiang, Yu Huang, Hengfeng Wei
Fine-Grained Delta Privacy Preservation for Hierarchical Contexts. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld (2016)
Xue Jiang, Yu Huang
CBBR: enabling distributed shared memory-based coordination among mobile robots. Sci. China Inf. Sci. 59 (8) (2016)
Maosen Huang, Hengfeng Wei, Yu Huang
Enabling Mobile Device Coordination over Distributed Shared Memory. ICPADS (2016)
Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, Jian Lu
Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas. IEEE Trans. Parallel Distributed Syst. 27 (5) (2016)
Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
Enabling Context-Awareness by Predicate Detection in Asynchronous Environments. IEEE Trans. Computers 65 (2) (2016)
Hengfeng Wei, Yu Huang, Jiannong Cao, Jian Lu
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems. CoRR (2015)
Xue Jiang, Yu Huang
CBBR: Enabling Distributed Shared Memory-based Coordination Among Mobile Robots. Internetware (2015)
Yiling Yang, Yu Huang, Jiannong Cao, Jian Lu
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime. CoRR (2015)
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
Design of a Sliding Window over Distributed and Asynchronous Event Streams. IEEE Trans. Parallel Distributed Syst. 25 (10) (2014)
Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments. CoRR (2013)
Liang Wang, Tao Gu, Hongwei Xie, XianPing Tao, Jian Lu, Yu Huang
A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns. MobiQuitous (2013)
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments. IEEE Trans. Parallel Distributed Syst. 24 (8) (2013)
Jian Lü, Yu Huang, Chang Xu, Xiaoxing Ma
Managing Environment and Adaptation Risks for the Internetware Paradigm. Theories of Programming and Formal Methods (2013)
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
Verifying PRAM Consistency over Read/Write Traces of Data Replicas CoRR (2013)
Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments. IEEE Trans. Parallel Distributed Syst. 23 (4) (2012)
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
Formal specification and runtime detection of temporal properties for asynchronous context. PerCom (2012)
Yu Huang, Xiaoxing Ma, Yiling Yang
Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications. ICPADS (2012)
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
Design of a Sliding Window over Asynchronous Event Streams CoRR (2011)
Yu Huang, Jiannong Cao, Beihong Jin, XianPing Tao, Jian Lu, Yulin Feng
Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks. IEEE Trans. Parallel Distributed Syst. 21 (8) (2010)
Yu Huang, Jiannong Cao, Beihong Jin, XianPing Tao, Jian Lu
Cooperative cache consistency maintenance for pervasive internet access. Wirel. Commun. Mob. Comput. 10 (3) (2010)
Tingting Hua, Yu Huang, Jiannong Cao, XianPing Tao
A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context. UIC (2010)
Jianping Yu, Yu Huang, Jiannong Cao, XianPing Tao
Middleware Support for Context-awareness in Asynchronous Pervasive Computing Environments. EUC (2010)
Yu Huang, Jianping Yu, Jiannong Cao, XianPing Tao
Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments. ICPADS (2010)
Yu Huang, Xiaoxing Ma, Jiannong Cao, XianPing Tao, Jian Lu
Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context. PerCom (2009)
Jian Lü, Xiaoxing Ma, Yu Huang, Chun Cao, Feng Xu
Internetware: a shift of software paradigm. Internetware (2009)
Yu Huang, Jianping Yu, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu
Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments CoRR (2009)
Yu Huang, Bo Liu, XianPing Tao, Jiannong Cao, Beihong Jin
An Analytical Model for Broadcasting by Self Pruning in Wireless Ad Hoc Networks. EUC (2) (2008)
Jian Lü, Xiaoxing Ma, XianPing Tao, Chun Cao, Yu Huang, Ping Yu
On environment-driven software model for Internetware. Sci. China Ser. F Inf. Sci. 51 (6) (2008)
Yu Huang, Xiang Ma, XianPing Tao, Jiannong Cao, Jian Lu
A Probabilistic Approach to Consistency Checking for Pervasive Context. EUC (1) (2008)
Yu Huang, Jiannong Cao, Zhijun Wang, Beihong Jin, Yulin Feng
Achieving Flexible Cache Consistency for Pervasive Internet Access. PerCom (2007)
Yu Huang, Beihong Jin, Jiannong Cao, Guangzhong Sun, Yulin Feng
A Selective Push Algorithm for Cooperative Cache Consistency Maintenance over MANETs. EUC (2007)
Beihong Jin, Sihua Tian, Chen Lin, Xin Ren, Yu Huang
An Integrated Prefetching and Caching Strategy for Mobile Web Caching System. SNPD (2) (2007)
Guangzhong Sun, Yipeng Zhou, Yu Huang, Yinghua Zhou
Adaptive Scheduling Strategy for Data Stream Management System. APWeb/WAIM (2007)
Yu Huang, Jiannong Cao, Beihong Jin
A predictive approach to achieving consistency in cooperative caching in MANET. Infoscale (2006)
Yu Huang, Beihong Jin, Jiannong Cao
A Distributed Approach to Construction of Topology Mismatching Aware P2P Overlays in Wireless Ad Hoc Networks. PDP (2006)