Articles

Partitioners Track: Generating Security Vulnerabilities in Source Code (Felix Schuckert), In Sicherheit 2016.

Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces (Benoit Cornu, Earl T. Barr, Martin Monperrus and Lionel Seinturier), In Journal of Systems and Software, Elsevier, 2016.

Controlling the granularity of automatic parallel programs (Fonseca, A., Cabral, B., Rafael, J., & Correia, I.) Journal of Computational Science, 2016.

Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime (Fonseca, A., Cabral, B., Rafael, J., & Correia, I.) International Journal of Parallel Programming, Vol. 44, Issue 6, 2016.

ASTOR: A Program Repair Library for Java (Matias Martinez and Martin Monperrus), In Proceedings of ISSTA, Demonstration Track, 2016. (https://github.com/SpoonLabs/astor)

Mutation-Based Graph Inference for Fault Localization (Vincenzo Musco, Martin Monperrus and Philippe Preux), In International Working Conference on Source Code Analysis and Manipulation, 2016.

TTC'2015 Case: Refactoring Java Programs using Spoon (Gérard Paligot, Nicolas Petitprez and Martin Monperrus), In Proceedings of the 2015 Transformation Tool Contest, 2015

SWIN: Towards Type-Safe Java Program Adaptation between APIs (Li, Jun, et al.) Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. 2015.

Test Case Purification for Improving Fault Localization (Jifeng Xuan, Martin Monperrus), In Proceedings of the International Symposium on the Foundations of Software Engineering, 2014.

B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis (Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier and Martin Monperrus), In Information and Software Technology, Elsevier, 2016. (https://github.com/Spirals-Team/banana-refactoring)

Exception Handling Analysis and Transformation Using Fault Injection: Study of Resilience Against Unanticipated Exceptions (Benoit Cornu, Lionel Seinturier, Martin Monperrus), In Information and Software Technology, Elsevier, 2014.

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT (Favio DeMarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus), In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014), 2014.

Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants (Benoit Baudry, Simon Allier, Martin Monperrus), In Proceedings of the International Symposium on Software Testing and Analysis, 2014.

Æminiumgpu: an intelligent framework for gpu programming (Fonseca, Alcides and Cabral, Bruno) Facing the Multicore-Challenge III, 2012.

Remodularizing Java programs for improved locality of feature implementations in source code. (Olszak, Andrzej, and Bo Nørregaard Jørgensen) Science of Computer Programming 77.3, 2012.

AVal: an Extensible Attribute-Oriented Programming Validator for Java (Noguera, C., Pawlak R.), In 6th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06), Philadelphia, PA, USA, September 2006.

Using Attribute-Oriented Programming to Leverage Fractal-Based Developments (Rouvoy, R., Pessemier, N., Pawlak, R., Merle, P.), In 5th International ECOOP Workshop on Fractal Component Model, Nantes, France, July 2006.

Spoon: Program Analysis and Transformation in Java. (Pawlak, R., Noguera, C., Petitprez, N.), INRIA Research Report #5901, May 2006.

Spoon: Compile-time Annotation Processing for Middleware (Pawlak R.), IEEE Distributed Systems Online, vol. 7, no. 11, 2006, art. no. 0611-oy001

Spoon: Annotation-Driven Program Transformation - The AOP Case (Pawlak, R.), First Workshop on Aspect-Orientation for Middleware Development. Middleware 2005, Grenoble, France.

Dissertations

Automated Grading of Java Assignments (Nadia Boudewijn), Universiteit Utrecht, 2016

Semi-automatic code-to-code transformer for Java: Transformation of library calls (Boije, Niklas and Borg, Kristoffer ), Linköping University, 2016

Automatic Analysis and Repair of Exception Bugs for Java Programs (Benoit Cornu), PhD Thesis, University of Lille, 2015.

AeminiumGPU – A CPU-GPU Hybrid Runtime for the Aeminium Language (Fonseca, Alcides), University of Coimbra, 2011

Presentations

2016-07-07 Code Transformation with Spoon, PADR Talk (France, Lille).