Travelled to:1 × Czech Republic
1 × USA
Collaborated with:Y.Zheng W.Binder P.Tuma D.Ansaloni A.Sewe S.Kell L.Bulej A.Sarimbekov A.Villazón Z.Qi M.Mezini
Talks about:instrument (1) comprehens (1) platform (1) program (1) partial (1) bytecod (1) analysi (1) shadow (1) robust (1) turbo (1)
Person: Lukás Marek
DBLP: Marek:Luk=aacute=s
Contributed to:
2013
2012Wrote 2 papers:
- 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.
- 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.