[meeting] [joint] 11.01.2024

[deemp]

Notes

1. Expecting publishing all intermediate steps in the benchmark CI (java -> EO -> phi -> normalization) (and some of their optimizations, opl). (publish intermediate results at gh-pages benchmark#16)
2. Waiting for the actual Java program examples that result in the use of rho. (Provide 20 more examples of Java -> EO translation opeo-maven-plugin#68)
   • Additionally, asked for similar examples with the use of sigma and nu.
3. The EO team wishes to reuse the custom rule system to write optimizations. (Extend the user-defined rules language #45)
   • several patterns in conditions to match;
   • combine objects, resolve naming conflicts;
   • access attributes after renaming;
4. In jump elimination paper, there are uses of quantifiers. There is a need to think of possibility of supporting them. (Provide the jump elimination paper opeo-maven-plugin#72)
5. Several EO files (e.g. four) should not be treated as different "universes", but rather as a single program (glued out of these files). We do not need to worry about decomposing the normalized program back into classes, we can output a single large file. (Support multiple EO files in the pipeline #46)
6. For the first iteration, normalization team focuses on the draft rules, afterwards moves more towards custom rules. (Implement a user-defined rules language #11)

TODO

1. Provide JEO and OPEO papers (Provide the JEO paper jeo-maven-plugin#405, Provide the OPEO paper opeo-maven-plugin#67).
2. Test custom rules (Run confluence tests with user-defined rules #34)
3. Provide more rules (Implement test generation #35, Add unit tests #36)
4. @deemp creates an issue about ci failure (Fix pipeline #27)
5. Prepare milestones using GitHub Milestones (Create milestones #37, Create milestones proof#7)
6. Draft a paper (Draft a paper #38)
7. Once the first version of normalizer is on hackage, need to integrate into a maven plugin (deployment to hackage.haskell.org is not configured #2, Support integration into a Maven plugin #39).