BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × France
1 × Germany
1 × India
1 × Ireland
1 × Luxembourg
1 × Romania
1 × Spain
1 × Switzerland
11 × USA
2 × Canada
2 × Italy
2 × United Kingdom
Collaborated with:
R.P.L.Buse S.Forrest Z.P.Fry G.C.Necula P.Hooimeijer C.L.Goues Kevin Angstadt S.McPeak T.Nguyen R.Jhala K.Skadron D.Kapur K.Dobolyi ∅ E.M.Schulte J.Dorn M.Harman W.B.Langdon B.Landau C.Sadowski E.Schulte J.Jeannin J.DiLorenzo M.Dewey-Vogt S.P.Rahul P.Cashin C.Martinez E.Daka J.Campos G.Fraser S.Harding J.Condit M.Harren M.Endres G.Sakkas B.Cosman E.L.Seidel Huma Sibghat K.Chaudhuri Matthew Casias Tommy Tracy II T.A.Henzinger R.Majumdar G.Sutre S.Adams T.Ball M.Das S.Lerner S.K.Rajamani M.Seigle J.Kubiatowicz D.Bindel Y.Chen S.E.Czerwinski P.R.Eaton D.Geels R.Gummadi S.C.Rhea H.Weatherspoon C.Wells B.Y.Zhao
Talks about:
program (11) analysi (6) automat (5) repair (5) softwar (4) patch (4) model (4) use (4) languag (3) report (3)

Person: Westley Weimer

DBLP DBLP: Weimer:Westley

Facilitated 2 volumes:

MSR 2011PrCo
MSR 2010PrCo

Contributed to:

ESEC/FSE 20152015
ASPLOS 20142014
ICSE 20142014
ASE 20132013
ASPLOS 20132013
ICST 20132013
WCRE 20132013
ICSE 20122012
ISSTA 20122012
OOPSLA 20112011
ASE 20102010
ICSM 20102010
ISSTA 20102010
ICSE 20092009
PLDI 20092009
TACAS 20092009
ISSTA 20082008
ASE 20072007
GPCE 20062006
TACAS 20052005
OOPSLA 20042004
PLDI 20032003
CAV 20022002
CC 20022002
POPL 20022002
SAS 20022002
ASPLOS 20002000
ASE 20192019
OOPSLA 20172017
ASPLOS 20162016
ASPLOS 20192019
ASPLOS 20202020

Wrote 40 papers:

ESEC-FSE-2015-DakaCFDW #modelling #readability #testing
Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ASPLOS-2014-SchulteDHFW #energy #optimisation
Post-compiler software optimization for reducing energy (EMS, JD, SH, SF, WW), pp. 639–652.
ICSE-2014-NguyenKWF #dynamic analysis #invariant #using
Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
ASE-2013-WeimerFF #adaptation #equivalence #modelling #program repair
Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
ASPLOS-2013-SchulteDWF #assembly #automation #embedded #source code
Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
ICST-2013-FryW #analysis #maintenance
Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.
WCRE-2013-FryW #clustering #fault #maintenance #static analysis
Clustering static analysis defect reports to reduce maintenance costs (ZPF, WW), pp. 282–291.
WCRE-2013-HarmanLW #programming #reverse engineering #search-based
Genetic programming for Reverse Engineering (MH, WBL, WW), pp. 1–10.
ICSE-2012-BuseW #api
Synthesizing API usage examples (RPLB, WW), pp. 782–792.
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.
ICSE-2012-NguyenKWF #array #dynamic analysis #invariant #polynomial #using
Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
ISSTA-2012-FryLW #maintenance
A human study of patch maintainability (ZPF, BL, WW), pp. 177–187.
OOPSLA-2011-BuseSW #evaluation #re-engineering #research
Benefits and barriers of user evaluation in software engineering research (RPLB, CS, WW), pp. 643–656.
ASE-2010-BuseW #automation
Automatically documenting program changes (RPLB, WW), pp. 33–42.
ASE-2010-HooimeijerW #constraints #string
Solving string constraints lazily (PH, WW), pp. 377–386.
ASE-2010-SchulteFW #assembly #automation #evolution #program repair
Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.
ICSM-2010-FryW #fault #locality
A human study of fault localization accuracy (ZPF, WW), pp. 1–10.
ISSTA-2010-DobolyiW #fault #modelling #testing #web
Modeling consumer-perceived web application fault severities for testing (KD, WW), pp. 97–106.
ICSE-2009-BuseW #execution
The road not taken: Estimating path execution frequency statically (RPLB, WW), pp. 144–154.
ICSE-2009-WeimerNGF #automation #programming #search-based #using
Automatically finding patches using genetic programming (WW, TN, CLG, SF), pp. 364–374.
PLDI-2009-HooimeijerW #constraints #regular expression #set
A decision procedure for subset constraints over regular languages (PH, WW), pp. 188–198.
TACAS-2009-GouesW #mining #specification
Specification Mining with Few False Positives (CLG, WW), pp. 292–306.
ISSTA-2008-BuseW #metric #readability
A metric for software readability (RPLB, WW), pp. 121–130.
ISSTA-2008-BuseW08a #automation #documentation #exception
Automatic documentation inference for exceptions (RPLB, WW), pp. 273–282.
ASE-2007-HooimeijerW #debugging #modelling #quality
Modeling bug report quality (PH, WW), pp. 34–43.
GPCE-2006-Weimer #debugging
Patches as better bug reports (WW), pp. 181–190.
TACAS-2005-WeimerN #detection #fault #mining #specification
Mining Temporal Specifications for Error Detection (WW, GCN), pp. 461–476.
OOPSLA-2004-WeimerN #fault #runtime
Finding and preventing run-time error handling mistakes (WW, GCN), pp. 419–431.
PLDI-2003-ConditHMNW
CCured in the real world (JC, MH, SM, GCN, WW), pp. 232–244.
CAV-2002-HenzingerJMNSW #proving
Temporal-Safety Proofs for Systems Code (TAH, RJ, RM, GCN, GS, WW), pp. 526–538.
CC-2002-NeculaMRW #analysis #c #named #source code #tool support
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
POPL-2002-NeculaMW #legacy #named #type safety
CCured: type-safe retrofitting of legacy code (GCN, SM, WW), pp. 128–139.
SAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.
ASPLOS-2000-KubiatowiczBCCEGGRWWWZ #architecture #named #persistent
OceanStore: An Architecture for Global-Scale Persistent Storage (JK, DB, YC, SEC, PRE, DG, RG, SCR, HW, WW, CW, BYZ), pp. 190–201.
ASE-2019-CashinMWF #comprehension #difference #invariant
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences (PC, CM, WW, SF), pp. 411–414.
ASE-2019-EndresSCJW #automation #named
InFix: Automatically Repairing Novice Program Inputs (ME, GS, BC, RJ, WW), pp. 399–410.
OOPSLA-2017-SeidelSCWJ #data-driven #fault #learning
Learning to blame: localizing novice type errors with data-driven diagnosis (ELS, HS, KC, WW, RJ), p. 27.
ASPLOS-2016-AngstadtWS #agile #programming
RAPID Programming of Pattern-Recognition Processors (KA, WW, KS), pp. 593–605.
ASPLOS-2019-CasiasATSW #debugging #pattern matching
Debugging Support for Pattern-Matching Languages and Accelerators (MC, KA, TTI, KS, WW), pp. 1073–1086.
ASPLOS-2020-AngstadtJW #automaton #bound #kernel #learning #legacy #string
Accelerating Legacy String Kernels via Bounded Automata Learning (KA, JBJ, WW), pp. 235–249.
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.