• Corpus ID: 58248510

Compilers: Principles, Techniques, and Tools (2nd Edition)

  title={Compilers: Principles, Techniques, and Tools (2nd Edition)},
  author={Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman},
Ampliación de un compilador para un lenguaje temporal de especificación de eventos: TESLCv2
This bachelor thesis describes the design and implementation of a compiler for a new version of the domain-specific language TESL, a high-level language for the analysis of timeseries and event specification and its mayor aims are expresiveness, flexibility and Independence.
An Optimization Compiler Framework Based on Polyhedron Model for GPGPUs
An Optimization Compiler Framework Based on Polyhedron Model for GPGPUs is described to bridge the speed gap between the GPU cores and the off-chip memory and improve the overall performance of the GPU systems.
Automated Support for Reproducing and Debugging Field Failures
An overall approach that comprises two different techniques: BugRedux and F3 is presented that was able to synthesize failing executions that mimicked the observed field failures, and use the synthesized executions to successfully perform fault localization with accurate results.
Communicating Functional Expressions from Mathematica to C-XSC
This work focuses on a mechanism (and software) which communicates (via MathLink protocol) and provides compatibility between the representation of nonlinear functions specified as Mathematica
Towards a more principled compiler: register allocation and instruction selection revisited
This thesis develops a principled approach for understanding, evaluating, and solving backend optimization problems, and develops an expressive model of register allocation based on multi-commodity network flow that results in significant improvements in code quality compared to traditional algorithms.
Static Source Code Analysis Tools and their Application to the Detection of Plagiarism in Java Programs
This project develops a system for detecting plagiarism in sets of student assignments written in Java by investigating tools for static analysis and transformation of Java programs to build aSystem for plagiarism detection.
Coarsening optimization for differentiable programming
This work introduces phi-calculus, a novel method to allow symbolic reasoning and differentiation of computations that involve branches and loops and avoids "expression swell" in symbolic differentiation and balance reuse and coarsening through the design of reuse-centric segment of interest identification.
NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis
A practical static binary analyzer that automatically infers system call types on Windows at scale is presented, and this is the first practical fuzzing system that utilizes scalable binary analysis on a COTS OS.
A Data Flow Analysis Framework for Data Flow Subsumption
The Data Flow Subsumption Framework (DSF) is formally described and it is shown that DFS is a distributive data flow analysis framework which allows efficient iterative algorithms to find the Meet-Over-All-Paths (MOP) solution for DSF transfer functions.
Scalable FSM parallelization via path fusion and higher-order speculation
This work proposes path fusion, Inspired by the classic NFA to DFA conversion, which maps a vector of states in the original FSM to a new (fused) state, which can reduce multiple FSM execution paths into a single path, minimizing the overhead of path maintenance.


Decision Support Systems GATE reference books for computer science & IT ... http://www.engineersinstitute.com/upload/computerscienceandit.pdf GATE reference books for computer science & IT
  • Compilers Principles, Techniques & Tools Discrete Mathematics – COLEMAN , ... Compilers: Principles, Techniques, and Tools (2nd Edition) – Alfred V. Aho, ... Lecture Notes on Compiler Design: Overview http://symbolaris.com/course/Compilers/01-overview.pdf L1.6 Compiler Design: Overview compilers ...
  • 2006