Yu Huang

Orcid: 0000-0001-8921-036X

Affiliations:
  • Nanjing University, Department of Computer Science and Technology, China


According to our database1, Yu Huang authored at least 60 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.
CoRR, 2023

Leveraging TLA<sup>+</sup> Specifications to Improve the Reliability of the ZooKeeperCoordination Service.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Conflict-free Replicated Priority Queue: Design, Verification and Evaluation.
Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

2022
ViSearch: Weak Consistency Measurement for Replicated Data Types.
CoRR, 2022

MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations.
CoRR, 2022

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction.
CoRR, 2022

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction.
Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

Tunable Causal Consistency: Specification and Implementation.
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.
IEEE Trans. Parallel Distributed Syst., 2021

Raft with Out-of-Order Executions.
Int. J. Softw. Informatics, 2021

Verifying Transactional Consistency of MongoDB.
CoRR, 2021

Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

Remove-Win: a Design Framework for Conflict-free Replicated Data Types.
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.
CoRR, 2020

A Generic Specification Framework for Weakly Consistent Replicated Data Types.
Proceedings of the International Symposium on Reliable Distributed Systems, 2020

Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers.
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Checking Causal Consistency of MongoDB.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019
An index structure supporting rule activation in pervasive applications.
World Wide Web, 2019

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

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

2018
IO dependent SSD cache allocation for elastic Hadoop applications.
Sci. China Inf. Sci., 2018

Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
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.
IEEE Trans. Computers, 2017

Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Application-centric SSD Cache Allocation for Hadoop Applications.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

2016
Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.
IEEE Trans. Parallel Distributed Syst., 2016

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments.
IEEE Trans. Computers, 2016

CBBR: enabling distributed shared memory-based coordination among mobile robots.
Sci. China Inf. Sci., 2016

Fine-Grained Delta Privacy Preservation for Hierarchical Contexts.
Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Enabling Mobile Device Coordination over Distributed Shared Memory.
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.
CoRR, 2015

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

2014
Design of a Sliding Window over Distributed and Asynchronous Event Streams.
IEEE Trans. Parallel Distributed Syst., 2014

2013
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distributed Syst., 2013

Verifying PRAM Consistency over Read/Write Traces of Data Replicas
CoRR, 2013

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

A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Managing Environment and Adaptation Risks for the Internetware Paradigm.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distributed Syst., 2012

Formal specification and runtime detection of temporal properties for asynchronous context.
Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011
Design of a Sliding Window over Asynchronous Event Streams
CoRR, 2011

2010
Cooperative cache consistency maintenance for pervasive internet access.
Wirel. Commun. Mob. Comput., 2010

Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks.
IEEE Trans. Parallel Distributed Syst., 2010

A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context.
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010

Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Middleware Support for Context-awareness in Asynchronous Pervasive Computing Environments.
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
CoRR, 2009

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Internetware: a shift of software paradigm.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

2008
On environment-driven software model for Internetware.
Sci. China Ser. F Inf. Sci., 2008

A Probabilistic Approach to Consistency Checking for Pervasive Context.
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.
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.
Proceedings of the Advances in Data and Web Management, 2007

An Integrated Prefetching and Caching Strategy for Mobile Web Caching System.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Achieving Flexible Cache Consistency for Pervasive Internet Access.
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.
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.
Proceedings of the 14th Euromicro International Conference on Parallel, 2006

A predictive approach to achieving consistency in cooperative caching in MANET.
Proceedings of the 1st International Conference on Scalable Information Systems, 2006


  Loading...