ACM SIGPLAN Courses

Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects

Explore static polymorphism in Slang for transpiling Smalltalk VM objects to C functions. Learn about challenges, benefits, and future enhancements in VM development.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Approximating Type Stability in the Julia JIT

Explore an algorithm for approximating type stability in Julia's JIT compiler, enhancing performance in this dynamic scientific computing language.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Mixed and Verified Consistency with Propel and ConOpY

Explore mixed consistency in distributed systems using ConOpY language and Propel type system for verifying CRDTs, enhancing data replication and local-first applications.

• YouTube
• 17 minutes
• On-Demand
• Free Video

From Static to Dynamic Access Control Policies via Attribute-Based Category Mining

Explore attribute-based category mining for dynamic access control policies, transitioning from static approaches in cybersecurity.

• YouTube
• 19 minutes
• On-Demand
• Free Video

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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• Free Video