research
∙
09/11/2023
A Mechanized Theory of the Box Calculus
The capture calculus is an extension of System F<: that tracks free vari...
share
research
∙
08/14/2023
Degrees of Separation: A Flexible Type System for Data Race Prevention
Data races are a notorious problem in parallel programming. There has be...
research
∙
06/10/2023
Formalizing Box Inference for Capture Calculus
Capture calculus has recently been proposed as a solution to effect chec...
research
∙
12/20/2022
A Survey on Pretrained Language Models for Neural Code Intelligence
As the complexity of modern software continues to escalate, software eng...
research
∙
09/15/2022
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Many programming languages in the OO tradition now support pattern match...
research
∙
09/08/2022
A Secure and Efficient Multi-Object Grasping Detection Approach for Robotic Arms
Robotic arms are widely used in automatic industries. However, with wide...
research
∙
03/13/2022
A Survey on Deep Graph Generation: Methods and Applications
Graphs are ubiquitous in encoding relational information of real-world o...
research
∙
09/02/2021
An Empirical Study of Graph Contrastive Learning
Graph Contrastive Learning (GCL) establishes a new paradigm for learning...
research
∙
08/31/2021
Structure-Aware Hard Negative Mining for Heterogeneous Graph Contrastive Learning
Recently, heterogeneous Graph Neural Networks (GNNs) have become a de fa...
research
∙
01/11/2021
Disentangled Self-Attentive Neural Networks for Click-Through Rate Prediction
Click-through rate (CTR) prediction, which aims to predict the probabili...
research
∙
10/27/2020
Graph Contrastive Learning with Adaptive Augmentation
Recently, contrastive learning (CL) has emerged as a successful method f...
research
∙
09/03/2020
CAGNN: Cluster-Aware Graph Neural Networks for Unsupervised Graph Representation Learning
Unsupervised graph representation learning aims to learn low-dimensional...
research
∙
06/07/2020