ECOOP and ISSTA 2021 (series) / FTfJP 2021 (series) / Workshop on Formal Techniques for Java-like Programs /
Refactoring traces to identify concurrency improvements
Tue 13 Jul 2021 14:05 - 14:35 at FTfJP - FTfJP Workshop-1
It is often difficult to analyse why a program executes more slowly than intended. This is particularly true for concurrent programs. We describe and evaluate a system, Rehype, which takes Java programs, performs low-overhead tracing of method calls, analyses the resulting trace-logs to detect inefficient uses of concurrency constructs, and suggests source-code-oriented improvements. Rehype deals with task-based concurrency, specifically a future-based model of tasks. Implementing the suggested improvements on an industrial API server more than doubled request-processing throughput.
Tue 13 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
14:00 - 16:35 | |||
14:00 5mTalk | Welcome FTfJP | ||
14:05 30mTalk | Refactoring traces to identify concurrency improvements FTfJP | ||
14:35 30mTalk | A Generic Type System for Featherweight Java FTfJP | ||
15:05 30mTalk | Source code patches from dynamic analysis FTfJP | ||
15:35 30mTalk | Reconstructing Z3 Proofs in KeY: There and Back Again FTfJP P: Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Jonas Schiffl , Mattias Ulbrich Karlsruhe Institute of Technology File Attached | ||
16:05 30mTalk | Using Dafny to Solve the VerifyThis 2021 Challenges FTfJP P: Marie Farrell University of Liverpool, Rosemary Monahan National University of Ireland, A: Conor Reynolds Maynooth University |