Publications on Software Engineering

• Improving source-code representations to enhance search-based software repair P. Reiter, A. Espinoza, R. Wang, A. Doupe, W. Weimer, and S. Forrest. Improving source-code repre- sentations to enhance search-based software repair. In Genetic and Evolutionary Computation Conference (GECCO'22), in press.
• What can program repair learn from code review? M. Endres, P. Reiter, S. Forrest, and W. Weimer. ICSE Intl. Workshop on Automated Program Repair (in press).
• Multiplicative weights algorithms for parallel automated software repair J. Renzullo, W. Weimer, and S. Forrest. 35th IEEE International Parallel and Distributed Processing Symposium, 2021.
• Applying automated program repair to dataflow programming languages Y. Huang, H.~S. Ahmad, S. Forrest and W. Weimer. In ICSE 10th International Workshop on Genetic Improvement, 2021.
• Post-compiler performance tuning for general-purpose gpu kernels J. Liou, X. Wang, S. Forrest, and C. Wu. ACM Trans. on Architecture and Code Optimization 17:4, 2020.
• GEVO-ML: Optimizing machine learning codes with evolutionary computation J. Liou, S. Forrest, and C. Wu. In Genetic and Evolutionary Computation Conference (GECCO) Workshop on NeuroEvolution at Work (2020)
• Understanding automatically-generated patches through symbolic invariant differences P. Cashin, W. Weimer, and S. Forrest. In 34th IEEE/ACM Intnl. Conf. on Automated Software Engineering (ASE) (2019)
• Genetic improvement of GPU code J. Liou, S. Forrest, and C. Wu. In International Conference on Software Engineering (ICSE) Genetic Improvement Workshop, 2019. Best paper award.
• Uncovering performance opportunities by relaxing program semantics of GPGPU kernels J. Liou, S. Forrest, and C. Wu. In ASPLOS, Wild and Crazy Ideas Session, 2019. Extended abstract.
• Evolutionary computation for improving malware analysis. K. Leach, R. Dougherty, C. Spensky, S. Forrest, and W. Weimer. In ICSE Genetic Improvement Workshop, 2019. Extended abstract. Best presentation award.
• Genetic algorithms for affine transformations to existential t-restrictions R. E. Dougherty, E. Lanus, C. J. Colbourn, and S. Forrest. In Genetic and Evolutionary Computation (GECCO) Workshop on Genetic Improvement, 2019. Extended abstract.
• Automatically reducing energy consumption of software (preprint) J. Lacomis, J. Dorn, W. Weimer, and S. Forrest. In D. Wolpert, editor, The Interplay of Thermodynamics and Computation in Both Natural and Artificial Systems SFI Press, 2019.
• Automatically exploring tradeoffs between software output fidelity and energy costs (preprint J. Dorn, J. Lacomis, W. Weimer, and S. Forrest. ACM Transactions on Software Engineering 45:219–236, 2019.
• Cactus environment machine: Shared environment call-by-need G. Stelle, D. Stefanovic, S. Olivier and S. Forrest 17th Symposium on Trends in Functional Programming, 2019.
• Neutral networks enable distributed search in evolution J. Renzullo, S. Forrest and M. Moses. Workshop on Biological Distributed Algorithms at Principles of Distributed Computing (PODC), 2017.
• Connecting program synthesis and reachability: Automatic program repair using test-input generation T. Nguyen, W. Weimer, D. Kapur, and S. Forrest. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (2017).
• Clarifications on the construction and use of the manybugs benchmark C. Le Goues, Y. Brun, S. Forrest, and W. Weimer Transactions on Software Engineering 43(11):1089–1090, 2017. DOI 10.1109/TSE.2017.2755651
• Repairing COTS router firmware without access to source code or test suites: A case study in evolutionary software repair E. Schulte, W. Weimer, and S. Forrest The First International Genetic Improvement Workshop, 2015 (best paper award).
• The ManyBugs and IntroClass benchmarks for automated repair of C programs C. Le Goues, N. Holtschulte, E. Smith, Y. Brun, P. Devanbu, S. Forrest and W. Weimer ACM Transactions on Software Engineering 41:12, 2015.
• Post-compiler software optimization for reducing energy E. Schulte, J. Dorn, S. Forrest and W. Weimer. Nineteenth Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.
• Using dynamic analysis to generate disjunctive invariants T. Nguyen, D. Kapur, W. Weimer and S. Forrest. International Conference on Software Engineering (ICSE) (2014)
• DIG: A Dynamic invariant generator for polynomial and array invariants T. Nguyen, D. Kapur, W. Weimer, S. Forrest. ACM Transactions on Software Engineering and Methodology 23:4 DOI 10.1145/2556782 (2014)
• Leveraging program equivalence for adaptive program repair: Models and first results W. Weimer, Z. Fry and S. Forrest. Automated Softare Engineering (ASE) Conference, 2013.
• Software mutational robustness Schulte, Z. P. Fry, E. Fast, W. Weimer and S. Forrest Genetic Programming and Evolvable Machines 15:3 pp. 281-312 (2014) DOI 10.1007/s10710-013-9195-8
• Automated repair of binary and assembly programs for cooperating embedded devices E. Schulte, J. DiLorenzo, W. Weimer, S. Forrest Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS, 2013.
• Current challenges in automatic software repair C. LeGoues, S. Forrest and W. Weimer Software Quality 21:421–443, 2013.
• Using dynamic analysis to discover polynomial and array invariants T. Nguyen, D. Kapur, W. Weimer, S. Forrest International Conference on Software Engineering (ICSE'12) (2012) SIGSOFT Distinguished Paper Award
• A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8.00 each C. Le Goues, M. Dewey-Vogt, S. Forrest and W. Weimer. International Conference on Software Engineering (ICSE) (2012)
• Representations and operators for improving evolutionary software repair C. Le Goues, W. Weimer, S. Forrest. Genetic and Evolutionary Computation Conference, 2012.
• GenProg: Automatic bug correction in real programs C. Le Goues, T. Nguyen, S. Forrest, W. Weimer. ACM Transactions on Software Engineering 38:1 (2012)
• Automatic program repair with evolutionary computation W. Weimer, S. Forrest, C. Le Goues, T. Nguyen. Communications of the ACM Research Highlight 53:5 pp. 109-116 (2010)
• Automated program repair through the evolution of assembly code E. Schulte, S. Forrest, and W. Weimer. 25nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)
• Designing better fitness functions for automated program repair E. Fast, C. Le Goues, W. Weimer, and S. Forrest. Genetic and Evolutionary Computation Conference (2010)
• A genetic programming approach to automated software repair S. Forrest, T. Nguyen, W. Weimer, and C. Le Goues. Genetic and Evolutionary Computation Conference (GECCO) (2009). ACM/SIGEVO 2019 Highest Impact Award.
• Automatically finding patches using genetic programming W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest. ICSE '09: /Proceedings of the 2009 IEEE 31st International Conference on Software Engineering/, pp. 364–374. IEEE Computer Society, Washington, DC. (2009). SIGSOFT Distinguished Paper Award. ICSE 2019 Most Influentical Paper Award.
• On the prediction of Java object lifetimes H. Inoue, D. Stefanovic, and S. Forrest. IEEE Transactions on Computers 55:7, pp. 880-892 (2006)

Other Publications