Stem bytecod$ (all stems)

85 papers:

DATE-2015-OhYM #android #compilation #virtual machine

Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.

ICPC-2015-Escobar-AvilaVH #bytecode #categorisation #using

Unsupervised software categorization using bytecode (JEA, MLV, SH), pp. 229–239.

ICSE-v2-2015-Escobar-Avila #automation #bytecode #categorisation #library #using

Automatic Categorization of Software Libraries Using Bytecode (JEA), pp. 784–786.

FASE-2014-GomesPG #bytecode #control flow #graph #java #source code

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs (PdCG, AP, DG), pp. 215–229.

IFM-2013-SavaryFL #bytecode #detection #modelling #testing #using #verification

Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.

SEKE-2013-AlshammariFC #bytecode #java #metric #security #source code

Security Metrics for Java Bytecode Programs (S) (BA, CJF, DC), pp. 394–399.

CGO-2013-WangWC #android #bytecode #named

Acceldroid: Co-designed acceleration of Android bytecode (CW, YW, MC), p. 10.

SCAM-2012-Zambon #bytecode #java #obfuscation

Aucsmith-Like Obfuscation of Java Bytecode (AZ), pp. 114–119.

IFL-2012-Clerc #java #ml #named

OCaml-Java: From OCaml Sources to Java Bytecodes (XC), pp. 71–85.

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.

FSE-2012-OcteauJM #android #bytecode #java

Retargeting Android applications to Java bytecode (DO, SJ, PM), p. 6.

RTA-2011-BrockschmidtOG #bytecode #composition #java #proving #recursion #source code #term rewriting #termination

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (MB, CO, JG), pp. 155–170.

ASE-2010-PasareanuR #bytecode #execution #java #symbolic computation

Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.

PEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing

PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.

PEPM-2010-RudolphT #bytecode #code generation #named #runtime #type safety

Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.

SAC-2010-SiderisMP #hardware #java

A hardware peripheral for Java bytecodes translation acceleration (IS, NKM, KZP), pp. 552–553.

RTA-2010-OttoBEG #analysis #automation #bytecode #java #term rewriting #termination

Automated Termination Analysis of Java Bytecode by Term Rewriting (CO, MB, CvE, JG), pp. 259–276.

SCAM-2009-HamiltonD #bytecode #evaluation #java

An Evaluation of Current Java Bytecode Decompilers (JH, SD), pp. 129–136.

CC-2009-WarburtonK #architecture #bytecode #java #optimisation #specification

From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode (RW, SK), pp. 17–31.

PASTE-2008-Hubert #bytecode #java

A non-null annotation inferencer for Java bytecode (LH), pp. 36–42.

OOPSLA-2008-KatsBV #bytecode #compilation #normalisation

Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.

LOPSTR-2008-AlbertGP #bytecode #generative #partial evaluation #testing

Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.

QAPL-2008-LambertP #bytecode #framework #independence #java #virtual machine

Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.

SAC-2008-AlbertAGPZ #bytecode #cost analysis #java

Removing useless variables in cost analysis of Java bytecode (EA, PA, SG, GP, DZ), pp. 368–375.

SAC-2008-BaveraB #analysis #bytecode #data flow #policy #type system

Type-based information flow analysis for bytecode languages with variable object field policies (FB, EB), pp. 347–351.

CC-2008-LogozzoF #analysis #bytecode #on the #source code

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis (FL, MF), pp. 197–212.

CC-2008-MalePPD #bytecode #java #verification

Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.

ESOP-2007-AlbertAGPZ #bytecode #cost analysis #java

Cost Analysis of Java Bytecode (EA, PA, SG, GP, DZ), pp. 157–172.

ESOP-2007-BarthePR #bytecode #java #lightweight #verification

A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.

FASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.

SCAM-2007-BinderHM #bytecode #java #re-engineering #runtime #standard

Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.

SAS-2007-PayetS #analysis #bytecode #java

Magic-Sets Transformation for the Analysis of Java Bytecode (ÉP, FS), pp. 452–467.

PADL-2007-AlbertGHP #analysis #bytecode #java #logic programming #source code #using #verification

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.

ISMM-2007-AlbertGG #analysis #bytecode #java

Heap space analysis for java bytecode (EA, SG, MGZ), pp. 105–116.

QAPL-2005-BinderH06 #bytecode #cpu #metric #using

Using Bytecode Instruction Counting as Portable CPU Consumption Metric (WB, JH), pp. 57–77.

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.

SAC-2006-AgostaCPS #analysis #bytecode #compilation #performance

Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.

SAC-2006-BurdyP #bytecode #java #specification #verification

Java bytecode specification and verification (LB, MP), pp. 1835–1839.

SAC-2006-Zanardini #bytecode #java

Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.

CC-2006-HammondL #bytecode #java #optimisation

Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.

ESOP-2005-WildmoserN #bytecode #safety

Asserting Bytecode Safety (MW, TN), pp. 326–341.

TACAS-2005-SuwimonteerabuthSE #bytecode #java #named

jMoped: A Java Bytecode Checker Based on Moped (DS, SS, JE), pp. 541–545.

SCAM-2005-SzegediG #bytecode #java #slicing #source code

Dynamic Slicing of Java Bytecode Programs (AS, TG), pp. 35–44.

POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism

Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.

VMCAI-2005-GenaimS #analysis #bytecode #data flow #java

Information Flow Analysis for Java Bytecode (SG, FS), pp. 346–362.

FASE-2004-BartheD #bytecode #framework #verification

A Tool-Assisted Framework for Certified Bytecode Verification (GB, GD), pp. 99–113.

SAC-2004-BarbutiC #bytecode #java #verification

Java bytecode verification on Java cards (RB, SC), pp. 431–438.

ICSE-2004-WangR #bytecode #java #slicing #source code #using

Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.

CSL-2004-AmadioCDJ #bound #bytecode #functional #verification

A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.

SCAM-2003-UmemoriKYI #design #implementation #java #slicing

Design and Implementation of Bytecode-based Java Slicing System (FU, KK, RY, KI), pp. 108–117.

GPCE-2003-ChibaN #bytecode #java #performance #tool support

An Easy-to-Use Toolkit for Efficient Java Bytecode Translators (SC, MN), pp. 364–376.

CC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using

Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.

ASIA-PEPM-2002-AffeldtMSY #bytecode #runtime

Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.

ICFP-2002-SerpetteS #bytecode #compilation #performance #virtual machine

Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.

SEKE-2002-BarbutiTBF #bytecode #java #verification

Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.

SEKE-2002-SantoneV #bytecode #java #model checking

Local model checking of Java bytecode (AS, GV), pp. 383–389.

GPCE-2002-TanterSNP #bytecode #java #semantics

Altering Java Semantics via Bytecode Manipulation (ÉT, MSD, JN, JMP), pp. 283–298.

PPDP-2002-HiguchiO #bytecode #calculus #java

Java bytecode as a typed term calculus (TH, AO), pp. 201–211.

SAC-2002-BarbutiBF #abstract interpretation #bytecode #java #security

Checking security of Java bytecode by abstract interpretation (RB, CB, NDF), pp. 229–236.

ASPLOS-2002-OgataKN #bytecode #interpreter #java #optimisation

Bytecode fetch optimization for a Java interpreter (KO, HK, TN), pp. 58–67.

CC-2002-MiecznikowskiH #bytecode #java #problem

Decompiling Java Bytecode: Problems, Traps and Pitfalls (JM, LJH), pp. 111–127.

VMCAI-2002-BernardeschiF #abstract interpretation #bytecode #java #model checking #security

Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode (CB, NDF), pp. 1–15.

FoSSaCS-2001-Nipkow #bytecode #verification

Verified Bytecode Verifiers (TN), pp. 347–363.

SCAM-2001-MaggiS #analysis #bytecode #data flow #java #using

Using Data Flow Analysis to Infer Type Information in Java Bytecode (PM, RS), p. 213–?.

PLDI-2001-EvansF #bytecode

Bytecode Compression via Profiled Grammar Rewriting (WSE, CWF), pp. 148–155.

ECOOP-2001-TatsuboriSCI #bytecode #distributed #execution #java #legacy

A Bytecode Translator for Distributed Execution of “Legacy” Java Software (MT, TS, SC, KI), pp. 236–255.

CAV-2001-Leroy #bibliography #bytecode #java #perspective #verification

Java Bytecode Verification: An Overview (XL), pp. 265–285.

SAS-2000-GagnonHM #bytecode #java #performance #static typing

Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.

POPL-2000-KnoblockR #bytecode #java #type system

Type Elaboration and Subtype Completion for Java Bytecode (TBK, JR), pp. 228–242.

SAC-2000-DoyonD #bytecode #java #verification

Verifying Object Initialization in the Java Bytecode Language (SD, MD), pp. 821–830.

CC-2000-Vallee-RaiGHLPS #bytecode #framework #java #optimisation #question #using

Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (RVR, EG, LJH, PL, PP, VS), pp. 18–34.

TACAS-1999-Pusch #bytecode #higher-order #java #proving #specification #verification

Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL (CP), pp. 89–103.

OOPSLA-1999-FreundM #bytecode #framework #java #verification

A Formal Framework for the Java Bytecode Language and Verifier (SNF, JCM), pp. 147–166.

TOOLS-EUROPE-1999-Waldron #bytecode #java #object-oriented #source code

Dynamic Bytecode Usage by Object Oriented Java Programs (JW), pp. 384–395.

PPDP-1999-Costa #bytecode #optimisation #prolog

Optimising Bytecode Emulation for Prolog (VSC), pp. 261–277.

POPL-1999-OCallahn #bytecode #java #type system

A Simple, Comprehensive Type System for Java Bytecode Subroutines (RO), pp. 70–78.

ICSE-1999-JacksonW #bytecode #lightweight #modelling

Lightweight Extraction of Object Models from Bytecode (DJ, AW), pp. 194–202.

CAV-1999-BasinFPV #bytecode #java #model checking #verification

Java Bytecode Verification by Model Checking (DAB, SF, JP, HV), pp. 491–494.

ICFP-1998-BentonKR #compilation #java #ml #standard

Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.

OOPSLA-1998-FreundM #bytecode #java #type system

A Type System for Object Initialization in the Java Bytecode Language (SNF, JCM), pp. 310–327.

TOOLS-PACIFIC-1998-MathewSH #bytecode #java #performance

Inter-Server Transport Performance of Java Bytecode in a Metacomputing Environment (JAM, AJS, KAH), p. 264–?.

POPL-1998-StataA #bytecode #java #type system

A Type System for Java Bytecode Subroutines (RS, MA), pp. 149–160.

LCTES-1998-WeissFDFHJJRSS #compilation #java

TurboJ, a Java Bytecode-to-Native Compiler (MW, FdF, BD, CF, FH, EAJ, VJ, FR, FS, XS), pp. 119–130.

OOPSLA-1986-SamplesUH #named #smalltalk

SOAR: Smalltalk Without Bytecodes (ADS, DU, PNH), pp. 107–118.