Westley Weimer

Amir Kamil

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

The Early Bird Gets the Worm: Major Retention in CS3.

[BibT_eX]

[DOI]

Fee Lia Christoph

Kevin Angstadt

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

Multiplicative Weights Algorithms for Parallel Automated Software Repair.

[BibT_eX]

[DOI]

Joseph Renzullo

Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Applying Automated Program Repair to Dataflow Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

2020

Genetic Improvement @ ICSE 2020.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities.

[BibT_eX]

[DOI]

Artif. Life, 2020

Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Type error feedback via analytic program repair.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A Human Study of Comprehension and Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Neurological divide: an fMRI study of prose and code writing.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Trustworthiness Perceptions in Code Review: An Eye-tracking Study.

[BibT_eX]

[DOI]

Proceedings of the ESEM '20: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2020

KShot: Live Kernel Patching with SMM and SGX.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

MARTINI: Memory Access Traces to Detect Attacks.

[BibT_eX]

[DOI]

Proceedings of the CCSW'20, 2020

Accelerating Legacy String Kernels via Bounded Automata Learning.

[BibT_eX]

[DOI]

Kevin Angstadt

Jean-Baptiste Jeannin

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Portable Programming with RAPID.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2019

The State and Future of Genetic Improvement.

[BibT_eX]

[DOI]

William B. Langdon

Christopher Steven Timperley

ACM SIGSOFT Softw. Eng. Notes, 2019

InFix: Automatically Repairing Novice Program Inputs.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Understanding Automatically-Generated Patches Through Symbolic Invariant Differences.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

What goes on in your brain when you read and understand code?

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

Evolutionary computation for improving malware analysis.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Genetic Improvement, 2019

Distilling neural representations of data structure manipulation using fMRI and fNIRS.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Nighthawk: Transparent System Introspection from Ring -3.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2019, 2019

Debugging Support for Pattern-Matching Languages and Accelerators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).

[BibT_eX]

[DOI]

Eric L. Seidel

Ranjit Jhala

J. Funct. Program., 2018

MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem.

[BibT_eX]

[DOI]

IEEE Comput. Archit. Lett., 2018

ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

Neutrality and epistasis in program space.

[BibT_eX]

[DOI]

Proceedings of the 4th International Genetic Improvement Workshop, 2018

2017

Clarifications on the Construction and Use of the ManyBugs Benchmark.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Learning to blame: localizing novice type errors with data-driven diagnosis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage.

[BibT_eX]

[DOI]

Kevin Leach

Fengwei Zhang

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2017

Decoding the representation of code in the brain: an fMRI study of code review and expertise.

[BibT_eX]

[DOI]

Benjamin Floyd

Tyler Santander

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Dynamic Witnesses for Static Type Errors.

[BibT_eX]

[DOI]

Eric L. Seidel

Ranjit Jhala

CoRR, 2016

Towards Transparent Introspection.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Genetic Improvement 2016 Chairs' Welcome & Organization.

[BibT_eX]

[DOI]

Justyna Petke

David Robert White

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

Trusted Software Repair for System Resiliency.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

A MapReduce framework to improve template matching uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016

RAPID Programming of Pattern-Recognition Processors.

[BibT_eX]

[DOI]

Kevin Angstadt

Kevin Skadron

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Towards Automatic Band-Limited Procedural Shaders.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2015

Generating Readable Unit Tests for Guava.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Modeling readability to improve unit tests.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Deep Parameter Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair.

[BibT_eX]

[DOI]

Eric M. Schulte

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014

DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

genBRDF: discovering new analytic BRDFs with genetic programming.

[BibT_eX]

[DOI]

ACM Trans. Graph., 2014

Software mutational robustness.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2014

Using dynamic analysis to generate disjunctive invariants.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches.

[BibT_eX]

[DOI]

Matias Martinez

Martin Monperrus

Proceedings of the 36th International Conference on Software Engineering, 2014

Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class.

[BibT_eX]

[DOI]

Proceedings of the Genetic Programming - 17th European Conference, 2014

Post-compiler software optimization for reducing energy.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Current challenges in automatic software repair.

[BibT_eX]

[DOI]

Softw. Qual. J., 2013

Genetic programming for Reverse Engineering.

[BibT_eX]

[DOI]

Mark Harman

William B. Langdon

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Clustering static analysis defect reports to reduce maintenance costs.

[BibT_eX]

[DOI]

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Advances in Automated Program Repair and a Call to Arms.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Leveraging program equivalence for adaptive program repair: Models and first results.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Leveraging Light-Weight Analyses to Aid Software Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Automated repair of binary and assembly programs for cooperating embedded devices.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Measuring Code Quality to Improve Specification Mining.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

GenProg: A Generic Method for Automatic Software Repair.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

CCured: type-safe retrofitting of legacy code.

[BibT_eX]

[DOI]

Scott McPeak

ACM SIGPLAN Notices, 2012

Fault Localization Using Textual Similarities

[BibT_eX]

[DOI]

CoRR, 2012

Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology

[BibT_eX]

[DOI]

CoRR, 2012

StrSolve: solving string constraints lazily.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2012

A human study of patch maintainability.

[BibT_eX]

[DOI]

Bryan Landau

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Using dynamic analysis to discover polynomial and array invariants.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Synthesizing API usage examples.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Representations and operators for improving evolutionary software repair.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2011

Genetic programming for shader simplification.

[BibT_eX]

[DOI]

Pitchaya Sitthi-amorn

Nicholas Modly

Jason Lawrence

ACM Trans. Graph., 2011

Automating regression testing using web-based application similarities.

[BibT_eX]

[DOI]

Elizabeth Soechting

Int. J. Softw. Tools Technol. Transf., 2011

Self-Repairing Programs (Dagstuhl Seminar 11062).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Benefits and barriers of user evaluation in software engineering research.

[BibT_eX]

[DOI]

Caitlin Sadowski

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Learning a Metric for Code Readability.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Automatic program repair with evolutionary computation.

[BibT_eX]

[DOI]

Commun. ACM, 2010

The case for software evolution.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Automated program repair through the evolution of assembly code.

[BibT_eX]

[DOI]

Eric M. Schulte

Proceedings of the ASE 2010, 2010

Solving string constraints lazily.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Automatically documenting program changes.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Modeling consumer-perceived web application fault severities for testing.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

A human study of fault localization accuracy.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

A modular and extensible macroprogramming compiler.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

Designing better fitness functions for automated program repair.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

Syntactic regression testing for tree-structured output.

[BibT_eX]

[DOI]

Elizabeth Soechting

Proceedings of the 11th IEEE International Symposium on Web Systems Evolution, 2009

Specification Mining with Few False Positives.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Macrodebugging: global views of distributed program execution.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

A decision procedure for subset constraints over regular languages.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Harnessing Web-Based Application Similarities to Aid in Regression Testing.

[BibT_eX]

[DOI]

Proceedings of the ISSRE 2009, 2009

Using Execution Paths to Evolve Software Patches.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatically finding patches using genetic programming.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

The road not taken: Estimating path execution frequency statically.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

A genetic programming approach to automated software repair.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Exploiting refactoring in formal verification.

[BibT_eX]

[DOI]

Xiang Yin

John C. Knight

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Privately Finding Specifications.

[BibT_eX]

[DOI]

Nina Mishra

IEEE Trans. Software Eng., 2008

Exceptional situations and program reliability.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Talking to strangers without taking their candy: isolating proxied content.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Social Network Systems, 2008

MacroLab: a vector-based macroprogramming framework for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

Formal Verification by Reverse Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2008

Automatic documentation inference for exceptions.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

A metric for software readability.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Changing Java's Semantics for Handling Null Pointer Exceptions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Automated duplicate detection for bug tracking systems.

[BibT_eX]

[DOI]

Nicholas Jalbert

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Modeling bug report quality.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Patches as better bug reports.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2006

Exception-Handling Bugs in Java and a Language Extension to Avoid Them.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

2005

CCured: type-safe retrofitting of legacy software.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Mining Temporal Specifications for Error Detection.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Finding and preventing run-time error handling mistakes.

[BibT_eX]

[DOI]