Ke Wang -

Registered user since Sun 23 Jun 2019

Name:Ke Wang

Country:China

Affiliation:Nanjing University

Personal website: https://kbwang.bitbucket.io/

Research interests:Programming Language, Compilers, Machine Learning

Contributions

2026

SPLASH

Author of Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses within the OOPSLA-track
Author of BackSmith: A Systematic Approach to Testing Compiler Backends within the OOPSLA-track
Committee Member in OOPSLA Review Committee within the OOPSLA-track

ESEC/FSE

Author of Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis within the Research Papers-track

PLDI

Author of Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity within the PLDI Research Papers-track

2025

EGRAPHS

Author of Incremental Equality Saturation within the EGRAPHS 2025-track

PLDI

Author of Solving Floating-Point Constraints with Continuous Optimization within the PLDI Research Papers-track

2024

ASE

Author of Shoot Yourself in the Foot — Efficient Code Causes Inefficiency in Compiler Optimizations within the Research Papers-track

SPLASH

Author of Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks within the OOPSLA 2024-track

2023

SPLASH

Author of An Explanation Method for Models of Code within the OOPSLA-track

PLDI

ICSE

Committee Member in ACM Student Research Competition within the SRC - ACM Student Research Competition-track

2021

SPLASH

Author of Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs within the OOPSLA-track

PLDI

Committee Member in Program Committee within the PLDI-track

2020

SPLASH

PLDI

MAPS

2019

ASE

Author of Testing Neural Programs within the Late Breaking Results-track

2018

PLDI

Author of Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises within the PLDI Research Papers-track