Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini	Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.	Softw. Pract. Exp.	2004	DBLP DOI BibTeX RDF
32	James Alexander George Hamilton, Sebastian Danicic	An Evaluation of Current Java Bytecode Decompilers.	SCAM	2009	DBLP DOI BibTeX RDF	java, bytecode, decompilation
32	Robert O'Callahn	A Simple, Comprehensive Type System for Java Bytecode Subroutines.	POPL	1999	DBLP DOI BibTeX RDF	polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode
32	Allen Goldberg	A Specification of Java Loading and Bytecode Verification.	CCS	1998	DBLP DOI BibTeX RDF	Java, Java, formal specification, flow analysis, bytecode verification
29	Fei Yuan, Yue Chen, Husheng Liao	XQC: A Compiler for XQuery.	CSSE (2)	2008	DBLP DOI BibTeX RDF
29	Michael Batchelder, Laurie J. Hendren	Obfuscating Java: The Most Pain for the Least Gain.	CC	2007	DBLP DOI BibTeX RDF
29	Nadia Belblidia, Mourad Debbabi	Formalizing AspectJ Weaving for Static Pointcuts.	SEFM	2006	DBLP DOI BibTeX RDF
29	Young-Kook Kim, Sun-Moon Jo, Weon-Hee Yoo	Design of Translator for Stack-Based Codes from 3-Address Codes in CTOC.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	Optimizer, Translator
29	Silvano Dal-Zilio, Régis Gascon	Resource Bound Certification for a Tail-Recursive Virtual Machine.	APLAS	2005	DBLP DOI BibTeX RDF
29	Gilles Barthe, Mariela Pavlova, Gerardo Schneider	Precise Analysis of Memory Consumption using Program Logics.	SEFM	2005	DBLP DOI BibTeX RDF
29	Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs	An execution layer for aspect-oriented programming languages.	VEE	2005	DBLP DOI BibTeX RDF	virtual machine support, aspect-oriented programming
29	Mathew Zaleski, Marc Berndl, Angela Demke Brown	Mixed mode execution with context threading.	CASCON	2005	DBLP BibTeX RDF
29	Chandra Krintz	Improving mobile program performance through the use of a hybrid intermediate representation.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java
29	Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa	Tool-Assisted Specification and Verification of the JavaCard Platform.	AMAST	2002	DBLP DOI BibTeX RDF
29	Do-Woo Kim, Min-Soo Jung	A Study on the Optimization of Class File for Java Card Platform.	ICOIN (1)	2002	DBLP DOI BibTeX RDF
29	Ramesh Radhakrishnan, Narayanan Vijaykrishnan, Lizy Kurian John, Anand Sivasubramaniam, Juan Rubio 0001, Jyotsna Sabarinathan	Java Runtime Systems: Characterization and Architectural Implications.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	CPU and cache architectures, Java, performance evaluation, benchmarking, ILP, Java bytecodes
29	Jan Hoogerbrugge, Lex Augusteijn	Pipelined Java Virtual Machine Interpreters.	CC	2000	DBLP DOI BibTeX RDF
29	Byung-Sun Yang, Soo-Mook Moon, Seongbae Park, Junpyo Lee, SeungIl Lee, Jinpyo Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman	LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Java JIT compilation, register allocation
26	Patryk Czarnik, Aleksy Schubert	Extending Operational Semantics of the Java Bytecode.	TGC	2007	DBLP DOI BibTeX RDF
26	Dongxi Liu	Bytecode Verification for Enhanced JVM Access Control.	ARES	2007	DBLP DOI BibTeX RDF
26	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
26	Gongzhu Hu, Avinashkumar Gadapa	Compiling C++ Programs to Java Bytecode.	SNPD	2005	DBLP DOI BibTeX RDF
26	Tao Wang, Abhik Roychoudhury	Using Compressed Bytecode Traces for Slicing Java Programs.	ICSE	2004	DBLP DOI BibTeX RDF
26	Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec	A Functional Scenario for Bytecode Verification of Resource Bounds.	CSL	2004	DBLP DOI BibTeX RDF
26	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi	Manipulation of Java agent bytecode to add roles.	PPPJ	2003	DBLP DOI BibTeX RDF
26	Chris Laffra, Martin Lippert	Visualizing and AspectJ-enabling eclipse plugins using bytecode instrumentation.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	cross-plugin pointcuts, visualization, aspect-oriented programming, modularization, reflection, eclipse, AspectJ, introspection, plugins
26	Jeremy Singer	Porting legacy interpretive bytecode to the CLR.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java
26	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski	Verified Bytecode Model Checkers.	TPHOLs	2002	DBLP DOI BibTeX RDF
26	Xavier Leroy	On-Card Bytecode Verification for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
26	Keith Seymour, Jack J. Dongarra	Automatic translation of Fortran to JVM bytecode.	Java Grande	2001	DBLP DOI BibTeX RDF	Java, FORTRAN
26	Hidehiko Masuhara, Akinori Yonezawa	Run-Time Bytecode Specialization.	PADO	2001	DBLP DOI BibTeX RDF
26	Austin Kim, J. Morris Chang	Java Bytecode Optimization with Advanced Instruction Folding Mechanism.	ISHPC	2000	DBLP DOI BibTeX RDF
26	Frédéric Painchaud, Mourad Debbabi	On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier.	WETICE	2000	DBLP DOI BibTeX RDF
25	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
25	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
25	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
25	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
25	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
25	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
25	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
25	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
25	Jarle Hulaas, Walter Binder	Program transformations for light-weight CPU accounting and control in the Java virtual machine.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Java, Program transformations, Resource management, Bytecode engineering
25	Sabine Glesner	Finite Integer Computations: An Algebraic Foundation for Their Correctness.	Formal Aspects 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
25	Walter Binder	Portable, efficient, and accurate sampling profiling for java-based middleware.	SEM	2005	DBLP DOI BibTeX RDF	sampling profiling, Java, program transformations, JVM, bytecode instrumentation
25	Martin Keschenau	Reverse engineering of UML specifications from java programs.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	java, UML, reverse engineering, class diagrams, bytecode
25	Walter Binder, Jarle Hulaas	Extending Standard Java Runtime Systems for Resource Management.	SEM	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, JDK, Java, program transformations, resource management
25	Alex Iliasov	Templates-based portable just-in-time compiler.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	code, templates, just-in-time compilation, inlining, dynamic code generation, bytecode interpretation
25	John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi	Extending Java for Package based Access Control.	ACSAC	2000	DBLP DOI BibTeX RDF	package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation
25	Ian Piumarta, Fabio Riccardi	Optimizing Direct-threaded Code by Selective Inlining.	PLDI	1998	DBLP DOI BibTeX RDF	threaded code, just-in-time compilation, inlining, dynamic translation, bytecode interpretation
19	Hyun Cho	Using metaprogramming to implement a testing framework.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	transformation, metaprogramming, testing framework
19	Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum	Impact of JVM superoperators on energy consumption in resource-constrained embedded systems.	LCTES	2008	DBLP DOI BibTeX RDF	superoperators, embedded systems, java virtual machine, energy estimation, profile-guided optimization
19	A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou 0002, Hilary Branske	CMV: automatic verification of complete mediation for java virtual machines.	AsiaCCS	2008	DBLP DOI BibTeX RDF	complete mediation, runtime monitoring
19	Gregory B. Prokopski, Clark Verbrugge	Analyzing the performance of code-copying virtual machines.	OOPSLA	2008	DBLP DOI BibTeX RDF	code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction
19	Walter Binder, Martin Schoeberl, Philippe Moret, Alex Villazón	Cross-Profiling for Embedded Java Processors.	QEST	2008	DBLP DOI BibTeX RDF
19	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
19	Michael Kuperberg, Klaus Krogmann, Ralf H. Reussner	Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models.	CBSE	2008	DBLP DOI BibTeX RDF
19	Michael Leuschel	Towards Demonstrably Correct Compilation of Java Byte Code.	FMCO	2008	DBLP DOI BibTeX RDF
19	Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo	Towards execution time estimation in abstract machine-based languages.	PPDP	2008	DBLP DOI BibTeX RDF	logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation
19	Ryan M. Golbeck, Samuel Davis, Immad Naseer, Igor Ostrovsky, Gregor Kiczales	Lightweight virtual machine support for AspectJ.	AOSD	2008	DBLP DOI BibTeX RDF	aspect-oriented programming, AspectJ
19	Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001	Proof-Transforming Compilation of Eiffel Programs.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
19	Byung-Sun Yang, Junpyo Lee, SeungIl Lee, Seongbae Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman, Soo-Mook Moon	Efficient Register Mapping and Allocation in LaTTe, an Open-Source Java Just-in-Time Compiler.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	register mapping, copy coalescing, Java virtual machine, register allocation, just-in-time compilation
19	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	An Evolutionary Approach for Performing Structural Unit-Testing on Third-Party Object-Oriented Java Software.	NICSO	2007	DBLP DOI BibTeX RDF
19	ZhiLei Chai, Wenke Zhao, Wenbo Xu 0001	Real-time Java processor optimized for RTSJ.	SAC	2007	DBLP DOI BibTeX RDF	Real-time Java platform, Real-time Java processor, Java Virtual Machine (JVM), Real-time specification for Java (RTSJ), Worst Case Execution Time (WCET)
19	Vincenzo Gervasi, Giacomo A. Galilei	Software Manipulation with Annotations in Java.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
19	Rasmus Johansen, Peter Sestoft, Stephan Spangenberg	Zero-Overhead Composable Aspects for .NET.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
19	Pierre Paradinas, Julien Cordry, Samia Bouzefrane 0001	Performance Evaluation of Java Card Bytecodes.	WISTP	2007	DBLP DOI BibTeX RDF	Performance, Benchmark, Java Card
19	Flavius Gruian, Mark Westmijze	BlueJEP: a flexible and high-performance Java embedded processor.	JTRES	2007	DBLP DOI BibTeX RDF	embedded systems, Java processor, Bluespec
19	Nghi Nguyen, Angel Dominguez, Rajeev Barua	Scratch-pad memory allocation without compiler support for java applications.	CASES	2007	DBLP DOI BibTeX RDF	java, embedded systems, compiler, JVM, memory allocation, JIT, scratch-pad
19	Christoph Bockisch, Mira Mezini	A flexible architecture for pointcut-advice language implementations.	VMIL	2007	DBLP DOI BibTeX RDF
19	Daniel A. Sadilek	Energy-aware compilation for wireless sensor networks.	MidSens	2007	DBLP DOI BibTeX RDF	wireless sensor networks, compilation, virtual machines, high-level languages, energy-awareness, network reprogramming
19	Simon Kågström, Håkan Grahn, Lars Lundberg	Cibyl: an environment for language diversity on mobile devices.	VEE	2007	DBLP DOI BibTeX RDF	programming environment, portability, J2ME, binary translation
19	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
19	Hiroshi Yamauchi, Jan Vitek	Combining Offline and Online Optimizations: Register Allocation and Method Inlining.	APLAS	2006	DBLP DOI BibTeX RDF
19	Nicu G. Fruja	Type Safety of Generics for the .NET Common Language Runtime.	ESOP	2006	DBLP DOI BibTeX RDF
19	Hai-Chen Wang, Chung-Kwong Yuen	Exploiting dataflow to extract Java instruction level parallelism on a tag-based multi-issue semi in-order (TMSI) processor.	IPDPS	2006	DBLP DOI BibTeX RDF
19	Nadia Belblidia, Mourad Debbabi	Towards a Formal Semantics for AspectJ Weaving.	JMLC	2006	DBLP DOI BibTeX RDF
19	Hitoshi Oi	Instruction folding in a hardware-translation based java virtual machine.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	hardware-translation, instruction folding, performance evaluation, java virtual machine
19	Walter Binder, Jarle Hulaas, Philippe Moret	A Quantitative Evaluation of the Contribution of Native Code to Java Workloads.	IISWC	2006	DBLP DOI BibTeX RDF
19	Paolo Falcarin, Marco Torchiano	Automated Reasoning on Aspects Interactions.	ASE	2006	DBLP DOI BibTeX RDF
19	Gilles Barthe, Tamara Rezk, David A. Naumann	Deriving an Information Flow Checker and Certifying Compiler for Java.	S&P	2006	DBLP DOI BibTeX RDF
19	Pawel Garbacki, Bartosz Biskupski, Henri E. Bal	Transparent Fault Tolerance for Grid Applications.	EGC	2005	DBLP DOI BibTeX RDF
19	Hitoshi Oi	On the design of the local variable cache in a hardware translation-based java virtual machine.	LCTES	2005	DBLP DOI BibTeX RDF	hardware-translation, memory hierarchy, java virtual machine
19	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	JVer: A Java Verifier.	CAV	2005	DBLP DOI BibTeX RDF
19	José F. Morales 0001, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo	A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.	ICLP	2005	DBLP DOI BibTeX RDF
19	Yunhe Shi, David Gregg, Andrew Beatty, M. Anton Ertl	Virtual machine showdown: stack versus registers.	VEE	2005	DBLP DOI BibTeX RDF	register architecture, stack architecture, virtual machine, interpreter
19	Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua	a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.	PPPJ	2004	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM
19	Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora	JIST: Just-in-Time Scheduling Translation for Parallel Processors.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
19	Lu Yan, Zheng Liang	Accelerating Java for Ubiquitous Devices.	CIT	2004	DBLP DOI BibTeX RDF
19	Tobias Lindahl, Konstantinos Sagonas	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.	APLAS	2004	DBLP DOI BibTeX RDF	Compile-time program checking, software development, software tools, defect detection, software quality assurance
19	Emanuele Lattanzi, Aman Gayasen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Luca Benini, Alessandro Bogliolo	Improving Java Performance Using Dynamic Method Migration on FPGAs.	IPDPS	2004	DBLP DOI BibTeX RDF
19	Matteo Corti 0002, Thomas R. Gross	Approximation of the worst-case execution time using structural analysis.	EMSOFT	2004	DBLP DOI BibTeX RDF	worst-case execution time (WCET), structural analysis, real-time computing
19	Bahador Ghahramani, Mark A. Pauley	Java in High-Performance Environments.	Computer	2003	DBLP DOI BibTeX RDF
19	D. Curran, Neil J. Hurley, Mel Ó Cinnéide	Securing Java through software watermarking.	PPPJ	2003	DBLP DOI BibTeX RDF	Java protection, copyright infringement, software watermarking, spread spectrum watermarking
19	Eric Bodden	A high-level view of Java applications.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	call graph visualization, Java, static analysis
19	Martin Hofmann 0001	Certification of Memory Usage.	ICTCS	2003	DBLP DOI BibTeX RDF
19	Lin Lin, Linpeng Huang, Yongqiang Sun	Optimizing Java Based Web Services by Partial Evaluation.	GCC (1)	2003	DBLP DOI BibTeX RDF
19	Gilles Barthe, Sorin Stratulat	Validation of the JavaCard Platform with Implicit Induction Techniques.	RTA	2003	DBLP DOI BibTeX RDF
19	C. John Glossner, Michael J. Schulte, Stamatis Vassiliadis	A Java-Enabled DSP.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
19	Martin Strecker	Investigating Type-Certifying Compilation with Isabelle.	LPAR	2002	DBLP DOI BibTeX RDF
19	Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder	Understanding the performance of the Java operating system JX using visualization techniques.	Java Grande	2002	DBLP DOI BibTeX RDF	Java operating system, performance visualization techniques