Yu Huang - RankMe

72 papers A* 5A 2B 9C 6Misc 1Journal 36Unranked 13

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