Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. - Sasa Misailovic; Michael Carbin; Sara Achour; Zichao Qi; Martin C. Rinard (OOPSLA, 2014)

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. - Zichao Qi; Fan Long; Sara Achour; Martin C. Rinard (ISSTA, 2015)

Approximate computation with outlier detection in Topaz. - Sara Achour; Martin C. Rinard (OOPSLA, 2015)

Configuration synthesis for programmable analog devices with Arco. - Sara Achour; Rahul Sarpeshkar; Martin C. Rinard (PLDI, 2016)

Time Dilation and Contraction for Programmable Analog Devices with Jaunt. - Sara Achour; Martin C. Rinard (ASPLOS, 2018)

Noise-Aware Dynamical System Compilation for Analog Devices with Legno. - Sara Achour; Martin C. Rinard (ASPLOS, 2020)

Compilation Techniques for Reconfigurable Analog Devices. - Sara Achour (2021)

PBA: Percentile-Based Level Allocation for Multiple-Bits-Per-Cell RRAM. - Anjiang Wei; Akash Levy; Pu Yi 001; Robert M. Radway; Priyanka Raina; Subhasish Mitra; Sara Achour (ICCAD, 2023)

Hardware-Aware Static Optimization of Hyperdimensional Computations. - Pu (Luke) Yi 001; Sara Achour (Proc. ACM Program. Lang., 2023)

Design of Novel Analog Compute Paradigms with Ark. - Yu-Neng Wang; Glenn E. R. Cowan; Ulrich Rührmair; Sara Achour (ASPLOS (2), 2024)

Bitwise Adaptive Early Termination in Hyperdimensional Computing Inference. - Wei-Chen Chen; H.-S. Philip Wong; Sara Achour (DAC, 2024)

Shem: A Hardware-Aware Optimization Framework for Analog Computing Systems. - Yu-Neng Wang; Sara Achour (CoRR, 2024)

Strong PUF Security Metrics: Sensitivity of Responses to Single Challenge Bit Flips. - Wolfgang Stefani; Fynn Kappelhoff; Martin Gruber; Yu-Neng Wang; Sara Achour; Debdeep Mukhopadhyay; Ulrich Rührmair (IACR Cryptol. ePrint Arch., 2024)

Compilation of Qubit Circuits to Optimized Qutrit Circuits. - Ritvik Sharma; Sara Achour (Proc. ACM Program. Lang., 2024)

Artifact for ASPLOS 2025 Paper "Early Termination for Hyperdimensional Computing Using Inferential Statistics". - Pu Yi 001; Yifan Yang; Chae Young Lee; Sara Achour (Zenodo, 2024)

Leveraging Generative AI for Rapid Design and Verification of a Vector Processor SoC. - William Salcedo; Sara Achour; Courtney McBeth (IEEE Des. Test, 2024)

Towards Design Optimization of Analog Compute Systems. - Sara Achour (ASP-DAC, 2025)

Early Termination for Hyperdimensional Computing Using Inferential Statistics. - Pu (Luke) Yi 001; Yifan Yang; Chae Young Lee; Sara Achour (ASPLOS (1), 2025)

Efficient Optimization with Encoded Ising Models. - Devrath Iyer; Sara Achour (HPCA, 2025)

Open-ALOE: An Analog Layout Automation Flow for the Open-Source Ecosystem. - Yueting Li; Xingyu Ni; Sara Achour; Boris Murmann (ISQED, 2025)

Optimizing Ancilla-Based Quantum Circuits with SPARE. - Ritvik Sharma; Sara Achour (Proc. ACM Program. Lang., 2025)

HyperCam: Low-Power Onboard Computer Vision for IoT Cameras. - Chae Young Lee; Pu Yi 001; Maxwell Fite; Tejus Rao; Sara Achour; Zerina Kapetanovic (CoRR, 2025)

Exchangeability in Neural Network Architectures and its Application to Dynamic Pruning. - Pu Yi 001; Tianlang Chen; Yifan Yang; Sara Achour (CoRR, 2025)