🔗 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»

1. Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code GenerationConference on Neural Information Processing Systems (NeurIPS)Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, et al.2023 · 648 citations
2. Baldur: Whole-Proof Generation and Repair with Large Language ModelsarXiv:2303.04910Emily First, Markus N. Rabe, Talia Ringer, et al.2023 · 175 citations
3. Mechanising and Verifying the WebAssembly SpecificationACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)Conrad Watt2018 · 74 citations
4. Generating Correctness Proofs with Neural NetworksarXiv:1907.07794Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, et al.2019 · 69 citations
5. EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence CheckingConference on Empirical Methods in Natural Language Processing (EMNLP)Anjiang Wei, Jiannan Cao, Ran Li, et al.2025 · 8 citations
6. Synthesizing Program Input GrammarsarXiv:1608.01723Osbert Bastani, Rahul Sharma, Alex Aiken, et al.2016 · 2 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/cited-by/