Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Joshua Ellul, Kirk Martinez	Run-time compilation of bytecode in wireless sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	wireless sensor networks, Java, compilers, bytecode
3	Martin Zabel, Rainer G. Spallek	Application requirements and efficiency of embedded Java bytecode multi-cores.	JTRES	2010	DBLP DOI BibTeX RDF	multi-core, multi-threaded, realtime, Java bytecode
3	Michael Orlov, Moshe Sipper	Genetic programming in the wild: evolving unrestricted bytecode.	GECCO	2009	DBLP DOI BibTeX RDF	software evolution, java bytecode
3	Yosi Ben-Asher, Nadav Rotem	The effect of unrolling and inlining for Python bytecode optimizations.	SYSTOR	2009	DBLP DOI BibTeX RDF	optimizations, Python, bytecode, dynamic languages
3	Xiaofeng Yang, Mohammad Zulkernine	Secure Method Calls by Instrumenting Bytecode with Aspects.	DBSec	2009	DBLP DOI BibTeX RDF	code security, aspects, Bytecode instrumentation
3	Andreas Gal, Christian W. Probst, Michael Franz	Java bytecode verification via static single assignment form.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java bytecode verification, dataflow analysis, static single assignment form
3	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci	Decomposing bytecode verification by abstract interpretation.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Abstract interpretation, bytecode verification
3	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Removing useless variables in cost analysis of Java bytecode.	SAC	2008	DBLP DOI BibTeX RDF	cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode
3	Lennart C. L. Kats, Martin Bravenboer, Eelco Visser	Mixing source and bytecode: a case for compilation by normalization.	OOPSLA	2008	DBLP DOI BibTeX RDF	dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego
3	Thuan Quang Huynh, Abhik Roychoudhury	Memory model sensitive bytecode verification.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Programming language memory models, Software model checking, Bytecode verification
3	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Heap space analysis for java bytecode.	ISMM	2007	DBLP DOI BibTeX RDF	heap consumption, heap space analysis, Java bytecode, low-level languages
3	Walter Binder, Jarle Hulaas, Philippe Moret	Advanced Java bytecode instrumentation.	PPPJ	2007	DBLP DOI BibTeX RDF	dynamic bytecode instrumentation, Java, program transformations, profiling, JVM, dynamic metrics
3	Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon	Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	J2ME CDC, Java ahead-of-time compiler, bytecode-to-c, stack cutting, exception handling, Java virtual machine
3	Wlodzimierz Funika, Pawel Swierszcz	Dynamic Instrumentation of Distributed Java Applications Using Bytecode Modifications.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF	J-OMIS, J-OCM, Java, instrumentation, bytecode
3	Walter Binder, Jarle Hulaas	Flexible and efficient measurement of dynamic bytecode metrics.	GPCE	2006	DBLP DOI BibTeX RDF	Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics
3	Dong-Heon Jung, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon, Jong Kuk Park	Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems.	CASES	2006	DBLP DOI BibTeX RDF	Bytecode-to-C, J2ME CDC, ahead-of-time compiler, precise garbage collection, java virtual machine
3	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
3	Walter Binder	A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.	APLAS	2005	DBLP DOI BibTeX RDF	Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics
3	Roberto Barbuti, Stefano Cataudella	Java bytecode verification on Java cards.	SAC	2004	DBLP DOI BibTeX RDF	abstract interpretation, Java card, Java bytecode
3	Robert F. Stärk, Joachim Schmid	Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	Java, bytecode verification, certifying compilation
3	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
3	Gerwin Klein, Martin Wildmoser	Verified Bytecode Subroutines.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification
3	David A. Basin, Stefan Friedrich, Marek Gawkowski	Bytecode Verification by Model Checking.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	model checking, static analysis, type safety, bytecode verification
3	Eva Rose	Lightweight Bytecode Verification.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	data flow analysis, proof-carrying code, bytecode verification
3	Xavier Leroy	Java Bytecode Verification: Algorithms and Formalizations.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
3	Jeung-Bo Cho, Min-Soo Jung	A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF	Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier
3	J. Doyle, C. Meudec	IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming.	PPPJ	2003	DBLP DOI BibTeX RDF	logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
3	Ben Stephenson, Wade Holst	Multicodes: optimizing virtual machines using bytecode sequences.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java, optimization, virtual machine, interpreter, JVM, bytecode
3	Kazunori Ogata, Hideaki Komatsu, Toshio Nakatani	Bytecode fetch optimization for a Java interpreter.	ASPLOS	2002	DBLP DOI BibTeX RDF	pipelined interpreter, stack caching, Java, performance, superscalar processor, PowerPC, bytecode interpreter
3	Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco	Checking security of Java bytecode by abstract interpretation.	SAC	2002	DBLP DOI BibTeX RDF	security, Java, abstract interpretation, information flow, Java bytecode
3	Tomoyuki Higuchi, Atsushi Ohori	Java bytecode as a typed term calculus.	PPDP	2002	DBLP DOI BibTeX RDF	bytecode verifier, type system, type inference, Java bytecode
3	M. Watheq El-Kharashi, Fayez El Guibaly, Kin F. Li	Adapting Tomasulo's algorithm for bytecode folding based Java processors.	SIGARCH Computer Architecture News	2001	DBLP DOI BibTeX RDF	instruction shelving, java bytecode folding, java stack folding, reservation stations, stack processors, tomasulo's algorithm, java, Java, java virtual machine, dynamic scheduling, java processors, register renaming
3	William S. Evans, Christopher W. Fraser	Bytecode Compression via Profiled Grammar Rewriting.	PLDI	2001	DBLP DOI BibTeX RDF	program compression, variable-to-fixed length codes, context-free grammars, bytecode interpretation
3	Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller	Java bytecode compression for low-end embedded systems.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	embedded systems, code compression, Java bytecode
3	Zhenyu Qian	Standard fixpoint iteration for Java bytecode verification.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Java, dataflow analysis, bytecode verification, fixpoint
3	Stephen N. Freund, John C. Mitchell	The type system for object initializatiion in the Jave bytecode language.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	bytecode languages, object initialization, Java, type checking
3	Raymie Stata, Martín Abadi	A Type System for Java Bytecode Subroutines.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	Java, Java, bytecode verification
3	John Waldron	Dynamic Bytecode Usage by Object Oriented Java Programs.	TOOLS	1999	DBLP DOI BibTeX RDF	Object Oriented Platform Design, Java, Java Virtual Machine, bytecode
3	Ramesh Radhakrishnan, Juan Rubio, Lizy Kurian John	Characterization of Java Applications at Bytecode and Ultra-SPARC Machine Code Levels.	ICCD	1999	DBLP DOI BibTeX RDF	Java, Performance Analysis, benchmarking, bytecode
2	Johannes Rudolph, Peter Thiemann	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
2	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
2	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Parametric inference of memory requirements for garbage collected languages.	ISMM	2010	DBLP DOI BibTeX RDF	live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages
2	Flavius Gruian, Mark Westmijze	Investigating hardware micro-instruction folding in a Java embedded processor.	JTRES	2010	DBLP DOI BibTeX RDF	BlueJEP, bytecode folding, embedded systems, Java processors, Bluespec
2	Danilo Ansaloni, Walter Binder, Alex Villazón, Philippe Moret	Rapid development of extensible profilers for the Java virtual machine with aspect-oriented programming.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	java, concurrency, aspect-oriented programming, profiling, bytecode instrumentation, calling context tree
2	James Hamilton, Sebastian Danicic	An Evaluation of Current Java Bytecode Decompilers.	SCAM	2009	DBLP DOI BibTeX RDF	java, bytecode, decompilation
2	Philipp Adler, Wolfram Amme	Type-Separated Bytecode - Its Construction and Evaluation.	RV	2009	DBLP DOI BibTeX RDF
2	Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang	Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.	APLAS	2009	DBLP DOI BibTeX RDF
2	Alex Villazón, Walter Binder, Philippe Moret	Flexible calling context reification for aspect-oriented programming.	AOSD	2009	DBLP DOI BibTeX RDF	calling context reification, composition of program transformations, debugging, java virtual machine, bytecode instrumentation, aspect weaving
2	Scott Sirowy, Bailey Miller, Frank Vahid	Portable SystemC-on-a-chip.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	simulation, virtual machines, emulation, SystemC, bytecode, spatial computing
2	Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret	HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java.	GPCE	2009	DBLP DOI BibTeX RDF	code hotswapping, runtime weaving, profiling, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming
2	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Live heap space analysis for languages with garbage collection.	ISMM	2009	DBLP DOI BibTeX RDF	live heap space analysis, peak memory consumption, java bytecode, low-level languages
2	Myoungkyu Song, Eli Tilevich	The anti-goldilocks debugger: helping the average bear debug transparently transformed programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bytecode enhancement, debugging, program transformation
2	Myoungkyu Song, Eli Tilevich	Enhancing source-level programming tools with an awareness of transparent program transformations.	OOPSLA	2009	DBLP DOI BibTeX RDF	debugging, program transformation, domain-specific languages, enhancement, bytecode engineering
2	Philippe Moret, Walter Binder, Alex Villazón	CCCP: complete calling context profiling in virtual execution environments.	PEPM	2009	DBLP DOI BibTeX RDF	calling context profiling, native code, java virtual machine, bytecode instrumentation
2	Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun	Feedback-directed barrier optimization in a strongly isolated STM.	POPL	2009	DBLP DOI BibTeX RDF	bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap
2	Walter Binder, Danilo Ansaloni, Alex Villazón, Philippe Moret	Parallelizing calling context profiling in virtual machines on multicores.	PPPJ	2009	DBLP DOI BibTeX RDF	calling context profiling, Java, concurrency, aspect-oriented programming, multicores, Java virtual machine, bytecode instrumentation, calling context tree
2	Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni	MAJOR: rapid tool development with aspect-oriented programming.	PPPJ	2009	DBLP DOI BibTeX RDF	rapid tool development, Java, testing, aspect-oriented programming, debugging, profiling, Java virtual machine, bytecode instrumentation
2	Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko, Jongtae Park, Bernd Burgstaller, Bernhard Scholz	TinyVM, an efficient virtual machine infrastructure for sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	binary/bytecode partitioning, mixed-mode execution, virtual machines, code compression
2	Eli Tilevich, Yannis Smaragdakis	J-Orchestra: Enhancing Java programs with distribution capabilities.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Java, middleware, distributed computing, Separation of concerns, RMI, bytecode engineering
2	Florian Kammüller	Formalizing non-interference for a simple bytecode language in Coq.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification
2	Tao Wang, Abhik Roychoudhury	Dynamic slicing on Java bytecode traces.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	debugging, Program slicing, tracing
2	Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini	Termination Analysis of Java Bytecode.	FMOODS	2008	DBLP DOI BibTeX RDF
2	Chenguang Luo, Guanhua He, Shengchao Qin	A Heap Model for Java Bytecode to Support Separation Logic.	APSEC	2008	DBLP DOI BibTeX RDF
2	Laurent Hubert	A non-null annotation inferencer for Java bytecode.	PASTE	2008	DBLP DOI BibTeX RDF	Java, static analysis, annotation, inference, NonNull
2	Francesco Logozzo, Manuel Fähndrich	On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.	CC	2008	DBLP DOI BibTeX RDF
2	Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov	Java Bytecode Verification for @NonNull Types.	CC	2008	DBLP DOI BibTeX RDF
2	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	Test Data Generation of Bytecode by CLP Partial Evaluation.	LOPSTR	2008	DBLP DOI BibTeX RDF
2	Gang Zhao, Hua Chen, Dongxia Wang	Data-Flow Based Analysis of Java Bytecode Vulnerability.	WAIM	2008	DBLP DOI BibTeX RDF
2	Walter Binder, Alex Villazón, Martin Schoeberl, Philippe Moret	Cache-aware cross-profiling for java processors.	CASES	2008	DBLP DOI BibTeX RDF	cross-profiling, embedded java processors, platform-independent dynamic metrics, bytecode instrumentation
2	Alex Villazón, Walter Binder, Philippe Moret	Aspect weaving in standard Java class libraries.	PPPJ	2008	DBLP DOI BibTeX RDF	memory leak detection, aspect-oriented programming, profiling, bytecode instrumentation, aspect weaving
2	Hannu Mäyrä, Mauno Rönkkö	Reverse Engineering Functional Classes: A Middleware Case Study.	ITNG	2008	DBLP DOI BibTeX RDF	Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode
2	Jarle Hulaas, Walter Binder	Program transformations for light-weight CPU accounting and control in the Java virtual machine.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Java, Program transformations, Resource management, Bytecode engineering
2	Futoshi Iwama, Naoki Kobayashi	A New Type System for JVM Lock Primitives.	New Generation Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
2	Dimitris Saougkos, George Manis, Konstantinos Blekas, Apostolos Zarras	Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	compression (coding), Java
2	Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh	ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java.	APSEC	2007	DBLP DOI BibTeX RDF
2	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla	Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.	PADL	2007	DBLP DOI BibTeX RDF
2	Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini	COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.	FMCO	2007	DBLP DOI BibTeX RDF
2	Lilian Burdy, Marieke Huisman, Mariela Pavlova	Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.	FASE	2007	DBLP DOI BibTeX RDF
2	Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum	A simplified java bytecode compilation system for resource-constrained embedded processors.	CASES	2007	DBLP DOI BibTeX RDF	superoperators, embedded systems, java virtual machine, adaptive optimization, profile-guided optimization
2	Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga	On bytecode slicing and aspectJ interferences.	FOAL	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, program analysis, slicing, AspectJ, interference analysis
2	Étienne Payet, Fausto Spoto	Magic-Sets Transformation for the Analysis of Java Bytecode.	SAS	2007	DBLP DOI BibTeX RDF
2	Benjamin Grégoire, Jorge Luis Sacchini	Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.	TGC	2007	DBLP DOI BibTeX RDF
2	Patryk Czarnik, Aleksy Schubert	Extending Operational Semantics of the Java Bytecode.	TGC	2007	DBLP DOI BibTeX RDF
2	Michael J. Jipping, Cameron Calka, Brian O'Neill, Christopher R. Padilla	Teaching students java bytecode using lego mindstorms robots.	SIGCSE	2007	DBLP DOI BibTeX RDF	assbly langauge, robotics, lego mindstorms, computer organization
2	Dongxi Liu	Bytecode Verification for Enhanced JVM Access Control.	ARES	2007	DBLP DOI BibTeX RDF
2	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
2	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Cost Analysis of Java Bytecode.	ESOP	2007	DBLP DOI BibTeX RDF
2	Christian Skalka	Type safe dynamic linking for JVM access control.	PPDP	2007	DBLP DOI BibTeX RDF	static type analysis, language-based security, bytecode verification, dynamic linking
2	Lilian Burdy, Mariela Pavlova	Java bytecode specification and verification.	SAC	2006	DBLP DOI BibTeX RDF
2	Damiano Zanardini	Abstract non-interference in a fragment of Java bytecode.	SAC	2006	DBLP DOI BibTeX RDF
2	Giovanni Agosta, Stefano Crespi-Reghizzi, P. Palumbo, Martino Sykora	Selective compilation via fast code analysis and bytecode tracing.	SAC	2006	DBLP DOI BibTeX RDF
2	Andrea Camesi, Jarle Hulaas, Walter Binder	Continuous Bytecode Instruction Counting for CPU Consumption Estimation.	QEST	2006	DBLP DOI BibTeX RDF
2	Ming-Yee Iu, Willy Zwaenepoel	Queryll: Java Database Queries Through Bytecode Rewriting.	Middleware	2006	DBLP DOI BibTeX RDF
2	F. Y. Huang, C. B. Jay, David B. Skillicorn	Adaptiveness in well-typed Java bytecode verification.	CASCON	2006	DBLP DOI BibTeX RDF
2	Sabine Glesner	Finite Integer Computations: An Algebraic Foundation for Their Correctness.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL
2	Attila Szegedi, Tibor Gyimóthy	Dynamic Slicing of Java Bytecode Programs.	SCAM	2005	DBLP DOI BibTeX RDF
2	Gongzhu Hu, Avinashkumar Gadapa	Compiling C++ Programs to Java Bytecode.	SNPD	2005	DBLP DOI BibTeX RDF
2	Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca	Polymorphic bytecode: compositional compilation for Java-like languages.	POPL	2005	DBLP DOI BibTeX RDF	type systems, compositional analysis
2	Samir Genaim, Fausto Spoto	Information Flow Analysis for Java Bytecode.	VMCAI	2005	DBLP DOI BibTeX RDF
2	Martin Wildmoser, Tobias Nipkow	Asserting Bytecode Safety.	ESOP	2005	DBLP DOI BibTeX RDF