Ke Wang - RankMe

43 papers A* 11B 1Journal 30Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Astra: A Multi-Agent System for GPU Kernel Performance Optimization. CoRR Anjiang Wei, Tianran Sun, Yogesh Seenichamy, Hang Song, Anne Ouyang, Azalia Mirhoseini, Ke Wang, Alex Aiken
2025	J	`jnl`	CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis. CoRR Anjiang Wei, Tarun Suresh, Jiannan Cao, Naveen Kannan, Yuheng Wu, Kai Yan, Thiago S. F. X. Teixeira, Ke Wang, Alex Aiken
2025	J	`jnl`	EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking. CoRR Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang, Ziheng Wang, Yaofeng Sun, Yuan Liu, Thiago S. F. X. Teixeira, Diyi Yang, Ke Wang, Alex Aiken
2025	J	`jnl`	Improving Assembly Code Performance with Large Language Models via Reinforcement Learning. CoRR Anjiang Wei, Tarun Suresh, Huanmi Tan, Yinglun Xu, Gagandeep Singh, Ke Wang, Alex Aiken
2025	A*	`conf`	Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces. ICML Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken
2025	J	`jnl`	InvBench: Can LLMs Accelerate Program Verification with Invariant Synthesis? CoRR Anjiang Wei, Tarun Suresh, Tianran Sun, Haoze Wu, Ke Wang, Alex Aiken
2025	J	`jnl`	Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs. CoRR Anjiang Wei, Rohan Yadav, Hang Song, Wonchan Lee, Ke Wang, Alex Aiken
2025	A*	`conf`	SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. EMNLP Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken
2025	J	`jnl`	SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. CoRR Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken
2025	J	`jnl`	SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis. ACM Trans. Softw. Eng. Methodol. Jiayi Wang, Yu Wang, Ke Wang, Linzhang Wang
2025	J	`jnl`	Solving Floating-Point Constraints with Continuous Optimization. Proc. ACM Program. Lang. Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang
2025	J	`jnl`	VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. CoRR Anjiang Wei, Huanmi Tan, Tarun Suresh, Daniel Mendoza, Thiago S. F. X. Teixeira, Ke Wang, Caroline Trippel, Alex Aiken
2024	J	`jnl`	Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases. CoRR Yu Wang, Hongyu Chen, Ke Wang
2024	J	`jnl`	Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. Proc. ACM Program. Lang. Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang
2024	J	`jnl`	Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers. CoRR Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken
2024	A*	`conf`	Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations. ASE Fengjuan Gao, Hongyu Chen, Yuewei Zhou, Ke Wang
2023	J	`jnl`	An Explanation Method for Models of Code. Proc. ACM Program. Lang. Yu Wang, Ke Wang, Linzhang Wang
2023	J	`jnl`	Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
2023	J	`jnl`	Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations. CoRR Ahmed Abusnaina, Yizhen Wang, Sunpreet S. Arora, Ke Wang, Mihai Christodorescu, David Mohaisen
2023	J	`jnl`	Demystifying What Code Summarization Models Learned. CoRR Yu Wang, Ke Wang
2023	J	`jnl`	Discrete Adversarial Attack to Models of Code. Proc. ACM Program. Lang. Fengjuan Gao, Yu Wang, Ke Wang
2022	A*	`conf`	Robust Learning against Relational Adversaries. NeurIPS Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha
2021	A*	`conf`	ARBITRAR: User-Guided API Misuse Detection. SP Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song
2021	J	`jnl`	Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. Proc. ACM Program. Lang. Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su
2021	J	`jnl`	On the generalizability of Neural Program Models with respect to semantic-preserving program transformations. Inf. Softw. Technol. Md. Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang, Yijun Yu, Lingxiao Jiang, Mohammad Amin Alipour
2020	A*	`conf`	Blended, precise semantic program embeddings. PLDI Ke Wang, Zhendong Su
2020	A*	`conf`	Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. ICLR Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang
2020	J	`jnl`	Learning Semantic Program Embeddings with Graph Interval Neural Network. CoRR Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
2020	J	`jnl`	Learning semantic program embeddings with graph interval neural network. Proc. ACM Program. Lang. Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang
2019	J	`jnl`	COSET: A Benchmark for Evaluating Neural Program Embeddings. CoRR Ke Wang, Mihai Christodorescu
2019	J	`jnl`	Learning Blended, Precise Semantic Program Embeddings. CoRR Ke Wang, Zhendong Su
2019	J	`jnl`	Learning Scalable and Precise Representation of Program Semantics. CoRR Ke Wang
2019	J	`jnl`	Learning a Static Bug Finder from Data. CoRR Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
2019	J	`jnl`	Testing Neural Programs. CoRR Md. Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour
2018	—	`conf`	Dynamic Neural Program Embeddings for Program Repair. ICLR (Poster) Ke Wang, Rishabh Singh, Zhendong Su
2018	A*	`conf`	Search, align, and repair: data-driven feedback generation for introductory programming exercises. PLDI Ke Wang, Rishabh Singh, Zhendong Su
2017	J	`jnl`	Data-Driven Feedback Generation for Introductory Programming Exercises. CoRR Ke Wang, Rishabh Singh, Zhendong Su
2017	B	`conf`	Data-Driven Feedback Generator for Online Programing Courses. L@S Ke Wang, Benjamin Lin, Bjorn Rettig, Paul Pardi, Rishabh Singh
2017	J	`jnl`	Dynamic Neural Program Embedding for Program Repair. CoRR Ke Wang, Rishabh Singh, Zhendong Su
2017	J	`jnl`	Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs. CoRR Ke Wang, Zhendong Su
2016	A*	`conf`	Dimensionally Guided Synthesis of Mathematical Word Problems. IJCAI Ke Wang, Zhendong Su
2015	A*	`conf`	Automated Geometry Theorem Proving for Human-Readable Proofs. IJCAI Ke Wang, Zhendong Su
2015	A*	`conf`	Automatic Generation of Raven's Progressive Matrices. IJCAI Ke Wang, Zhendong Su