research
∙
04/24/2023
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Over the past decades, context sensitivity has been considered as one of...
share
research
∙
02/06/2023
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
ZooKeeper is a coordination service, widely used as a backbone of variou...
research
∙
09/05/2022
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery
Traceability approves trace links among software artifacts based on whet...
research
∙
05/06/2022
ViSearch: Weak Consistency Measurement for Replicated Data Types
Large-scale replicated data type stores often resort to eventual consist...
research
∙
04/29/2022
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations
Internet-scale distributed systems often replicate data at multiple geog...
research
∙
02/23/2022
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction
Consensus protocols are widely used in building reliable distributed sof...
research
∙
03/24/2021
Exploiting the Unique Expression for Improved Sentiment Analysis in Software Engineering Text
Sentiment analysis on software engineering (SE) texts has been widely us...
research
∙
02/04/2020
Boosting API Recommendation with Implicit Feedback
Developers often need to use appropriate APIs to program efficiently, bu...
research
∙
10/06/2019
Operational Calibration: Debugging Confidence Errors for DNNs in the Field
Trained DNN models are increasingly adopted as integral parts of softwar...
research
∙
06/06/2019