| 2026 | SAC | Misleading Microbenchmarks on the Java Virtual Machines. | Filippo Schiavio, Lubomr Bulej, Walter Binder |
| 2025 | CGO | Improving Native-Image Startup Performance. | Matteo Basso, Aleksandar Prokopec, Andrea Ros, Walter Binder |
| 2025 | PDP | NPB-PSTL: C++ STL Algorithms with Parallel Execution Policies in NAS Parallel Benchmarks. | Jnior Lff, Renato B. Hoffmann, Nicola Bianchessi, Leonardo Mallmann, Dalvan Griebler, Walter Binder |
| 2024 | EuroPar | MPR: An MPI Framework for Distributed Self-adaptive Stream Processing. | Jnior Lff, Dalvan Griebler, Luiz Gustavo Fernandes, Walter Binder |
| 2023 | APSEC | Automated Runtime Transition between Virtual and Platform Threads in the Java Virtual Machine. | Andrea Ros, Matteo Basso, Leonardo Bohnhoff, Walter Binder |
| 2023 | CC | Java Vector API: Benchmarking and Performance Analysis. | Matteo Basso, Andrea Ros, Luca Omini, Walter Binder |
| 2023 | GPCE | Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance. | Matteo Basso, Daniele Bonetta, Walter Binder |
| 2022 | EuroPar | Accurate Fork-Join Profiling on the Java Virtual Machine. | Matteo Basso, Eduardo Rosales, Filippo Schiavio, Andrea Ros, Walter Binder |
| 2022 | GPCE | SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API. | Filippo Schiavio, Andrea Ros, Walter Binder |
| 2022 | ICECCS | Optimizing Parallel Java Streams. | Matteo Basso, Filippo Schiavio, Andrea Ros, Walter Binder |
| 2022 | ICECCS | Characterizing Java Streams in the Wild. | Eduardo Rosales, Andrea Ros, Matteo Basso, Alex Villazn, Adriana Orellana, ngel Zenteno, Jhon Rivero, Walter Binder |
| 2021 | AST | Automatically Assessing and Extending Code Coverage for NPM Packages. | Haiyang Sun, Andrea Ros, Daniele Bonetta, Walter Binder |
| 2020 | APLAS | P | Andrea Ros, Walter Binder |
| 2019 | CGO | Reasoning about the Node.js Event Loop using Async Graphs. | Haiyang Sun, Daniele Bonetta, Filippo Schiavio, Walter Binder |
| 2019 | ECOOP | Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper). | Alex Villazn, Haiyang Sun, Andrea Ros, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder |
| 2019 | OOPSLA | Renaissance: a modern benchmark suite for parallel applications on the JVM. | Aleksandar Prokopec, Andrea Ros, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomr Bulej, Yudi Zheng, Alex Villazn, Doug Simon, Thomas Wrthinger, Walter Binder |
| 2019 | OOPSLA | NAB: automated large-scale multi-language dynamic program analysis in public code repositories. | Alex Villazn, Haiyang Sun, Andrea Ros, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder |
| 2019 | PLDI | Renaissance: benchmarking suite for parallel applications on the JVM. | Aleksandar Prokopec, Andrea Ros, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomr Bulej, Yudi Zheng, Alex Villazn, Doug Simon, Thomas Wrthinger, Walter Binder |
| 2019 | SAC | JUniVerse: large-scale JUnit-test analysis in the wild. | Omar Javed, Alex Villazn, Walter Binder |
| 2019 | SAC | NodeMOP: runtime verification for Node.js applications. | Filippo Schiavio, Haiyang Sun, Daniele Bonetta, Andrea Ros, Walter Binder |
| 2018 | APSEC | Large-Scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild. | Omar Javed, Walter Binder |
| 2018 | APSEC | lpt: A Tool for Tuning the Level of Parallelism of Spark Applications. | Eduardo Rosales, Andrea Ros, Walter Binder |
| 2018 | CC | Efficient dynamic analysis for Node.js. | Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder |
| 2018 | CGO | Analyzing and optimizing task granularity on the JVM. | Andrea Ros, Eduardo Rosales, Walter Binder |
| 2018 | ISoLA | Capturing Inter-process Communication for Runtime Verification on Android. | Alex Villazn, Haiyang Sun, Walter Binder |
| 2017 | APSEC | tgp: A Task-Granularity Profiler for the Java Virtual Machine. | Eduardo Rosales, Andrea Ros, Walter Binder |
| 2017 | APSEC | Multi-Process Runtime Verification for Android. | Haiyang Sun, Alexander North, Walter Binder |
| 2017 | ECOOP | An Empirical Study on Deoptimization in the Graal Compiler. | Yudi Zheng, Lubomr Bulej, Walter Binder |
| 2017 | GPCE | Accurate reification of complete supertype information for dynamic analysis on the JVM. | Andrea Ros, Eduardo Rosales, Walter Binder |
| 2017 | ICECCS | Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. | Andrea Ros, Walter Binder |
| 2017 | ICST | ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving. | Haiyang Sun, Andrea Ros, Omar Javed, Walter Binder |
| 2016 | APLAS | AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2016 | ECOOP | Beneath the bytecode: observing the JVM at work using bytecode instrumentation. | Lubomr Bulej, Yudi Zheng, Walter Binder |
| 2016 | ECOOP | Efficient profiling of actor-based applications in parallel and distributed systems. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2016 | EuroPar | Lightweight Multi-language Bindings for Apache Spark. | Luca Salucci, Daniele Bonetta, Walter Binder |
| 2016 | GPCE | Actor profiling in virtual execution environments. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2016 | IC2E | Dynamic Block Sizing for Data Stream Processing Systems. | Robert Birke, Evangelia Kalyvianaki, Walter Binder, Martin L. Schmatz, Lydia Y. Chen |
| 2016 | ICDCS | An Endpoint Communication Profiling Tool for Distributed Computing Frameworks. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2016 | ISoLA | Adaptable Runtime Monitoring for the Java Virtual Machine. | Andrea Ros, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder |
| 2016 | NOMS | Resource management of replicated service systems provisioned in the cloud. | Mathias Bjrkqvist, Robert Birke, Walter Binder |
| 2016 | OOPSLA | GEMs: shared-memory parallel programming for Node.js. | Daniele Bonetta, Luca Salucci, Stefan Marr, Walter Binder |
| 2016 | PPoPP | Generic messages: capability-based shared memory parallelism for event-loop systems. | Luca Salucci, Daniele Bonetta, Stefan Marr, Walter Binder |
| 2016 | RV | Extended Code Coverage for AspectJ-Based Runtime Verification Tools. | Omar Javed, Yudi Zheng, Andrea Ros, Haiyang Sun, Walter Binder |
| 2015 | APLAS | Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. | Haiyang Sun, Yudi Zheng, Lubomr Bulej, Stephen Kell, Walter Binder |
| 2015 | CCGRID | Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency. | Andrej Podzimek, Lubomr Bulej, Lydia Y. Chen, Walter Binder, Petr Tuma |
| 2015 | CCGRID | Predicting and Mitigating Jobs Failures in Big Data Clusters. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2015 | CCGRID | Understanding Unsuccessful Executions in Big-Data Systems. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2015 | DSN | Understanding the Dark Side of Big Data Clusters: An Analysis beyond Failures. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2015 | IM | Catching the response time tail in the cloud. | Sebastiano Spicuglia, Mathias Bjrkqvist, Lydia Y. Chen, Walter Binder |
| 2015 | IM | Optimizing capacity allocation for big data applications in cloud datacenters. | Sebastiano Spicuglia, Lydia Y. Chen, Robert Birke, Walter Binder |
| 2015 | IWQoS | Catching failures of failures at big-data clusters: A two-level neural network approach. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2015 | OOPSLA | Custom full-coverage dynamic program analysis for Android. | Haiyang Sun, Yudi Zheng, Lubomr Bulej, Walter Binder, Stephen Kell |
| 2015 | OOPSLA | Workshop preview of the 13th international workshop on dynamic analysis (WODA 2015). | Guoqing Xu, Walter Binder |
| 2015 | OOPSLA | Accurate profiling in the presence of dynamic compilation. | Yudi Zheng, Lubomr Bulej, Walter Binder |
| 2015 | SEKE | Flexible and Extensible Runtime Verification for Java. | Chengcheng Xiang, Zhengwei Qi, Walter Binder |
| 2014 | MASCOTS | Showstopper: The Partial CPU Load Tool. | Andrej Podzimek, Lydia Y. Chen, Lubomr Bulej, Walter Binder, Petr Tuma |
| 2014 | MASCOTS | ParSim: A Tool for Workload Modeling and Reproduction of Parallel Applications. | Andrea Ros, Walter Binder, Lydia Y. Chen, Marco Gribaudo, Giuseppe Serazzi |
| 2013 | ECOOP | Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. | Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomr Bulej, Walter Binder, Petr Tuma |
| 2013 | GPCE | ShadowVM: robust and comprehensive dynamic program analysis for the java platform. | Luks Marek, Stephen Kell, Yudi Zheng, Lubomr Bulej, Walter Binder, Petr Tuma, Danilo Ansaloni, Aibek Sarimbekov, Andreas Sewe |
| 2013 | ICSOC | QoS-Aware Service VM Provisioning in Clouds: Experiences, Models, and Cost Analysis. | Mathias Bjrkqvist, Sebastiano Spicuglia, Lydia Y. Chen, Walter Binder |
| 2013 | OOPSLA | Characteristics of dynamic JVM languages. | Aibek Sarimbekov, Andrej Podzimek, Lubomr Bulej, Yudi Zheng, Nathan P. Ricci, Walter Binder |
| 2013 | OOPSLA | Dynamic optimization of bytecode instrumentation. | Yudi Zheng, Lubomr Bulej, Cheng Zhang, Stephen Kell, Danilo Ansaloni, Walter Binder |
| 2013 | PPoPP | TigerQuoll: parallel event-based JavaScript. | Daniele Bonetta, Walter Binder, Cesare Pautasso |
| 2012 | APLAS | Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. | Luks Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma, Zhengwei Qi |
| 2012 | CCGRID | Dynamic Replication in Service-Oriented Systems. | Mathias Bjrkqvist, Lydia Y. Chen, Walter Binder |
| 2012 | CGO | Deferred methods: accelerating dynamic program analysis on multicores. | Danilo Ansaloni, Walter Binder, Abbas Heydarnoori, Lydia Y. Chen |
| 2012 | DSN | Model-driven consolidation of Java workloads on multicores. | Danilo Ansaloni, Lydia Y. Chen, Evgenia Smirni, Walter Binder |
| 2012 | EuroPar | Node.Scala: Implicit Parallel Programming for High-Performance Web Services. | Daniele Bonetta, Danilo Ansaloni, Achille Peternier, Cesare Pautasso, Walter Binder |
| 2012 | HPDC | Achieving application-centric performance targets via consolidation on multicores: myth or reality? | Lydia Y. Chen, Danilo Ansaloni, Evgenia Smirni, Akira Yokokawa, Walter Binder |
| 2012 | ICPADS | Hardware-aware Thread Scheduling: The Case of Asymmetric Multicore Processors. | Achille Peternier, Danilo Ansaloni, Daniele Bonetta, Cesare Pautasso, Walter Binder |
| 2012 | OOPSLA | The JVM is not observable enough (and what to do about it). | Stephen Kell, Danilo Ansaloni, Walter Binder, Luks Marek |
| 2012 | PPoPP | S: a scripting language for high-performance RESTful web services. | Daniele Bonetta, Achille Peternier, Cesare Pautasso, Walter Binder |
| 2011 | ISORC | Design Space Exploration of Object Caches with Cross-Profiling. | Martin Schoeberl, Walter Binder, Alex Villazn |
| 2011 | OOPSLA | JP2: collecting dynamic bytecode metrics in JVMs. | Aibek Sarimbekov, Walter Binder, Andreas Sewe, Mira Mezini, Alex Villazn |
| 2011 | OOPSLA | Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine. | Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Walter Binder |
| 2011 | OOPSLA | Safe and atomic run-time code evolution for Java and its application to dynamic AOP. | Thomas Wrthinger, Danilo Ansaloni, Walter Binder, Christian Wimmer, Hanspeter Mssenbck |
| 2011 | WSC | Optimizing service replication in clouds. | Mathias Bjrkqvist, Lydia Y. Chen, Walter Binder |
| 2011 | SERVICES | Towards Self-Organizing Service-Oriented Architectures. | Walter Binder, Daniele Bonetta, Cesare Pautasso, Achille Peternier, Diego Milano, Heiko Schuldt, Nenad Stojnic, Boi Faltings, Immanuel Trummer |
| 2010 | APSCC | Load-Balancing Dynamic Service Binding in Composition Execution Engines. | Mathias Bjrkqvist, Lydia Y. Chen, Walter Binder |
| 2010 | APSCC | A Multicore-Aware Runtime Architecture for Scalable Service Composition. | Daniele Bonetta, Achille Peternier, Cesare Pautasso, Walter Binder |
| 2010 | CloudCom | Cost-Optimal Outsourcing of Applications into the Clouds. | Immanuel Trummer, Frank Leymann, Ralph Mietzner, Walter Binder |
| 2010 | ECOOP | Improving aspect-oriented programming with dynamic code evolution in an enhanced Java virtual machine. | Thomas Wrthinger, Walter Binder, Danilo Ansaloni, Philippe Moret, Hanspeter Mssenbck |
| 2010 | EDOC | Runtime Adaptability through Automated Model Evolution. | Adina D. Mosincat, Walter Binder, Mehdi Jazayeri |
| 2010 | GPCE | Composition of dynamic analysis aspects. | ric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni |
| 2010 | GPCE | Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming. | Thomas Wrthinger, Walter Binder, Danilo Ansaloni, Philippe Moret, Hanspeter Mssenbck |
| 2010 | ICSE | SOABench: performance evaluation of service-oriented middleware made easy. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago |
| 2010 | WWW | Automated performance assessment for service-oriented middleware: a case study on BPEL engines. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago |
| 2009 | GPCE | Advanced runtime adaptation for Java. | Alex Villazn, Walter Binder, Danilo Ansaloni, Philippe Moret |
| 2009 | GPCE | HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java. | Alex Villazn, Walter Binder, Danilo Ansaloni, Philippe Moret |
| 2009 | ICSE | ReMan: A pro-active reputation management infrastructure for composite Web services. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi |
| 2009 | OOPSLA | @J: towards rapid development of dynamic analysis tools for the Java Virtual Machine. | Walter Binder, Alex Villazn, Danilo Ansaloni, Philippe Moret |
| 2009 | PEPM | CCCP: complete calling context profiling in virtual execution environments. | Philippe Moret, Walter Binder, Alex Villazn |
| 2009 | PEPM | CProf: customizable calling context cross-profiling for embedded java processors. | Philippe Moret, Walter Binder, Alex Villazn |
| 2009 | SOFSEM | Green Computing: Energy Consumption Optimized Service Hosting. | Walter Binder, Niranjan Suri |
| 2009 | VISSOFT | Visualizing Calling Context profiles with Ring Charts. | Philippe Moret, Walter Binder, Danilo Ansaloni, Alex Villazn |
| 2008 | CASES | Cache-aware cross-profiling for java processors. | Walter Binder, Alex Villazn, Martin Schoeberl, Philippe Moret |
| 2008 | ICSOC | Transparent Runtime Adaptability for BPEL Processes. | Adina D. Mosincat, Walter Binder |
| 2008 | ICWS | Transparent Reputation Management for Composite Web Services. | Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi |
| 2007 | DEXA | Multiversion Concurrency Control for Multidimensional Index Structures. | Walter Binder, Samuel Spycher, Ion Constantinescu, Boi Faltings |
| 2007 | ICSOC | Automated Dynamic Maintenance of Composite Services Based on Service Reputation. | Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings |
| 2007 | ICWS | An Evaluation of Multiversion Concurrency Control forWeb Service Directories. | Walter Binder, Samuel Spycher, Ion Constantinescu, Boi Faltings |
| 2007 | Middleware | Flexible matching and ranking of web service advertisements. | Navid Ahmadi, Walter Binder |
| 2007 | WWW | Reliable QoS monitoring based on client feedback. | Radu Jurca, Boi Faltings, Walter Binder |
| 2007 | SCAM | Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation. | Walter Binder, Jarle Hulaas, Philippe Moret |
| 2006 | AINA | Service Invocation Triggers: A Lightweight Routing Infrastructure for Decentralized Workflow Orchestration. | Walter Binder, Ion Constantinescu, Boi Faltings |
| 2006 | DEXA | Scalable Automated Service Composition Using a Compact Directory Digest. | Walter Binder, Ion Constantinescu, Boi Faltings |
| 2006 | GPCE | Flexible and efficient measurement of dynamic bytecode metrics. | Walter Binder, Jarle Hulaas |
| 2006 | ICWS | Decentralized Orchestration of CompositeWeb Services. | Walter Binder, Ion Constantinescu, Boi Faltings |
| 2005 | AAAI | Selection and Ranking of Propositional Formulas for Large-Scale Service Directories. | Ion Constantinescu, Walter Binder, Boi Faltings |
| 2005 | APLAS | A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. | Walter Binder |
| 2005 | ICWS | Multiversion Concurrency Control for Large-Scale Service Directories. | Walter Binder, Ion Constantinescu, Boi Faltings, Samuel Spycher |
| 2005 | ICWS | Flexible and Efficient Matchmaking and Ranking in Service Directories. | Ion Constantinescu, Walter Binder, Boi Faltings |
| 2004 | ICWS | Large Scale, Type-Compatible Service Composition. | Ion Constantinescu, Boi Faltings, Walter Binder |
| 2004 | PEPM | Program transformations for portable CPU accounting and control in Java. | Jarle Hulaas, Walter Binder |
| 2004 | WWW | Type based service composition. | Ion Constantinescu, Boi Faltings, Walter Binder |
| 2002 | CCGRID | Using Mobile Agents for Software Distribution and Maintenance: Autonomous Stations Capable of Securely Executing Dynamically Uploaded Applications. | Walter Binder |
| 2002 | SAC | Secure mobile agent systems using Java: where are we heading?. | Walter Binder, Volker Roth |
| 2001 | GI | Using Mobile Code for Semantic Interoperability in Distributed Agent Systems. | Jarle Hulaas, Walter Binder |
| 2001 | GI | Mobile Agent Framework fr M-Commerce. | Patrik Mihailescu, Walter Binder |
| 2001 | OOPSLA | Portable Resource Control in Java: The J-SEAL2 Approach. | Walter Binder, Jarle Hulaas, Alex Villazn |