Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWestley Weimer
Person information
- affiliation: University of Michigan, Ann Arbor, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c108]Joseph Renzullo
, Westley Weimer, Stephanie Forrest:
Combining Online Learning with Mutation-Based Stochastic Search to Repair Buggy Programs. GECCO Companion 2024: 53-54- [c107]Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, Westley Weimer:
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment. ICSE 2024: 188:1-188:13 - [c106]Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres:
High Expectations: An Observational Study of Programming and Cannabis Intoxication. ICSE 2024: 193:1-193:12 - [i19]Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres:
High Expectations: An Observational Study of Programming and Cannabis Intoxication. CoRR abs/2402.19194 (2024) - [i18]Joseph Renzullo, Pemma Reiter, Westley Weimer, Stephanie Forrest:
Automated Program Repair: Emerging trends pose and expose problems for benchmarks. CoRR abs/2405.05455 (2024) - 2023
- [j34]Joseph Renzullo, Westley Weimer, Stephanie Forrest:
Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search. ACM Trans. Evol. Learn. Optim. 3(4): 13:1-13:32 (2023) - [j33]Priscila Santiesteban, Yu Huang, Westley Weimer, Hammad Ahmad:
CirFix: Automated Hardware Repair and its Real-World Applications. IEEE Trans. Software Eng. 49(7): 3736-3752 (2023) - [c105]Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer:
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. ICSE 2023: 208-220 - [c104]Kaia Newman, Madeline Endres, Westley Weimer, Brittany Johnson:
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. ICSE 2023: 665-677 - [c103]Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley Weimer, Kevin Leach, Yu Huang:
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. ESEC/SIGSOFT FSE 2023: 3-15 - [i17]Kaia Newman, Madeline Endres, Brittany Johnson, Westley Weimer:
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. CoRR abs/2305.01056 (2023) - 2022
- [j32]Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer:
Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning. IEEE Micro 42(5): 70-77 (2022) - [j31]Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala:
Seq2Parse: neurosymbolic parse error repair. Proc. ACM Program. Lang. 6(OOPSLA2): 1180-1206 (2022) - [j30]Zohreh Sharafi, Ian Bertram, Michael Flanagan, Westley Weimer:
Eyes on Code: A Study on Developers' Code Navigation Strategies. IEEE Trans. Software Eng. 48(5): 1692-1704 (2022) - [c102]Hammad Ahmad, Yu Huang, Westley Weimer:
CirFix: automatically repairing defects in hardware design code. ASPLOS 2022: 990-1003 - [c101]Pemma Reiter, Antonio M. Espinoza, Adam Doupé, Ruoyu Wang, Westley Weimer, Stephanie Forrest:
Improving source-code representations to enhance search-based software repair. GECCO 2022: 1336-1344 - [c100]Annie Li, Madeline Endres, Westley Weimer:
Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers. ICSE (SEET) 2022: 69-81 - [c99]Priscila Santiesteban, Madeline Endres, Westley Weimer:
An Analysis of Sex Differences in Computing Teaching Evaluations. GE@ICSE 2022: 84-87 - [c98]Madeline Endres, Kevin Boehnke, Westley Weimer:
Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. ICSE 2022: 1107-1119 - [c97]Madeline Endres, Pemma Reiter, Stephanie Forrest, Westley Weimer:
What Can Program Repair Learn From Code Review? APR@ICSE 2022: 33-37 - [c96]Kevin Leach, Christopher Steven Timperley, Kevin Angstadt, Anh Nguyen-Tuong, Jason Hiser, Aaron Paulos, Partha P. Pal, Patrick Hurley, Carl Thomas, Jack W. Davidson, Stephanie Forrest, Claire Le Goues, Westley Weimer:
START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). ISSRE 2022: 73-84 - [c95]Hammad Ahmad, Padraic Cashin, Stephanie Forrest, Westley Weimer:
Digging into Semantics: Where Do Search-Based Software Repair Methods Search? PPSN (2) 2022: 3-18 - [c94]Hammad Ahmad, Colton Holoday, Ian Bertram, Kevin Angstadt, Zohreh Sharafi, Westley Weimer:
LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery. PROMISE 2022: 52-61 - [i16]Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang, Stephanie Forrest:
Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation. CoRR abs/2202.12336 (2022) - [i15]Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, Janet Siegmund:
Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402). Dagstuhl Reports 12(10): 61-83 (2022) - 2021
- [j29]Lei Zhou, Fengwei Zhang, Jidong Xiao, Kevin Leach, Westley Weimer, Xuhua Ding, Guojun Wang:
A Coprocessor-Based Introspection Framework Via Intel Management Engine. IEEE Trans. Dependable Secur. Comput. 18(4): 1920-1932 (2021) - [j28]Zohreh Sharafi, Yu Huang, Kevin Leach, Westley Weimer:
Toward an Objective Measure of Developers' Cognitive Activities. ACM Trans. Softw. Eng. Methodol. 30(3): 30:1-30:40 (2021) - [c93]Yu Huang, Hammad Ahmad, Stephanie Forrest, Westley Weimer:
Applying Automated Program Repair to Dataflow Programming Languages. GI@ICSE 2021: 21-22 - [c92]Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer:
Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study. ICSE 2021: 600-612 - [c91]Joseph Renzullo, Westley Weimer, Stephanie Forrest:
Multiplicative Weights Algorithms for Parallel Automated Software Repair. IPDPS 2021: 984-993 - [c90]Fee Lia Christoph, Westley Weimer, Kevin Angstadt:
The Early Bird Gets the Worm: Major Retention in CS3. ITiCSE (1) 2021: 422-428 - [c89]Madeline Endres, Westley Weimer, Amir Kamil:
An Analysis of Iterative and Recursive Problem Performance. SIGCSE 2021: 321-327 - [c88]Madeline Endres, Madison Fansher, Priti Shah, Westley Weimer:
To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability. ESEC/SIGSOFT FSE 2021: 754-766 - [c87]Zachary Karas, Andrew Jahn, Westley Weimer, Yu Huang:
Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity. ESEC/SIGSOFT FSE 2021: 767-779 - [i14]Mohsen Ahmadi, Kevin Leach, Ryan E. Dougherty, Stephanie Forrest, Westley Weimer:
MIMOSA: Reducing Malware Analysis Overhead with Coverings. CoRR abs/2101.07328 (2021) - [i13]Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer:
Relating Reading, Visualization, and Coding forNew Programmers: A Neuroimaging Study. CoRR abs/2102.12376 (2021) - [i12]Madeline Endres, Kevin Boehnke, Westley Weimer:
Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. CoRR abs/2112.09365 (2021) - 2020
- [j27]Joel Lehman, Jeff Clune, Dusan Misevic, Christoph Adami, Lee Altenberg, Julie Beaulieu, Peter J. Bentley, Samuel Bernard, Guillaume Beslon, David M. Bryson, Nick Cheney, Patryk Chrabaszcz, Antoine Cully, Stéphane Doncieux, Fred C. Dyer, Kai Olav Ellefsen, Robert Feldt, Stephan Fischer, Stephanie Forrest, Antoine Frénoy, Christian Gagné, Léni K. Le Goff, Laura M. Grabowski, Babak Hodjat, Frank Hutter, Laurent Keller, Carole Knibbe, Peter Krcah, Richard E. Lenski, Hod Lipson, Robert MacCurdy, Carlos Maestre, Risto Miikkulainen, Sara Mitri, David E. Moriarty, Jean-Baptiste Mouret, Anh Nguyen, Charles Ofria, Marc Parizeau, David P. Parsons, Robert T. Pennock, William F. Punch, Thomas S. Ray, Marc Schoenauer, Eric Schulte, Karl Sims, Kenneth O. Stanley, François Taddei, Danesh Tarapore, Simon Thibault, Richard A. Watson, Westley Weimer, Jason Yosinski:
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities. Artif. Life 26(2): 274-306 (2020) - [j26]William B. Langdon, Westley Weimer, Justyna Petke, Erik M. Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael C. Gerten:
Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes 45(4): 24-30 (2020) - [c86]Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer:
Accelerating Legacy String Kernels via Bounded Automata Learning. ASPLOS 2020: 235-249 - [c85]Yujun Qin, Samuel Gonzalez, Kevin Angstadt, Xiaowei Wang, Stephanie Forrest, Reetuparna Das, Kevin Leach, Westley Weimer:
MARTINI: Memory Access Traces to Detect Attacks. CCSW 2020: 77-90 - [c84]Lei Zhou, Fengwei Zhang, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, Guojun Wang:
KShot: Live Kernel Patching with SMM and SGX. DSN 2020: 1-13 - [c83]Ian Bertram, Jack Hong, Yu Huang, Westley Weimer, Zohreh Sharafi:
Trustworthiness Perceptions in Code Review: An Eye-tracking Study. ESEM 2020: 31:1-31:6 - [c82]Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer:
Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. ICSE (Workshops) 2020: 3-10 - [c81]Ryan Krueger, Yu Huang, Xinyu Liu, Tyler Santander, Westley Weimer, Kevin Leach:
Neurological divide: an fMRI study of prose and code writing. ICSE 2020: 678-690 - [c80]Sean Stapleton, Yashmeet Gambhir, Alexander LeClair, Zachary Eberhart, Westley Weimer, Kevin Leach, Yu Huang:
A Human Study of Comprehension and Code Summarization. ICPC 2020: 2-13 - [c79]Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala:
Type error feedback via analytic program repair. PLDI 2020: 16-30 - [c78]Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer:
PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization. SIGCSE 2020: 1047-1053 - [c77]Yu Huang, Kevin Leach, Zohreh Sharafi, Nicholas McKay, Tyler Santander, Westley Weimer:
Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines. ESEC/SIGSOFT FSE 2020: 456-468 - [i11]William B. Langdon, Westley Weimer, Justyna Petke, Erik M. Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael C. Gerten:
Genetic Improvement @ ICSE 2020. CoRR abs/2007.15987 (2020)
2010 – 2019
- 2019
- [j25]William B. Langdon, Westley Weimer, Christopher Steven Timperley, Oliver Krauss, Zhen Yu Ding, Yiwei Lyu, Nicolas Chausseau, Eric M. Schulte, Shin Hwei Tan, Kevin Leach, Yu Huang, Gabin An:
The State and Future of Genetic Improvement. ACM SIGSOFT Softw. Eng. Notes 44(3): 25-29 (2019) - [j24]Kevin Angstadt, Jack Wadden, Westley Weimer, Kevin Skadron:
Portable Programming with RAPID. IEEE Trans. Parallel Distributed Syst. 30(4): 939-952 (2019) - [j23]Jonathan Dorn, Jeremy Lacomis, Westley Weimer, Stephanie Forrest:
Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs. IEEE Trans. Software Eng. 45(3): 219-236 (2019) - [c76]Matthew Casias, Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Westley Weimer:
Debugging Support for Pattern-Matching Languages and Accelerators. ASPLOS 2019: 1073-1086 - [c75]Lei Zhou, Jidong Xiao, Kevin Leach, Westley Weimer, Fengwei Zhang, Guojun Wang:
Nighthawk: Transparent System Introspection from Ring -3. ESORICS (2) 2019: 217-238 - [c74]Kevin Leach, Ryan E. Dougherty, Chad Spensky, Stephanie Forrest, Westley Weimer:
Evolutionary computation for improving malware analysis. GI@ICSE 2019: 18-19 - [c73]Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, Westley Weimer:
Distilling neural representations of data structure manipulation using fMRI and fNIRS. ICSE 2019: 396-407 - [c72]Westley Weimer:
What goes on in your brain when you read and understand code? ICPC 2019: 1 - [c71]Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer:
InFix: Automatically Repairing Novice Program Inputs. ASE 2019: 399-410 - [c70]Padraic Cashin, Carianne Martinez, Westley Weimer, Stephanie Forrest:
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. ASE 2019: 411-414 - [e2]Justyna Petke, Shin Hwei Tan, William B. Langdon, Westley Weimer:
Proceedings of the 6th International Workshop on Genetic Improvement, GI@ICSE 2019, Montreal, Quebec, Canada, May 28, 2019. ACM 2019, ISBN 978-1-7281-2268-7 [contents] - [i10]ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest:
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. CoRR abs/1903.11765 (2019) - [i9]ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest:
Using Dynamic Analysis to Generate Disjunctive Invariants. CoRR abs/1904.07463 (2019) - [i8]William B. Langdon, Westley Weimer, Christopher Steven Timperley, Oliver Krauss, Zhen Yu Ding, Yiwei Lyu, Nicolas Chausseau, Eric M. Schulte, Shin Hwei Tan, Kevin Leach, Yu Huang, Gabin An:
The State and Future of Genetic Improvement. CoRR abs/1907.03773 (2019) - 2018
- [j22]Kevin Angstadt, Jack Wadden, Vinh Dang, Ted Xie, Dan Kramp, Westley Weimer, Mircea Stan, Kevin Skadron:
MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem. IEEE Comput. Archit. Lett. 17(1): 84-87 (2018) - [j21]Eric L. Seidel, Ranjit Jhala, Westley Weimer:
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). J. Funct. Program. 28: e13 (2018) - [j20]Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer:
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. IEEE Trans. Software Eng. 44(6): 574-594 (2018) - [c69]Joseph Renzullo, Westley Weimer, Melanie E. Moses, Stephanie Forrest:
Neutrality and epistasis in program space. GI@ICSE 2018: 1-8 - [c68]Kevin Angstadt, Arun Subramaniyan, Elaheh Sadredini, Reza Rahimi, Kevin Skadron, Westley Weimer, Reetuparna Das:
ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata. MICRO 2018: 921-932 - [e1]Justyna Petke, Kathryn T. Stolee, William B. Langdon, Westley Weimer:
Proceedings of the 4th International Genetic Improvement Workshop, GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018 [contents] - [i7]Joel Lehman, Jeff Clune, Dusan Misevic, Christoph Adami, Lee Altenberg, Julie Beaulieu, Peter J. Bentley, Samuel Bernard, Guillaume Beslon, David M. Bryson, Patryk Chrabaszcz, Nick Cheney, Antoine Cully, Stéphane Doncieux, Fred C. Dyer, Kai Olav Ellefsen, Robert Feldt, Stephan Fischer, Stephanie Forrest, Antoine Frénoy, Christian Gagné, Leni K. Le Goff, Laura M. Grabowski, Babak Hodjat, Frank Hutter, Laurent Keller, Carole Knibbe, Peter Krcah, Richard E. Lenski, Hod Lipson, Robert MacCurdy, Carlos Maestre, Risto Miikkulainen, Sara Mitri, David E. Moriarty, Jean-Baptiste Mouret, Anh Nguyen, Charles Ofria, Marc Parizeau, David P. Parsons, Robert T. Pennock, William F. Punch, Thomas S. Ray, Marc Schoenauer, Eric Schulte, Karl Sims, Kenneth O. Stanley, François Taddei, Danesh Tarapore, Simon Thibault, Westley Weimer, Richard A. Watson, Jason Yosinski:
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities. CoRR abs/1803.03453 (2018) - 2017
- [j19]Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala:
Learning to blame: localizing novice type errors with data-driven diagnosis. Proc. ACM Program. Lang. 1(OOPSLA): 60:1-60:27 (2017) - [j18]Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer:
Clarifications on the Construction and Use of the ManyBugs Benchmark. IEEE Trans. Software Eng. 43(11): 1089-1090 (2017) - [c67]Benjamin Floyd, Tyler Santander, Westley Weimer:
Decoding the representation of code in the brain: an fMRI study of code review and expertise. ICSE 2017: 175-186 - [c66]Kevin Leach, Fengwei Zhang, Westley Weimer:
Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage. RAID 2017: 403-424 - [c65]ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest:
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. TACAS (1) 2017: 301-318 - [i6]Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala:
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis. CoRR abs/1708.07583 (2017) - 2016
- [c64]Kevin Angstadt, Westley Weimer, Kevin Skadron:
RAPID Programming of Pattern-Recognition Processors. ASPLOS 2016: 593-605 - [c63]Nicholas J. Napoli, Kevin Leach, Laura E. Barnes, Westley Weimer:
A MapReduce framework to improve template matching uncertainty. BigComp 2016: 77-84 - [c62]Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, Westley Weimer, Jonathan Burket, Gregory L. Frazier, Tiffany M. Frazier, Bruno Dutertre, Ian A. Mason, Natarajan Shankar, Stephanie Forrest:
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC 2016: 17:1-17:4 - [c61]Kate Highnam, Kevin Angstadt, Kevin Leach, Westley Weimer, Aaron Paulos, Patrick Hurley:
An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture. DSN Workshops 2016: 222-225 - [c60]Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley:
Trusted Software Repair for System Resiliency. DSN Workshops 2016: 238-241 - [c59]Westley Weimer, Justyna Petke, David Robert White:
Genetic Improvement 2016 Chairs' Welcome & Organization. GECCO (Companion) 2016: 1129-1130 - [c58]Eric L. Seidel, Ranjit Jhala, Westley Weimer:
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). ICFP 2016: 228-242 - [c57]Kevin Leach, Chad Spensky, Westley Weimer, Fengwei Zhang:
Towards Transparent Introspection. SANER 2016: 248-259 - [i5]Eric L. Seidel, Ranjit Jhala, Westley Weimer:
Dynamic Witnesses for Static Type Errors. CoRR abs/1606.07557 (2016) - 2015
- [j17]Jonathan Dorn, Connelly Barnes, Jason Lawrence, Westley Weimer:
Towards Automatic Band-Limited Procedural Shaders. Comput. Graph. Forum 34(7): 77-87 (2015) - [j16]Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer:
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. 41(12): 1236-1256 (2015) - [c56]Eric M. Schulte, Westley Weimer, Stephanie Forrest:
Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair. GECCO (Companion) 2015: 847-854 - [c55]Fan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke:
Deep Parameter Optimisation. GECCO 2015: 1375-1382 - [c54]Ermira Daka, José Campos, Gordon Fraser, Jonathan Dorn, Westley Weimer:
Modeling readability to improve unit tests. ESEC/SIGSOFT FSE 2015: 107-118 - [c53]Ermira Daka, José Campos, Jonathan Dorn, Gordon Fraser, Westley Weimer:
Generating Readable Unit Tests for Guava. SSBSE 2015: 235-241 - 2014
- [j15]Eric M. Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, Stephanie Forrest:
Software mutational robustness. Genet. Program. Evolvable Mach. 15(3): 281-312 (2014) - [j14]Adam Brady, Jason Lawrence, Pieter Peers, Westley Weimer:
genBRDF: discovering new analytic BRDFs with genetic programming. ACM Trans. Graph. 33(4): 114:1-114:11 (2014) - [j13]ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest:
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. ACM Trans. Softw. Eng. Methodol. 23(4): 30:1-30:30 (2014) - [c52]Eric M. Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, Westley Weimer:
Post-compiler software optimization for reducing energy. ASPLOS 2014: 639-652 - [c51]Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer:
Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. EuroGP 2014: 137-149 - [c50]Matias Martinez, Westley Weimer, Martin Monperrus:
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches. ICSE Companion 2014: 492-495 - [c49]ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest:
Using dynamic analysis to generate disjunctive invariants. ICSE 2014: 608-619 - [i4]Matias Martinez, Westley Weimer, Martin Monperrus:
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches. CoRR abs/1403.6322 (2014) - 2013
- [j12]Claire Le Goues, Stephanie Forrest, Westley Weimer:
Current challenges in automatic software repair. Softw. Qual. J. 21(3): 421-443 (2013) - [c48]Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest:
Automated repair of binary and assembly programs for cooperating embedded devices. ASPLOS 2013: 317-328 - [c47]Zachary P. Fry, Westley Weimer:
Leveraging Light-Weight Analyses to Aid Software Maintenance. ICST 2013: 507-508 - [c46]Westley Weimer, Zachary P. Fry, Stephanie Forrest:
Leveraging program equivalence for adaptive program repair: Models and first results. ASE 2013: 356-366 - [c45]Westley Weimer:
Advances in Automated Program Repair and a Call to Arms. SSBSE 2013: 1-3 - [c44]Mark Harman, William B. Langdon, Westley Weimer:
Genetic programming for Reverse Engineering. WCRE 2013: 1-10 - [c43]Zachary P. Fry, Westley Weimer:
Clustering static analysis defect reports to reduce maintenance costs. WCRE 2013: 282-291 - 2012
- [j11]Pieter Hooimeijer, Westley Weimer:
StrSolve: solving string constraints lazily. Autom. Softw. Eng. 19(4): 531-559 (2012) - [j10]George C. Necula, Scott McPeak, Westley Weimer:
CCured: type-safe retrofitting of legacy code. ACM SIGPLAN Notices 47(4a): 74-85 (2012) - [j9]