Yu Huang

Proceedings of the 28th IEEE International Conference on Parallel and Distributed Systems, 2022

2021

Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2021

Raft with Out-of-Order Executions.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2021

Verifying Transactional Consistency of MongoDB.

[BibT_eX]

[DOI]

CoRR, 2021

Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

Remove-Win: a Design Framework for Conflict-free Replicated Data Types.

[BibT_eX]

[DOI]

Yuqi Zhang

Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

2020

Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers.

[BibT_eX]

[DOI]

Kaile Huang

CoRR, 2020

A Generic Specification Framework for Weakly Consistent Replicated Data Types.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Reliable Distributed Systems, 2020

Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers.

[BibT_eX]

[DOI]

Kaile Huang

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Checking Causal Consistency of MongoDB.

[BibT_eX]

[DOI]

Hongrong Ouyang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

An index structure supporting rule activation in pervasive applications.

[BibT_eX]

[DOI]

World Wide Web, 2019

Remove-Win: a Design Framework for Conflict-free Replicated Data Collections.

[BibT_eX]

[DOI]

CoRR, 2019

Inversion-based Measurement of Data Consistency for Read/Write Registers.

[BibT_eX]

[DOI]

CoRR, 2019

2018

IO dependent SSD cache allocation for elastic Hadoop applications.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Application-centric SSD Cache Allocation for Hadoop Applications.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

2016

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

CBBR: enabling distributed shared memory-based coordination among mobile robots.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

Fine-Grained Delta Privacy Preservation for Hierarchical Contexts.

[BibT_eX]

[DOI]

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Enabling Mobile Device Coordination over Distributed Shared Memory.

[BibT_eX]

[DOI]

Maosen Huang

Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

2015

Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime.

[BibT_eX]

[DOI]

CoRR, 2015

Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Design of a Sliding Window over Distributed and Asynchronous Event Streams.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

2013

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2013

Verifying PRAM Consistency over Read/Write Traces of Data Replicas

[BibT_eX]

[DOI]

CoRR, 2013

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

CoRR, 2013

A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Managing Environment and Adaptation Risks for the Internetware Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

Formal specification and runtime detection of temporal properties for asynchronous context.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications.

[BibT_eX]

[DOI]

Xiaoxing Ma

Yiling Yang

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011

Design of a Sliding Window over Asynchronous Event Streams

[BibT_eX]

[DOI]

CoRR, 2011

2010

Cooperative cache consistency maintenance for pervasive internet access.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2010

Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2010

A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context.

[BibT_eX]

[DOI]

Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010

Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Middleware Support for Context-awareness in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2009

Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments

[BibT_eX]

[DOI]

CoRR, 2009

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Internetware: a shift of software paradigm.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

2008

On environment-driven software model for Internetware.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

A Probabilistic Approach to Consistency Checking for Pervasive Context.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

An Analytical Model for Broadcasting by Self Pruning in Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2007

Adaptive Scheduling Strategy for Data Stream Management System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Data and Web Management, 2007

An Integrated Prefetching and Caching Strategy for Mobile Web Caching System.

[BibT_eX]

[DOI]

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Achieving Flexible Cache Consistency for Pervasive Internet Access.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2007), 2007

A Selective Push Algorithm for Cooperative Cache Consistency Maintenance over MANETs.

[BibT_eX]

[DOI]

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

2006

A Distributed Approach to Construction of Topology Mismatching Aware P2P Overlays in Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

Beihong Jin

Jiannong Cao

Proceedings of the 14th Euromicro International Conference on Parallel, 2006

A predictive approach to achieving consistency in cooperative caching in MANET.

[BibT_eX]

[DOI]