Ke Wang

Caroline Trippel

Alex Aiken

CoRR, April, 2025

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis.

[BibT_eX]

[DOI]

Alex Aiken

CoRR, March, 2025

EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking.

[BibT_eX]

[DOI]

Diyi Yang

Alex Aiken

CoRR, February, 2025

Solving Floating-Point Constraints with Continuous Optimization.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces.

[BibT_eX]

[DOI]

Anjiang Wei

Allen Nie

Proceedings of the Forty-second International Conference on Machine Learning, 2025

2024

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers.

[BibT_eX]

[DOI]

Anjiang Wei

Allen Nie

CoRR, 2024

Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases.

[BibT_eX]

[DOI]

Hongyu Chen

CoRR, 2024

Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

An Explanation Method for Models of Code.

[BibT_eX]

[DOI]

Linzhang Wang

Proc. ACM Program. Lang., October, 2023

Discrete Adversarial Attack to Models of Code.

[BibT_eX]

[DOI]

Fengjuan Gao

Proc. ACM Program. Lang., 2023

Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations.

[BibT_eX]

[DOI]

CoRR, 2023

Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.

[BibT_eX]

[DOI]

CoRR, 2023

Demystifying What Code Summarization Models Learned.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Robust Learning against Relational Adversaries.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

On the generalizability of Neural Program Models with respect to semantic-preserving program transformations.

[BibT_eX]

[DOI]

Md. Rafiqul Islam Rabin

Mohammad Amin Alipour

Inf. Softw. Technol., 2021

ARBITRAR: User-Guided API Misuse Detection.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Learning semantic program embeddings with graph interval neural network.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Blended, precise semantic program embeddings.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Testing Neural Programs.

[BibT_eX]

[DOI]

Md. Rafiqul Islam Rabin

Mohammad Amin Alipour

CoRR, 2019

Learning a Static Bug Finder from Data.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Blended, Precise Semantic Program Embeddings.

[BibT_eX]

[DOI]

CoRR, 2019

COSET: A Benchmark for Evaluating Neural Program Embeddings.

[BibT_eX]

[DOI]

Mihai Christodorescu

CoRR, 2019

Learning Scalable and Precise Representation of Program Semantics.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Search, align, and repair: data-driven feedback generation for introductory programming exercises.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Dynamic Neural Program Embeddings for Program Repair.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

Dynamic Neural Program Embedding for Program Repair.

[BibT_eX]

[DOI]

CoRR, 2017

Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs.

[BibT_eX]

[DOI]

CoRR, 2017

Data-Driven Feedback Generation for Introductory Programming Exercises.

[BibT_eX]

[DOI]

CoRR, 2017

Data-Driven Feedback Generator for Online Programing Courses.

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

2016

Dimensionally Guided Synthesis of Mathematical Word Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Automated Geometry Theorem Proving for Human-Readable Proofs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Automatic Generation of Raven's Progressive Matrices.

[BibT_eX]

[DOI]