Q&A with Matz
Engaging Q&A session with Ruby's creator, covering MRuby, static analysis, Ruby extensions, and future plans. Gain insights into the language's evolution and Matz's perspectives.
Go Linters - Myths and Best Practices
Demystifying Go linters: Learn their power, benefits, and implementation. Discover tips, tricks, and best practices for integrating linters into your Go projects effectively.
Writing a Static Analyzer for Go Code
Learn to create custom static analyzers for Go, catching preventable errors before they reach production and enhancing code quality through automated checks.
Flow Typing a React Codebase
Learn to add flow typing to React codebases, overcome common challenges, and publish type-checked modules. Gain insights on static analysis, refactoring, and implementing runtime type checking for improved code quality.
Demystifying GraphQL Clients
Explore GraphQL client options and their impact on development, covering modularity, schema checking, and static analysis. Compare Relay and other approaches for informed decision-making.
Practical Functional Programming - Pick Two
Explore practical functional programming techniques in JavaScript, including immutability, recursion, and laziness, to enhance code clarity, testability, and maintainability.
Performing Dynamic Analysis of JS Apps
Explore dynamic JavaScript analysis techniques for enhanced web security and performance, including DOM manipulation, proxies, and IIFEs, with practical demonstrations and open-source tools.
A Piece of Cake - C# Powered Cross Platform Build Automation
Explore C# cross-platform build automation with Cake. Learn to create efficient, versatile scripts for compiling, testing, and packaging applications using familiar C# syntax.
C++ Core Guidelines - Safer C++
Explore safer C++ practices with Core Guidelines, focusing on efficiency, const usage, and minimizing raw pointers. Learn to modernize code and improve quality through automated tooling and refactoring techniques.
Malware Classification With Machine Learning Enhanced by Windows Kernel Emulation
Explore hybrid machine learning for malware classification using static and dynamic analysis, Windows kernel emulation, and neural networks. Learn about adversarial ML and future developments.
CHERI Static Analysis - POCL'24
Explore CHERI static analysis techniques for enhanced memory safety and security in software development.
Initializing Global Objects: Time and Order
Explore a novel approach to global object initialization in Scala, addressing safety issues and proposing static analysis techniques to eliminate errors and optimize performance.
Defeating Secure Code Review GPT Hallucinations - Understanding LLM Limitations in Code Analysis
Explore the limitations and pitfalls of LLMs in code security analysis, focusing on common mistakes in code search and clone detection tasks, particularly with misleading variable names.
No Symbols When Reversing? No Problem - Bring Your Own Symbols for Binary Analysis
Discover efficient techniques for analyzing unknown functions in binaries, focusing on portable symbol creation and management using Ghidra, with practical examples from Golang-based malware analysis.
Agni: Fast Formal Verification of the Verifier's Range Analysis
Explore fast formal verification techniques for range analysis in the Linux kernel's eBPF verifier, enhancing security and performance.
Wisening Assertions: A Live Bayesian Reasoning System for Probabilistic Correctness
Explore a novel approach to run-time assertions that balances robustness and scalability, gradually transitioning from "on" to "off" as confidence in code correctness increases over time.
SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java
Explore SHARP, a groundbreaking incremental context-sensitive pointer analysis algorithm for Java, offering improved performance and scalability for large-scale programs.
Towards Mailbox Typing for Erlang - Lightning Talk
Explore mailbox typing for Erlang: a new technique to detect concurrency errors in actor-based languages, complementing existing tools like Concuerror model checker.
How to Add Dialyzer to an Existing Elixir Project - Lightning Talk
Learn strategies for integrating Dialyzer into existing Elixir projects smoothly, minimizing team friction and maximizing code quality benefits.
Historia: Refuting Callback Reachability with Message-History Logics
Explore a novel approach to callback reachability in event-driven frameworks using message-history logics. Learn about targeted specification and goal-directed verification for improved app analysis.
Hardware-Aware Static Optimization of Hyperdimensional Computations
Explore hardware-aware static optimization for hyperdimensional computing, focusing on minimizing resource usage while meeting accuracy targets in error-prone hardware platforms.