Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Decompilation of Java bytecode to Prolog by partial evaluation.	Inf. Softw. Technol.	2009	DBLP DOI BibTeX RDF
17	Tongyang Wang, Pengfei Yu, Jun-jun Wu, Xin-long Ma	Research on On-card Bytecode Verifier for Java Cards.	J. Comput.	2009	DBLP BibTeX RDF
17	Ekaterina Stefanov, Anthony M. Sloane	On the implementation of bytecode compression for interpreted languages.	Softw. Pract. Exp.	2009	DBLP DOI BibTeX RDF
17	Luca Ferrari 0002, Haibin Zhu	Making agent roles perceivable through proxy bytecode manipulation.	CTS	2009	DBLP DOI BibTeX RDF
17	Richard Warburton, Sara Kalvala	From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.	CC	2009	DBLP DOI BibTeX RDF
17	Brian W. DeVries, Gopal Gupta 0001, Kevin W. Hamlen, Scott Moore, Meera Sridhar	ActionScript bytecode verification with co-logic programming.	PLAS	2009	DBLP DOI BibTeX RDF	ActionScript, coinductive logic programming, in-lined reference monitoring, model checking, verification
17	Yue Chen, Fei Yuan, Husheng Liao	Bytecode Generation for XQuery Compiler.	DBTA	2009	DBLP DOI BibTeX RDF
17	Hong Tang, Hua Chen, Gang Zhao, Qiang Liu, Jinjin Zhao	The Vulnerability Analysis Framework for Java Bytecode.	ICPADS	2009	DBLP DOI BibTeX RDF
17	Jan Bækgaard Pedersen, Brian Kauke	Resumable Java Bytecode - Process Mobility for the JVM.	CPA	2009	DBLP DOI BibTeX RDF
17	Yaping Chi, Zhaobin Li, Zhonghua Wang, Yong Fang	An Improved Bytecode Verification Algorithm on Java Card.	CIS (1)	2009	DBLP DOI BibTeX RDF
17	Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi	A parallel dynamic compiler for CIL bytecode.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	virtual execution system, parallel virtual machine, dynamic compilation
17	Jonathan M. Lambert, James F. Power	Platform Independent Timing of Java Virtual Machine Bytecode Instructions.	QAPL	2008	DBLP DOI BibTeX RDF
17	Dan Lu, Yoshitake Kobayashi, Ken Nakayama, Mamoru Maekawa	Java Mobile Code Dynamic Verification by Bytecode Modification for Host Confidentiality.	Int. J. Netw. Secur.	2008	DBLP BibTeX RDF
17	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 embedded systems.	Comput. Lang. Syst. Struct.	2008	DBLP DOI BibTeX RDF
17	Sudipto Ghosh, John L. Kelly	Bytecode fault injection for Java software.	J. Syst. Softw.	2008	DBLP DOI BibTeX RDF
17	Lennart Beringer, Martin Hofmann 0001	A Bytecode Logic for JML and Types.	Arch. Formal Proofs	2008	DBLP BibTeX RDF
17	Francisco Bavera, Eduardo Bonelli	Type-based information flow analysis for bytecode languages with variable object field policies.	SAC	2008	DBLP DOI BibTeX RDF
17	James J. Hunt, Isabel Tonin, Fridtjof Siebert	Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	realtime Java, verification, data flow analysis, worst case execution time, formal analysis
17	Thomas Preußer, Rainer G. Spallek	Java-Programmed Bootloading in Spite of Load-Time Code Patching on a Minimal Embedded Bytecode Processor.	ESA	2008	DBLP BibTeX RDF
17	Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa	Java Bytecode Dependence Analysis for Secure Information Flow.	Int. J. Netw. Secur.	2007	DBLP BibTeX RDF
17	Giovanni Lagorio	Modelling a JVM for polymorphic bytecode.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
17	Yoohoon Kang, Chanjin Park, Chisu Wu	Reverse-engineering 1-n associations from Java bytecode using alias analysis.	Inf. Softw. Technol.	2007	DBLP DOI BibTeX RDF
17	Christian S. Collberg, Ginger Myles, Michael Stepp	An empirical study of Java bytecode programs.	Softw. Pract. Exp.	2007	DBLP DOI BibTeX RDF
17	Márcio E. Delamaro, Paulo Augusto Nardi, Otávio Lemos, Paulo César Masiero, Edmundo Sérgio Spoto, José Carlos Maldonado, Auri M. R. Vincenzi	Static Analysis of Java Bytecode for Domain-specific Software Testing.	SBES	2007	DBLP DOI BibTeX RDF
17	Walter Binder, Jarle Hulaas, Philippe Moret	Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation.	SCAM	2007	DBLP DOI BibTeX RDF
17	Walter Binder, Jarle Hulaas	Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting.	QAPL	2006	DBLP DOI BibTeX RDF
17	Marcus Denker, Stéphane Ducasse, Éric Tanter	Runtime bytecode transformation for Smalltalk.	Comput. Lang. Syst. Struct.	2006	DBLP DOI BibTeX RDF
17	Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001	Using Control Dependencies for Space-Aware Bytecode Verification.	Comput. J.	2006	DBLP DOI BibTeX RDF
17	Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, José Carlos Maldonado, W. Eric Wong	Establishing structural testing criteria for Java bytecode.	Softw. Pract. Exp.	2006	DBLP DOI BibTeX RDF
17	Ye Henry Tian	String Concatenation Optimization on Java Bytecode.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
17	Simon D. Hammond, David Lacey	Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode.	CC	2006	DBLP DOI BibTeX RDF
17	Lennart Beringer, Martin Hofmann 0001	A Bytecode Logic for JML and Types.	APLAS	2006	DBLP DOI BibTeX RDF
17	Rean Griffith, Gail E. Kaiser	A Runtime Adaptation Framework for Native C and Bytecode Applications.	ICAC	2006	DBLP DOI BibTeX RDF
17	Kung Chen, Ju-Bing Chen	On instrumenting obfuscated java bytecode with aspects.	SESS@ICSE	2006	DBLP DOI BibTeX RDF
17	Walter Binder, Jarle Hulaas	Using Bytecode Instruction Counting as Portable CPU Consumption Metric.	QAPL	2005	DBLP DOI BibTeX RDF
17	Andreas Gal, Christian W. Probst, Michael Franz	Integrated Java Bytecode Verification.	AIOOL@VMCAI	2005	DBLP DOI BibTeX RDF
17	Fabio Mascarenhas, Roberto Ierusalimschy	Running Lua Scripts on the CLR through Bytecode Translation.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
17	Antonella Santone, Gigliola Vaglini	A local approach for temporal model checking of Java bytecode.	J. Comput. Syst. Sci.	2005	DBLP DOI BibTeX RDF
17	Mario Latendresse, Marc Feeley	Generation of fast interpreters for Huffman compressed bytecode.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
17	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi	Exploiting runtime bytecode manipulation to add roles to Java agents.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
17	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi	Injecting roles in Java agents through runtime bytecode manipulation.	IBM Syst. J.	2005	DBLP DOI BibTeX RDF
17	Marcus Denker, Stéphane Ducasse, Éric Tanter	Runtime Bytecode Transformation for Smalltalk.	ESUG	2005	DBLP BibTeX RDF
17	Min-Sik Jin, Min-Soo Jung	A Study on How to Reduce Time and Space by Redefining New Bytecode for Java Card.	RTCSA	2005	DBLP DOI BibTeX RDF
17	Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza	jMoped: A Java Bytecode Checker Based on Moped.	TACAS	2005	DBLP DOI BibTeX RDF
17	Philip W. L. Fong	Link-Time Enforcement of Confined Types for JVM Bytecode.	PST	2005	DBLP BibTeX RDF
17	Gerwin Klein, Martin Strecker	Verified bytecode verification and type-certifying compilation.	J. Log. Algebraic Methods Program.	2004	DBLP DOI BibTeX RDF
17	Karsten Klohs, Uwe Kastens	Memory Requirements of Java Bytecode Verification on Limited Devices.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
17	Alessandro Coglio	Simple verification technique for complex Java bytecode subroutines.	Concurr. Pract. Exp.	2004	DBLP DOI BibTeX RDF
17	Jien-Tsai Chan, Wuu Yang	Advanced obfuscation techniques for Java bytecode.	J. Syst. Softw.	2004	DBLP DOI BibTeX RDF
17	Cinzia Bernardeschi, Luca Martini, Paolo Masci 0001	Java bytecode verification with dynamic structures.	IASTED Conf. on Software Engineering and Applications	2004	DBLP BibTeX RDF
17	Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa	Java mobile code security by bytecode behavior analysis.	IASTED Conf. on Software Engineering and Applications	2004	DBLP BibTeX RDF
17	Mikhail Dmitriev 0001	Selective profiling of Java applications using dynamic bytecode instrumentation.	ISPASS	2004	DBLP DOI BibTeX RDF
17	Brian Alliet, Adam Megacz	Complete translation of unsafe native code to safe bytecode.	IVME	2004	DBLP DOI BibTeX RDF
17	Iain McLeod, James Huw Evans, Philip D. Gray, Rebecca Mancy	Instrumenting Bytecode for the Production of Usage Data.	CADUI	2004	DBLP BibTeX RDF
17	Claire Louise Quigley	A programming logic for Java bytecode programs.		2004	RDF
17	Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco	Java bytecode verification for secure information flow.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
17	Keith Seymour, Jack J. Dongarra	Automatic translation of Fortran to JVM bytecode.	Concurr. Comput. Pract. Exp.	2003	DBLP DOI BibTeX RDF
17	Alessandro Coglio	Improving the official specification of Java bytecode verification.	Concurr. Comput. Pract. Exp.	2003	DBLP DOI BibTeX RDF
17	Eric Gamess	Execution of Sequential and Parallel Java Bytecode in a Metacomputing System.	Parallel Process. Lett.	2003	DBLP DOI BibTeX RDF
17	Gerwin Klein, Tobias Nipkow	Verified bytecode verifiers.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	Tobias Nipkow	Java Bytecode Verification.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF
17	Etienne Gagnon, Laurie J. Hendren	Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences.	CC	2003	DBLP DOI BibTeX RDF
17	Mario Latendresse, Marc Feeley	Generation of fast interpreters for Huffman compressed bytecode.	IVME	2003	DBLP DOI BibTeX RDF
17	Ludovic Henrio, Bernard P. Serpette	A Parametrized Polyvariant Bytecode Verifier.	JFLA	2003	DBLP BibTeX RDF
17	Gerwin Klein	Verified Java Bytecode Verification.	Ausgezeichnete Informatikdissertationen	2003	DBLP BibTeX RDF
17	Do-Woo Kim, Min-Soo Jung	An Efficient Optimization Algorithm of Java Bytecode to Reduce Network Traffic.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
17	Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue	Design and Implementation of Bytecode-based Java Slicing System.	SCAM	2003	DBLP DOI BibTeX RDF
17	Gerwin Klein	Verified Java bytecode verification.		2003	RDF
17	Parker Abercrombie, Murat Karaorman	jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java.	RV@FLoC	2002	DBLP DOI BibTeX RDF
17	Jonathan J. Cook	Reverse Execution of Java Bytecode.	Comput. J.	2002	DBLP DOI BibTeX RDF
17	Xavier Leroy	Bytecode verification on Java smart cards.	Softw. Pract. Exp.	2002	DBLP DOI BibTeX RDF
17	Diarmuid P. O'Donoghue, Aine Leddy, James F. Power, John Waldron	Bigram analysis of Java bytecode sequences.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java
17	Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio	Refinement Algebra for Formal Bytecode Generation.	ICFEM	2002	DBLP DOI BibTeX RDF
17	Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa	Supporting objects in run-time bytecode specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program transformation, partial evaluation, specialization, object-oriented paradigm
17	Antonella Santone, Gigliola Vaglini	Local model checking of Java bytecode.	SEKE	2002	DBLP DOI BibTeX RDF	model checking, temporal logic, software systems, tableau system
17	Ki-Tae Kim, Hoon-Joon Kouh, Weon-Hee Yoo	Design of Translator for Generating Java Bytecode in Distributed Environment.	PDPTA	2002	DBLP BibTeX RDF
17	Gerwin Klein, Tobias Nipkow	Verified lightweight bytecode verification.	Concurr. Comput. Pract. Exp.	2001	DBLP DOI BibTeX RDF
17	Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst	The Hyperion system: Compiling multithreaded Java bytecode for distributed execution.	Parallel Comput.	2001	DBLP DOI BibTeX RDF
17	Daniel Jackson 0001, Allison Waingold	Lightweight Extraction of Object Models from Bytecode.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	design conformance, lightweight analysis, reverse engineering, program understanding, type inference, Object model, class diagram
17	Etienne M. Gagnon, Laurie J. Hendren	SableVM: A Research Framework for the Efficient Execution of Java Bytecode.	Java Virtual Machine Research and Technology Symposium	2001	DBLP BibTeX RDF
17	Fridtjof Siebert, Andy Walter	Deterministic Execution of Java's Primitive Bytecode Operations.	Java Virtual Machine Research and Technology Symposium	2001	DBLP BibTeX RDF
17	Nouredine Melab, Laurent Deruelle, Mourad Bouneffa	A Platform for Instrumentation-based Profiling of Distributed Bytecode Applications.	PDCS	2001	DBLP BibTeX RDF
17	Y. Lee, J. Kim, K. Hong, Se Man Oh	Design and Implementation of a Java Bytecode Optimizer.	IMSA	2001	DBLP BibTeX RDF
17	Paolo Maggi, Riccardo Sisto	Using Data Flow Analysis to Infer Type Information in Java Bytecode.	SCAM	2001	DBLP DOI BibTeX RDF	Evolution, Source Code Analysis, Call-Graph, Dominance Tree
17	Stephane Doyon, Mourad Debbabi	On object initialization in the Java bytecode.	Comput. Commun.	2000	DBLP DOI BibTeX RDF
17	Peter Bertelsen	Dynamic semantics of Java bytecode.	Future Gener. Comput. Syst.	2000	DBLP DOI BibTeX RDF
17	Raja Vallée-Rai, Patrick Lam 0001, Clark Verbrugge, Patrice Pominville, Feng Qian	Soot (poster session): a Java bytecode optimization and annotation framework.	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
17	Stephane Doyon, Mourad Debbabi	Verifying Object Initialization in the Java Bytecode Language.	SAC (2)	2000	DBLP DOI BibTeX RDF
17	Walter Dosch, Sönke Magnussen	Transformational derivation of a bytecode verifier.	CATA	2000	DBLP BibTeX RDF
17	Le Xuan Thang	Berlioz: Compiling Oz to Java Bytecode.	APLAS	2000	DBLP BibTeX RDF
17	Lee-Ren Ton, Lung-Chung Chang, Chung-Ping Chung	Exploiting Java Bytecode Parallelism by Enhanced POC Folding Model (Research Note).	Euro-Par	2000	DBLP DOI BibTeX RDF
17	Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst	Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper).	Euro-Par	2000	DBLP DOI BibTeX RDF
17	Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau	Efficient Inference of Static Types for Java Bytecode.	SAS	2000	DBLP DOI BibTeX RDF
17	Takahiro Sakamoto, Tatsurou Sekiguchi, Akinori Yonezawa	Bytecode Transformation for Portable Thread Migration in Java.	ASA/MA	2000	DBLP DOI BibTeX RDF
17	Kab-Lae Lee, Ki-Tae Kim, Chang-Mo Yang, Weon-Hee Yoo	Design of Translator for generating Java Bytecode from Thread code of Multithreaded Models.	PDPTA	2000	DBLP BibTeX RDF
17	Eduard Lukschandl, Henrik Borgvall, Lars Nohle, Mats G. Nordahl, Peter Nordin	Distributed Java Bytecode Genetic Programming with Telecom Applications.	EuroGP	2000	DBLP DOI BibTeX RDF
17	Gary Meehan, Mike Joy	Compiling Lazy Functional Programs to Java Bytecode.	Softw. Pract. Exp.	1999	DBLP DOI BibTeX RDF
17	Ludovic Casset, Jean-Louis Lanet	How to Formally Specify the Java Bytecode Semantivs Using the B Method.	ECOOP Workshops	1999	DBLP BibTeX RDF
17	Gongzhu Hu	Code motion for loop optimization with java bytecode.	CATA	1999	DBLP BibTeX RDF
17	Don Lance, Roland H. Untch, Nancy J. Wahl	Bytecode-based Java program analysis.	ACM Southeast Regional Conference	1999	DBLP DOI BibTeX RDF