---
title: "Who cites Finding and Understanding Bugs in C Compilers"
description: "24 papers of the Elamur Research library cite «Finding and Understanding Bugs in C Compilers», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Finding and Understanding Bugs in C Compilers](https://md.research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/) / cited by

# Who cites «Finding and Understanding Bugs in C Compilers»

24 papers of our library cite it (of the 149,439 whose bibliographies we read) · 6 with a page here, the most cited first · [← back to «Finding and Understanding Bugs in C Compilers»](https://md.research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/)

1. **[Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation](https://md.research.elamur.ai/free/en/papers/liu-2023-your-code-generated-chatgpt-really/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, et al.*2023 · 648 citations*
2. [**Baldur: Whole-Proof Generation and Repair with Large Language Models arXiv:2303.04910**Emily First, Markus N. Rabe, Talia Ringer, et al.*2023 · 175 citations*](https://md.research.elamur.ai/free/en/papers/first-2023-baldur-whole-proof-generation-repair/)
3. **[Mechanising and Verifying the WebAssembly Specification](https://md.research.elamur.ai/free/en/papers/watt-2018-mechanising-verifying-webassembly-specification/) [ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/)**Conrad Watt*2018 · 74 citations*
4. [**Generating Correctness Proofs with Neural Networks arXiv:1907.07794**Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, et al.*2019 · 69 citations*](https://md.research.elamur.ai/free/en/papers/stern-2019-generating-correctness-proofs-neural-networks/)
5. **[EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking](https://md.research.elamur.ai/free/en/papers/wei-2025-equibench-benchmarking-large-language-models/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Anjiang Wei, Jiannan Cao, Ran Li, et al.*2025 · 8 citations*
6. [**Synthesizing Program Input Grammars arXiv:1608.01723**Osbert Bastani, Rahul Sharma, Alex Aiken, et al.*2016 · 2 citations*](https://md.research.elamur.ai/free/en/papers/bastani-2016-synthesizing-program-input-grammars/)

18 more papers of our library cite it; they have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/) — Finding and Understanding Bugs in C Compilers