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 × 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 DBLP: Goues:Claire_Le

Contributed to:

ESEC/FSE 20152015
ICSE 20122012
SEFM 20112011
ICSE 20092009
TACAS 20092009
ASE 20152015
ESEC/FSE 20172017
ASE 20182018
ASE 20192019
PLDI 20192019

Wrote 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.

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.