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

[PEPM'23] MATLAB Coder: Partial Evaluation in PracticeПодробнее

[PEPM'23] Fast Cryptographic Code via Partial EvaluationПодробнее

[PEPM'24] The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Co...Подробнее

Matlab & Python codes for beam selection & digital beamforming - Part IIПодробнее

[LAFI'23] Partial Evaluation of Forward-Mode Automatic DifferentiationПодробнее

[PEPM 2021] Coq to C Translation with Partial Evaluation + Counterexample GenerationПодробнее

[GPCE23] Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equati...Подробнее

[OOPSLA] Partial Evaluation of Machine CodeПодробнее

[PEPM'24] Scoped and Typed Staging by EvaluationПодробнее

Model Buildup and Charge Pump Impairment Modeling | Modeling PLLs Using Mixed-Signal BlocksetПодробнее

Matlab Simulation Program to implement BPSK systemПодробнее

[PLDI'23] Repairing Regular Expressions for ExtractionПодробнее