Search results for "JDK"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Walter Binder, Jarle Hulaas	Extending Standard Java Runtime Systems for Resource Management.	SEM	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, JDK, Java, program transformations, resource management
81	Li Gong, Satya Dodda	Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2).	HASE	1999	DBLP DOI BibTeX RDF
49	Lora Kassab, Steven J. Greenwald	Towards Formalizing the Java Security Architecture of JDK 1.2.	ESORICS	1998	DBLP DOI BibTeX RDF
33	Christian Skalka	Type safe dynamic linking for JVM access control.	PPDP	2007	DBLP DOI BibTeX RDF	static type analysis, language-based security, bytecode verification, dynamic linking
33	Hei Ning Helen Ma, Lan Yang	Improvement of Object Serialization in Java Remote Method Invocation.	SNPD	2006	DBLP DOI BibTeX RDF
33	Christian Wimmer, Hanspeter Mössenböck	Optimized interval splitting in a linear scan register allocator.	VEE	2005	DBLP DOI BibTeX RDF	linear scan, java, optimization, compilers, graph-coloring, register allocation, just-in-time compilation
33	Jarle Hulaas, Walter Binder	Program transformations for portable CPU accounting and control in Java.	PEPM	2004	DBLP DOI BibTeX RDF	Java, program transformations, resource management, bytecode engineering
33	François Pottier, Christian Skalka, Scott F. Smith 0001	A Systematic Approach to Static Access Control.	ESOP	2001	DBLP DOI BibTeX RDF
33	Li Gong	Developing Security Systems in the Real World.	ECOOP	2000	DBLP DOI BibTeX RDF
33	Dirk Balfanz, Li Gong	Experience with Secure Multi-Processing in Java.	ICDCS	1998	DBLP DOI BibTeX RDF	Java platform, security, multi-user environment, multi-processing
32	Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung 0003, Mattias Ulbrich, Alexander Weigl	Formal Specification and Verification of JDK's Identity Hash Map Implementation.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
32	Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung 0003, Mattias Ulbrich, Alexander Weigl	Formal Specification and Verification of JDK's Identity Hash Map Implementation.	IFM	2022	DBLP DOI BibTeX RDF
32	Anand Ashok Sawant, Romain Robbes, Alberto Bacchelli	On the reaction to deprecation of clients of 4 + 1 popular Java APIs and the JDK.	Empir. Softw. Eng.	2018	DBLP DOI BibTeX RDF
32	Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich	Proving JDK's Dual Pivot Quicksort Correct.	VSTTE	2017	DBLP DOI BibTeX RDF
32	Padmanabhan Krishnan, Jerome Loh, Rebecca O'Donoghue, Larissa Meinicke	Evaluating quality of security testing of the JDK.	A-TEST@ESEC/SIGSOFT FSE	2017	DBLP DOI BibTeX RDF
32	Yang Yu, Tianyang Lei, Haibo Chen 0001, Binyu Zang	Open JDK Meets Xeon Phi: A Comprehensive Study of Java HPC on Intel Many-Core Architecture.	ICPP Workshops	2015	DBLP DOI BibTeX RDF
32	Gang Tan, Jason Croft	An Empirical Security Study of the Native Code in the JDK.	USENIX Security Symposium	2008	DBLP BibTeX RDF
32	Marc Schönefeld	Anti-Patterns in JDK Security and Refactorings.	DIMVA	2004	DBLP BibTeX RDF
32	Will Iverson	Mac OS X for Java Geeks - cross-plattform compatibility and platform-specific functionality: covers Mac OS X JDK 1.4.		2003	RDF
32	Elliotte Rusty Harold	Java network programming - covers Java 2, JDK 1.2 and 1.3 (2. ed.).		2000	RDF
32	Pekka Nikander, Jonna Partanen	Distributed Policy Management for JDK 1.2.	NDSS	1999	DBLP BibTeX RDF
16	Myoungkyu Song, Eli Tilevich	The anti-goldilocks debugger: helping the average bear debug transparently transformed programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bytecode enhancement, debugging, program transformation
16	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
16	Neha Rungta, Eric G. Mercer	A Meta Heuristic for Effectively Detecting Concurrency Errors.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
16	Alessandro Ricci, Mirko Viroli	simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.	PPPJ	2007	DBLP DOI BibTeX RDF	agents & artifacts, simpA, concurrent programming
16	Yan Li, Shaobin Cheng, Lu Zhang 0023, Bing Xie, Jiasu Sun	Mining User Query Logs to Refine Component Description.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
16	Eric Roberts	Resurrecting the applet paradigm.	SIGCSE	2007	DBLP DOI BibTeX RDF	Java, applet, teaching resources
16	Nilam Chand, Bindiya Mansharamani, Rafael Romero 0003, Will Beazley, Stefan Andrei	PEARLS: An Integrated Environment for Task Scheduling.	SYNASC	2007	DBLP DOI BibTeX RDF
16	Koushik Sen	Concolic testing.	ASE	2007	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, symbolic execution, testing tools, testing C programs, concolic testing
16	Lingxiao Jiang, Ghassan Misherghi, Zhendong Su 0001, Stéphane Glondu	DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones.	ICSE	2007	DBLP DOI BibTeX RDF
16	Joan Esteve Riasol, Fatos Xhafa	Juxta-Cat: a JXTA-based platform for distributed computing.	PPPJ	2006	DBLP DOI BibTeX RDF	Java
16	Fumiaki Ohata, Katsuro Inoue	JAAT: Java Alias Analysis Tool for Program Maintenance Activities.	ISORC	2006	DBLP DOI BibTeX RDF
16	Du Li, Yi Yang 0014, James Creel, Blake Dworaczyk	A Framework for Building Collaboration Tools by Leveraging Industrial Components.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
16	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
16	Xiaohong Li 0001, Zhiyong Feng 0002, Tie Li, Li Lv	A Template Language for Agent Construction.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
16	Giovanni Rimassa, Mirko Viroli	Understanding access restriction of variant parametric types and Java wildcards.	SAC	2005	DBLP DOI BibTeX RDF	java wildcards, use-site variance, variant parametric types, subtyping, java generics
16	Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit	A Lazy Concurrent List-Based Set Algorithm.	OPODIS	2005	DBLP DOI BibTeX RDF
16	Kwang-Man Ko, Soon-Gohn Kim	Target Code Generation Using the Code Expansion Technique for Java Bytecode.	PDCAT	2004	DBLP DOI BibTeX RDF
16	Edward A. Billard	Language-Dependent performance of design patterns.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
16	Arvind S. Krishna, Raymond Klefstad, Douglas C. Schmidt, Angelo Corsaro	Towards Predictable Real-time Java Object Request Brokers.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
16	Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue	CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source Code.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	metrics, maintenance, CASE tool, Code clone, duplicated code
16	Marco Danelutto, P. Teti	Lithium: A Structured Parallel Programming Environment in Java.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
16	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation
16	Miguel A. de Miguel	Solutions to Make Java-RMI Time Predictable.	ISORC	2001	DBLP DOI BibTeX RDF	Real-time Distributed Object-Oriented Systems, Real-time RMI, bandwidth reservation in RMI, predictability in distributed Java applications
16	Magdalena Balazinska, Ettore Merlo, Michel R. Dagenais, Bruno Laguë, Kostas Kontogiannis	Advanced Clone-Analysis to Support Object-Oriented System Refactoring.	WCRE	2000	DBLP DOI BibTeX RDF	refactoring, maintenance, redesign, Clone analysis
16	Jeff Bogda	Detecting Read-Only Methods in Java.	LCR	2000	DBLP DOI BibTeX RDF
16	Christian Skalka, Scott F. Smith 0001	Static enforcement of security with types.	ICFP	2000	DBLP DOI BibTeX RDF
16	Trent Jaeger, Atul Prakash 0001, Jochen Liedtke, Nayeem Islam	Flexible Control of Downloaded Executable Content.	ACM Trans. Inf. Syst. Secur.	1999	DBLP DOI BibTeX RDF	autorization machanisms, authentication, role-based access control, collaborative systems, access control models
16	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
16	Byung-Sun Yang, Soo-Mook Moon, Seongbae Park, Junpyo Lee, SeungIl Lee, Jinpyo Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman	LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Java JIT compilation, register allocation
16	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
16	Magdalena Balazinska, Ettore Merlo, Michel R. Dagenais, Bruno Laguë, Kostas Kontogiannis	Partial Redesign of Java Software Systems Based on Clone Analysis.	WCRE	1999	DBLP DOI BibTeX RDF	software redesign, design patterns, clone detection, software reengineering
16	Jeffrey L. Korn, Yih-Farn Chen, Eleftherios Koutsofios	Chava: Reverse Engineering and Tracking of Java Applets.	WCRE	1999	DBLP DOI BibTeX RDF
16	Michael W. Godfrey, Dan Grossman	JDuck: building a software engineering tool in Java as a CS2 project.	SIGCSE	1999	DBLP DOI BibTeX RDF
16	Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn	Verification of Control Flow based Security Properties.	S&P	1999	DBLP DOI BibTeX RDF
16	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Aske Plaat	An Efficient Implementation of Java's Remote Method Invocation.	PPoPP	1999	DBLP DOI BibTeX RDF
16	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
16	Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela	Modular Heterogeneous System Development: A Critical Analysis of Java.	Heterogeneous Computing Workshop	1998	DBLP DOI BibTeX RDF	Java, Distributed Systems, Actors, Corba
16	Stephen N. Freund, John C. Mitchell	A Type System for Object Initialization in the Java Bytecode Language.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
16	Ralph Keller, Urs Hölzle	Binary Component Adaptation.	ECOOP	1998	DBLP DOI BibTeX RDF
16	David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano	Thin locks: featherweight Synchronization for Java (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
16	David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano	Thin Locks: Featherweight Synchronization for Java.	PLDI	1998	DBLP DOI BibTeX RDF	AIX, Java
16	Qiaoyun Li	Java Virtual Machine - Present and Near Future.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Metaspace, Java, Virtual machine, Bytecode