Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

GNU Compiler Collection

Known as: Libgcc, GNU/GCC, GCC 
The GNU Compiler Collection (GCC) is a compiler system produced by the GNU Project supporting various programming languages. GCC is a key component… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
We introduce equivalence modulo inputs (EMI), a simple, widely applicable methodology for validating optimizing compilers. Our… Expand
  • figure 1
  • figure 4
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool… Expand
  • figure 2
  • table 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
The topic on the table is the evaluation of comprehensive cross-sector community-based interventions designed to improve the lot… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Open source development projects typically support an open bug repository to which both developers and users can report bugs. The… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper, we present a new algorithm for partial program verification that runs in polynomial time and space. We are… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares… Expand
  • figure 2
  • figure 4
  • table 1
  • table 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
 
Is this relevant?