This page summarizes scientific technical articles and papers authored by group members and published in international journals or in the proceedings of international conferences since 2014. For each publication, in addition to a link to the article or paper, the list includes references to publicly available supplemental material, such as more detailed webpages on the research project related to the publication or software developed as part of the research work, talks, slides and posters.
For a selected list of publications, please read our research highlights. For a complete list of published articles and papers, please check out the DBLP page of Prof. Walter Binder.
Journal Articles
2023
Eduardo Rosales, Matteo Basso, Andrea Rosà, Walter Binder: Large-scale Characterization of Java Streams. Software: Practice and Experience, 2023, in press [project page]
Matteo Basso, Aleksandar Prokopec, Andrea Rosà, Walter Binder: Optimization-Aware Compiler-Level Event Profiling. ACM Trans. Program. Lang. Syst. (in press, 2023) [pdf][project page]
Filippo Schiavio, Daniele Bonetta, Walter Binder: DynQ: A Dynamic Query Engine with Query-reuse Capabilities Embedded in a Polyglot Runtime. The VLDB Journal (2023) [pdf][project page]
Eduardo Rosales, Matteo Basso, Andrea Rosà, Walter Binder: Profiling and Optimizing Java Streams. The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 10 [pdf][slides][artifact][project page][software page]
2021
Filippo Schiavio, Daniele Bonetta, Walter Binder: Language-Agnostic Integrated Queries in a Managed Polyglot Runtime. Proc. VLDB Endow. 14(8): 1414-1426 (2021) [pdf][video][slides][project page]
2020
Filippo Schiavio, Daniele Bonetta, Walter Binder: Dynamic Speculative Optimizations for SQL Compilation in Apache Spark. Proc. VLDB Endow. 13(5): 754-767 (2020) [pdf][presentation at VLDB’20 (video)(slides)][presentation at VMM’20 (video)(slides)][project page]
2019
Andrea Rosà, Eduardo Rosales, Walter Binder: Analysis and Optimization of Task Granularity on the Java Virtual Machine. ACM Trans. Program. Lang. Syst. 41(3): 19:1-19:47 (2019) [pdf][project page][software page]
2018
Mathias Björkqvist, Natarajan Gautam, Robert Birke, Lydia Y. Chen, Walter Binder: Optimizing for Tail Sojourn Times of Cloud Clusters. IEEE Trans. Cloud Comput. 6(1): 156-167 (2018) [pdf]
Andrea Rosà, Walter Binder: Optimizing Type-specific Instrumentation on the JVM with Reflective Supertype Information. J. Vis. Lang. Comput. 49: 29-45 (2018) [pdf][project page][software page]
2017
Andrea Rosà, Lydia Y. Chen, Walter Binder: Failure Analysis and Prediction for Big-Data Systems. IEEE Trans. Serv. Comput. 10(6): 984-998 (2017) [pdf]
2016
Andrej Podzimek, Lubomír Bulej, Lydia Y. Chen, Walter Binder, Petr Tuma: Robust Partial-load Experiments with Showstopper. Future Gener. Comput. Syst. 64: 15-38 (2016) [pdf]
Yudi Zheng, Stephen Kell, Lubomír Bulej, Haiyang Sun, Walter Binder: Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. IEEE Softw. 33(4): 55-63 (2016) [pdf][project page][software page]
Aibek Sarimbekov, Lukas Stadler, Lubomír Bulej, Andreas Sewe, Andrej Podzimek, Yudi Zheng, Walter Binder: Workload Characterization of JVM Languages. Softw. Pract. Exp. 46(8): 1053-1089 (2016) [pdf]
Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni: Polymorphic Bytecode Instrumentation. Softw. Pract. Exp. 46(10): 1351-1380 (2016) [pdf]
2015
Chengcheng Xiang, Zhengwei Qi, Walter Binder: Flexible and Extensible Runtime Verification for Java (Extended Version). Int. J. Softw. Eng. Knowl. Eng. 25(9-10): 1595-1610 (2015) [pdf]
Lukás Marek, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Aibek Sarimbekov, Walter Binder, Petr Tuma:
Introduction to Dynamic Program Analysis with DiSL. Sci. Comput. Program. 98: 100-115 (2015) [pdf][project page][software page]
Andrea Rosà, Lydia Y. Chen, Robert Birke, Walter Binder: Demystifying Casualties of Evictions in Big Data Priority Scheduling. SIGMETRICS Perform. Evaluation Rev. 42(4): 12-21 (2015) [pdf]
2014
Lydia Y. Chen, Giuseppe Serazzi, Danilo Ansaloni, Evgenia Smirni, Walter Binder: What to Expect when you are Consolidating: Effective Prediction Models of Application Performance on Multicores. Clust. Comput. 17(1): 19-37 (2014) [pdf]
Achille Peternier, Cesare Pautasso, Walter Binder, Daniele Bonetta: High-performance Execution of Service Compositions: A Multicore-aware Engine Design. Concurr. Comput. Pract. Exp. 26(1): 71-97 (2014) [pdf]
Adina D. Mosincat, Walter Binder, Mehdi Jazayeri: Achieving Runtime Adaptability through Automated Model Evolution and Variant Selection. Enterp. Inf. Syst. 8(1): 67-83 (2014) [pdf]
Achille Peternier, Danilo Ansaloni, Daniele Bonetta, Cesare Pautasso, Walter Binder: Improving Execution Unit Occupancy on SMT-based Processors through Hardware-aware Thread Scheduling. Future Gener. Comput. Syst. 30: 229-241 (2014) [pdf]
Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Mira Mezini: JP2: Call-site Aware Calling Context Profiling for the Java Virtual Machine. Sci. Comput. Program. 79: 146-157 (2014) [pdf]
Aibek Sarimbekov, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Lukás Marek, Walter Binder, Petr Tuma, Zhengwei Qi: Dynamic Program Analysis – Reconciling Developer Productivity and Tool Performance. Sci. Comput. Program. 95: 344-358 (2014) [pdf]
Derya Çavdar, Andrea Rosà, Lydia Y. Chen, Walter Binder, Fatih Alagöz: Quantifying the Brown Side of Priority Schedulers: Lessons from Big Clusters. SIGMETRICS Perform. Evaluation Rev. 42(3): 76-81 (2014) [pdf]
Immanuel Trummer, Boi Faltings, Walter Binder: Multi-Objective Quality-Driven Service Selection – A Fully Polynomial Time Approximation Scheme. IEEE Trans. Software Eng. 40(2): 167-191 (2014) [pdf]
Conference Papers
2023
Matteo Basso, Andrea Rosà, Luca Omini, Walter Binder: Java Vector API: Benchmarking and Performance Analysis. CC 2023: 1-12 [pdf][slides][artifact][software page]
2022
Filippo Schiavio, Andrea Rosà, Walter Binder: SQL to Stream with S2S – an Automatic Benchmark Generator for the Java Stream API. GPCE 2022: 179-186 [pdf][slides]
Matteo Basso, Eduardo Rosales, Filippo Schiavio, Andrea Rosà, Walter Binder: Accurate Fork-Join Profiling on the Java Virtual Machine. EuroPar 2022: 35-50 [pdf][slides]
Matteo Basso, Filippo Schiavio, Andrea Rosà, Walter Binder: Optimizing Parallel Java Streams. ICECCS 2022: 23-32 [pdf][video][slides]
Eduardo Rosales, Andrea Rosà, Matteo Basso, Alex Villazón, Adriana Orellana, Ángel Zenteno,
Jhon Rivero, Walter Binder: Characterizing Java Streams in the Wild. ICECCS 2022: 143-152 [pdf][video][slides][project page]
2021
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder: Automated Large-scale Multi-language Dynamic Program Analysis in the Wild. Software Engineering 2021: 111 [pdf][slides][project page][software page]
Haiyang Sun, Andrea Rosà, Daniele Bonetta, Walter Binder: Automatically Assessing and Extending Code Coverage for NPM Packages. AST 2021: 40-49 [pdf][video][slides][project page]
2020
Andrea Rosà, Walter Binder: P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine. APLAS 2020: 364-372 [pdf][video][slides][project page][software page]
Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder: PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. ASE 2020: 1344-1348 [pdf]
Edgar Eduardo Rosales Rosero, Andrea Rosà, Walter Binder: Profiling Streams on the Java virtual Machine. Programming 2020: 27-30 [pdf]
Filippo Schiavio, Daniele Bonetta, Walter Binder: Towards Dynamic SQL Compilation in Apache Spark. Programming 2020: 46-49 [pdf][project page]
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder: Renaissance: Benchmarking Suite for Parallel Applications on the JVM. SE 2020: 145-146 [pdf][slides][project page]
Andrea Rosà, Eduardo Rosales, Walter Binder: Analysis and Optimization of Task Granularity on the Java Virtual Machine. SE 2020: 147 [pdf][project page][software page]
Eduardo Rosales, Andrea Rosà, Walter Binder: FJProf: Profiling Fork/Join Applications on the Java Virtual Machine. VALUETOOLS 2020: 128-135 [pdf][project page]
2019
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder: Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact). Dagstuhl Artifacts Ser. 5(2): 11:1-11:3 (2019) [pdf][project page][software page]
Haiyang Sun, Daniele Bonetta, Filippo Schiavio, Walter Binder: Reasoning about the Node.js Event Loop using Async Graphs. CGO 2019: 61-72 [pdf][project page][software page]
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder: Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild. ECOOP 2019: 20:1-20:27 [pdf][video][slides][project page][software page]
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder: NAB: Automated Large-Scale Multi-Language Dynamic Program Analysis in Public Code Repositories. SPLASH (Companion Volume) 2019: 9-10 [pdf][poster][project page][software page]
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder: Renaissance: a Modern Benchmark Suite for Parallel Applications on the JVM. SPLASH (Companion Volume) 2019: 11-12 [pdf][poster][project page]
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder: Renaissance: Benchmarking Suite for Parallel Applications on the JVM. PLDI 2019: 31-47 [pdf][project page]
Eduardo Rosales, Andrea Rosà, Walter Binder: Optimization Coaching for Fork/Join Applications on the Java Virtual Machine. Programming 2019: 7:1-7:3 [pdf][project page]
Omar Javed, Alex Villazón, Walter Binder: JUniVerse: Large-Scale JUnit-Test Analysis in the Wild. SAC 2019: 1768-1775 [pdf]
Filippo Schiavio, Haiyang Sun, Daniele Bonetta, Andrea Rosà, Walter Binder: NodeMOP: Runtime Verification for Node.js Applications. SAC 2019: 1794-1801 [pdf][project page]
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder: On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity. CoRR abs/1903.10267 (2019) [pdf]
2018
Eduardo Rosales, Andrea Rosà, Walter Binder: lpt: A Tool for Tuning the Level of Parallelism of Spark Applications. APSEC 2018: 633-637 [pdf]
Omar Javed, Walter Binder: Large-Scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild. APSEC 2018: 688-692 [pdf]
Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder: Efficient Dynamic Analysis for Node.js. CC 2018: 196-206 [pdf][presentation at VMM’20 (video)][project page][software page]
Andrea Rosà, Eduardo Rosales, Walter Binder: Analyzing and Optimizing Task Granularity on the JVM. CGO 2018: 27-37 [pdf][slides][project page][software page]
Alex Villazón, Haiyang Sun, Walter Binder: Capturing Inter-process Communication for Runtime Verification on Android. ISoLA (4) 2018: 25-31 [pdf][project page][software page]
Andrea Rosà, Eduardo Rosales, Filippo Schiavio, Walter Binder: Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization. Programming 2018: 54-56 [pdf][project page][software page]
2017
Eduardo Rosales, Andrea Rosà, Walter Binder: tgp: A Task-Granularity Profiler for the Java Virtual Machine. APSEC 2017: 570-575 [pdf][project page][software page]
Haiyang Sun, Alexander North, Walter Binder: Multi-Process Runtime Verification for Android. APSEC 2017: 701-706 [pdf][project page][software page]
Yudi Zheng, Lubomír Bulej, Walter Binder: An Empirical Study on Deoptimization in the Graal Compiler. ECOOP 2017: 30:1-30:30 [pdf][video]
Andrea Rosà, Eduardo Rosales, Walter Binder: Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM. GPCE 2017: 104-116 [pdf][video][slides][project page][software page]
Haiyang Sun, Robert Birke, Walter Binder, Mathias Björkqvist, Lydia Y. Chen: AccStream: Accuracy-Aware Overload Management for Stream Processing Systems. ICAC 2017: 39-48 [pdf]
Andrea Rosà, Walter Binder: Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. ICECCS 2017: 138-141 [pdf][slides][project page][software page]
Haiyang Sun, Andrea Rosà, Omar Javed, Walter Binder: ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving. ICST 2017: 532-539 [pdf][software page]
2016
Andrea Rosà, Lydia Y. Chen, Walter Binder: AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. APLAS 2016: 139-147 [pdf][slides][software page]
Andrea Rosà, Lydia Y. Chen, Walter Binder: Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems. ICOOOLPS@ECOOP 2016: 9:1-9:3 [pdf][slides][software page]
Andrea Rosà, Lydia Y. Chen, Walter Binder: Profiling Actor Utilization and Communication in Akka. Erlang Workshop 2016: 24-32 [pdf][video][slides][software page]
Luca Salucci, Daniele Bonetta, Walter Binder: Lightweight Multi-language Bindings for Apache Spark. Euro-Par 2016: 281-292 [pdf]
Andrea Rosà, Lydia Y. Chen, Walter Binder: Actor Profiling in Virtual Execution Environments. GPCE 2016: 36-46 [pdf][slides (GPCE’16)][longer slides (VMM’16)][software page]
Robert Birke, Evangelia Kalyvianaki, Walter Binder, Martin Schmatz, Lydia Y. Chen: Dynamic Block Sizing for Data Stream Processing Systems. IC2E Workshops 2016: 216-222 [pdf]
Andrea Rosà, Lydia Y. Chen, Walter Binder: An Endpoint Communication Profiling Tool for Distributed Computing Frameworks. ICDCS 2016: 765-766 [pdf][software page]
Luca Salucci, Daniele Bonetta, Walter Binder: Efficient Embedding of Dynamic Languages in Big-Data Analytics. ICDCS Workshops 2016: 19-24 [pdf]
Andrea Rosà, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder: Adaptable Runtime Monitoring for the Java Virtual Machine. ISoLA (2) 2016: 531-54 [pdf][project page][software page]
Mathias Björkqvist, Robert Birke, Walter Binder: Resource Management of Replicated Service Systems Provisioned in the Cloud. NOMS 2016: 961-966 [pdf]
Daniele Bonetta, Luca Salucci, Stefan Marr, Walter Binder: GEMs: Shared-memory Parallel Programming for Node.js. OOPSLA 2016: 531-547 [pdf]
Luca Salucci, Daniele Bonetta, Stefan Marr, Walter Binder: Generic Messages: Capability-based Shared Memory Parallelism for Event-loop Systems. PPOPP 2016: 40:1-40:2 [pdf]
Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder: Extended Code Coverage for AspectJ-Based Runtime Verification Tools. RV 2016: 219-234 [pdf]
Yudi Zheng, Lubomír Bulej, Walter Binder: Accurate Profiling in the Presence of Dynamic Compilation. Software Engineering 2016: 21-22 [pdf][software page]
Yudi Zheng, Andrea Rosà, Luca Salucci, Yao Li, Haiyang Sun, Omar Javed, Lubomír Bulej, Lydia Y. Chen, Zhengwei Qi, Walter Binder: AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses. SANER 2016: 639-643 [pdf][slides (SANER’16)][longer slides (seminar talks)]
2015
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tuma, Walter Binder:
A Programming Model and Framework for Comprehensive Dynamic Analysis on Android. MODULARITY 2015: 133-145 [pdf][project page][software page]
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder: Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. APLAS 2015: 356-36 [pdf][project page][software page]
Andrej Podzimek, Lubomír Bulej, Lydia Y. Chen, Walter Binder, Petr Tuma: Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency. CCGRID 2015: 1-10 [pdf] (best paper runner-up)
Andrea Rosà, Lydia Y. Chen, Walter Binder: Predicting and Mitigating Jobs Failures in Big Data Clusters. CCGRID 2015: 221-230 [pdf][slides]
Andrea Rosà, Lydia Y. Chen, Walter Binder: Understanding Unsuccessful Executions in Big-Data Systems. CCGRID 2015: 741-744 [pdf][poster]
Andrea Rosà, Lydia Y. Chen, Walter Binder: Understanding the Dark Side of Big Data Clusters: An Analysis beyond Failures. DSN 2015: 207-218 [pdf][slides]
Sebastiano Spicuglia, Lydia Y. Chen, Robert Birke, Walter Binder: Optimizing Capacity Allocation for Big Data Applications in Cloud Datacenters. IM 2015: 511-517 [pdf]
Sebastiano Spicuglia, Mathias Björkqvist, Lydia Y. Chen, Walter Binder: Catching the Response Time Tail in the Cloud. IM 2015: 572-577 [pdf]
Andrea Rosà, Lydia Y. Chen, Walter Binder: Catching Failures of Failures at Big-data Clusters: A Two-level Neural Network Approach. IWQoS 2015: 231-236 [pdf][slides]
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Walter Binder, Stephen Kell: Custom Full-coverage Dynamic Program Analysis for Android. SPLASH (Companion Volume) 2015: 7-8 [pdf][project page][software page]
Yudi Zheng, Lubomír Bulej, Walter Binder: Accurate Profiling in the Presence of Dynamic Compilation. OOPSLA 2015: 433-450 [pdf][video][software page] (distinguished paper)
Walter Binder, Yudi Zheng, Lubomír Bulej, Haiyang Sun, Petr Tuma: Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines. Software Engineering & Management 2015: 127-128 [pdf][project page][software page]
Chengcheng Xiang, Zhengwei Qi, Walter Binder: Flexible and Extensible Runtime Verification for Java. SEKE 2015: 595-600 [pdf]
2014
Andrea Rosà, Walter Binder, Lydia Y. Chen, Marco Gribaudo, Giuseppe Serazzi: ParSim: A Tool for Workload Modeling and Reproduction of Parallel Applications. MASCOTS 2014: 494-497 [pdf][poster]
Andrej Podzimek, Lydia Y. Chen, Lubomír Bulej, Walter Binder, Petr Tuma: Showstopper: The Partial CPU Load Tool. MASCOTS 2014: 510-513 [pdf]
Yudi Zheng, Haiyang Sun, Lubomír Bulej, Petr Tuma, Walter Binder: Comprehensive Multi-platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines. PPPJ 2014: 4 [pdf]