Selected Publications of Yu Huang


Conference articles

  1. Hengfeng Wei, Yu Huang, Jian Lu
    Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
    In proc. of the 36th International Conference on Reliable Distributed Systems (SRDS), Sep. 2017.

  2. Maosen Huang, Hengfeng Wei, Yu Huang
    Enabling Mobile Device Coordination over Distributed Shared Memory
    In proc. of International Conference on Parallel and Distributed Systems (ICPADS), Dec. 2016.

  3. Jian Lu, Yu Huang, Chang Xu, Xiaoxing Ma
    Managing Environment and Adaptation Risks for the Internetware Paradigm
    In Theories of Programming and Formal Methods, LNCS 8051, Sep. 2013.

  4. Yu Huang, Xiaoxing Ma, Yiling Yang
    Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications
    In proc. of International Conference on Parallel and Distributed Systems (ICPADS), Dec. 2012.

  5. Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
    Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context
    In proc. of the International Conference on Pervasive Computing and Communications (PERCOM), Mar. 2012 (full paper acceptance ratio: 16 out of 150, 11%).

  6. Jianping Yu, Yu Huang, Jiannong Cao, Xianping Tao
    Middleware Support for Context-awareness in Asynchronous Pervasive Computing Environments
    In proceedings of the International Conference on Embedded and Ubiquitous Computing (EUC), Hong Kong, China, Dec. 2010.

  7. Yu Huang, Jianping Yu, Jiannong Cao, Xianping Tao
    Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments
    In proceedings of the 16th International Conference on Parallel and Distributed Systems (ICPADS), pp. 75-82, Shanghai, China, Dec. 2010.

  8. Tingting Hua, Yu Huang, Jiannong Cao, Xianping Tao
    A Lattice-theoretic Approach to Runtime Property Detection for Pervasive Context
    In Proceedings of the 7th International Conference on Ubiquitous Intelligence and Computing (UIC), LNCS 6406, pp. 307-321, Xi'an, China, Oct. 2010.

  9. Jian Lu, Xiaoxing Ma, Yu Huang, Chun Cao, Feng Xu
    Internetware: A Shift of Software Paradigm
    In Proceedings of the 1st Asia-Pacific Symposium on Internetware (Internetware), Beijing, China, Oct. 2009.

  10. Yu Huang, Xiaoxing Ma, Jiannong Cao, Xianping Tao, Jian Lu
    Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context
    In Proceedings of the 7th Annual IEEE Intl. Conf. on Pervasive Computing and Communications (PerCom), 2009 (Acceptance ratio: 26 out of 199, 13%).

  11. Yu Huang, Jiannong Cao, zhijun Wang, Beihong Jin, Yulin Feng
    Achieving Flexible Cache Consistency for Pervasive Internet Access
    In Proceedings of the 5th Annual IEEE Intl. Conf. on Pervasive Computing and Communications (PerCom), 2007 (Acceptance ratio: 20 out of 208, 9.6%).

  12. Yu Huang, Jiannong Cao, Beihong Jin
    A Predictive Approach to Achieving Consistency in Cooperative Caching in MANET
    In Proceedings of the 1st Intl. Conf. on Scalable Information Systems, P2PIM Workshop Session, Hong Kong, China, 2006.

  13. Yu Huang, Beihong Jin, Jiannong Cao
    A Distributed Approach to Construction of Topology Mismatching Aware P2P Overlays in Wireless Ad Hoc Networks
    In Proceedings of the 14th Euromicro Conference on Parallel, Distributed and Network based Processing (PDP), 2006.


Journal articles

  1. Hengfeng Wei, Yu Huang, Jian Lu
    Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
    IEEE Transactions on Computers, 66(3):502-514, Mar. 2017.

  2. Xue Jiang, Yu Huang
    CBBR: Enabling Distributed Shared Memory-based Coordination among Mobile Robots
    Science China Information Sciences, 59(8):080102:1-080102:17, Aug. 2016.

  3. Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, Jian Lu
    Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
    IEEE Transactions on Parallel and Distributed Systems, 27(5):1511-1523, May 2016.

  4. Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
    Enabling Context-awareness by Predicate Detection in Asynchronous Environments
    IEEE Transactions on Computers, 65(2):522-534, Feb. 2016.

  5. Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
    Design of a Sliding Window over Distributed and Asynchronous Event Streams
    IEEE Transactions on Parallel and Distributed Systems, 25(10):2551-2560, Oct. 2014.

  6. Jian Lu, Xiaoxing Ma, Xianping Tao, Yu Huang, Ping Yu, Chang Xu
    Explicit Environmental Constructs for Internetware (in Chinese)
    Science in China, Information Sciences, 43(1):1-23, 2013.

  7. Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
    Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments
    IEEE Transactions on Parallel and Distributed Systems, 24(8):1546-1555, Aug. 2013.

  8. Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, Xianping Tao, Jian Lu
    Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
    IEEE Transactions on Parallel and Distributed Systems, 23(4): 744-750, Apr. 2012.

  9. Yu Huang, Jianping Yu, Xianxing Ma, Xianping Tao, Jian Lu
    Monitoring Properties of Open Environments (in Chinese)
    Journal of Software, 22(5):865-876, 2011.

  10. Yu Huang, Jiannong Cao, Beihong Jin, Xianping Tao, Jian Lu, Yulin Feng
    Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks
    IEEE Transactions on Paralle and Distributed Systems, 21(8):1150-1161, Aug. 2010.

  11. Yu Huang, Jiannong Cao, Beihong Jin, Xianping Tao, Jian Lu
    Cooperative Cache Consistency Maintenance for Pervasive Internet Access
    Wireless Communications & Mobile Computing, 10(3):436-450, 2010.

  12. Jian Lu, Xiaoxing Ma, Xianping Tao, Chun Cao, Yu Huang, Ping Yu
    Research on Internetware-oriented Environment-driven Model and Key Techniques (in Chinese)
    Science in China, Series E, 38(6):1-37, 2008.


Back home