Search results for "Java virtual machine"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Doug Simon, Cristina Cifuentes, Dave Cleal, John Daniels, Derek White	JavaTM on the bare metal of wireless sensor devices: the squawk Java virtual machine.	VEE	2006	DBLP DOI BibTeX RDF	wireless sensor networks, embedded systems, Java virtual machine, IEEE 802.15.4, Sun SPOT
3	Hitoshi Oi	Instruction folding in a hardware-translation based java virtual machine.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	hardware-translation, instruction folding, performance evaluation, java virtual machine
3	Domenico Cotroneo, Salvatore Orlando 0002, Stefano Russo	Failure classification and analysis of the Java Virtual Machine.	ICDCS	2006	DBLP DOI BibTeX RDF	Dependability, Java Virtual Machine, Failure Analysis, Failure Diagnosis
3	Marc Beyerle, Joachim Franz, Wilhelm G. Spruth	Persistent Reusable Java Virtual Machine unter z/OS und Linux.	Inform., Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	ACID, Persistent Reusable Java Virtual Machine, PRJVM, OS/390, Serial Reusability, zLinux, z/OS, zSeries, Transaction, JVM, IMS, J2EE, DB2, EJB, WebSphere, CICS
3	Guangyu Chen, Mahmut T. Kandemir	Improving java virtual machine reliability for memory-constrained embedded systems.	DAC	2005	DBLP DOI BibTeX RDF	dual execution, java virtual machine, transient error
3	Hitoshi Oi	On the design of the local variable cache in a hardware translation-based java virtual machine.	LCTES	2005	DBLP DOI BibTeX RDF	hardware-translation, memory hierarchy, java virtual machine
3	Mihai Surdeanu, Dan I. Moldovan	Design and Performance Analysis of a Distributed Java Virtual Machine.	IEEE Trans. Parallel Distrib. Syst.	2002	DBLP DOI BibTeX RDF	Object-oriented distributed shared memory, memory consistency protocols, performance analysis, Java Virtual Machine, consistency models
3	Charlie Daly, Jane Horgan, James F. Power, John Waldron	Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite.	Java Grande	2001	DBLP DOI BibTeX RDF	Java Grande, Java, Java Virtual Machine
3	Kenneth B. Kent, Micaela Serra	Hardware/Software Co-Design of a Java Virtual Machine. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	fpga, partitioning, reconfigurable, java virtual machine, co-design
3	K. John Gough	Parameter Passing for the Java Virtual Machine.	ACSC	2000	DBLP DOI BibTeX RDF	languages other than Java, parameter passing mechanisms, Compilers, Java Virtual Machine
2	Jason Howarth, Irfan Altas, Barney Dalgarno	Information Flow Control Using the Java Virtual Machine Tool Interface (JVMTI).	ARES	2010	DBLP DOI BibTeX RDF	dynamic flow control, indirect information flow, Java Virtual Machine Tool Interface (JVMTI), Java, Information flow control, non-interference
2	Kenneth Hoste, Andy Georges, Lieven Eeckhout	Automated just-in-time compiler tuning.	CGO	2010	DBLP DOI BibTeX RDF	compiler tuning, machine learning, java virtual machine (JVM), evolutionary search, just-in-time (JIT) compiler
2	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
2	Javier de Dios, Ricardo Peña-Marí	A Certified Implementation on Top of the Java Virtual Machine.	FMICS	2009	DBLP DOI BibTeX RDF
2	Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret	HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java.	GPCE	2009	DBLP DOI BibTeX RDF	code hotswapping, runtime weaving, profiling, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming
2	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
2	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
2	Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel	Laminar: practical fine-grained decentralized information flow control.	PLDI	2009	DBLP DOI BibTeX RDF	security region, operating systems, java virtual machine, information flow control
2	Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni	MAJOR: rapid tool development with aspect-oriented programming.	PPPJ	2009	DBLP DOI BibTeX RDF	rapid tool development, Java, testing, aspect-oriented programming, debugging, profiling, Java virtual machine, bytecode instrumentation
2	Peter Bertels, Wim Heirman, Erik H. D'Hollander, Dirk Stroobandt	Efficient memory management for hardware accelerated Java Virtual Machines.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Java Virtual Machine, hardware acceleration, Dynamic memory management
2	Jarle Hulaas, Walter Binder	Program transformations for light-weight CPU accounting and control in the Java virtual machine.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Java, Program transformations, Resource management, Bytecode engineering
2	Michael H. Dawson	Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine.	ISORC	2008	DBLP DOI BibTeX RDF	Java, Real-time, Implementation
2	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
2	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
2	Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek	Flexible task graphs: a unified restricted thread programming model for java.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, ownership types
2	Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum	Impact of JVM superoperators on energy consumption in resource-constrained embedded systems.	LCTES	2008	DBLP DOI BibTeX RDF	superoperators, embedded systems, java virtual machine, energy estimation, profile-guided optimization
2	Takashi Okumura, Bruce R. Childers, Daniel Mossé	Running a Java VM inside an operating system kernel.	VEE	2008	DBLP DOI BibTeX RDF	kernel extensibility, network management, Java virtual machine, just-in-time
2	Jens Müller, Wilhelm G. Spruth	Anwendungs- und Transaktionsisolation unter Java.	Inform., Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	ACID, Application Isolation API, JSR-121, Multi-Tasking Virtual Machine, Persistent Reusable Java Virtual Machine, Virtual Machine Container, Transaction, Java Virtual Machine, J2EE, Isolation, Enterprise JavaBeans, Java EE
2	Philip W. L. Fong	Discretionary capability confinement.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Scoping rule, Access control, Java Virtual Machine, Capability, Language-based security, Confinement
2	Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek	A real-time Java virtual machine with applications in avionics.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	virtual machines, memory management, Real-time Java, Avionics
2	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
2	Deepak Chandra, Michael Franz	Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine.	ACSAC	2007	DBLP DOI BibTeX RDF
2	Iulia Ion, Boris Dragovic, Bruno Crispo	Extending the Java Virtual Machine to Enforce Fine-Grained Security Policies in Mobile Devices.	ACSAC	2007	DBLP DOI BibTeX RDF
2	Robert Atkey	CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.	TYPES	2007	DBLP DOI BibTeX RDF
2	Weimin Wu, Kailun Li, Qing Su	Array Modeling in Java Virtual Machine.	APPT	2007	DBLP DOI BibTeX RDF
2	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
2	SungHyun Hong, Jin-Chul Kim, Jin Woo Shin, Soo-Mook Moon, Hyeong-Seok Oh, Jaemok Lee, Hyung-Kyu Choi	Java client ahead-of-time compiler for embedded systems.	LCTES	2007	DBLP DOI BibTeX RDF	J2ME CDC, Java ahead-of-time compiler, early binding, Java virtual machine, just-in-time compiler, relocation
2	Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek	Streamflex: high-throughput stream programming in java.	OOPSLA	2007	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, stream processing, ownership types
2	Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek	Reflexes: abstractions for highly responsive systems.	VEE	2007	DBLP DOI BibTeX RDF	real-time systems, memory management, Java virtual machine, ownership types
2	Byung-Sun Yang, Junpyo Lee, SeungIl Lee, Seongbae Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman, Soo-Mook Moon	Efficient Register Mapping and Allocation in LaTTe, an Open-Source Java Just-in-Time Compiler.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	register mapping, copy coalescing, Java virtual machine, register allocation, just-in-time compilation
2	Chang-Il Cha, Sang-Wook Kim, Ji-Woong Chang, Miyoung Shin	Performance Evaluation of Embedded Garbage Collectors in CVM Environment.	KES	2007	DBLP DOI BibTeX RDF	CVM, Java, garbage collection, Java virtual machine
2	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
2	Graham Mathias, Kenneth B. Kent	An Embedded Java Virtual Machine Using Network-on-Chip Design.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
2	Sébastien Lafond, Johan Lilius	An Energy Consumption Model for an Embedded Java Virtual Machine.	ARCS	2006	DBLP DOI BibTeX RDF
2	Chang-Il Cha, Hyung-Jun Kim, Kyu-Jeong Hwang, Sang-Wook Kim, Sang-Yun Lee, Hee-Sun Won	Garbage Collection in an Embedded Java Virtual Machine.	KES	2006	DBLP DOI BibTeX RDF
2	Salvatore Orlando 0002, Stefano Russo	Java Virtual Machine Monitoring for Dependability Benchmarking.	ISORC	2006	DBLP DOI BibTeX RDF
2	Gilberto Contreras, Margaret Martonosi	Techniques for Real-System Characterization of Java Virtual Machine Energy and Power Behavior.	IISWC	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	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
2	Mourad Debbabi, Azzam Mourad, Nadia Tawbi	Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors.	SAC	2005	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, Java, embedded systems, ARM, KVM
2	Hiroo Ishikawa, Tatsuo Nakajima	EarlGray: A Component-Based Java Virtual Machine for Embedded Systems.	ISORC	2005	DBLP DOI BibTeX RDF
2	Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle, David Simplot-Ryl	Application-Driven Customization of an Embedded Java Virtual Machine.	EUC Workshops	2005	DBLP DOI BibTeX RDF
2	Guangyu Chen, Mahmut T. Kandemir	Verifiable annotations for embedded java environments.	CASES	2005	DBLP DOI BibTeX RDF	verification, annotation, java virtual machine, just-in-time compilation, flow analysis
2	Stuart A. Hansen	Interpreting Java program runtimes.	SIGCSE	2005	DBLP DOI BibTeX RDF	program runtime, garbage collection, Java virtual machine
2	Zhenchun Huang, Lei Gu, JianFeng Wu	On-Demand Service in Grid: Architecture, Design and Implementation.	ICPADS	2005	DBLP DOI BibTeX RDF	Groovy Script Language, Grid, Java Virtual Machine, On-Demand Service
2	Brian Cabana, Suad Alagic, Jeff Faulkner	Parametric polymorphism for Java: is there any hope in sight?	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Java core reflection, class files, class objects, generics, Java virtual machine, parametric polymorphism, loading
2	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis.	OTM Workshops	2003	DBLP DOI BibTeX RDF	Worst-Case Execution Time (WCET) Analysis, Portable WCET, Real-Time Java
2	Hao Cai, Andy J. Wellings	Towards a High Integrity Real-Time Java Virtual Machine.	OTM Workshops	2003	DBLP DOI BibTeX RDF
2	Pedro Pablo Gómez-Martín, Marco Antonio Gómez-Martín, Pedro A. González-Calero	Javy: Virtual Environment for Case-Based Teaching of Java Virtual Machine.	KES	2003	DBLP DOI BibTeX RDF
2	Christophe Deleray, Nicolas Bedon, Gilles Roussel	MyJVM: a 100% pure Java customizable Java Virtual Machine.	PPPJ	2003	DBLP DOI BibTeX RDF
2	Brian Davis, John Waldron	A survey of optimisations for the Java Virtual Machine.	PPPJ	2003	DBLP DOI BibTeX RDF
2	Nik Shaylor, Douglas N. Simon, William R. Bush	A java virtual machine architecture for very small devices.	LCTES	2003	DBLP DOI BibTeX RDF	CLDC, limited-memory devices, next generation smart cards, java, JVM
2	Bernard Wong, Grzegorz Czajkowski, Laurent Daynès	Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability.	IPDPS	2003	DBLP DOI BibTeX RDF	Java™ Virtual Machine, performance, sharing, shared library, memory footprint
2	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
2	Wenzhang Zhu, Cho-Li Wang, Francis C. M. Lau	JESSICA2: A Distributed Java Virtual Machine with Transparent Thread Migration Support.	CLUSTER	2002	DBLP DOI BibTeX RDF
2	Muhammad Umar Janjua, Mehboob Yasin, Ch. Falak Sher, K. Awan, I. Hassan	CEJVM: "Cluster Enabled Java Virtual Machine".	CLUSTER	2002	DBLP DOI BibTeX RDF
2	Iain Bate, Guillem Bernat, Peter P. Puschner	Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
2	Jun-Young Jung, Min-Soo Jung	Design and Implementation of Small-Sized Java Virtual Machine on Java Platform Jini.	ICOIN	2002	DBLP DOI BibTeX RDF
2	J. Strother Moore	Functional formal methods.	ICFP	2002	DBLP DOI BibTeX RDF	functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving
2	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
2	Mustafa M. Tikir, Jeffrey K. Hollingsworth, Guei-Yuan Lueh	Recompilation for debugging support in a JIT-compiler.	PASTE	2002	DBLP DOI BibTeX RDF	Java virtual machine debugger interface, debug information, dynamic recompilation, field access watch, Java, just-in-time compilation
2	Guangyu Chen, R. Shetty, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Mario Wolczko	Tuning garbage collection for reducing memory system energy in an embedded java environment.	ACM Trans. Embedded Comput. Syst.	2002	DBLP DOI BibTeX RDF	K Virtual Machine (KVM), Java, Java Virtual Machine (JVM), Garbage collector, low power computing
2	Chia-Tien Dan Lo, J. Morris Chang, Ophir Frieder, David A. Grossman	The Object Behavior of Java Object-Oriented Database Management Systems.	ITCC	2002	DBLP DOI BibTeX RDF	Java DBMS, object-oriented programming, garbage collection, Java Virtual Machine, dynamic memory management
2	Carl Bredlau, Dorothy Deremer	Assembly language through the Java virtual machine.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
2	Fabian Breg, Constantine D. Polychronopoulos	Java virtual machine support for object serialization.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
2	Ting-Wei Hou, Fuh-Gwo Chen, J. L. Lee, Y. L. Cheng	Distributed and Parallel Execution of Java Programs on a DSM System.	CCGRID	2001	DBLP DOI BibTeX RDF	DSM system and byte-code, Java Virtual Machine
2	Weimin Zheng, Fengzhou Zheng, Bo Yang, Yanling Wang	A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model.	TOOLS	2000	DBLP DOI BibTeX RDF
2	Jan Hoogerbrugge, Lex Augusteijn	Pipelined Java Virtual Machine Interpreters.	CC	2000	DBLP DOI BibTeX RDF
2	Mihai Surdeanu	Distributed Java Virtual Machine for Message Passing Architectures.	ICDCS	2000	DBLP DOI BibTeX RDF
2	Grzegorz Czajkowski	Application isolation in the JavaTM Virtual Machine.	OOPSLA	2000	DBLP DOI BibTeX RDF	application isolation, Java, Java Virtual Machine, multitasking
2	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
2	Egon Börger, Wolfram Schulte	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines
2	Mladen Berekovic, Helge Kloos, Peter Pirsch	Hardware Realization of a Java Virtual Machine for High Performance Multimedia Applications.	VLSI Signal Processing	1999	DBLP DOI BibTeX RDF
2	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
2	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
2	Yariv Aridor, Michael Factor, Avi Teperman	cJVM: A Single System Image of a JVM on a Cluster. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	CJVM, cluster, Java, Java virtual machine, single system image
2	Christophe Lizzi	Enabling Deadline Scheduling for Java Real-Time Computing. (PDF / PS)	IEEE Real-Time Systems Symposium	1999	DBLP DOI BibTeX RDF	Java Virtual Machine, EDF, Real-Time Java, Deadline Scheduling
2	John Waldron	Dynamic Bytecode Usage by Object Oriented Java Programs.	TOOLS	1999	DBLP DOI BibTeX RDF	Object Oriented Platform Design, Java, Java Virtual Machine, bytecode
2	K. Stephenson	Towards an Algebraic Specification of the Java Virtual Machine.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
2	Qiaoyun Li	Java Virtual Machine - Present and Near Future.	TOOLS	1998	DBLP DOI BibTeX RDF	Metaspace, Java, Virtual machine, Bytecode
2	Egon Börger, Wolfram Schulte	Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.	MFCS	1998	DBLP DOI BibTeX RDF
2	Laurent Millet, Ted Baker	Porting the GNAT Tasking Runtime System to the Java Virtual Machine.	Ada-Europe	1998	DBLP DOI BibTeX RDF
2	David Wakeling	Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
2	Masami Hagiya, Akihiko Tozawa	On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.	SAS	1998	DBLP DOI BibTeX RDF
2	Suad Alagic, Jose Solorzano, David Gitchell	Orthogonal to the Java Imperative.	ECOOP	1998	DBLP DOI BibTeX RDF	F-bounded polymorphism, Java Virtual Machine, Declarative languages, orthogonal persistence
2	Lisa Higham, Jalal Kawash	Java: Memory Consistency and Process Coordination.	DISC	1998	DBLP DOI BibTeX RDF	process coordination, critical section problem, producer/consumer problem, non-terminating systems, Java, Java Virtual Machine, memory consistency models
2	David Wakeling	A Haskell to Java Virtual Machine Code Compiler.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
1	Gregor Wagner, Andreas Gal, Michael Franz	"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini	Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF