Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Gilles Barthe, Guillaume Dufay	A Tool-Assisted Framework for Certified Bytecode Verification.	FASE	2004	DBLP DOI BibTeX RDF
55	Algis Rudys, Dan S. Wallach	Enforcing Java Run-Time Properties Using Bytecode Rewriting.	ISSS	2002	DBLP DOI BibTeX RDF
55	Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco	Fixing the Java bytecode verifier by a suitable type domain.	SEKE	2002	DBLP DOI BibTeX RDF
55	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri	Using Standard Verifier to Check Secure Information Flow in Java Bytecode.	COMPSAC	2002	DBLP DOI BibTeX RDF
55	Todd B. Knoblock, Jakob Rehof	Type elaboration and subtype completion for Java bytecode.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language
55	Todd B. Knoblock, Jakob Rehof	Type Elaboration and Subtype Completion for Java Bytecode.	POPL	2000	DBLP DOI BibTeX RDF
55	David A. Basin, Stefan Friedrich 0001, Joachim Posegga, Harald Vogt	Java Bytecode Verification by Model Checking.	CAV	1999	DBLP DOI BibTeX RDF
55	Stephen N. Freund, John C. Mitchell	A Formal Framework for the Java Bytecode Language and Verifier.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
55	Ian Welch, Robert J. Stroud	Kava - A Reflective Java Based on Bytecode Rewriting.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF
54	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
54	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
52	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001	Decomposing bytecode verification by abstract interpretation.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Abstract interpretation, bytecode verification
52	Thuan Quang Huynh, Abhik Roychoudhury	Memory model sensitive bytecode verification.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Programming language memory models, Software model checking, Bytecode verification
52	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
52	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
52	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
52	M. Watheq El-Kharashi, Fayez El Guibaly, Kin F. Li	Adapting Tomasulo's algorithm for bytecode folding based Java processors.	SIGARCH Comput. Archit. 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
52	John Waldron	Dynamic Bytecode Usage by Object Oriented Java Programs.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Object Oriented Platform Design, Java, Java Virtual Machine, bytecode
48	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
48	Monirul Islam Sharif, Andrea Lanzi, Jonathon T. Giffin, Wenke Lee	Automatic Reverse Engineering of Malware Emulators.	SP	2009	DBLP DOI BibTeX RDF
48	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Computing Stack Maps with Interfaces.	ECOOP	2008	DBLP DOI BibTeX RDF
48	Theo D'Hondt	Are Bytecodes an Atavism?	S3	2008	DBLP DOI BibTeX RDF	Virtual machines, interpreters, bytecodes
48	Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert	BML and Related Tools.	FMCO	2008	DBLP DOI BibTeX RDF
45	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
45	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
45	Florian Kammüller	Formalizing non-interference for a simple bytecode language in Coq.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification
45	Chenguang Luo, Guanhua He, Shengchao Qin	A Heap Model for Java Bytecode to Support Separation Logic.	APSEC	2008	DBLP DOI BibTeX RDF
45	Francesco Logozzo, Manuel Fähndrich	On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.	CC	2008	DBLP DOI BibTeX RDF
45	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Cost Analysis of Java Bytecode.	ESOP	2007	DBLP DOI BibTeX RDF
45	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
45	Martin Wildmoser, Tobias Nipkow	Asserting Bytecode Safety.	ESOP	2005	DBLP DOI BibTeX RDF
45	Ben Stephenson, Wade Holst	A quantitative analysis of Java bytecode sequences.	PPPJ	2004	DBLP DOI BibTeX RDF
45	Yangsun Lee 0002, Seungwon Na	Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems.	KES	2004	DBLP DOI BibTeX RDF
45	Claire Louise Quigley	A Programming Logic for Java Bytecode Programs.	TPHOLs	2003	DBLP DOI BibTeX RDF
45	Gerwin Klein, Martin Wildmoser	Verified Bytecode Subroutines.	TPHOLs	2003	DBLP DOI BibTeX RDF
45	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski, Joachim Posegga	Bytecode Model Checking: An Experimental Analysis.	SPIN	2002	DBLP DOI BibTeX RDF
45	Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José M. Piquer	Altering Java Semantics via Bytecode Manipulation.	GPCE	2002	DBLP DOI BibTeX RDF
45	Bernard P. Serpette, Manuel Serrano	Compiling scheme to JVM bytecode: : a performance study.	ICFP	2002	DBLP DOI BibTeX RDF	compilation, scheme, Java virtual machine, functional languages
45	Xavier Leroy	Java Bytecode Verification: An Overview.	CAV	2001	DBLP DOI BibTeX RDF
45	Jian-Zhi Wu, Jenq Kuen Lee	A Bytecode Optimizer to Engineer Bytecodes for Performance.	LCPC	2000	DBLP DOI BibTeX RDF
45	Futoshi Iwama, Naoki Kobayashi 0001	A New Type System for JVM Lock Primitives.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
45	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
45	Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja	Techniques for obtaining high performance in Java programs.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	bytecode-to-source translators, direct compilers, Java, Java, interpreters, Java virtual machine, just-in-time compilers, dynamic compilation
45	Austin Kim, J. Morris Chang	Advanced POC Model-Based Java Instruction Folding Mechanism.	EUROMICRO	2000	DBLP DOI BibTeX RDF	Instruction Folding, Java Virtual Machine (JVM), Stack, Java processor, Java bytecode, Java programming language
42	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
42	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
42	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
42	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
42	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
42	Wlodzimierz Funika, Pawel Swierszcz	Dynamic Instrumentation of Distributed Java Applications Using Bytecode Modifications.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF	J-OMIS, J-OCM, Java, instrumentation, bytecode
42	Roberto Barbuti, Stefano Cataudella 0001	Java bytecode verification on Java cards.	SAC	2004	DBLP DOI BibTeX RDF	abstract interpretation, Java card, Java bytecode
42	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
42	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
42	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
38	Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni	Efficient local type inference.	OOPSLA	2008	DBLP DOI BibTeX RDF	program analysis, type inference
38	Peter Müller 0001, Martin Nordio	Proof-transforming compilation of programs with abrupt termination.	SAVCBS	2007	DBLP DOI BibTeX RDF	proof-transforming compiler, proof-carrying code, trusted components
38	Miljan Vuletic, Christophe Dubach, Laura Pozzi, Paolo Ienne	Enabling unrestricted automated synthesis of portable hardware accelerators for virtual machines.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	virtual machine, synthesis, accelerator
38	Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau	High performance annotation-aware JVM for Java cards.	EMSOFT	2005	DBLP DOI BibTeX RDF	superoperators, virtual machine, high performance, Java card
38	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Improved Compilation of Prolog to C Using Moded Types and Determinism Information.	PADL	2004	DBLP DOI BibTeX RDF	Prolog, C, optimizing compilation, global analysis
38	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
38	Ramesh Radhakrishnan, Deependra Talla, Lizy Kurian John	Allowing for ILP in an embedded Java processor.	ISCA	2000	DBLP DOI BibTeX RDF
38	Masami Hagiya, Akihiko Tozawa	On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.	SAS	1998	DBLP DOI BibTeX RDF
36	Philipp Adler, Wolfram Amme	Type-Separated Bytecode - Its Construction and Evaluation.	RV	2009	DBLP DOI BibTeX RDF
36	Laurent Hubert	A non-null annotation inferencer for Java bytecode.	PASTE	2008	DBLP DOI BibTeX RDF	Java, static analysis, annotation, inference, NonNull
36	Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov	Java Bytecode Verification for @NonNull Types.	CC	2008	DBLP DOI BibTeX RDF
36	Gang Zhao, Hua Chen, Dongxia Wang	Data-Flow Based Analysis of Java Bytecode Vulnerability.	WAIM	2008	DBLP DOI BibTeX RDF
36	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
36	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
36	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
36	Étienne Payet, Fausto Spoto	Magic-Sets Transformation for the Analysis of Java Bytecode.	SAS	2007	DBLP DOI BibTeX RDF
36	Damiano Zanardini	Abstract non-interference in a fragment of Java bytecode.	SAC	2006	DBLP DOI BibTeX RDF
36	Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora	Selective compilation via fast code analysis and bytecode tracing.	SAC	2006	DBLP DOI BibTeX RDF
36	Andrea Camesi, Jarle Hulaas, Walter Binder	Continuous Bytecode Instruction Counting for CPU Consumption Estimation.	QEST	2006	DBLP DOI BibTeX RDF
36	Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn	Adaptiveness in well-typed Java bytecode verification.	CASCON	2006	DBLP DOI BibTeX RDF
36	Attila Szegedi, Tibor Gyimóthy	Dynamic Slicing of Java Bytecode Programs.	SCAM	2005	DBLP DOI BibTeX RDF
36	Kwang-Man Ko, Soon-Gohn Kim	Target Code Generation Using the Code Expansion Technique for Java Bytecode.	PDCAT	2004	DBLP DOI BibTeX RDF
36	Shigeru Chiba, Muga Nishizawa	An Easy-to-Use Toolkit for Efficient Java Bytecode Translators.	GPCE	2003	DBLP DOI BibTeX RDF
36	Cinzia Bernardeschi, Nicoletta De Francesco	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	VMCAI	2002	DBLP DOI BibTeX RDF
36	Tobias Nipkow	Verified Bytecode Verifiers.	FoSSaCS	2001	DBLP DOI BibTeX RDF
36	Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano	A Bytecode Translator for Distributed Execution of "Legacy" Java Software.	ECOOP	2001	DBLP DOI BibTeX RDF
36	Jianjun Zhao 0001	Dependence Analysis of Java Bytecode.	COMPSAC	2000	DBLP DOI BibTeX RDF
36	Cornelia Pusch	Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.	TACAS	1999	DBLP DOI BibTeX RDF
35	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
35	Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko 0001, 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
35	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
35	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
35	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
35	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
35	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
35	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
35	Jarle Hulaas, Walter Binder	Program transformations for portable CPU accounting and control in Java.	PEPM	2004	DBLP DOI BibTeX RDF	Java, program transformations, resource management, bytecode engineering
35	Philip W. L. Fong	Pluggable verification modules: an extensible protection mechanism for the JVM.	OOPSLA	2004	DBLP DOI BibTeX RDF	Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security
35	Walter Binder, Jarle Hulaas	Self-accounting as Principle for Portable CPU Control in Java.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, CPU accounting and control, Java, program transformations
35	Erik Hilsdale, Jim Hugunin	Advice weaving in AspectJ.	AOSD	2004	DBLP DOI BibTeX RDF	compilers, AspectJ, aspect-orientation, bytecode, weaving
35	Ginger Myles, Christian S. Collberg	Software Watermarking Through Register Allocation: Implementation, Analysis, and Attacks.	ICISC	2003	DBLP DOI BibTeX RDF	Copyright protection, register allocation, Java bytecode, software piracy, software watermarking
35	Futoshi Iwama, Naoki Kobayashi 0001	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
33	Clément Béra, Eliot Miranda, Marcus Denker, Stéphane Ducasse	Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization.	J. Object Technol.	2016	DBLP DOI BibTeX RDF
33	Lubomír Bulej, Yudi Zheng, Walter Binder	Beneath the bytecode: observing the JVM at work using bytecode instrumentation.	ICOOOLPS@ECOOP	2016	DBLP DOI BibTeX RDF
33	Hendra Gunadi	Formal Certification of Non-interferent Android Bytecode (DEX Bytecode).	ICECCS	2015	DBLP DOI BibTeX RDF
33	Gerwin Klein	Verified Java Bytecode Verification (Verified Java Bytecode Verification).	it Inf. Technol.	2005	DBLP DOI BibTeX RDF