BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × Czech Republic
1 × Italy
1 × South Africa
11 × USA
2 × China
2 × France
2 × Spain
3 × Canada
3 × The Netherlands
Collaborated with:
D.Ansaloni P.Moret J.Hulaas A.Villazón Y.Zheng D.Bonetta L.Bulej A.Rosà L.Y.Chen A.Sewe A.Sarimbekov C.Pautasso D.Bianculli M.L.Drago M.Mezini B.Lichtl V.Roth T.Würthinger E.Rosales Z.Qi S.Kell H.Mössenböck P.Tuma H.Sun C.Xiang M.Vitásek M.Hauswirth A.D.Mosincat M.Jazayeri A.Bergel R.Robbes D.Röthlisberger M.Harry O.Nierstrasz A.Heydarnoori A.Peternier É.Tanter C.Ghezzi C.Humer Luca Salucci S.Marr L.Marek E.Smirni A.Yokokawa C.Wimmer N.P.Ricci S.Z.Guyer Isabella Defilippis Sergio Oporto A.Prokopec David Leopoldseder G.Duboscq Petr Tuma 0001 Martin Studener D.Simon
Talks about:
dynam (18) java (17) program (10) analysi (8) profil (7) bytecod (5) metric (5) applic (5) use (5) virtual (4)

Person: Walter Binder

DBLP DBLP: Binder:Walter

Facilitated 1 volumes:

GPCE 2012Ed

Contributed to:

OOPSLA 20152015
SEKE 20152015
ECOOP 20132013
GPCE 20132013
PASTE 20132013
PPoPP 20132013
CGO 20122012
HPDC 20122012
ISMM 20122012
PPoPP 20122012
TOOLS Europe 20122012
OOPSLA 20112011
EDOC 20102010
GPCE 20102010
ICSE 20102010
TOOLS Europe 20102010
GPCE 20092009
ICSE 20092009
ICSM 20092009
PEPM 20092009
VISSOFT 20092009
SCAM 20072007
GPCE 20062006
QAPL 20062006
QAPL 20052006
PEPM 20042004
Ada-Europe 20022002
SAC 20022002
OOPSLA 20012001
GPCE 20162016
GPCE 20172017
CC 20182018
OOPSLA 20162016
ECOOP 20172017
ECOOP 20192019
PLDI 20192019

Wrote 43 papers:

OOPSLA-2015-ZhengBB #compilation #profiling
Accurate profiling in the presence of dynamic compilation (YZ, LB, WB), pp. 433–450.
SEKE-2015-XiangQB #flexibility #java #runtime #verification
Flexible and Extensible Runtime Verification for Java (CX, ZQ, WB), pp. 595–600.
ECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
GPCE-2013-MarekKZBBTASS #framework #java #named #platform #program analysis #robust
ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
PASTE-2013-SarimbekovSKZBBA #virtual machine
A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
PASTE-2013-VitasekBH #java #named
ShadowData: shadowing heap objects in Java (MV, WB, MH), pp. 17–24.
PPoPP-2013-BonettaBP #javascript #named #parallel
TigerQuoll: parallel event-based JavaScript (DB, WB, CP), pp. 251–260.
CGO-2012-AnsaloniBHC #multi #program analysis
Deferred methods: accelerating dynamic program analysis on multicores (DA, WB, AH, LYC), pp. 242–251.
HPDC-2012-ChenASYB #multi #performance #question
Achieving application-centric performance targets via consolidation on multicores: myth or reality? (LYC, DA, ES, AY, WB), pp. 37–48.
ISMM-2012-SeweMSABRG #behaviour #comparison #java #memory management #scala #source code
new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (AS, MM, AS, DA, WB, NPR, SZG), pp. 97–108.
PPoPP-2012-BonettaPPB #named #rest #scripting language #web #web service
S: a scripting language for high-performance RESTful web services (DB, AP, CP, WB), pp. 97–106.
TOOLS-EUROPE-2012-ZhengAMSBVTQM #bytecode #partial evaluation
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation (YZ, DA, LM, AS, WB, AV, PT, ZQ, MM), pp. 353–368.
OOPSLA-2011-SeweMSB #analysis #benchmark #design #java #metric #scala #virtual machine
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine (AS, MM, AS, WB), pp. 657–676.
OOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #java #runtime
Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.
EDOC-2010-MosincatBJ #adaptation #automation #evolution #runtime
Runtime Adaptability through Automated Model Evolution (ADM, WB, MJ), pp. 217–226.
GPCE-2010-TanterMBA #aspect-oriented #composition #dynamic analysis
Composition of dynamic analysis aspects (ÉT, PM, WB, DA), pp. 113–122.
GPCE-2010-WurthingerBAMM #aspect-oriented #development #evolution #java #programming #user interface
Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming (TW, WB, DA, PM, HM), pp. 123–126.
ICSE-2010-BianculliBD #evaluation #middleware #named #performance
SOABench: performance evaluation of service-oriented middleware made easy (DB, WB, MLD), pp. 301–302.
TOOLS-EUROPE-2010-BergelRB #metric #profiling #visualisation
Visualizing Dynamic Metrics with Profiling Blueprints (AB, RR, WB), pp. 291–309.
GPCE-2009-VillazonBAM #adaptation #java #runtime
Advanced runtime adaptation for Java (AV, WB, DA, PM), pp. 85–94.
GPCE-2009-VillazonBAM09a #adaptation #aspect-oriented #java #named #programming #tool support
HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java (AV, WB, DA, PM), pp. 95–98.
ICSE-2009-BianculliBDG #framework #named #web #web service
ReMan: A pro-active reputation management infrastructure for composite Web services (DB, WB, MLD, CG), pp. 623–626.
ICSM-2009-RothlisbergerHVABNM #ide #metric
Augmenting static source views in IDEs with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 253–262.
ICSM-2009-RothlisbergerHVABNM09a #eclipse #metric #named
Senseo: Enriching Eclipse’s static source views with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 383–384.
ICSM-2009-VillazonBMA #aspect-oriented #development #flexibility #named #programming
MAJOR: Flexible tool development with aspect-oriented programming (AV, WB, PM, DA), pp. 387–388.
PEPM-2009-MoretBV #execution #named #profiling
CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.
PEPM-2009-MoretBV09a #embedded #java #named
CProf: customizable calling context cross-profiling for embedded java processors (PM, WB, AV), pp. 161–164.
VISSOFT-2009-MoretBAV #visualisation
Visualizing Calling Context profiles with Ring Charts (PM, WB, DA, AV), pp. 33–36.
SCAM-2007-BinderHM #bytecode #java #re-engineering #runtime #standard
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.
GPCE-2006-BinderH #bytecode #flexibility #metric #performance
Flexible and efficient measurement of dynamic bytecode metrics (WB, JH), pp. 171–180.
QAPL-2006-BinderH06a #bytecode #profiling #using #virtual machine
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (WB, JH), pp. 45–64.
QAPL-2005-BinderH06 #bytecode #cpu #metric #using
Using Bytecode Instruction Counting as Portable CPU Consumption Metric (WB, JH), pp. 57–77.
PEPM-2004-HulaasB #cpu #java #program transformation
Program transformations for portable CPU accounting and control in Java (JH, WB), pp. 169–177.
AdaEurope-2002-BinderL #embedded #execution #java #kernel #reliability #using
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.
SAC-2002-BinderR #java #mobile #question #using
Secure mobile agent systems using Java: where are we heading? (WB, VR), pp. 115–119.
OOPSLA-2001-BinderHV #approach #java
Portable Resource Control in Java: The J-SEAL2 Approach (WB, JH, AV), pp. 139–155.
GPCE-2016-RosaCB #execution #profiling
Actor profiling in virtual execution environments (AR, LYC, WB), pp. 36–46.
GPCE-2017-RosaRB #dynamic analysis #virtual machine
Accurate reification of complete supertype information for dynamic analysis on the JVM (AR, ER, WB), pp. 104–116.
CC-2018-SunBHB #dynamic analysis #performance
Efficient dynamic analysis for Node.js (HS, DB, CH, WB), pp. 196–206.
OOPSLA-2016-BonettaSMB #named #parallel #programming
GEMs: shared-memory parallel programming for Node.js (DB, LS, SM, WB), pp. 531–547.
ECOOP-2017-ZhengBB #compilation #empirical
An Empirical Study on Deoptimization in the Graal Compiler (YZ, LB, WB), p. 30.
ECOOP-2019-VillazonSRRBDOB #automation #multi #program analysis #scalability
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper) (AV, HS, AR, ER, DB, ID, SO, WB), p. 27.
PLDI-2019-ProkopecRLD0SBZ #benchmark #metric #named #parallel #virtual machine
Renaissance: benchmarking suite for parallel applications on the JVM (AP, AR, DL, GD, PT0, MS, LB, YZ, AV, DS, TW, WB), pp. 31–47.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.