Search results for "JVM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Sara Bouchenak, Daniel Hagimont, Noel De Palma	Efficient Java thread serialization.	PPPJ	2003	DBLP DOI BibTeX RDF	dynamic de-optimization, persistence K2checkpoint/restart, performance, mobility, JVM, threads, type inference
30	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
30	Ray Odaira, Kei Hiraki	Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime statistics, mutex lock, Java, JVM, runtime optimization
30	Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko	A Parallel, Incremental and Concurrent GC for Servers.	PLDI	2002	DBLP DOI BibTeX RDF	Java, garbage collection, JVM, concurrent garbage collection, weak ordering, incremental garbage collection
29	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
20	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
20	Avinash Malik, Zoran A. Salcic, Partha S. Roop	SystemJ compilation using the tandem virtual machine approach.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	SystemJ, compilation, virtual machines, System-level design, esterel
20	Eli Tilevich, Yannis Smaragdakis	J-Orchestra: Enhancing Java programs with distribution capabilities.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Java, middleware, distributed computing, Separation of concerns, RMI, bytecode engineering
20	Siliang Li, Gang Tan	Finding bugs in exceptional situations of JNI programs.	CCS	2009	DBLP DOI BibTeX RDF	static analysis, taint analysis, java native interface
20	David Vengerov	Modeling, analysis and throughput optimization of a generational garbage collector.	ISMM	2009	DBLP DOI BibTeX RDF	tenuring threshold, throughput model, garbage collection, parameter optimization
20	Kumar Shiv, Kingsum Chow, Yanping Wang, Dmitry Petrochenko	SPECjvm2008 Performance Characterization.	SPEC Benchmark Workshop	2009	DBLP DOI BibTeX RDF	Java Performance, Workload Characterization, SPEC
20	José Manuel Velasco, David Atienza, Katzalin Olcoz	Exploration of memory hierarchy configurations for efficient garbage collection on high-performance embedded systems.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	memory exploration, java, embedded systems, garbage collection
20	Chunqiang Tang	DSF: A Common Platform for Distributed Systems Research and Development.	Middleware	2009	DBLP DOI BibTeX RDF	mutable replay, massive multi-tenancy, chaotic timing test, simulation, distributed systems, debugging
20	Qiong Zou, Xiao-Feng Li, Long-Bing Zhang	Runtime Engine for Dynamic Profile Guided Stride Prefetching.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	stride prefetching, runtime system, dynamic profiling
20	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
20	Francisco Bavera, Eduardo Bonelli	Type-based information flow analysis for bytecode languages with variable object field policies.	SAC	2008	DBLP DOI BibTeX RDF
20	Rich Hickey	The Clojure programming language.	DLS	2008	DBLP DOI BibTeX RDF
20	Gilles Barthe, Benjamin Grégoire, Mariela Pavlova	Preservation of Proof Obligations from Java to the Java Virtual Machine.	IJCAR	2008	DBLP DOI BibTeX RDF
20	Arno Puder, Sascha Häberling, Rainer Todtenhoefer	An MDA Approach to Byte Code Level Cross-Compilation.	SNPD	2008	DBLP DOI BibTeX RDF
20	Vinh Quang La	A Study on Java Virtual Machine for Real-Time Embedded Systems.	CSSE (2)	2008	DBLP DOI BibTeX RDF
20	Xiaoyi Lu, Qiang Yue, Yongqiang Zou, Xiaoning Wang	An Experimental Analysis for Memory Usage of GOS Core.	PDCAT	2008	DBLP DOI BibTeX RDF
20	Yougang Song, Brett D. Fleisch	Utilizing Binary Rewriting for Improving End-Host Security.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Performance Evaluation, Web Servers, Traffic Analysis, Security and Protection, Binary Rewriting
20	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
20	Robert Atkey	CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.	TYPES	2007	DBLP DOI BibTeX RDF
20	Elliot Barlas, Tevfik Bultan	Netstub: a framework for verification of distributed java applications.	ASE	2007	DBLP DOI BibTeX RDF	testing and verification of, model checking, automated verification
20	Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom	A transformational perspective into the core of an abstract class loader for the SSP.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	HATS, Strategic programming, higher-order rewriting, TL, SSP
20	Yossi Levanoni, Erez Petrank	An on-the-fly reference-counting garbage collector for java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Programming languages, garbage collection, memory management, reference-counting
20	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
20	James R. Larus	Abolish runtime systems: operating systems should control the execution.	VEE	2006	DBLP DOI BibTeX RDF
20	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
20	Jameela Al-Jaroodi, Nader Mohamed	Object-Reuse for More Predictable Real-Time Java Behavior.	ISORC	2005	DBLP DOI BibTeX RDF
20	Youngsun Han, Seon Kim, Chulwoo Kim	Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing.	ICESS	2005	DBLP DOI BibTeX RDF	Java, FPGA, compiler, Reconfigurable computing, Verilog
20	Martin Schoeberl	Design and Implementation of an Efficient Stack Machine.	IPDPS	2005	DBLP DOI BibTeX RDF
20	Pedro Pablo Gómez-Martín, Marco Antonio Gómez-Martín, Pedro A. González-Calero	Learning-by-Doing Through Metaphorical Simulation.	KES (2)	2005	DBLP DOI BibTeX RDF
20	Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach	A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP.	WORDS	2005	DBLP DOI BibTeX RDF
20	Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé	Testing in resource constrained execution environments.	ASE	2005	DBLP DOI BibTeX RDF	code unloading, test suite execution
20	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
20	Jisheng Zhao, Ian Rogers, Chris C. Kirkham, Ian Watson	Loop Parallelisation for the Jikes RVM.	PDCAT	2005	DBLP DOI BibTeX RDF
20	Truman Parks Boyer, Mohsen Chitsaz	ICE™ and ICE/T™: tools to assist in compiler design and implementation.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	back-end, compiler, project, translator
20	Tony Ayres, Brian Nolan	Voice activated command and control with Java-enabled speech recognition over Wifi.	PPPJ	2004	DBLP BibTeX RDF
20	Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu	Formal Analysis of Java Programs in JavaFAN.	CAV	2004	DBLP DOI BibTeX RDF
20	Ankush Varma, Shuvra S. Bhattacharyya	Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems.	DATE	2004	DBLP DOI BibTeX RDF
20	Lu Yan, Zheng Liang	Accelerating Java for Ubiquitous Devices.	CIT	2004	DBLP DOI BibTeX RDF
20	Martin Schoeberl	Java Technology in an FPGA.	FPL	2004	DBLP DOI BibTeX RDF
20	Woo Jin Kim, Kyungbaek Kim, Jaesun Han, Keuntae Park, Daeyeon Park	Thread-Aware Garbage Collection for Server Applications.	SAINT	2004	DBLP DOI BibTeX RDF
20	Bahador Ghahramani, Mark A. Pauley	Java in High-Performance Environments.	Computer	2003	DBLP DOI BibTeX RDF
20	Gerwin Klein, Martin Wildmoser	Verified Bytecode Subroutines.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification
20	Christophe Deleray, Nicolas Bedon, Gilles Roussel 0001	MyJVM: a 100% pure Java customizable Java Virtual Machine.	PPPJ	2003	DBLP BibTeX RDF
20	Hezi Azatchi, Yossi Levanoni, Harel Paz, Erez Petrank	An on-the-fly mark and sweep garbage collector based on sliding views.	OOPSLA	2003	DBLP DOI BibTeX RDF	on-the-fly garbage collection, garbage collection, memory management, runtime systems, concurrent garbage collection
20	Gerwin Klein, Martin Wildmoser	Verified Bytecode Subroutines.	TPHOLs	2003	DBLP DOI BibTeX RDF
20	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
20	Yoshiki Sato, Shigeru Chiba, Michiaki Tatsubori	A Selective, Just-in-Time Aspect Weaver.	GPCE	2003	DBLP DOI BibTeX RDF
20	Sudhakar Govindavajhala, Andrew W. Appel	Using Memory Errors to Attack a Virtual Machine.	S&P	2003	DBLP DOI BibTeX RDF
20	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Java Class Deployment Using Class Collections.	NetObjectDays	2002	DBLP DOI BibTeX RDF
20	Guangyu Chen, R. Shetty, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Mario Wolczko	Tuning Garbage Collection in an Embedded Java Environment.	HPCA	2002	DBLP DOI BibTeX RDF
20	Yajun Ha, Radovan Hipik, Serge Vernalde, Diederik Verkest, Marc Engels, Rudy Lauwereins, Hugo De Man	Adding Hardware Support to the HotSpot Virtual Machine for Domain Specific Applications.	FPL	2002	DBLP DOI BibTeX RDF
20	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
20	Muhammad Umar Janjua, Muhammad Mehboob Yasin, Ch. Falak Sher, K. Awan, I. Hassan	CEJVM: "Cluster Enabled Java Virtual Machine".	CLUSTER	2002	DBLP DOI BibTeX RDF
20	David Hardin	Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine.	ISORC	2001	DBLP DOI BibTeX RDF
20	Fabian Breg, Constantine D. Polychronopoulos	Java virtual machine support for object serialization.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
20	Grzegorz Czajkowski, Laurent Daynès, Mario Wolczko	Automated and Portable Native Code Isolation.	ISSRE	2001	DBLP DOI BibTeX RDF
20	Carl Bredlau, Dorothy Deremer	Assembly language through the Java virtual machine.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
20	Pramod G. Joisha, Samuel P. Midkiff, Mauricio J. Serrano, Manish Gupta 0002	A framework for efficient reuse of binary code in Java.	ICS	2001	DBLP DOI BibTeX RDF
20	Günter Kniesel, Pascal Costanza, Michael Austermann	Jmangler-A Framework for Load-Time Transformation of Java Class Files.	SCAM	2001	DBLP DOI BibTeX RDF	JMangler, load-time transformation, class file transformation, class loader, transformer components, independent extensibility
20	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
20	Mads Dam, Pablo Giambiagi	Confidentiality for Mobile Code: The Case of a Simple Payment Protocol.	CSFW	2000	DBLP DOI BibTeX RDF	information flow, confidentiality, Mobile code
20	Shigeru Chiba	Load-Time Structural Reflection in Java.	ECOOP	2000	DBLP DOI BibTeX RDF
20	Mladen Berekovic, Helge Kloos, Peter Pirsch	Hardware Realization of a Java Virtual Machine for High Performance Multimedia Applications.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
20	Martin C. Carlisle	A truly implementation independent GUI development tool.	SIGAda	1999	DBLP DOI BibTeX RDF	Java, Ada, graphical user interfaces, automatic code generation, Tcl/Tk
20	Hongwei Xi, Songtao Xia	Towards array bound check elimination in Java TM virtual machine language.	CASCON	1999	DBLP BibTeX RDF	Java
20	Karen Stephenson	Towards an Algebraic Specification of the Java Virtual Machine.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
20	Beatrice Åkerblom, Elias Castegren	Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM.	Art Sci. Eng. Program.	2024	DBLP DOI BibTeX RDF
20	Beatrice Åkerblom, Elias Castegren	Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM.	CoRR	2024	DBLP DOI BibTeX RDF
20	Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu	Vincent: Green hot methods in the JVM.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
20	Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh	Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.	CAV (1)	2023	DBLP DOI BibTeX RDF
20	Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang 0001, Yuqun Zhang	SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
20	Tianchang Gao, Junjie Chen 0003, Yingquan Zhao, Yuqun Zhang, Lingming Zhang 0001	Vectorizing Program Ingredients for Better JVM Testing.	ISSTA	2023	DBLP DOI BibTeX RDF
20	Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen 0003, Yuqun Zhang, Lingming Zhang 0001	JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers.	ICSE	2023	DBLP DOI BibTeX RDF
20	Haoxiang Jia, Ming Wen 0001, Zifan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, Hai Jin 0001	Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces.	ICSE	2023	DBLP DOI BibTeX RDF
20	Yicheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen, Mingze Xu, Yuqun Zhang, Lingming Zhang 0001	MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems.	ICSE	2023	DBLP DOI BibTeX RDF
20	Larkin Liu, Jun Tao Luo	mctreesearch4j: A Monte Carlo Tree Search Implementation for the JVM.	J. Open Source Softw.	2022	DBLP DOI BibTeX RDF
20	Jonathan Lambert 0002, Rosemary Monahan, Kevin Casey	Accidental Choices - How JVM Choice and Associated Build Tools Affect Interpreter Performance.	Comput.	2022	DBLP DOI BibTeX RDF
20	Lu Li, Yan Liu	Mapping Modern JVM Language Code to Analysis-Friendly Graphs: A Study with Kotlin.	Int. J. Softw. Eng. Knowl. Eng.	2022	DBLP DOI BibTeX RDF
20	Lu Li, Yan Liu	Mapping Modern JVM Language Code to Analysis-friendly Graphs: A Pilot Study with Kotlin.	SEKE	2022	DBLP DOI BibTeX RDF
20	Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu	Vincent: Green Hot Methods in the JVM (Extended Abstract).	ECOOP	2022	DBLP DOI BibTeX RDF
20	Alexey Khrabrov 0002, Marius Pirvu, Vijay Sundaresan, Eyal de Lara	JITServer: Disaggregated Caching JIT Compiler for the JVM in the Cloud.	USENIX Annual Technical Conference	2022	DBLP BibTeX RDF
20	Aaron Graham, Jean-Philippe Legault, Hillary Soontiens, Julie Brown, Stephen A. MacKay, Gerhard W. Dueck, Kenneth B. Kent, Kazuhiro Konno, Daryl Maier	Evaluating the Performance of the Eclipse OpenJ9 JVM JIT Compiler on AArch64.	CCECE	2022	DBLP DOI BibTeX RDF
20	Yingquan Zhao, Zan Wang, Junjie Chen 0003, Mengdi Liu, Mingyuan Wu, Yuqun Zhang, Lingming Zhang 0001	History-Driven Test Program Synthesis for JVM Testing.	ICSE	2022	DBLP DOI BibTeX RDF
20	Francesco Bertolotti, Walter Cazzola, Luca Favalli	Features, believe it or not!: a design pattern for first-class citizen features on stock JVM.	SPLC (A)	2022	DBLP DOI BibTeX RDF
20	Malte Mues, Falk Howar, Simon Dierl	SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM.	SEFM	2022	DBLP DOI BibTeX RDF
20	Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis	Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
20	Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus	A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM.	IEEE Trans. Software Eng.	2021	DBLP DOI BibTeX RDF
20	Karim Ali 0001, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip	A Study of Call Graph Construction for JVM-Hosted Languages.	IEEE Trans. Software Eng.	2021	DBLP DOI BibTeX RDF
20	Larkin Liu, Jun Tao Luo	An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM.	CoRR	2021	DBLP BibTeX RDF
20	Majid Makki, Dimitri Van Landuyt, Bert Lagaisse, Wouter Joosen	Thread-level resource consumption control of tenant custom code in a shared JVM for multi-tenant SaaS.	Future Gener. Comput. Syst.	2021	DBLP DOI BibTeX RDF
20	Majid Makki, Dimitri Van Landuyt, Bert Lagaisse, Wouter Joosen	Shared memory protection in a multi-tenant JVM.	MPLR	2021	DBLP DOI BibTeX RDF
20	D. Beronic, Paula Pufek, Branko Mihaljevic, Aleksander Radovan	On Analyzing Virtual Threads - a Structured Concurrency Model for Scalable Applications on the JVM.	MIPRO	2021	DBLP DOI BibTeX RDF
20	Zhiqiang Zuo 0002, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu	JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace.	PLDI	2021	DBLP DOI BibTeX RDF
20	Atsuya Sonoyama, Takeshi Kamiyama, Masato Oguchi, Saneyasu Yamaguchi	Performance Study of Kotlin and Java Program Considering Bytecode Instructions and JVM JIT Compiler.	CANDAR (Workshops)	2021	DBLP DOI BibTeX RDF
20	Litong You, Tianxiao Gu, Shengan Zheng, Jianmei Guo, Sanhong Li, Yuting Chen, Linpeng Huang	JPDHeap: A JVM Heap Design for PM-DRAM Memories.	DAC	2021	DBLP DOI BibTeX RDF