Search results for "Java bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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	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	Roberto Barbuti, Stefano Cataudella	Java bytecode verification on Java cards.	SAC	2004	DBLP DOI BibTeX RDF	abstract interpretation, Java card, Java bytecode
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	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
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	Michael Orlov, Moshe Sipper	Genetic programming in the wild: evolving unrestricted bytecode.	GECCO	2009	DBLP DOI BibTeX RDF	software evolution, java bytecode
2	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
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	Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov	Java Bytecode Verification for @NonNull Types.	CC	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	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	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	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	Étienne Payet, Fausto Spoto	Magic-Sets Transformation for the Analysis of Java Bytecode.	SAS	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	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Cost Analysis of Java Bytecode.	ESOP	2007	DBLP DOI BibTeX RDF
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	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
2	F. Y. Huang, C. B. Jay, David B. Skillicorn	Adaptiveness in well-typed Java bytecode verification.	CASCON	2006	DBLP DOI BibTeX RDF
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	Samir Genaim, Fausto Spoto	Information Flow Analysis for Java Bytecode.	VMCAI	2005	DBLP DOI BibTeX RDF
2	Yangsun Lee, Seungwon Na	Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems.	KES	2004	DBLP DOI BibTeX RDF
2	Shigeru Chiba, Muga Nishizawa	An Easy-to-Use Toolkit for Efficient Java Bytecode Translators.	GPCE	2003	DBLP DOI BibTeX RDF
2	Claire L. Quigley	A Programming Logic for Java Bytecode Programs.	TPHOLs	2003	DBLP DOI BibTeX RDF
2	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
2	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
2	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri	Using Standard Verifier to Check Secure Information Flow in Java Bytecode.	COMPSAC	2002	DBLP DOI BibTeX RDF
2	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Bytecode: Problems, Traps and Pitfalls.	CC	2002	DBLP DOI BibTeX RDF
2	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
2	Cinzia Bernardeschi, Nicoletta De Francesco	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	VMCAI	2002	DBLP DOI BibTeX RDF
2	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
2	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
2	Todd B. Knoblock, Jakob Rehof	Type Elaboration and Subtype Completion for Java Bytecode.	POPL	2000	DBLP DOI BibTeX RDF
2	Jianjun Zhao	Dependence Analysis of Java Bytecode. (PDF / PS)	COMPSAC	2000	DBLP DOI BibTeX RDF
2	Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan	Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?	CC	2000	DBLP DOI BibTeX RDF
2	Cornelia Pusch	Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.	TACAS	1999	DBLP DOI BibTeX RDF
2	Stephen N. Freund, John C. Mitchell	A Formal Framework for the Java Bytecode Language and Verifier.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
2	David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt	Java Bytecode Verification by Model Checking.	CAV	1999	DBLP DOI BibTeX RDF
2	Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan	Soot - a Java bytecode optimization framework.	CASCON	1999	DBLP DOI BibTeX RDF	Java
2	Stephen N. Freund, John C. Mitchell	A Type System for Object Initialization in the Java Bytecode Language.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
2	Cheng-Hsueh A. Hsieh, John C. Gyllenhaal, Wen-mei W. Hwu	Java Bytecode to Native Code Translation: The Caffeine Prototype and Preliminary Results.	MICRO	1996	DBLP BibTeX RDF	Java
1	Damon Fenacci, Kenneth MacKenzie	Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Jaroslav Bauml, Premek Brada	Reconstruction of Type Information from Java Bytecode for Component Compatibility.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert	A Dozen Instructions Make Java Bytecode.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Marc Brockschmidt, Carsten Otto, Jürgen Giesl	Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.	RTA	2011	DBLP DOI BibTeX RDF
1	Antonella Santone	Clone detection through process algebras and Java bytecode.	IWSC	2011	DBLP DOI BibTeX RDF
1	Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini	Using abstract interpretation to add type checking for interfaces in Java bytecode verification.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Fausto Spoto, Fred Mesnard, Étienne Payet	A termination analyzer for Java bytecode based on path-length.	ACM Trans. Program. Lang. Syst.	2010	DBLP DOI BibTeX RDF
1	Roberto Barbuti, Nicoletta De Francesco, Luca Tesei	An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.	Comput. J.	2010	DBLP DOI BibTeX RDF
1	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla	Verification of Java Bytecode using Analysis and Transformation of Logic Programs	CoRR	2010	DBLP BibTeX RDF
1	Laurent Hubert	A Non-Null Annotation Inferencer for Java Bytecode	CoRR	2010	DBLP BibTeX RDF
1	Mads Dam, Andreas Lundblad	A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode	CoRR	2010	DBLP BibTeX RDF
1	Fausto Spoto, Étienne Payet	Magic-sets for localised analysis of Java bytecode.	Higher-Order and Symbolic Computation	2010	DBLP DOI BibTeX RDF
1	Luis Quesada 0002, Fernando Berzal, Juan C. Cubero	JSimil - A Java Bytecode Clone Detector.	ICSOFT	2010	DBLP BibTeX RDF
1	Jonathan Lee, Shin-Jie Lee, Hsi-Min Chen, Jeremy Liang, Chia-Ling Wu, Yao-Chiang Wang	Activating mobile agents from contactless smart cards through a Java bytecode extractor.	SMC	2010	DBLP DOI BibTeX RDF
1	Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla	Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.	FACS	2010	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Neha Rungta	Symbolic PathFinder: symbolic execution of Java bytecode.	ASE	2010	DBLP DOI BibTeX RDF
1	Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl	Automated Termination Analysis of Java Bytecode by Term Rewriting.	RTA	2010	DBLP DOI BibTeX RDF
1	Delphine Demange, Thomas P. Jensen, David Pichardie	A Provably Correct Stackless Intermediate Representation for Java Bytecode.	APLAS	2010	DBLP DOI BibTeX RDF
1	Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl	Termination Graphs for Java Bytecode.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
1	Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin	Stack Bound Inference for Abstract Java Bytecode.	TASE	2010	DBLP DOI BibTeX RDF
1	David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella	Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.	TGC	2010	DBLP DOI BibTeX RDF
1	Florence Charreteur, Arnaud Gotlieb	Constraint-Based Test Input Generation for Java Bytecode.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard	Schedulability analysis for Java finalizers.	JTRES	2010	DBLP DOI BibTeX RDF	schedulability, Java, model checking, real-time, finalizers
1	Pradeep Rao, Kazuaki Murakami	Identifying Processor Bottlenecks in Virtual Machine Based Execution of Java Bytecode.	IEICE Transactions	2009	DBLP BibTeX RDF
1	Fausto Spoto, Lunjin Lu, Fred Mesnard	Using CLP Simplifications to Improve Java Bytecode Termination Analysis.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo	User-Definable Resource Usage Bounds Analysis for Java Bytecode.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Étienne Payet, Fausto Spoto	Experiments with Non-Termination Analysis for Java Bytecode.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Decompilation of Java bytecode to Prolog by partial evaluation.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	James Hamilton, Sebastian Danicic	An Evaluation of Current Java Bytecode Decompilers.	SCAM	2009	DBLP DOI BibTeX RDF	java, bytecode, decompilation
1	Jan Bækgaard Pedersen, Brian Kauke	Resumable Java Bytecode - Process Mobility for the JVM.	CPA	2009	DBLP DOI BibTeX RDF
1	Tang Hong, Chen Hua, Zhao Gang, Liu Qiang, Zhao Jinjin	The Vulnerability Analysis Framework for Java Bytecode.	ICPADS	2009	DBLP DOI BibTeX RDF
1	Richard Warburton, Sara Kalvala	From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.	CC	2009	DBLP DOI BibTeX RDF
1	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
1	Hyun Cho	Using metaprogramming to implement a testing framework.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	transformation, metaprogramming, testing framework
1	Fei Yan, Philip W. L. Fong	Efficient IRM enforcement of history-based access control policies.	ASIACCS	2009	DBLP DOI BibTeX RDF	distributed optimization protocol, history-based access control policies, language-based security, security automata, inlined reference monitors
1	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
1	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
1	Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz	SlimVM: a small footprint Java virtual machine for connected embedded systems.	PPPJ	2009	DBLP DOI BibTeX RDF	connected embedded systems, optimization, Java virtual machine, just-in-time compilation, code-size reduction
1	Alan Leung, Ondrej Lhoták, Ghulam Lashari	Automatic parallelization for graphics processing units.	PPPJ	2009	DBLP DOI BibTeX RDF	Java
1	Tim A. Majchrzak, Herbert Kuchen	Automated Test Case Generation Based on Coverage Analysis.	TASE	2009	DBLP DOI BibTeX RDF
1	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Resource Usage Analysis and Its Application to Resource Certification.	FOSAD	2009	DBLP DOI BibTeX RDF
1	Philipp Adler, Wolfram Amme	Type-Separated Bytecode - Its Construction and Evaluation.	RV	2009	DBLP DOI BibTeX RDF
1	Sascha Uhrig	Evaluation of Different Multithreaded and Multicore Processor Configurations for SoPC.	SAMOS	2009	DBLP DOI BibTeX RDF
1	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Tao Wang, Abhik Roychoudhury	Dynamic slicing on Java bytecode traces.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	debugging, Program slicing, tracing
1	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.	Computer Languages, Systems & Structures	2008	DBLP DOI BibTeX RDF
1	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