Канал: CompilersLab

The LLVM Test Suite - Part 2

The LLVM Test Suite - Part 2

The LLVM Test Suite

The LLVM Test Suite

Presentation of the paper "Reducing the Overhead of Exact Profiling by Reusing Affine Variables"

Presentation of the paper "Reducing the Overhead of Exact Profiling by Reusing Affine Variables"

A Class of Programs that Admit Exact Complexity Analysis via Newton’s Polynomial Interpolation

A Class of Programs that Admit Exact Complexity Analysis via Newton’s Polynomial Interpolation

A presentation of the work "Side-Channel Elimination via Partial Control-Flow Linearization"

A presentation of the work "Side-Channel Elimination via Partial Control-Flow Linearization"

Lushu: Obfuscating Sensitive Data via Language Recognition

Lushu: Obfuscating Sensitive Data via Language Recognition

Geração de Programas Energeticamente Eficientes

Geração de Programas Energeticamente Eficientes

Geração de Programas Energeticamente Eficientes: Resumo de Projeto de Pesquisa.

Geração de Programas Energeticamente Eficientes: Resumo de Projeto de Pesquisa.

MSc Defense: A Game-Based Framework to Compare Program Classifiers and Evaders

MSc Defense: A Game-Based Framework to Compare Program Classifiers and Evaders

Palestra – Among Viruses, Trojans, and Backdoors: Fighting Malware in 2022 – Marcus Botacin [PT-BR]

Palestra – Among Viruses, Trojans, and Backdoors: Fighting Malware in 2022 – Marcus Botacin [PT-BR]

Extension Functions in Kotlin

Extension Functions in Kotlin

Construção Automática de Modelos de Custos para Kernels de Aprendizagem Automática

Construção Automática de Modelos de Custos para Kernels de Aprendizagem Automática

A Game-Based Framework to Compare Program Classifiers and Evaders

A Game-Based Framework to Compare Program Classifiers and Evaders

The Antlr Parser Generator

The Antlr Parser Generator

Structural Subtyping in Go

Structural Subtyping in Go

Reactive Programming with JavaScript

Reactive Programming with JavaScript

How to generate C benchmarks with Jotai

How to generate C benchmarks with Jotai

Implementing a testing tool in Erlang

Implementing a testing tool in Erlang

Impact of Obfuscators and Code Optimizers on the Accuracy of Program Predictors

Impact of Obfuscators and Code Optimizers on the Accuracy of Program Predictors

Jotai: a Methodology for the Generation of Executable C Benchmarks

Jotai: a Methodology for the Generation of Executable C Benchmarks

AST Matchers

AST Matchers

Memory-Safe Elimination of Side Channels

Memory-Safe Elimination of Side Channels

The Whiro Framework

The Whiro Framework

How to compile and run SPEC CPU2017

How to compile and run SPEC CPU2017

What is Object-Oriented Programming

What is Object-Oriented Programming

Presentation of VESPA at OOPSLA 2021, by Angélica Moreira

Presentation of VESPA at OOPSLA 2021, by Angélica Moreira

Metaprogramming in Elixir

Metaprogramming in Elixir

Introduction to eBPF

Introduction to eBPF

Introduction to Verilog

Introduction to Verilog

Introduction to Verilog

Introduction to Verilog

Proving Theorems with Idris

Proving Theorems with Idris

Region Analysis

Region Analysis

Structural Pattern Matching in Python 3.10

Structural Pattern Matching in Python 3.10

Type-Stable Code in Julia

Type-Stable Code in Julia

AutoParBench A Framework for Parallel Code verification

AutoParBench A Framework for Parallel Code verification

TBAA Metadata

TBAA Metadata

LLVM Loops

LLVM Loops

Writing a LLVM-based tool

Writing a LLVM-based tool

Writing an LLVM Transformation

Writing an LLVM Transformation

Tracking Variables in LLVM IR

Tracking Variables in LLVM IR

Program Visualization using LLVM

Program Visualization using LLVM

AnghaBench - CGO'21 - Short presentation

AnghaBench - CGO'21 - Short presentation

Automatic Inspection of Program State for Debugging and Verification Purposes - Short Version

Automatic Inspection of Program State for Debugging and Verification Purposes - Short Version

When Binary Optimization Meets Static Profiling (CGO'21 SRC Long Session)

When Binary Optimization Meets Static Profiling (CGO'21 SRC Long Session)

Presentation of the paper "Exploring the Space of Optimization Sequences for Code-Size Reduction".

Presentation of the paper "Exploring the Space of Optimization Sequences for Code-Size Reduction".

Automatic Inspection of Program State for Debugging and Verification Purposes (CGO'21 - SRC)

Automatic Inspection of Program State for Debugging and Verification Purposes (CGO'21 - SRC)

Presentation of "Exploring the Space of Optimization Sequences for Code-Size Reduction", CC'21

Presentation of "Exploring the Space of Optimization Sequences for Code-Size Reduction", CC'21

Memory-Safe Elimination of Side Channels (CGO 21)

Memory-Safe Elimination of Side Channels (CGO 21)

AnghaBench: a Suite with One Million Compilable C Benchmarks for Code-Size Reduction.

AnghaBench: a Suite with One Million Compilable C Benchmarks for Code-Size Reduction.

Recovering Source Information

Recovering Source Information

Clang Plugins Boilerplate

Clang Plugins Boilerplate

The LLVM Intermediate Representation

The LLVM Intermediate Representation

Clang Tooling

Clang Tooling

Running the LLVM Tools

Running the LLVM Tools

Writing an LLVM Analysis (part 2)

Writing an LLVM Analysis (part 2)

Writing an LLVM Analysis (part 1)

Writing an LLVM Analysis (part 1)

Profile Guided Optimization - Part 1

Installing LLVM

Installing LLVM

What is LLVM Metadata

What is LLVM Metadata

Introduction to LLVM Passes

Introduction to LLVM Passes

Introduction to Clang

Introduction to Clang

What Is LLVM?

What Is LLVM?