Property-Based Testing: QuickChickExplores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Method Dispatch OptimizationExplores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.