spoon
spoon copied to clipboard
INRIA
interesting papers about source code analysis and transformation
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
... it is a hard reading ;-) ... my head is not big enough to understand it fully. Anyway thanks for the link!
FYI: C# - Adding a Code Fix to Your Roslyn Analyzer https://msdn.microsoft.com/en-us/magazine/dn904670.aspx
FYI: Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators https://www.cs.cmu.edu/~rvantond/pdfs/ppc-pldi-2019.pdf
by @rvantonder
Inferring Program Transformations From Singular Examples via Big Code https://xgdsmileboy.github.io/files/paper/genpat-ase19.pdf
- Java code analysis and transformation into AWS lambda functions
- Introducing Podilizer: Automated Java code translator for AWS Lambda
Automating CUDA Synchronization via Program Transformation https://ieeexplore.ieee.org/abstract/document/8952529
Recursive Pattern Matching and Transformation of JavaScript AST https://blog.scottlogic.com/2016/06/22/xslt-inspired-ast-transforms.html
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
FYI: "BoundWarden: Thread-enforced spatial memory safety through compile-time transformations" https://www.sciencedirect.com/science/article/pii/S0167642320301271
"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
FYI "Tailoring programs for static analysis via program transformation" https://rijnard.com/pdfs/tailoring-analysis-icse-2020.pdf
Verification of Program Transformations with Inductive Refinement Types http://dl.acm.org/citation.cfm?id=3409805
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code Tool: https://github.com/JetBrains-Research/psiminer
FYI Automatic task-based parallelization of C++ applications by source-to-source transformations http://arxiv.org/pdf/2105.10726
"A Precise Framework for Source-Level Control-Flow Analysis", https://ieeexplore.ieee.org/document/9610697 by @creichen and colleagues
Property Probes Source Code Based Exploration of Program Analysis Results https://dl.acm.org/doi/pdf/10.1145/3567512.3567525
FYI HyperDiff: Computing Source Code Diffs at Scale https://inria.hal.science/hal-04189855/file/main.pdf