Tao Huang

Orcid: 0009-0006-4875-732X

Affiliations:
  • Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
  • University of Science and Technology of China, China (PhD 1994)


According to our database1, Tao Huang authored at least 112 papers between 1998 and 2024.

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

2024
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction.
Proc. VLDB Endow., April, 2024

Testing Gremlin-Based Graph Database Systems via Query Disassembling.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Differential Optimization Testing of Gremlin-Based Graph Database Systems.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Understanding Transaction Bugs in Database Systems.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

How to Fit the SCC Algorithm Efficiently into Distributed Graph Iterative Computation.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023
LPW: an efficient data-aware cache replacement strategy for Apache Spark.
Sci. China Inf. Sci., January, 2023

Detecting Smart Home Automation Application Interferences with Domain Knowledge.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Characterizing Flaky Tests in Node.js Applications.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Testing Database Systems via Differential Query Execution.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Coverage Guided Fault Injection for Cloud Systems.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Detecting Isolation Bugs via Transaction Oracle Construction.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Model Checking Guided Testing for Distributed Systems.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

A Reinforcement Learning Approach to Generating Test Cases for Web Applications.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

2022
Understanding device integration bugs in smart home system.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Characterizing and Detecting Bugs in WeChat Mini-Programs.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Race Detection for Event-Driven Node.js Applications.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Best VM Selection for Big Data Applications across Multiple Frameworks by Transfer Learning.
Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

Evaluating the Parallel Execution Schemes of Smart Contract Transactions in Different Blockchains: An Empirical Study.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

2020
Hermes: Efficient Cache Management for Container-based Serverless Computing.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019
An Empirical Case Study on the Temporary File Smell in Dockerfiles.
IEEE Access, 2019

Aladdin: Optimized Maximum Flow Management for Shared Production Clusters.
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

Detecting atomicity violations for event-driven Node.js applications.
Proceedings of the 41st International Conference on Software Engineering, 2019

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

Detecting faulty empty cells in spreadsheets.
Proceedings of the 25th International Conference on Software Analysis, 2018

How are spreadsheet templates used in practice: a case study on Enron.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Migrating Web Applications from Monolithic Structure to Microservices Architecture.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

2017
基于测试例生成的Android应用数据竞争验证方法 (Concurrency Bugs Verification in Android Applications Based on Test Case Generation).
计算机科学, 2017

SpreadCluster: recovering versioned spreadsheets through similarity-based clustering.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

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

AppCheck: A Crowdsourced Testing Service for Android Applications.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Mining API Type Specifications for JavaScript.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
FD4C: Automatic Fault Diagnosis Framework for Web Applications in Cloud Computing.
IEEE Trans. Syst. Man Cybern. Syst., 2016

Crawling Hidden Objects with kNN Queries.
IEEE Trans. Knowl. Data Eng., 2016

Clustering-based acceleration for virtual machine image deduplication in the cloud environment.
J. Syst. Softw., 2016

X-Check: A Novel Cross-Browser Testing Service Based on Record/Replay.
Proceedings of the IEEE International Conference on Web Services, 2016

Hug the Elephant: Migrating a Legacy Data Analytics Application to Hadoop Ecosystem.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

VEnron: a versioned spreadsheet corpus and related evolution analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

Determine Configuration Entry Correlations for Web Application Systems.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

MORE: A Model-Driven Operation Service for Cloud-Based IT Systems.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
Aggregate Estimation in Hidden Databases with Checkbox Interfaces.
IEEE Trans. Knowl. Data Eng., 2015

Towards Web Application Mobilization via Efficient Web Control Extraction.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

VMon: Monitoring and Quantifying Virtual Machine Interference via Hardware Performance Counter.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

A Lightweight Evaluation Framework for Table Layouts in MapReduce Based Query Systems.
Proceedings of the Web Technologies and Applications - 17th Asia-PacificWeb Conference, 2015

Discovering User-Defined Event Handlers in Presence of JavaScript Libraries.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Workload-aware anomaly detection for Web applications.
J. Syst. Softw., 2014

A Virtual Machine Placement and Reconfiguration Framework for Cloud Computing Platforms.
Int. J. Adapt. Resilient Auton. Syst., 2014

PRESC<sup>2</sup>: efficient self-reconfiguration of cache strategies for elastic caching platforms.
Computing, 2014

MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications.
Proceedings of the International Conference for High Performance Computing, 2014

Runtime Enforcement of Data-centric Properties for Concurrent Service-Based Applications.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Inferring Data Contract for Web-Based API.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Size estimation in the hidden database with form-like interface: A survey.
Proceedings of the IEEE International Conference on Information and Automation, 2014

A Lightweight Virtual Machine Image Deduplication Backup Approach in Cloud Environment.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
A benefit-aware on-demand provisioning approach for multi-tier applications in cloud computing.
Frontiers Comput. Sci., 2013

Detecting performance anomaly with correlation analysis for Internetware.
Sci. China Inf. Sci., 2013

VM image update notification mechanism based on pub/sub paradigm in cloud.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

2012
Specification and monitoring of data-centric temporal properties for service-based systems.
J. Syst. Softw., 2012

A Two-Level Virtual Machine Self-Reconfiguration Mechanism for the Cloud Computing Platforms.
Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

VMFDF: A Virtualization-based Multi-Level Fault Detection Framework for High Availability Computing.
Proceedings of the Ninth IEEE International Conference on e-Business Engineering, 2012

Elasticat: A load rebalancing framework for cloud-based key-value stores.
Proceedings of the 19th International Conference on High Performance Computing, 2012

Towards a Cost-Aware Data Migration Approach for Key-Value Stores.
Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

Optimizing data migration for cloud-based key-value stores.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

A Profit-Aware Virtual Machine Deployment Optimization Framework for Cloud Platform Providers.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011
Stable cohesion metrics for evolving ontologies.
J. Softw. Maintenance Res. Pract., 2011

Runtime Verification of Data-Centric Properties in Service Based Systems.
Proceedings of the Runtime Verification - Second International Conference, 2011

A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms.
Proceedings of the 11th International Conference on Quality Software, 2011

An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications.
Proceedings of the 11th International Conference on Quality Software, 2011

Runtime Monitoring of Data-centric Temporal Properties for Web Services.
Proceedings of the IEEE International Conference on Web Services, 2011

A Statistical Approach for Estimating CPU Consumption in Shared Java Middleware Server.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

On-line Cache Strategy Reconfiguration for Elastic Caching Platform: A Machine Learning Approach.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

An Adaptive Performance Modeling Approach to Performance Profiling of Multi-service Web Applications.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Middleware Support for Internetware: A Service Perspective.
Int. J. Softw. Informatics, 2010

Middleware support for internetware: a service perspective.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

A new approach to performance optimization of mashups via data flow refactoring.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

An adaptive fine-grained performance modeling approach for internetware.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Detecting Data Inconsistency Failure of Composite Web Services Through Parametric Stateful Aspect.
Proceedings of the IEEE International Conference on Web Services, 2010

A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
High Performance Approach for Server Side SOAP Processing.
Int. J. Web Serv. Res., 2009

Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension.
J. Comput. Sci. Technol., 2009

A study on the replaceability of context-aware middleware.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Towards self-healing web services composition.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008
Efficient Approach for Web Services Selection with Multi-QOS Constraints.
Int. J. Cooperative Inf. Syst., 2008

Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007
An Ontology-Based Approach for Semantic Conflict Resolution in Database Integration.
J. Comput. Sci. Technol., 2007

A QoS-Enabled WorkManager Model for Web Application Servers.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Sequential Pattern-Based Cache Replacement in Servlet Container.
Proceedings of the Web Engineering, 7th International Conference, 2007

High Performance Approach for Multi-QoS Constrained Web Services Selection.
Proceedings of the Service-Oriented Computing, 2007

WMQ: Towards A Fine-grained QoS Control for E-Business Servers.
Proceedings of ICEBE 2007, 2007

Adaptive Self-Configuration of EJB Server: A Performance Model Approach.
Proceedings of ICEBE 2007, 2007

2006
Extending Interactive Web Services for Improving Presentation Level Integration in Web Portals.
J. Comput. Sci. Technol., 2006

An Ontology-Based Approach for Semantic Conflict Resolution in Database Integration.
Int. J. Interoperability Bus. Inf. Syst., 2006

An application-semantics-based relaxed transaction model for internetware.
Sci. China Ser. F Inf. Sci., 2006

Performance Evaluation of Component System based on Container style Middleware.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

An Event-Driven Adaptive Differentiated Service Web Container Architecture.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Supply Chain Management System and Interoperability through EAI Platform.
Proceedings of the Enterprise Interoperability, 2006

A Decentralized Approach for Inter-Enterprise Business Process Collaboration.
Proceedings of the Enterprise Interoperability, 2006

User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.
Proceedings of the Formal Methods and Software Engineering, 2006

A New Approach to Implement Extended Transaction Models in J2EE.
Proceedings of the ICEIS 2006, 2006

A Semantic Publish/subscribe System for Selective Dissemination of the RSS Documents.
Proceedings of the Grid and Cooperative Computing, 2006

Completing UML Model of Component-Based System with Middleware for Performance Evaluation.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

2005
A Task-Type Aware Transaction Scheduling Algorithm in J2EE.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

A QoS-enable failure detection framework for J2EE application server.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

A XML-based composite event approach.
Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), 2005

A XML-Based Composition Event Approach as an Integration and Cooperation Middleware.
Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

An Extended Event Matching Approach in Content-based Pub/Sub Systems for EAI.
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

Extending OBDD Graphs for Composite Event Matching in Content-Based Pub/Sub Systems.
Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005

2004
Performance Tuning for Application Server OnceAS.
Proceedings of the Parallel and Distributed Processing and Applications, 2004

WebFrame: a Multi-Phase Reconfigurable Middleware Platform.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

1998
Challenges of Communication in Mobile Computing.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Group Model for Decentralized Federation of Object Creation Service.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998


  Loading...