interesting papers about source code analysis and transformation

[monperrus]

This paper may contain good ideas for Spoon:
A Taxonomy for Program Metamodels in Program Reverse Engineering
http://www.washi.cs.waseda.ac.jp/prometa/ProMeTA-2016.pdf

[pvojtechovsky]

... it is a hard reading ;-) ... my head is not big enough to understand it fully. Anyway thanks for the link!

[monperrus]

FYI:
C# - Adding a Code Fix to Your Roslyn Analyzer
https://msdn.microsoft.com/en-us/magazine/dn904670.aspx

[monperrus]

FYI: Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators
https://www.cs.cmu.edu/~rvantond/pdfs/ppc-pldi-2019.pdf

by @rvantonder

[monperrus]

Inferring Program Transformations From Singular Examples via Big Code
https://xgdsmileboy.github.io/files/paper/genpat-ase19.pdf

[monperrus]

• Java code analysis and transformation into AWS lambda functions
• Introducing Podilizer: Automated Java code translator for AWS Lambda

[monperrus]

Automating CUDA Synchronization via Program Transformation
https://ieeexplore.ieee.org/abstract/document/8952529

[monperrus]

Recursive Pattern Matching and Transformation of JavaScript AST
https://blog.scottlogic.com/2016/06/22/xslt-inspired-ast-transforms.html

[monperrus]

Interesting use case for source code transformation, removing stale feature flags.

Paper: "Piranha: Reducing Feature Flag Debt at Uber" https://manu.sridharan.net/files/ICSE20-SEIP-Piranha.pdf

Tool: https://github.com/uber/piranha

[monperrus]

FYI: "BoundWarden: Thread-enforced spatial memory safety through compile-time transformations"
https://www.sciencedirect.com/science/article/pii/S0167642320301271

[monperrus]

"Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages" (2021) uses Spoon

• paper: http://people.seas.harvard.edu/~chong/pubs/oakland21_coinflow.pdf
• tool: https://github.com/HarvardPL/Co-InflowPrototype

[monperrus]

FYI "Tailoring programs for static analysis via program transformation"
https://rijnard.com/pdfs/tailoring-analysis-icse-2020.pdf

[monperrus]

Verification of Program Transformations with Inductive Refinement Types
http://dl.acm.org/citation.cfm?id=3409805

[monperrus]

PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code
Tool: https://github.com/JetBrains-Research/psiminer

[monperrus]

FYI
Automatic task-based parallelization of C++ applications by source-to-source transformations
http://arxiv.org/pdf/2105.10726

[monperrus]

How Our Engineering Team Used Python's AST to Patch 100,000s of Lines of Code

[monperrus]

"A Precise Framework for Source-Level Control-Flow Analysis", https://ieeexplore.ieee.org/document/9610697 by @creichen and colleagues

[monperrus]

Property Probes Source Code Based Exploration of Program Analysis Results
https://dl.acm.org/doi/pdf/10.1145/3567512.3567525

[monperrus]

FYI
HyperDiff: Computing Source Code Diffs at Scale
https://inria.hal.science/hal-04189855/file/main.pdf

[monperrus]

FYI

The IEEE Top Programming Languages 2024
https://spectrum.ieee.org/top-programming-languages-2024

Java holds the 2nd place!