research
∙
05/29/2023
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Interrupt-driven programs are widely deployed in safety-critical embedde...
share
research
∙
09/18/2022
Infrared: A Meta Bug Detector
The recent breakthroughs in deep learning methods have sparked a wave of...
research
∙
02/09/2021
Demystifying Code Summarization Models
The last decade has witnessed a rapid advance in machine learning models...
research
∙
05/18/2020
Learning Semantic Program Embeddings with Graph Interval Neural Network
Learning distributed representations of source code has been a challengi...
research
∙
05/18/2020
Learning Semantic Program Embeddings with GraphInterval Neural Network
Learning distributed representations of source code has been a challengi...
research
∙
07/12/2019