2024
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction.
Proc. VLDB Endow., April, 2024
Match Word with Deed: Maintaining Consistency for IoT Systems with Behavior Models.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Dynamic Scoring Code Token Tree: A Novel Decoding Strategy for Generating High-Performance Code.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 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
Efficient Multi-network Community Search Method for Distributed Graph Iterative Computation.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 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