BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
M.C.Rinard M.Rinard Z.Qi Rahul Sarpeshkar F.Long S.Misailovic M.Carbin
Talks about:
analog (3) devic (3) programm (2) approxim (2) generat (2) system (2) comput (2) patch (2) awar (2) synthesi (1)

Person: Sara Achour

DBLP DBLP: Achour:Sara

Contributed to:

ISSTA 20152015
OOPSLA 20152015
OOPSLA 20142014
PLDI 20162016
ASPLOS 20182018
ASPLOS 20202020

Wrote 6 papers:

ISSTA-2015-QiLAR #analysis #correctness #generative
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (ZQ, FL, SA, MCR), pp. 24–36.
OOPSLA-2015-AchourR #approximate #detection
Approximate computation with outlier detection in Topaz (SA, MCR), pp. 711–730.
OOPSLA-2014-MisailovicCAQR #approximate #kernel #named #optimisation
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.
PLDI-2016-AchourSR #programmable #synthesis
Configuration synthesis for programmable analog devices with Arco (SA, RS, MCR), pp. 177–193.
ASPLOS-2018-AchourR #programmable
Time Dilation and Contraction for Programmable Analog Devices with Jaunt (SA, MR), pp. 229–242.
ASPLOS-2020-AchourR #compilation
Noise-Aware Dynamical System Compilation for Analog Devices with Legno (SA, MR), pp. 149–166.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.