58:02

[PEPM'23] Fast Cryptographic Code via Partial Evaluation

ACM SIGPLAN

27:11

[PEPM'23] Towards Type Debugging using Partial Evaluation

ACM SIGPLAN

28:30

[PEPM'23] Semantic Transformation Framework for Rewriting Rules

ACM SIGPLAN

29:54

[PEPM'23] Symbolic Execution of Hadamard-Toffoli Quantum Circuits

ACM SIGPLAN

22:54

[PEPM'23] Generating Programs for Polynomial Multiplication with Correctness Assurance

ACM SIGPLAN

53:08

[PEPM'23] MATLAB Coder: Partial Evaluation in Practice

ACM SIGPLAN

34:57

[PEPM'23] Modular Construction of Multi-sorted Free Extensions

ACM SIGPLAN

29:32

[PEPM'23] Efficient Embedding of Strategic Attribute Grammars via Memoization

ACM SIGPLAN

18:59

[PEPM'23] Towards a Reflection for Effect Handlers

ACM SIGPLAN