Solutions to Engineering Challenges

Engineering Challenges and Their Solutions

In our SCAM 2018 paper, we highlighted several engineering challenges in building and evaluating this project. We list these challenges below and provide links to the code that implements their solutions:

Programmatically Utilizing SAFE

Building APIs to Create Automata When Necessary

Creating "Typestate Rules"

Client Perspective

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java#L998
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java#L206-L211

Library Perspective

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamExecutionModeTypeStateRule.java#L13-L66
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamAttributeTypestateRule.java#L16-L79
• https://github.com/tech-srl/safe/commit/84e4632add2acd9e5fa07e9ff2c05333e6c215d0
• https://github.com/tech-srl/safe/commit/f4cc32643fbfbf5107c6f78bf4b5e0c30a718f60

Bringing SAFE Up-to-date With Recent WALA Versions

• https://github.com/tech-srl/safe/commit/e63ec6d0554c740dabb27d2453fa6e6dc6c85f2a
• https://github.com/tech-srl/safe/commit/016461e1fc21c7f09a99bd7b01f37c33a1236726
• https://github.com/wala/WALA/commit/d24519e97497e24fe8e4495331a649343905694b

Entry Points

Manually Specifying Entry Points

Specifying Entry Points in a File

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamAnalyzer.java#L58
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamAnalyzer.java#L92-L115
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamAnalyzer.java#L339-L348

Specifying Entry Points Using Annotations

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamAnalyzer.java#L350-L352
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/Util.java#L122
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/Util.java#L658-L663
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/Util.java#L190-L239

Automatically Discovering Entry Points

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/d4e6030a9ae98b914bb19e573dc999ef92315175/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamAnalyzer.java#L354-L385

Evaluation

Processing More Data in a Performance Microbenchmark

• https://github.com/numenta/htm.java/pull/539#issue-176637754

Processing Large Quantities of Entry Points

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.eval/src/edu/cuny/hunter/streamrefactoring/eval/handlers/EvaluateConvertToParallelStreamRefactoringHandler.java#L89-L103
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.eval/src/edu/cuny/hunter/streamrefactoring/eval/handlers/EvaluateConvertToParallelStreamRefactoringHandler.java#L375-L379
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.eval/src/edu/cuny/hunter/streamrefactoring/eval/handlers/EvaluateConvertToParallelStreamRefactoringHandler.java#L403-L406. Here, we are making the analysis flexible by specifying which entry points to use as arguments.

Configuring the Evaluator per Subject

• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.eval/src/edu/cuny/hunter/streamrefactoring/eval/handlers/EvaluateConvertToParallelStreamRefactoringHandler.java#L87
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.eval/src/edu/cuny/hunter/streamrefactoring/eval/handlers/EvaluateConvertToParallelStreamRefactoringHandler.java#L129-L142
• https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.eval/src/edu/cuny/hunter/streamrefactoring/eval/handlers/EvaluateConvertToParallelStreamRefactoringHandler.java#L190-L215