BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × USA
Collaborated with:
F.Long S.Achour J.Shen S.Sidiroglou-Douskos E.Lahtinen P.Amidon J.Cito J.Rubin P.Stanley-Marbell A.Eden V.K.Mansinghka Ulrich Schaechtle Shivam Handa Alexey Radul Y.Chen
Talks about:
code (4) program (3) automat (3) transform (2) programm (2) generat (2) applic (2) analog (2) patch (2) infer (2)

Person: Martin Rinard

DBLP DBLP: Rinard:Martin

Contributed to:

ESEC/FSE 20152015
PLDI 20152015
ASE 20162016
SLE 20172017
ESEC/FSE 20172017
POPL 20162016
PLDI 20182018
ASPLOS 20182018
ASPLOS 20202020

Wrote 10 papers:

ESEC-FSE-2015-LongR #program repair #staged #synthesis
Staged program repair with condition synthesis (FL, MR), pp. 166–178.
PLDI-2015-Sidiroglou-Douskos #automation #fault #multi
Automatic error elimination by horizontal code transfer across multiple applications (SSD, EL, FL, MR), pp. 43–54.
ASE-2016-CitoRSR #mobile
Battery-aware transformations in mobile applications (JC, JR, PSM, MR), pp. 702–707.
SLE-2017-ShenR #robust #source code
Robust programs with filtered iterators (JS, MR), pp. 244–255.
ESEC-FSE-2017-LongAR #automation #generative
Automatic inference of code transforms for patch generation (FL, PA, MR), pp. 727–739.
CodeCarbonCopy (SSD, EL, AE, FL, MR), pp. 95–105.
POPL-2016-LongR #automation #generative #learning
Automatic patch generation by learning correct code (FL, MR), pp. 298–312.
PLDI-2018-MansinghkaSHRCR #probability #programmable #programming
Probabilistic programming with programmable inference (VKM, US, SH, AR, YC, MR), pp. 603–616.
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.