Reigniting Fuse, an Online Partial Evaluator for Scheme

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

[NITTO KOHKI] Automating Connection and Disconnection of CUPLA! ~Application example~Подробнее

Estimation of safety functions demonstrationПодробнее

Phase Monitor RelaysПодробнее

AnyDSL: A Partial Evaluation Framework for Programming High-Performance LibrariesПодробнее

Compiler Design Module 1 : Compilation is partial evaluation of the InterpreterПодробнее

[PEPM'22] A partial history of partial evaluationПодробнее

Package solutions for every application from NexperiaПодробнее

Automating X, Y, and ZПодробнее

Proof Repair across Type Equivalences (PLDI 2021)Подробнее

Robotic-Automated Agriculture lab - Eurofins robotic automation solution.Подробнее

90 minute Scheme to C compiler presentation, part 2Подробнее

Multi-Layer Safety Clearance and Creepage RulesПодробнее

Phishing | Software Piracy | Plagiarism | Licensed and Unlicensed Software - Lesson 1 - Part 6Подробнее

Detecting and Visualizing Lack Of Fusion Events using  the PrintRite3D softwareПодробнее

PHAx, exSILentia, and SILAlarm IntegrationПодробнее

Termination CheckПодробнее

Enabling Convergence with Solution Controls for Helius PFAПодробнее