Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
128	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
112	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Bytecode: Problems, Traps and Pitfalls.	CC	2002	DBLP DOI BibTeX RDF
112	Stephen N. Freund, John C. Mitchell	A Type System for Object Initialization in the Java Bytecode Language.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
99	Michael Orlov, Moshe Sipper	Genetic programming in the wild: evolving unrestricted bytecode.	GECCO	2009	DBLP DOI BibTeX RDF	software evolution, java bytecode
99	Eva Rose	Lightweight Bytecode Verification.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	data flow analysis, proof-carrying code, bytecode verification
90	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
90	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
90	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
90	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
90	Ramesh Radhakrishnan, Juan Rubio 0001, 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
83	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
83	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
83	Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa	Tool-Assisted Specification and Verification of Typed Low-Level Languages.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	virtual machine, theorem proving, Java Card, bytecode verification
80	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
80	Gerwin Klein, Martin Wildmoser	Verified Bytecode Subroutines.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification
80	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
75	Damon Fenacci, Kenneth MacKenzie	Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic.	Bytecode@ETAPS	2011	DBLP DOI BibTeX RDF
75	Jaroslav Bauml, Premek Brada	Reconstruction of Type Information from Java Bytecode for Component Compatibility.	Bytecode@ETAPS	2010	DBLP DOI BibTeX RDF
75	Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert	A Dozen Instructions Make Java Bytecode.	Bytecode@ETAPS	2010	DBLP DOI BibTeX RDF
75	Fausto Spoto, Lunjin Lu, Fred Mesnard	Using CLP Simplifications to Improve Java Bytecode Termination Analysis.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
75	Arno Puder, Jessica Lee	Towards an XML-based Bytecode Level Transformation Framework.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
75	Étienne Payet, Fausto Spoto	Experiments with Non-Termination Analysis for Java Bytecode.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
75	Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo	User-Definable Resource Usage Bounds Analysis for Java Bytecode.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
75	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
75	Hermann Lehner, Peter Müller 0001	Formal Translation of Bytecode into BoogiePL.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
75	Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles	Bytecode Rewriting in Tom.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
75	Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo	An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
75	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Experiments in Cost Analysis of Java Bytecode.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
75	Walter Binder, Jarle Hulaas	Java Bytecode Transformations for Efficient, Portable CPU Accounting.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou	Flexible Bytecode for Linking in .NET.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Stephen Gilmore, Matthew Prowse	Proof-carrying Bytecode.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Cyrille Artho, Armin Biere	Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Martin Wildmoser, Amine Chaieb, Tobias Nipkow	Bytecode Analysis for Proof Carrying Code.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Michael Eichberg	BAT2XML: XML-based Java Bytecode Representation.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Lucja Kot, Dexter Kozen	Kleene Algebra and Bytecode Verification.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Fabian Bannwart, Peter Müller 0001	A Program Logic for Bytecode.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Daniel Hedin, David Sands 0001	Timing Aware Information Flow Security for a JavaCard-like Bytecode.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001	A Space-Aware Bytecode Verifier for Java Cards.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	René Rydhof Hansen, Igor Siveroni	Towards Verification of Well-Formed Transactions in Java Card Bytecode.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
75	Ian Bayley, Sam Shiel	JVM Bytecode Verification Without Dataflow Analysis.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
74	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
74	Dimitris Saougkos, George Manis, Konstantinos Blekas, Apostolos V. Zarras	Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	compression (coding), Java
74	Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Patrice Pominville, Vijay Sundaresan	Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?	CC	2000	DBLP DOI BibTeX RDF
71	Xiaofeng Yang, Mohammad Zulkernine	Secure Method Calls by Instrumenting Bytecode with Aspects. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF	code security, aspects, Bytecode instrumentation
71	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
71	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski	Bytecode Verification by Model Checking.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	model checking, static analysis, type safety, bytecode verification
71	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
67	R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi	Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor.	IPDPS	2003	DBLP DOI BibTeX RDF
67	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Using Staged Encapsulation.	WCRE	2001	DBLP DOI BibTeX RDF	Java Decompile Soot Dava Staged Encapsulation Sable
64	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
64	Lilian Burdy, Marieke Huisman, Mariela Pavlova	Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.	FASE	2007	DBLP DOI BibTeX RDF
64	Lilian Burdy, Mariela Pavlova	Java bytecode specification and verification.	SAC	2006	DBLP DOI BibTeX RDF
64	Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini	Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract.	OTM Workshops	2003	DBLP DOI BibTeX RDF
64	Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Vijay Sundaresan	Soot - a Java bytecode optimization framework.	CASCON	1999	DBLP BibTeX RDF	Java
64	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 DOI BibTeX RDF	Java
61	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
61	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
61	Xavier Leroy	Java Bytecode Verification: Algorithms and Formalizations.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
61	Robert F. Stärk, Joachim Schmid 0001	Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Java, bytecode verification, certifying compilation
61	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
61	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
59	Pierre Ganty, Mark Marron (eds.)	Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011	Bytecode@ETAPS	2011	DBLP BibTeX RDF
59	David Pichardie (eds.)	Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010	Bytecode@ETAPS	2011	DBLP BibTeX RDF
59	Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz	Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.	Bytecode@ETAPS	2011	DBLP DOI BibTeX RDF
59	David J. Pearce 0001, James Noble 0001	Implementing a Language with Flow-Sensitive and Structural Typing on the JVM.	Bytecode@ETAPS	2011	DBLP DOI BibTeX RDF
59	Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini	Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.	Bytecode@ETAPS	2011	DBLP DOI BibTeX RDF
59	Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim	Handling Non-linear Operations in the Value Analysis of COSTA.	Bytecode@ETAPS	2011	DBLP DOI BibTeX RDF
59	Pierre Ganty, Mark Marron	Preface.	Bytecode@ETAPS	2011	DBLP DOI BibTeX RDF
59	Jevgeni Kabanov	JRebel Tool Demo.	Bytecode@ETAPS	2010	DBLP DOI BibTeX RDF
59	David Pichardie	Preface.	Bytecode@ETAPS	2010	DBLP DOI BibTeX RDF
59	Michael Eichberg, Andreas Sewe	Encoding the Java Virtual Machine's Instruction Set.	Bytecode@ETAPS	2010	DBLP DOI BibTeX RDF
59	Philippe Wang, Adrien Jonquet, Emmanuel Chailloux	Non-Intrusive Structural Coverage for Objective Caml.	Bytecode@ETAPS	2010	DBLP DOI BibTeX RDF
59	Elvira Albert, Samir Genaim (eds.)	Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009	BYTECODE@ETAPS	2009	DBLP BibTeX RDF
59	Massimo Bartoletti, Gabriele Costa 0001, Roberto Zunino	Jalapa: Securing Java with Local Policies: Tool Demonstration.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Phil McGachey, Antony L. Hosking, J. Eliot B. Moss	Pervasive Load-Time Transformation for Transparently Distributed Java.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe	The S3MS.NET Run Time Monitor: Tool Demonstration.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Elvira Albert, Samir Genaim	Preface.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Stefan Brunthaler 0001	Virtual-Machine Abstraction and Optimization Techniques.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Aleksy Schubert, Daria Walukiewicz-Chrzaszcz	The Non-Interference Protection in BML.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Xin Li 0010, Mizuhito Ogawa	An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Laurent Hubert, David Pichardie	Soundly Handling Static Fields: Issues, Semantics and Analysis.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
59	Marieke Huisman, Fausto Spoto (eds.)	Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007	Bytecode@ETAPS	2007	DBLP BibTeX RDF
59	Quan Hoang Nguyen 0001, Bernhard Scholz	Computing SSA Form with Matrices.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
59	Marieke Huisman, Fausto Spoto	Preface.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
59	Ando Saabas, Tarmo Uustalu	Type Systems for Optimizing Stack-based Code.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
59	Jesse McGeachie, Jürgen Dingel	Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
59	Jaroslav Sevcík	Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
59	Theo C. Ruys, Niels H. M. Aan de Brugh	MMC: the Mono Model Checker.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
59	Fausto Spoto (eds.)	Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005	Bytecode@ETAPS	2005	DBLP BibTeX RDF
59	Pierre Crégut, Cuihtlauac Alvarado	Improving the Security of Downloadable Java Applications With Static Analysis.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
59	Sigmund Cherem, Radu Rugina	A Verifier for Region-Annotated Java Bytecodes.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
59	Fausto Spoto	Preface.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
59	Sam Shiel, Ian Bayley	A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
55	Tao Wang, Abhik Roychoudhury	Dynamic slicing on Java bytecode traces.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	debugging, Program slicing, tracing
55	Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini	Termination Analysis of Java Bytecode.	FMOODS	2008	DBLP DOI BibTeX RDF
55	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	Test Data Generation of Bytecode by CLP Partial Evaluation.	LOPSTR	2008	DBLP DOI BibTeX RDF
55	Benjamin Grégoire, Jorge Luis Sacchini	Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.	TGC	2007	DBLP DOI BibTeX RDF
55	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
55	Ming-Yee Iu, Willy Zwaenepoel	Queryll: Java Database Queries Through Bytecode Rewriting.	Middleware	2006	DBLP DOI BibTeX RDF
55	Samir Genaim, Fausto Spoto	Information Flow Analysis for Java Bytecode.	VMCAI	2005	DBLP DOI BibTeX RDF