Solutions to Engineering Challenges

Engineering Challenges and Their Solutions

In our [SCAM 2018] [engineering 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