AutoSketch: Automatic Sketch-Oriented Compiler for Query-driven Network Telemetry
Innovative compiler integrating query-driven telemetry and sketch algorithms for efficient network monitoring, balancing expressiveness, accuracy, and resource usage through automated optimization.
Syntaxes for Binding and Their Semantics
Explore binding syntaxes and their semantics with Guillaume Allais, delving into advanced concepts in programming language theory and formal methods.
Cross-platform BPF Compiler Issues
Explore cross-platform BPF compiler challenges and solutions with expert Dave Thaler in this insightful Linux Foundation presentation.
An Alien Lambda Calculus - Exploring Alternative Computational Models
Explore an alien lambda calculus: a thought experiment on alternate physics and philosophies, offering insights into compiler design and functional programming concepts.
Building a CPU Using GPT for Every Instruction
Explore building a CPU using GPT for every instruction, compiling C code to LLVM-IR. Learn about compilers, virtual machines, and innovative applications of language models in computing.
Software Engineering and Computer Science with the Wolfram Compiler
Explore software engineering practices and compiler techniques using the Wolfram Compiler, gaining insights into its internal organization and innovative approaches.
A Type System for Safe Intermittent Computing
Explore a novel type system approach for safe intermittent computing in energy-harvesting devices, addressing idempotence requirements and improving programmability for batteryless systems.
Dataflow-Based Optimization for QIR Programs
Explore QDFO, a dataflow-based optimization approach for Microsoft QIR, improving code efficiency and readability through preprocessing and redundancy reduction in quantum computing programs.
A Probabilistic Choreography Language for PRISM
Explore a choreographic framework for modeling and analyzing concurrent probabilistic systems using PRISM. Learn about a new choreography language and its encoding into PRISM for enhanced system reliability.
Compiling Probabilistic Programs for Variable Elimination with Information Flow
Explore a novel approach to variable elimination and marginal inference in probabilistic programming, featuring bounded recursion and discrete distributions, with compiler-based optimization techniques.
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
Explore Zar: a verified compiler for discrete probabilistic programs, transforming cpGCL to executable samplers. Learn about choice-fix trees, interaction trees, and sampling equidistribution theorem.
Haskell Symposium 2024 - Session 3
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Haskell Symposium 2024 - Session 3
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Analyzing iOS Apps - Road from AppStore to Security Analysis Report
Toolset for detecting vulnerabilities in iOS apps: download and decrypt, decompile, statically analyze, and present results. Focuses on high-level semantics reconstruction and common mobile app security flaws.
Rebuilding Optimizing Compiler for Dart
Explore Dart's evolution from dynamic to static typing, its VM architecture changes, and the balance between language design and optimization in this insightful talk on compiler rebuilding.
Building Optimising Compiler for Dart
Explore the development of Dart VM's new compilation pipeline, focusing on language features' impact and lessons from V8. Learn about JIT compiler design for object-oriented languages with optional static typing.
Practical Uses of Program Analysis - Automatic Exploit Generation
Explore automatic exploit generation through program analysis techniques, including instrumentation and symbolic execution, with practical demonstrations and tool insights.
Verifying the LLVM
Explore LLVM's intermediate representation, its complexities, and the Vellvm project's approach to formal verification using Coq, aimed at ensuring compiler reliability and security.
Rustc in Userland
Explore Rust's compiler architecture to build static analysis tools and compilers. Learn to implement a simple LISP and create JIT-like compilers using Rust's codegen machinery.
Tulip - A Language for Humans
Explore Tulip, a new programming language with ML-like syntax and Erlang-inspired runtime, designed for REPL ergonomics and emphasizing minority language designers.
Your Secrets Are Safe with Julia - A Compiler for Secure Computation
Explore Ramparts, a compiler translating Julia code for homomorphic encryption, enabling secure computation on encrypted data without cryptography expertise.