Oopsla Coverage Guided Tensor Compiler

Media Summary: In the past decade, Deep Learning (DL) systems have been widely deployed in various application domains to facilitate our daily ... Abstract: Code editors provide essential services that help developers understand, navigate, and modify programs. However ... Talk Title: Partial Evaluation of Machine Code Presenter: Venkatesh Srinivasan More Info: ...

Oopsla Coverage Guided Tensor Compiler - Detailed Analysis & Overview

In the past decade, Deep Learning (DL) systems have been widely deployed in various application domains to facilitate our daily ... Abstract: Code editors provide essential services that help developers understand, navigate, and modify programs. However ... Talk Title: Partial Evaluation of Machine Code Presenter: Venkatesh Srinivasan More Info: ... Explainable Program Synthesis by Localizing Specifications (Video, OOPSLA2 2023) Amirmohammad Nazari, Yifei Huang, ... Talk Title: Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis Presenter: David ... Click this link and use my code ABSTRACTION to get 25% off your first payment for ...

ASPLOS'23: The 28th International Conference on Architectural Support for Programming Languages and Operating Systems ... The first comprehensive explainer for the GGUF quantization ecosystem. GGUF quantization is currently the most popular tool for ... Part 2 of 5 in the “5 Essential LLM Optimization Techiniques” series. Link to the 5 techiniques roadmap: ...

Photo Gallery

[OOPSLA] Coverage-guided tensor compiler fuzzing with joint IR-pass mutation

Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation

[PLDI'25] Optimization-Directed Compiler Fuzzing for Continuous Translation Validation

Syntactic Completions with Material Obligations [OOPSLA'25]

[OOPSLA] Partial Evaluation of Machine Code

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

[OOPSLA] Galois Transformers and Modular Abstract Interpreters

Should a compiler optimize this?

[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

ASPLOS'23 - Session 5C - TensorIR: An Abstraction for Automatic Tensorized Program Optimization

Reverse-engineering GGUF | Post-Training Quantization

LLM Inference Optimization #2: Tensor, Data & Expert Parallelism (TP, DP, EP, MoE)

View Detailed Profile

[OOPSLA] Coverage-guided tensor compiler fuzzing with joint IR-pass mutation

[OOPSLA] Coverage-guided tensor compiler fuzzing with joint IR-pass mutation

In the past decade, Deep Learning (DL) systems have been widely deployed in various application domains to facilitate our daily ...

Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation

Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation

Title:

[PLDI'25] Optimization-Directed Compiler Fuzzing for Continuous Translation Validation

[PLDI'25] Optimization-Directed Compiler Fuzzing for Continuous Translation Validation

Optimization-Directed

Syntactic Completions with Material Obligations [OOPSLA'25]

Syntactic Completions with Material Obligations [OOPSLA'25]

Abstract: Code editors provide essential services that help developers understand, navigate, and modify programs. However ...

[OOPSLA] Partial Evaluation of Machine Code

[OOPSLA] Partial Evaluation of Machine Code

Talk Title: Partial Evaluation of Machine Code Presenter: Venkatesh Srinivasan More Info: ...

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

[OOPSLA23] Explainable Program Synthesis by Localizing Specifications

Explainable Program Synthesis by Localizing Specifications (Video, OOPSLA2 2023) Amirmohammad Nazari, Yifei Huang, ...

[OOPSLA] Galois Transformers and Modular Abstract Interpreters

[OOPSLA] Galois Transformers and Modular Abstract Interpreters

Talk Title: Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis Presenter: David ...

Should a compiler optimize this?

Should a compiler optimize this?

Click this link https://boot.dev/?promo=ABSTRACTION and use my code ABSTRACTION to get 25% off your first payment for ...

[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

Fuzzing Loop Optimizations in

ASPLOS'23 - Session 5C - TensorIR: An Abstraction for Automatic Tensorized Program Optimization

ASPLOS'23 - Session 5C - TensorIR: An Abstraction for Automatic Tensorized Program Optimization

ASPLOS'23: The 28th International Conference on Architectural Support for Programming Languages and Operating Systems ...

Reverse-engineering GGUF | Post-Training Quantization

Reverse-engineering GGUF | Post-Training Quantization

The first comprehensive explainer for the GGUF quantization ecosystem. GGUF quantization is currently the most popular tool for ...

LLM Inference Optimization #2: Tensor, Data & Expert Parallelism (TP, DP, EP, MoE)

LLM Inference Optimization #2: Tensor, Data & Expert Parallelism (TP, DP, EP, MoE)

Part 2 of 5 in the “5 Essential LLM Optimization Techiniques” series. Link to the 5 techiniques roadmap: ...