20:47[OOPSLA] How Scale Affects Structure in Java ProgramsSPLASH15 Conference128 viewsView & Download
14:03[OOPSLA'25] Exploring the Theory and Practice of Concurrency in the Entity-Component-System PatternACM SIGPLAN218 viewsView & Download
12:38[OOPSLA'25] Compiling Classical Sequent Calculus to Stock Hardware: The Duality of CompilationACM SIGPLAN100 viewsView & Download
14:48[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)ACM SIGPLAN187 viewsView & Download
29:36[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and backACM SIGPLAN352 viewsView & Download
18:03[OOPSLA] Fast, Multicore-Scalable, Low-Fragmentation Memory AllocationSPLASH15 Conference213 viewsView & Download
13:28[OOPSLA'25] Fast Constraint Synthesis for C++ Function TemplatesACM SIGPLAN205 viewsView & Download
18:55[OOSPLA] Giga-Scale Exhaustive Points-To Analysis for Java in Under a MinuteSPLASH15 Conference253 viewsView & Download
20:20[OOPSLA] Accurate Profiling in the Presence of Dynamic CompilationSPLASH15 Conference110 viewsView & Download
18:24[OOPSLA] Approximate Computation with Outlier Detection in TopazSPLASH15 Conference150 viewsView & Download
18:38[OOPSLA24] Making Formulog Fast: An Argument for Unconventional Datalog EvaluationACM SIGPLAN86 viewsView & Download
16:32[OOPSLA23] Explainable Program Synthesis by Localizing SpecificationsACM SIGPLAN145 viewsView & Download