Compilers Principles Techniques And Tools

By P. Kaufmann. 2016

1,528 citations recorded by the source corpus.

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

Citations in the corpus

Training Deep Nets with Sublinear Memory Cost (2016, neutral): “We can trace the idea of computational graph and liveness analysis back to the literatures of compiler optimizations [3].”
Brahmastra: Driving Apps to Test the Security of Third-Party Components (2014, methodology): “We perform constant propagation analysis [12] so as to track such intent creations and detect activity transitions.”
A Rewriting System for Convex Optimization Problems (2017, methodology): “Whereas the second phase of a compiler optimizes programs (Aho et al., 2006, § 1.2.5), the second phase of our rewriting system analyzes problems, selecting for each a suitable target; an imperfect analogy might compare our analysis phase to a static analysis tool like Frama-C (Kirchner, Kosmatov,…”
Deep learning code fragments for code clone detection (2016, methodology): “These constituents are called programming constructs, and a context-free grammar spec-iﬁes the syntax of programming constructs [98].”
Packet Transactions: High-Level Programming for Line-Rate Switches (2015, methodology): “Code generation using program synthesis Chlorophyll [53], technology mapping [49], instruction selection [20] Optimal vs.”
The Deep Learning Compiler: A Comprehensive Survey (2020, neutral): “computed, and the value of E has not to be changed since previous computation [53].”
Large Language Models for Software Engineering: Survey and Open Problems (2023, background): “Much initial practical deployment of optimisation took place in compiler development, through work on optimising compilers [162].”
Post-compiler software optimization for reducing energy (2014, background): “Optimizing compilers are well-established in both research and industrial practice [3].”
Automatic Grading and Feedback using Program Repair for Introductory Programming Courses (2017, background): “These tools work on an abstract representation of programs (Ab-stract Syntax Tree, Control Flow Graphs, etc. [1]) generated by a compiler and, therefore, require that the program compiles successfully.”