Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Vítor Santos Costa	Optimising Bytecode Emulation for Prolog.	PPDP	1999	DBLP DOI BibTeX RDF
17	Daniel Jackson 0001, Allison Waingold	Lightweight Extraction of Object Models from Bytecode.	ICSE	1999	DBLP DOI BibTeX RDF	Java
17	Wes Munsil, Chia-Jiu Wang	Reducing stack usage in Java bytecode execution.	SIGARCH Comput. Archit. News	1998	DBLP DOI BibTeX RDF
17	Aart J. C. Bik, Dennis Gannon	A prototype bytecode parallelization tool.	Concurr. Pract. Exp.	1998	DBLP DOI BibTeX RDF
17	Harlan McGhan, Mike O'Connor	PicoJava: A Direct Execution Engine For Java Bytecode.	Computer	1998	DBLP DOI BibTeX RDF
17	Michael Weiss, François de Ferrière, Bertrand Delsart, Christian Fabre, Frederick Hirsch, E. Andrew Johnson, Vania Joloboff, Fred Roy, Fridtjof Siebert, Xavier Spengler	TurboJ, a Java Bytecode-to-Native Compiler.	LCTES	1998	DBLP DOI BibTeX RDF
17	Raymie Stata, Martín Abadi	A Type System for Java Bytecode Subroutines.	POPL	1998	DBLP DOI BibTeX RDF	Java
17	J. A. Mathew, A. J. Silis, Kenneth A. Hawick	Inter-Server Transport Performance of Java Bytecode in a Metacomputing Environment.	TOOLS (28)	1998	DBLP DOI BibTeX RDF
17	Stephen N. Freund, John C. Mitchell	A Type System For Object Initialization In the Java Bytecode Language.	HOOTS	1997	DBLP DOI BibTeX RDF
17	Lars Ræder Clausen	A Java Bytecode Optimizer Using Side-Effect Analysis.	Concurr. Pract. Exp.	1997	DBLP DOI BibTeX RDF
17	Andreas Kind	Bytecode-Interpretierung - Das aktuelle Schlagwort.	Inform. Spektrum	1997	DBLP DOI BibTeX RDF
17	Dan Lambright	Java bytecode optimizations.	COMPCON	1997	DBLP DOI BibTeX RDF
17	Todd A. Proebsting, Scott A. Watterson	Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?).	COOTS	1997	DBLP BibTeX RDF
17	Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel	Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code.	COOTS	1997	DBLP BibTeX RDF
17	Brian T. Lewis	An On-the-fly Bytecode Compiler for Tcl.	Tcl/Tk Workshop	1996	DBLP BibTeX RDF
17	James Gosling	Java Intermediate Bytecode.	Intermediate Representations Workshop	1995	DBLP DOI BibTeX RDF
17	Pierre E. Bonzon	Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine.	PDK	1991	DBLP DOI BibTeX RDF
17	Norihisa Suzuki, Koichi Kubota, Takashi Aoki	Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages.	FGCS	1984	DBLP BibTeX RDF
17	Jens Erlandsen	GESA, et GEnerelt System til Analyse af naturlige sprog, udformet som et oversætter-for-tolker system med virtuel mellem-kode (GESA, a GEneral System for Analysis of natural language, designed as a compiler system with virtual bytecode) [In Danish].	NODALIDA	1983	DBLP BibTeX RDF
16	Stefan Brunthaler 0001	Efficient inline caching without dynamic translation.	SAC	2010	DBLP DOI BibTeX RDF	inline caching, type feedback, interpreter, interpreters, python, bytecode
16	Juan Chen 0002, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
16	Albert Cohen 0001, Erven Rohou	Processor virtualization and split compilation for heterogeneous multicore embedded systems.	DAC	2010	DBLP DOI BibTeX RDF	back-end optimization, bytecode language, heterogeneous multicore, portable performance, split compilation, virtualization, annotations, vectorization, specialization
16	Scott Sirowy, Chen Huang 0005, Frank Vahid	Online SystemC emulation acceleration.	DAC	2010	DBLP DOI BibTeX RDF	simulation, virtual machines, online algorithms, emulation, SystemC, bytecode
16	Philippe Moret, Walter Binder, Alex Villazón	CProf: customizable calling context cross-profiling for embedded java processors.	PEPM	2009	DBLP DOI BibTeX RDF	cross-profiling, embedded java processors, java virtual machine, bytecode instrumentation
16	Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret	Advanced runtime adaptation for Java.	GPCE	2009	DBLP DOI BibTeX RDF	code hotswapping, runtime aspect adaptation and (re)weaving, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming
16	Dong Kwan Kim, Myoungkyu Song, Eli Tilevich, Calvin J. Ribbens, Shawn A. Bohner	Dynamic Software Updates for Accelerating Scientific Discovery.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Time-to-Discovery, Computationally-Intensive Applications, JVM HotSwap, Bytecode Enhancement, Dynamic Software Updates
16	Nikhil Kumar, Dinakar Sosale, Sadhana Nivedita Konuganti, Ajay Rathi	Enabling the adoption of aspects - testing aspects: a risk model, fault model and patterns.	AOSD	2009	DBLP DOI BibTeX RDF	weaver, woven code, testing, aspect-oriented programming, eclipse, aspectj, bytecode, decompilation
16	Angela Nicoara, Gustavo Alonso, Timothy Roscoe	Controlled, systematic, and efficient code replacement for running java programs.	EuroSys	2008	DBLP DOI BibTeX RDF	PROSE, dynamic bytecode instrumentation, run-time method code replacement, run-time modification, inlining
16	Chris Parnin, Carsten Görg	Improving change descriptions with change contexts.	MSR	2008	DBLP DOI BibTeX RDF	bytecode analysis, change pairs, semantic diff
16	Yiyu Tan, Anthony S. Fong, Xiaojian Yang	An Instruction Folding Solution to a Java Processor.	NPC	2007	DBLP DOI BibTeX RDF	Instruction folding, Java virtual machine, Bytecode, Java processor
16	René Müller 0001, Gustavo Alonso, Donald Kossmann	A virtual machine for sensor networks.	EuroSys	2007	DBLP DOI BibTeX RDF	SwissQM, efficient bytecode representation, wireless sensor networks, query processing, virtual machine
16	Michael Factor, Assaf Schuster, Konstantin Shagin	A Platform-Independent Distributed Runtime for Standard Multithreaded Java.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	Java, distributed computing, distributed shared memory, bytecode instrumentation
16	Axel Kalenborn, Thomas Will, Rouven Thimm, Jana Raab, Ronny Fregin	Java-basiertes automatisiertes Test-Framework.	Wirtschaftsinf.	2006	DBLP DOI BibTeX RDF	Types of Software Tests, Automated Test-Case Creation, Bytecode-Injection, Plugin-Based Framework, Source Code Interdependence, Third-Party-Components Tests, Automated Software Tests
16	Ben Stephenson, Wade Holst	An evaluation of secialized Java bytecodes.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, optimization, virtual machine, bytecode
16	Yi Yu, Man Lo Kai, Anthony S. Fong	A Performance Analysis of an Object-Oriented Processor.	ITNG	2006	DBLP DOI BibTeX RDF	operand descriptor, Java, performance, Object-oriented programming, bytecode
16	Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal	Dynamic analysis of java applications for multithreaded antipatterns.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Java, multithreading, instrumentation, bytecode, bug patterns, antipatterns
16	Ben Stephenson, Wade Holst	A technique for utilizing optimization potential during multicode identification.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, optimization, virtual machine, interpreter, bytecode
16	Roberto Costa, Erven Rohou	Comparing the size of .NET applications with native code.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	managed environments, NET, bytecode, code size
16	Eli Tilevich, Yannis Smaragdakis	Binary refactoring: improving code behind the scenes.	ICSE	2005	DBLP DOI BibTeX RDF	optimization, adaptation, refactoring, software evolution, maintenance, bytecode engineering
16	Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky	Java-MaC: A Run-Time Assurance Approach for Java Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
16	Ben Stephenson, Wade Holst	Advancements in multicode optimization.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	java, optimization, virtual machine, interpreter, bytecode
16	Jan Lönnberg, Ari Korhonen, Lauri Malmi	MVT: a system for visual testing of software.	AVI	2004	DBLP DOI BibTeX RDF	execution history logging, visual testing, bytecode instrumentation, visual debugging, algorithm simulation
16	Jane Horgan, James F. Power, John Waldron	Measurement and Analysis of Runtime Profiling Data for Java Programs.	SCAM	2001	DBLP DOI BibTeX RDF	Bytecode Analysis, Contingency Measure, Java Virtual Machine
16	Phillip M. Yelland	A Compositional Account of the Java Virtual Machine.	POPL	1999	DBLP DOI BibTeX RDF	Java, verification, Haskell, Haskell, Java virtual machine, Java bytecode
16	Qiaoyun Li	Java Virtual Machine - Present and Near Future.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Metaspace, Java, Virtual machine, Bytecode
10	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
10	Cupertino Miranda, Philippe Dumont, Albert Cohen 0001, Marc Duranton, Antoniu Pop	ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	kpn, parallelism, synchronization, streaming, intermediate representation
10	Nicolas Geoffray, Gaël Thomas 0001, Julia Lawall, Gilles Muller, Bertil Folliot	VMKit: a substrate for managed runtime environments.	VEE	2010	DBLP DOI BibTeX RDF	vmkit, virtual machine, just in time compiler
10	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
10	Alan Leung, Ondrej Lhoták, Ghulam Lashari	Automatic parallelization for graphics processing units.	PPPJ	2009	DBLP DOI BibTeX RDF	Java
10	Sascha Uhrig	Evaluation of Different Multithreaded and Multicore Processor Configurations for SoPC.	SAMOS	2009	DBLP DOI BibTeX RDF
10	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
10	Pavol Cerný, Rajeev Alur	Automated Analysis of Java Methods for Confidentiality.	CAV	2009	DBLP DOI BibTeX RDF
10	Elena Machkasova, Kevin Arhelger, Fernando Trinciante	The observer effect of profiling on dynamic Java optimizations.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	hprof, Java, profiler, JVM, HotSpot, inlining, dead code elimination
10	Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001	VMIL: workshop on virtual machines and intermediate languages.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	optimization, compilation, virtual machine, interpretation, dynamic dispatch, intermediate language
10	Javier de Dios, Ricardo Peña-Marí	Formal Certification of a Resource-Aware Language Implementation.	TPHOLs	2009	DBLP DOI BibTeX RDF	memory management, functional languages, compiler verification
10	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
10	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Field-Sensitive Value Analysis by Field-Insensitive Analysis.	FM	2009	DBLP DOI BibTeX RDF
10	Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi	Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.	CC	2009	DBLP DOI BibTeX RDF
10	Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang	Modular Certification of Low-Level Intermediate Representation Programs.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
10	Javier de Dios, Ricardo Peña-Marí	A Certified Implementation on Top of the Java Virtual Machine.	FMICS	2009	DBLP DOI BibTeX RDF
10	Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley	Dynamic software updates: a VM-centric approach.	PLDI	2009	DBLP DOI BibTeX RDF	virtual machine technology, garbage collection, dynamic software updating
10	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
10	Victor Lotrich, Norbert Flocke, Mark Ponton, Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, Ajith Perera	An infrastructure for scalable and portable parallel programs for computational chemistry.	ICS	2009	DBLP DOI BibTeX RDF	coupled cluster methods, tensors, distributed arrays
10	Pierre Paradinas, Julien Cordry, Samia Bouzefrane 0001	Measurement Analysis When Benchmarking Java Card Platforms.	WISTP	2009	DBLP DOI BibTeX RDF	Performance, Benchmark, Java Card
10	Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet	Automatic detection of fault attack and countermeasures.	WESS	2009	DBLP DOI BibTeX RDF
10	Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys	MoonWalker: Verification of .NET Programs.	TACAS	2009	DBLP DOI BibTeX RDF
10	Erika Chin, David A. Wagner 0001	Efficient character-level taint tracking for Java.	SWS	2009	DBLP DOI BibTeX RDF	dynamic taint tracking, java, web applications, information flow
10	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
10	Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie	Certified Static Analysis by Abstract Interpretation.	FOSAD	2009	DBLP DOI BibTeX RDF
10	Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra	The architecture of the Utrecht Haskell compiler.	Haskell	2009	DBLP DOI BibTeX RDF	compiler architecture, haskell, attribute grammar, aspect orientation
10	Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni	MAJOR: Flexible tool development with aspect-oriented programming.	ICSM	2009	DBLP DOI BibTeX RDF
10	Tim A. Majchrzak, Herbert Kuchen	Automated Test Case Generation Based on Coverage Analysis.	TASE	2009	DBLP DOI BibTeX RDF
10	Yunhe Shi, Kevin Casey, M. Anton Ertl, David Gregg	Virtual machine showdown: Stack versus registers.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	register architecture, stack architecture, virtual machine, Interpreter
10	Jevgeni Kabanov, Rein Raudjärv	Embedded typesafe domain specific languages for Java.	PPPJ	2008	DBLP DOI BibTeX RDF
10	Alexander Yermolovich, Andreas Gal, Michael Franz	Portable execution of legacy binaries on the Java virtual machine.	PPPJ	2008	DBLP DOI BibTeX RDF	system emulation, legacy software
10	Lukas Bulwahn, Alexander Krauss 0001, Florian Haftmann, Levent Erkök, John Matthews	Imperative Functional Programming with Isabelle/HOL.	TPHOLs	2008	DBLP DOI BibTeX RDF
10	Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio	Implementing Java modeling language contracts with AspectJ.	SAC	2008	DBLP DOI BibTeX RDF	JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language
10	David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin	Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.	AMAST	2008	DBLP DOI BibTeX RDF
10	Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis	Static Program Analysis for Java Card Applets.	CARDIS	2008	DBLP DOI BibTeX RDF	temporal safety, Java Card, static program analysis
10	Wojciech Mostowski, Erik Poll	Malicious Code on Java Card Smartcards: Attacks and Countermeasures.	CARDIS	2008	DBLP DOI BibTeX RDF
10	Samia Bouzefrane 0001, Julien Cordry, Hervé Meunier, Pierre Paradinas	Evaluation of Java Card Performance.	CARDIS	2008	DBLP DOI BibTeX RDF	Performance, Test, Benchmark, Java Card
10	Etienne Bergeron, Marc Feeley, Jean-Pierre David	Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs.	CC	2008	DBLP DOI BibTeX RDF
10	Kinga Dobolyi, Westley Weimer	Changing Java's Semantics for Handling Null Pointer Exceptions.	ISSRE	2008	DBLP DOI BibTeX RDF
10	Fadi Wedyan, Sudipto Ghosh	A Joinpoint Coverage Measurement Tool for Evaluating the Effectiveness of Test Inputs for AspectJ Programs.	ISSRE	2008	DBLP DOI BibTeX RDF
10	Benjamin Canou, Vincent Balat, Emmanuel Chailloux	O'browser: objective caml on browsers.	ML	2008	DBLP DOI BibTeX RDF	virtual machine, javascript, web browsers, objective caml, document object model
10	Shan Shan Huang, Yannis Smaragdakis	Expressive and safe static reflection with MorphJ.	PLDI	2008	DBLP DOI BibTeX RDF	class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions
10	Kevin W. Hamlen, Micah Jones	Aspect-oriented in-lined reference monitors.	PLAS	2008	DBLP DOI BibTeX RDF	in-lined reference monitors, object-oriented programming, aspect-oriented programming, runtime verification, security automata
10	Alexander Moshchuk, Steven D. Gribble, Henry M. Levy	Flashproxy: transparently enabling rich web content via remote execution.	MobiSys	2008	DBLP DOI BibTeX RDF	active web content, proxy, web browsers, flash, binary rewriting
10	José Carlos Bregieiro Ribeiro	Search-based test case generation for object-oriented java software using strongly-typed genetic programming.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	search-based test case generation, object-orientation, evolutionary testing, strongly-typed genetic programming
10	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
10	Xiang Fu 0001, Kai Qian	SAFELI: SQL injection scanner using symbolic execution.	TAV-WEB	2008	DBLP DOI BibTeX RDF	symbolic execution, automated testing, constraint solver, SQL injection attack
10	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Comparing tag scheme variations using an abstract machine generator.	PPDP	2008	DBLP DOI BibTeX RDF	Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
10	Guoqing Xu 0001, Atanas Rountev	AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.	AOSD	2008	DBLP DOI BibTeX RDF	AspectJ, dataflow analysis, interprocedural analysis
10	Dong Kwan Kim, Eli Tilevich	Overcoming JVM HotSwap Constraints Via Binary Rewriting.	HotSWUp	2008	DBLP DOI BibTeX RDF	HotSwap, JVM languages, binary refactoring, virtual superclass
10	Koun-Tem Sun, Chun-Huang Wang, Yi-Chun Lin, Yueh-Min Huang	Develop a novel technique for a virtual reality environment.	IJCNN	2008	DBLP DOI BibTeX RDF
10	Tihomir Gvero, Milos Gligoric 0001, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid	State extensions for java pathfinder.	ICSE	2008	DBLP DOI BibTeX RDF	delta execution, jpf, mixed execution, java pathfinder
10	Georgios Gousios, Diomidis Spinellis	Java Performance Evaluation Using External Instrumentation.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
10	Chun-Chieh Lin, Chuen-Liang Chen	Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory.	HiPEAC	2008	DBLP DOI BibTeX RDF	embedded system, memory management, interpreter, Java virtual machine, power-saving, NAND flash memory, cache miss, code placement
10	Marco Cornero, Roberto Costa, Ricardo Fernández Pascual, Andrea C. Ornstein, Erven Rohou	An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems.	HiPEAC	2008	DBLP DOI BibTeX RDF	Common Language Infrastructure, embedded systems, deployment, GCC