ACM SIGPLAN Courses

Multi-Stage Vertex-Centric Programming for Agent-Based Simulations

Explore multi-stage vertex-centric programming for agent-based simulations, improving performance and control flow in complex graph algorithms through meta-programming techniques.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

CacheIR: The Benefits of a Structured Representation for Inline Caches

Explore CacheIR, a structured approach to inline caching that enhances performance and security in dynamically typed languages through improved abstraction and code reuse.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Beyond RSS: Towards Intelligent Dynamic Memory Management - Work in Progress

Explore a novel trace-based simulation methodology for dynamic memory allocation, analyzing workload-allocator interactions using 2D bin packing to minimize fragmentation and optimize memory usage.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image

Explore the comparison of Rapid Type Analysis and Points-To Analysis in GraalVM Native Image, focusing on performance improvements and trade-offs in ahead-of-time compilation for Java applications.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

A Multifaceted Memory Analysis of Java Benchmarks

Explore an in-depth study of memory behavior in Java benchmarks, offering insights into object allocations, accesses, and memory pressure through comprehensive profiling techniques.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

Heap Size Adjustment with CPU Control

Explore automatic heap sizing in JVM garbage collection, trading memory for computation based on CPU utilization. Learn about implementation in ZGC and its impact on performance and energy.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

Evaluating YJIT's Performance in a Production Context - A Pragmatic Approach

Explore YJIT's performance in Ruby, comparing benchmarks and real-world deployment. Analyze speed, memory usage, and warm-up time against other JIT compilers for pragmatic evaluation.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Generating Java Interfaces for Accessing Foreign Objects in GraalVM - Work in Progress

Explore a tool for automating Java interface generation to access foreign language objects in GraalVM, improving code clarity and reducing errors in language interoperability.

• YouTube
• 12 minutes
• Self-Paced
• Free Video

A Low-Code Platform for Systematic Component-Oriented Language Composition

Explore a low-code platform for systematic language composition using visual interfaces and pre-built components, streamlining domain-specific language development and promoting reuse.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects

Explore a tool for creating platform-independent bots in open-source projects, enhancing automation and community interaction through a Domain-Specific Language.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023

Explore complete first-order reasoning for functional program properties, uncovering theoretical foundations of verification tools and explaining their efficacy, limitations, and user assistance role.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

Accelerating Fuzzing through Prefix-Guided Execution

Explore prefix-guided execution for accelerating coverage-guided fuzzing, improving bug detection and code coverage in software testing through early termination of unlikely tests.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving

Explore innovative concrete type inference for dynamically typed languages, combining machine learning and SMT solving to enable code optimization without manual type annotations, significantly boosting performance.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data

Explore Secure RDTs for enforcing role-based access control on offline-available JSON data, enhancing security in applications with intermittent network connectivity.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions

Explore automatic synthesis of program specifications using Spyro, a tool that generates precise L-properties based on user queries and domain-specific languages, applicable in various programming contexts.

• YouTube
• 19 minutes
• Self-Paced
• Free Video