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: Rinard:Martin
Contributed to:
2015
2015
2016
20172017
20162018
20182020Wrote 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.
- ESEC-FSE-2017-Sidiroglou-Douskos
- 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.