Travelled to:1 × Canada
1 × Italy
1 × Switzerland
1 × United Kingdom
1 × Uruguay
Collaborated with:W.Weimer R.v.Tonder Y.Brun S.Forrest K.R.M.Leino M.Moskal J.Kotheimer E.K.Smith E.T.Barr M.Dewey-Vogt T.Nguyen Y.Ke K.T.Stolee X.D.Le D.Chu D.L.0001 W.Visser J.Lacomis P.Yin E.J.Schwartz M.Allamanis G.Neubig B.Vasilescu
Talks about:program (5) repair (4) semant (3) syntax (2) parser (2) autom (2) lightweight (1) transform (1) systemat (1) synthesi (1)
Person: Claire Le Goues
DBLP: Goues:Claire_Le
Contributed to:
2015
2012
20112009
2009
2015201720182019
2019Wrote 10 papers:
- ESEC-FSE-2015-SmithBGB #automation #program repair
- Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
- ICSE-2012-GouesDFW #automation #debugging #program repair
- A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.
- SEFM-2011-GouesLM #debugging #verification
- The Boogie Verification Debugger (CLG, KRML, MM), pp. 407–414.
- ICSE-2009-WeimerNGF #automation #programming #search-based #using
- Automatically finding patches using genetic programming (WW, TN, CLG, SF), pp. 364–374.
- TACAS-2009-GouesW #mining #specification
- Specification Mining with Few False Positives (CLG, WW), pp. 292–306.
- ASE-2015-KeSGB #code search #semantics #source code
- Repairing Programs with Semantic Code Search (T) (YK, KTS, CLG, YB), pp. 295–306.
- ESEC-FSE-2017-LeCLGV #named #programming #semantics #synthesis
- S3: syntax- and semantic-guided repair synthesis via programming by examples (XBDL, DHC, DL0, CLG, WV), pp. 593–604.
- ASE-2018-TonderKG #semantics
- Semantic crash bucketing (RvT, JK, CLG), pp. 612–622.
- ASE-2019-LacomisYSAGNV #approach #identifier #named
- DIRE: A Neural Approach to Decompiled Identifier Naming (JL, PY, EJS, MA, CLG, GN, BV), pp. 628–639.
- PLDI-2019-TonderG #combinator #lightweight #multi #parsing #syntax
- Lightweight multi-language syntax transformation with parser parser combinators (RvT, CLG), pp. 363–378.