Assuage: Assembly Synthesis Using A Guided Exploration
summary
Assuage is a parallel interactive assembly synthesizer built on CEGIS that lets users run multiple guided searches as parallel synthesis instances with instruction-level hints and decomposition. It targets real ARM tasks (Barrelfish snippet and bit-manipulation benchmarks) and scales past “a few instructions.” In a 21-participant study average completion time drops from ~18 to ~10 minutes, success rates increase, subjective workload falls, and participants prefer using the tool over a baseline with only instruction-level constraints.
AI-written summary · about
related talks
15mHieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical(…)
20mMISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable(…)
19mEnhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...
31mLetting users do the undecidable: lessons from program synthesis
31mEffectful Assembly Programming with AsmFX
01h 00mJust Enough Assembly for Compiler Explorer
01h 00mBeating Hand Tuned Assembly in Compiled Languages
46mWhat C and C++ can do and when do you need Assembly?