22:31AnyDSL: A Partial Evaluation Framework for Programming High-Performance LibrariesACM SIGPLAN1.6K viewsView & Download
16:59[OOPSLA] Monadic and Comonadic Aspects of Dependency AnalysisACM SIGPLAN269 viewsView & Download
29:36[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and backACM SIGPLAN352 viewsView & Download
16:58[OOPSLA23] AST vs. Bytecode: Interpreters in the Age of Meta-CompilationACM SIGPLAN355 viewsView & Download
18:49[OOPSLA24] A Learning-Based Approach to Static Program SlicingACM SIGPLAN85 viewsView & Download
18:59[OOPSLA] Use at Your Own Risk: The Java Unsafe API in the WildSPLASH15 Conference372 viewsView & Download
26:08Thomas Wuerthinger - Practical Partial Evaluation for High-Performance Dynamic Language RuntimesECOOPLDI 2017652 viewsView & Download
16:59[OOPSLA23] TASTyTruffle: Just-in-Time Specialization of Parametric PolymorphismACM SIGPLAN57 viewsView & Download
14:45[OOPSLA'25] Universal Scalability in Declarative Program Analysis (with Choice-Based Combination(…)ACM SIGPLAN9 viewsView & Download
![[OOPSLA] Partial Evaluation of Machine Code — SPLASH15 Conference — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/W7MLKwA4nyA/mqdefault)
![[PLDI'25] Partial Evaluation, Whole-Program Compilation — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/S3ByUa1L5TM/mqdefault)
![[OOPSLA] Monadic and Comonadic Aspects of Dependency Analysis — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/80cNuVCfGX0/mqdefault)
![[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/P7X5Qy9KYLU/mqdefault)
![[OOPSLA23] AST vs. Bytecode: Interpreters in the Age of Meta-Compilation — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/qBQ0QZ6-RWw/mqdefault)
![[OOPSLA] Verified Compilation of Quantum Oracles — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/uTxEnxk4da4/mqdefault)
![[OOPSLA24] Effects and Coeffects in Call-By-Push-Value — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/a-pegWP6Mmo/mqdefault)
![[OOPSLA'25] The Simple Essence of Monomorphization — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/xqoTzQ9b9S0/mqdefault)
![[OOPSLA24] A Learning-Based Approach to Static Program Slicing — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/JhFDjtNkRi8/mqdefault)
![[OOPSLA24] Sensitivity by Parametricity — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/ErxHZJ0vSho/mqdefault)
![[OOPSLA] Use at Your Own Risk: The Java Unsafe API in the Wild — SPLASH15 Conference — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/_mIBxVbAT_Y/mqdefault)
![[OOPSLA23] TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/nR1Cm_a7seY/mqdefault)
![[OOPSLA'25] Universal Scalability in Declarative Program Analysis (with Choice-Based Combination(…) — ACM SIGPLAN — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/5vP9TMwf4Mo/mqdefault)
![Syntactic Completions with Material Obligations [OOPSLA'25] — David Moon — oopsla partial evaluation of machine code YouTube to MP3 & MP4 download on TubeGalore](/api/image/vLwvoPRvMoY/mqdefault)