James Gosling No contact information provided yet.	Bibliometrics: publication history Publication years 1981-2014 Publication count 29 Citation Count 2,560 Available for download 7 Downloads (6 Weeks) 5 Downloads (12 Months) 67 Downloads (cumulative) 3,176 Average downloads per article 453.71 Average citations per article 88.28
View colleagues of James Gosling

Bill Joy No contact information provided yet.	Bibliometrics: publication history Publication years 1991-2014 Publication count 8 Citation Count 1,752 Available for download 0 Downloads (6 Weeks) 0 Downloads (12 Months) 0 Downloads (cumulative) 0 Average downloads per article 0.00 Average citations per article 219.00
View colleagues of Bill Joy

Guy Steele No contact information provided yet.	Bibliometrics: publication history Publication years 1982-2014 Publication count 8 Citation Count 410 Available for download 4 Downloads (6 Weeks) 2 Downloads (12 Months) 12 Downloads (cumulative) 1,110 Average downloads per article 277.50 Average citations per article 51.25
View colleagues of Guy Steele

Gilad Bracha No contact information provided yet.	Bibliometrics: publication history Publication years 1987-2015 Publication count 22 Citation Count 1,814 Available for download 11 Downloads (6 Weeks) 154 Downloads (12 Months) 3,164 Downloads (cumulative) 37,242 Average downloads per article 3,385.64 Average citations per article 82.45
View colleagues of Gilad Bracha

316 Citations

	Daryl Parker , David Cleary, A p2p approach to classloading in java, Proceedings of the Second international conference on Agents and Peer-to-Peer Computing, July 14, 2003, Melbourne, Australia
	Walter Binder, Portable and accurate sampling profiling for Java, Software—Practice & Experience, v.36 n.6, p.615-650, May 2006
	Benjamin M. Brosgol , Brian Dobbing, Can Java Meet Its Real-Time Deadlines?, Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies, p.68-87, May 14-18, 2001
	Ben Stephenson , Wade Holst, Advancements in multicode optimization, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA
	Lujo Bauer , Andrew W. Appel , Edward W. Felten, Mechanisms for secure modular programming in Java, Software—Practice & Experience, v.33 n.5, p.461-480, 25 April 2003
	Walter Binder , Jarle Hulaas, A Portable CPU-Management Framework for Java, IEEE Internet Computing, v.8 n.5, p.74-83, September 2004
	J. A. Bergstra , C. A. Middelburg, A thread calculus with molecular dynamics, Information and Computation, v.208 n.7, p.817-844, July, 2010
	Travis Newhouse , Joseph Pasquale, Java active extensions: Scalable middleware for performance-isolated remote execution, Computer Communications, v.28 n.14, p.1680-1691, September, 2005
	Wei Ke , Zhiming Liu , Shuling Wang , Liang Zhao, A graph-based generic type system for object-oriented programs, Frontiers of Computer Science: Selected Publications from Chinese Universities, v.7 n.1, p.109-134, February 2013
	Urs Gleim, JaRTS: A Portable Implementation of Real-Time Core Extensions for Java, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.139-149, August 01-02, 2002
	M. Watheq El-Kharashi , Fayez Elguibaly , Kin F. Li, Adapting Tomasulo's algorithm for bytecode folding based Java processors, ACM SIGARCH Computer Architecture News, v.29 n.5, December 2001
	Weijian Fang , Cho-Li Wang , Francis C. M. Lau, On the design of global object space for efficient multi-threading Java computing on clusters, Parallel Computing, v.29 n.11-12, p.1563-1587, November/December 2003
	Matthias Zenger, KERIS: evolving software with extensible modules: Research Articles, Journal of Software Maintenance and Evolution: Research and Practice, v.17 n.5, p.333-362, September 2005
	Zhilei Chai , Wenke Zhao , Wenbo Xu, Real-time Java processor optimized for RTSJ, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Alfred Strohmeier , Stanislav Chachkov, A side-by-side comparison of exception handling in Ada and Java, ACM SIGAda Ada Letters, v.XXI n.3, September 2001
	Gary K. W. Hau , Anthony Fong , Mok Pak Lun, Support of Java API for the jHISC system, Proceedings of the 1st international symposium on Information and communication technologies, September 24-26, 2003, Dublin, Ireland
	V. Mikheev , N. Lipsky , D. Gurchenkov , P. Pavlov , V. Sukharev , A. Markov , S. Kuksenko , S. Fedoseev , D. Leskov , A. Yeryomin, Overview of excelsior JET, a high performance alternative to java virtual machines, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy
	Vitaly V. Mikheev , Stanislav A. Fedoseev , Vladimir V. Sukharev , Nikita V. Lipsky, Effective Enhancement of Loop Versioning in Java, Proceedings of the 11th International Conference on Compiler Construction, p.293-306, April 08-12, 2002
	Mick Jordan , Grzegorz Czajkowski , Kirill Kouklinski , Glenn Skinner, Extending a J2EE™ server with dynamic and flexible resource management, Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, October 18-22, 2004, Toronto, Canada
	Satyam Tyagi , Paul Tarau, A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces, Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages, p.322-336, March 11-12, 2001
	Gary K. W. Hau , Anthony Fong , Mok Pak Lun, Support of Java API for the jHISC system, ACM SIGARCH Computer Architecture News, v.31 n.4, p.12-17, Sept 2003
	Nguyen Truong Thang , Takuya Katayama, Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition, Proceedings of the International Workshop on Principles of Software Evolution, May 19-20, 2002, Orlando, Florida
	Torbjörn Ekman , Ulf Asklund, Refactoring-aware versioning in Eclipse, Electronic Notes in Theoretical Computer Science (ENTCS), v.107 n.C, p.57-69, December 2004
	David R. Hanson , Todd A. Proebsting, Dynamic variables, ACM SIGPLAN Notices, v.36 n.5, p.264-273, May 2001
	Alain Wegmann , Andrey Naumenko, Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology, Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, p.200, September 04-07, 2001
	Steffen Deter , Karsten Sohr, Pini - A Jini-Like Plug&Play Technology for the KVM/CLDC, Proceedings of the International Workshop on Innovative Internet Computing Systems, p.53-66, June 21-22, 2001
	Yan Chen , Xinyuan Fan , Jian Jiao , Dongmin Wang, Smart active object: a new object-oriented programming paradigm for developing multithreaded applications, Proceedings of the 2002 international conference on Metainformatics, p.90-99, August 07-10, 2002, Esbjerg, Denmark
	Michael Warres, Class loading issues in Java™ RMI and Jini™ network technology, Sun Microsystems, Inc., Mountain View, CA, 2006
	Torbjörn Ekman , Görel Hedin, Modular name analysis for java using jastadd, Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, July 04-08, 2005, Braga, Portugal
	Benjamin M. Brosgol , Ricardo J. Hassan, II , Scott Robbins, Asynchronous transfer of control in the real-time specification for java™, ACM SIGAda Ada Letters, v.XXII n.4, December 2002
	A. V. Zamulin, Formal Semantics of Java Expressions and Statements, Programming and Computing Software, v.29 n.5, p.259-270, September-October 2003
	Lingli Zhang , Chandra Krintz, Profile-driven code unloading for resource-constrained JVMs, Proceedings of the 3rd international symposium on Principles and practice of programming in Java, June 16-18, 2004, Las Vegas, Nevada
	Hyun-il Lim , Heewan Park , Seokwoo Choi , Taisook Han, Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns, IEICE - Transactions on Information and Systems, v.E91-D n.9, p.2323-2332, September 2008
	Jung Gyu Park , Myong-Soon Park, Automatic Specialization of Java Programs in the Distributed Environment, Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II, p.757-767, January 30-February 01, 2002
	Janusz Jablonowski, Some remarks on teaching of programming, Proceedings of the 5th international conference on Computer systems and technologies, June 17-18, 2004, Rousse, Bulgaria
	Bart Massey , Keith Packard, Nickle: Language Principles and Pragmatics, Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, p.55-68, June 25-30, 2001
	Richard Arthur , Dan R. Olsen, Jr., Window brokers: Collaborative display space control, ACM Transactions on Computer-Human Interaction (TOCHI), v.19 n.3, p.1-21, October 2012
	Maurizio Cimadamore , Mirko Viroli, Reifying wildcards in Java using the EGO approach, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Benjamin M. Brosgol, A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM, Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, June 20-24, 2005, York, UK
	Shaun Bangay, Experiences in porting a virtual reality system to Java, Proceedings of the 1st international conference on Computer graphics, virtual reality and visualisation, November 05-07, 2001, Camps Bay, Cape Town, South Africa
	Neil M. Goldman, Ontology-oriented programming: static typing for the inconsistent programmer, Proceedings of the Second International Conference on Semantic Web Conference, October 20-23, 2003, Sanibel Island, FL
	Petr Hnětynka , František Plášil, Distributed versioning model for MOF, Proceedings of the winter international synposium on Information and communication technologies, January 05-08, 2004, Cancun, Mexico
	W. Douglas Maurer, Why matrix manipulation should be done in C++, Journal of Computing Sciences in Colleges, v.19 n.4, p.115-127, April 2004
	Christopher Unkel , Monica S. Lam, Automatic inference of stationary fields: a generalization of java's final fields, ACM SIGPLAN Notices, v.43 n.1, January 2008
	Shujuan Jiang , Baowen Xu, An efficient and reliable object-oriented exception handling mechanism, ACM SIGPLAN Notices, v.40 n.2, February 2005
	Kaushik Datta , Dan Bonachea , Katherine Yelick, Titanium performance and potential: an NPB experimental study, Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing, p.200-214, October 20-22, 2005, Hawthorne, NY
	Jien-Tsai Chan , Wuu Yang , Jing-Wei Huang, Traps in Java, Journal of Systems and Software, v.72 n.1, p.33-47, June 2004
	Won-Ho Choi , Ha-Yong Jeon , Rhys Rosholt , Gwang Jung , Min-Soo Jung, A novel buffer cache scheme using java card object with high locality for efficient java card applications, Proceedings of the 1st international conference on Advances in hybrid information technology, November 09-11, 2006, Jeju Island, Korea
	Michael Löwe , Harald König , Christoph Schulz, Algebraic properties of interfaces, Formal Methods in Software and Systems Modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2005
	Min-Sik Jin , Won-Ho Choi , Yoon-Sim Yang , Min-Soo Jung, A study on fast JCVM with new transaction mechanism and caching-buffer based on java card objects with a high locality, Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, December 06-09, 2005, Nagasaki, Japan
	Min-Sik Jin , Min-Soo Jung, A high performance buffering of java objects for java card systems with flash memory, Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing, August 01-04, 2006, Seoul, Korea
	Mik Kersten , Gail C. Murphy, Mylar: a degree-of-interest model for IDEs, Proceedings of the 4th international conference on Aspect-oriented software development, p.159-168, March 14-18, 2005, Chicago, Illinois
	Victor Luchangco, Modeling weakly consistent memories with locks, Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures, p.332-333, July 2001, Crete Island, Greece
	Min-Sik Jin , Won-Ho Choi , Yoon-Sim Yang , Min-Soo Jung, The research on how to reduce the number of EEPROM writing to improve speed of java card, Proceedings of the Second international conference on Embedded Software and Systems, December 16-18, 2005, Xi'an, China
	Demóstenes Sena , Roberta Coelho , Uirá Kulesza, Integrated analysis of exception flows and handler actions in Java libraries: an empirical study, Proceedings of the 31st Annual ACM Symposium on Applied Computing, April 04-08, 2016, Pisa, Italy
	Paola Giannini , Marco Servetto , Elena Zucca, Initialize-and-catch, Proceedings of the 31st Annual ACM Symposium on Applied Computing, April 04-08, 2016, Pisa, Italy
	Robert F. Stärk , Joachim Schmid, Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler, Journal of Automated Reasoning, v.30 n.3-4, p.323-361, 2003
	Konstantin Nasartschuk , Kenneth B. Kent , Stephen A. MacKay , Aleksandar Micic , Charlie Gracie, Improving garbage collection-time string deduplication, Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, November 06-08, 2017, Markham, Ontario, Canada
	Karl Lieberherr , David H. Lorenz , Pengcheng Wu, A case for statically executable advice: checking the law of demeter with AspectJ, Proceedings of the 2nd international conference on Aspect-oriented software development, p.40-49, March 17-21, 2003, Boston, Massachusetts
	C. van Reeuwijk , H. J. Sips, Adding tuples to Java: a study in lightweight data structures, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.185-191, November 03-05, 2002, Seattle, Washington, USA
	Vlad Tanasescu , Paweł T. Wojciechowski, Role-Based declarative synchronization for reconfigurable systems, Proceedings of the 7th international conference on Practical Aspects of Declarative Languages, January 10-11, 2005, Long Beach, CA
	Chris Kojouharov , Aleksey Solodovnik , Gleb Naumovich, JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials, Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, p.27-31, October 24-24, 2004, Vancouver, British Columbia, Canada
	K. Ozaki , T. Ogita , S. Miyajima , S. Oishi , S. M. Rump, A method of obtaining verified solutions for linear systems suited for Java, Journal of Computational and Applied Mathematics, v.199 n.2, p.337-344, 15 February 2007
	Toshihiro Kamiya, SOMA: a paradigm to evolve software based on separation of concerns, Proceedings of the International Workshop on Principles of Software Evolution, May 19-20, 2002, Orlando, Florida
	Joachim van den Berg , Bart Jacobs, The LOOP Compiler for Java and JML, Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p.299-312, April 02-06, 2001
	Zehra Sura , Chi-Leung Wong , Xing Fang , Jaejin Lee , Samuel P. Midkiff , David Padua, Automatic implementation of programming language consistency models, Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing, p.172-187, July 25-27, 2002, College Park, MD
	Javier Miranda , Edmond Schonberg , Gary Dismukes, The implementation of ada 2005 interface types in the GNAT compiler, Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, June 20-24, 2005, York, UK
	Willem van Heiningen , Tim Brecht , Steve MacDonald, Exploiting dynamic proxies in middleware for distributed, parallel, and mobile java applications, Proceedings of the 20th international conference on Parallel and distributed processing, p.231-231, April 25-29, 2006, Rhodes Island, Greece
	G. Ardourel , M. Huchard, AGATE, Access Graph-Based Tools for Handling Encapsulation, Proceedings of the 16th IEEE international conference on Automated software engineering, p.311, November 26-29, 2001
	Günter Kniesel , Michael Austermann, CC4J - Code Coverage for Java, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.155-169, June 20-21, 2002
	Vijay Saraswat, Concurrent constraint-based memory machines: a framework for java memory models (summary), Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, December 08-10, 2004, Chiang Mai, Thailand
	Leonardo Cole , Paulo Borba, Deriving refactorings for aspectJ, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA
	Patrice Chalin, Logical Foundations of Program Assertions: What do Practitioners Want?, Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, p.383-393, September 07-09, 2005
	Paola Giannini , Marco Servetto , Elena Zucca, Coupling catch clauses with local declarations, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, p.1-6, July 17-22, 2016, Rome, Italy
	D. Ancona , G. Lagorio , E. Zucca, True separate compilation of Java classes, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.189-200, October 06-08, 2002, Pittsburgh, PA, USA
	Bart Jacobs, A Formalisation of Java's Exception Mechanism, Proceedings of the 10th European Symposium on Programming Languages and Systems, p.284-301, April 02-06, 2001
	Walter Cazzola, SmartMethod: an efficient replacement for method, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Eli Tilevich , Yannis Smaragdakis, J-Orchestra: Automatic Java Application Partitioning, Proceedings of the 16th European Conference on Object-Oriented Programming, p.178-204, June 10-14, 2002
	G. Lagorio, Another step towards a smart compilation manager for Java, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Barbara Barth , Gregory Butler , Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative Programming, Proceedings of the Workshops on Object-Oriented Technology, p.135-149, June 18-22, 2001
	Néstor Cataño, Formal modeling of a slicing algorithm for java event spaces in PVS, Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics, August 22-25, 2005, Oxford, UK
	Ran Ettinger , Mathieu Verbaere, Untangling: a slice extraction refactoring, Proceedings of the 3rd international conference on Aspect-oriented software development, p.93-101, March 22-24, 2004, Lancaster, UK
	Markus Mohnen, Interfaces with default implementations in Java, Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, June 13-14, 2002, Dublin, Ireland
	Lingli Zhang , Chandra Krintz, The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices, ACM Transactions on Architecture and Code Optimization (TACO), v.2 n.2, p.131-164, June 2005
	Gregory T. Sullivan, Dynamic Partial Evaluation, Proceedings of the Second Symposium on Programs as Data Objects, p.238-256, May 21-23, 2001
	David Hovemeyer , William Pugh , Jaime Spacco, Atomic Instructions in Java, Proceedings of the 16th European Conference on Object-Oriented Programming, p.133-154, June 10-14, 2002
	Vadim Zaytsev, Language convergence infrastructure, Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III, July 06-11, 2009, Braga, Portugal
	Cees Pierik , Dave Clarke , Frank S. de Boer, Controlling object allocation using creation guards, Proceedings of the 2005 international conference on Formal Methods, July 18-22, 2005, Newcastle, UK
	Néstor Cataño , Marieke Huisman, CHASE: A Static Checker for JML's Assignable Clause, Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, p.26-40, January 09-11, 2002
	Xiaoxia Ren , Ophelia C. Chesley , Barbara G. Ryder, Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis, IEEE Transactions on Software Engineering, v.32 n.9, p.718-732, September 2006
	Brian Chin , Todd Millstein, Responders: language support for interactive applications, Proceedings of the 20th European conference on Object-Oriented Programming, July 03-07, 2006, Nantes, France
	Wolfgang Ahrendt , Andreas Roth , Ralf Sasse, Automatic validation of transformation rules for java verification against a rewriting semantics, Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, p.412-426, December 02-06, 2005, Montego Bay, Jamaica
	Willem van Heiningen , Tim Brecht , Steve MacDonald, Babylon v2.0: middleware for distributed, parallel, and mobile java applications, Proceedings of the 20th international conference on Parallel and distributed processing, p.226-226, April 25-29, 2006, Rhodes Island, Greece
	D. Ancona , G. Lagorio , E. Zucca, A core calculus for Java exceptions, ACM SIGPLAN Notices, v.36 n.11, p.16-30, 11/01/2001
	Ernie Giangrande, Jr., CS1 programming language options, Journal of Computing Sciences in Colleges, v.22 n.3, p.153-160, January 2007
	Pramod G. Joisha , Samuel P. Midkiff , Mauricio J. Serrano , Manish Gupta, A framework for efficient reuse of binary code in Java, Proceedings of the 15th international conference on Supercomputing, p.440-453, June 2001, Sorrento, Italy
	Dachuan Yu , Andrew Kennedy , Don Syme, Formalization of generics for the .NET common language runtime, ACM SIGPLAN Notices, v.39 n.1, p.39-51, January 2004
	Erika Ábrahám , Andreas Grüner , Martin Steffen, Abstract interface behavior of object-oriented languages with monitors, Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 14-16, 2006, Bologna, Italy
	Robert E. Filman, Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies, Proceedings of the 16th European Conference on Object-Oriented Programming, p.545-561, June 10-14, 2002
	Jung Gyu Park , Myong-Soon Park, Using indexed data structures for program specialization, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.61-69, September 12-14, 2002, Aizu, Japan
	Mohammad Reza Azadmanesh , Mohsen Sharifi, Towards a system-wide and transparent security mechanism using language-level information flow control, Proceedings of the 3rd international conference on Security of information and networks, September 07-11, 2010, Taganrog, Rostov-on-Don, Russian Federation
	Eric Potratz, A practical comparison between Java and Ada in implementing a real-time embedded system, ACM SIGAda Ada Letters, v.XXIV n.1, p.71-83, March 2004
	Tomoyuki Aotani , Hidehiko Masuhara, Towards a type system for detecting never-matching pointcut compositions, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.23-26, March 13-13, 2007, Vancouver, British Columbia, Canada
	Susan Eisenbach , Chris Sadler, Changing Java Programs, Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01), p.479, November 07-09, 2001
	Saso Greiner , Damijan Rebernak , Janez Brest , Viljem Zumer, Z0 - a tiny experimental language, ACM SIGPLAN Notices, v.40 n.8, August 2005
	T. Richardson , A. J. Wellings , J. A. Dianes , M. Díaz, Providing temporal isolation in the OSGi framework, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, September 23-25, 2009, Madrid, Spain
	Michael Batchelder , Laurie Hendren, Obfuscating Java: the most pain for the least gain, Proceedings of the 16th international conference on Compiler construction, March 26-30, 2007, Braga, Portugal
	Daniel von Dincklage , Amer Diwan, Converting Java classes to use generics, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Byeong-Mo Chang, Static check analysis for Java stack inspection, ACM SIGPLAN Notices, v.41 n.3, March 2006
	Pascal Costanza, Dynamic Replacement of Active Objects in the Gilgul Programming Language, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.125-140, June 20-21, 2002
	Robert Hirschfeld , Katsuya Kawamura, Dynamic Service Adaptation, Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04), p.290-297, March 23-24, 2004
	Pascal Costanza, Dynamically scoped functions as the essence of AOP, ACM SIGPLAN Notices, v.38 n.8, August 2003
	Sumant Kowshik , Dinakar Dhurjati , Vikram Adve, Ensuring code safety without runtime checks for real-time control systems, Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, October 08-11, 2002, Grenoble, France
	William C. Benton , Charles N. Fischer, Mostly-Functional Behavior in Java Programs, Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, December 18-20, 2008, Savannah, GA
	Markus Mohnen, An open framework for data-flow analysis in Java: extended abstract, Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, June 13-14, 2002, Dublin, Ireland
	Mikio Takeuchi , Hideaki Komatsu , Toshio Nakatani, A new speculation technique to optimize floating-point performance while preserving bit-by-bit reproducibility, Proceedings of the 17th annual international conference on Supercomputing, June 23-26, 2003, San Francisco, CA, USA
	Jien-Tsai Chan , Wuu Yang, Advanced obfuscation techniques for Java bytecode, Journal of Systems and Software, v.71 n.1-2, p.1-10, April 2004
	Dawid Kurzyniec , Vaidy S. Sunderam, The MICROBE Benchmarking Toolkit for Java: A Component-Based Approach, Proceedings of the International Conference on Computational Science-Part II, p.709-719, April 21-24, 2002
	Mats Skoglund, Sharing Objects by Read-Only References, Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, p.457-472, September 09-13, 2002
	Andreas Roth, Specification and verification of encapsulation in java programs, Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 15-17, 2005, Athens, Greece
	Amer Diwan , William M. Waite , Michele H. Jackson , Jacob Dickerson, PL-detective: A system for teaching programming language concepts, Journal on Educational Resources in Computing (JERIC), v.4 n.4, p.1-es, December 2004
	Vijay Saraswat , Radha Jagadeesan, Concurrent clustered programming, CONCUR 2005 - Concurrency Theory, Springer-Verlag, London, UK, 2005
	Cássio M. M. Pereira , Daniel C. Lobato , César A. C. Teixeira , Maria G. Pimentel, Achieving causal and total ordering in publish/subscribe middleware with DSM, Proceedings of the 3rd workshop on Middleware for service oriented computing, p.61-66, December 01-05, 2008, Leuven, Belgium
	Benjamin M. Brosgol , Andy Wellings, A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java™, Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, June 16-20, 2003, Toulouse, France
	Yoonkyung Kim , Byeong-Mo Chang, Visualization of permission checks in java using static analysis, Proceedings of the 7th international conference on Information security applications: PartI, August 28-30, 2006, Jeju Island, Korea
	Xiaoxia Ren , Fenil Shah , Frank Tip , Barbara G. Ryder , Ophelia Chesley, Chianti: a tool for change impact analysis of java programs, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Ben Bellamy , Pavel Avgustinov , Oege de Moor , Damien Sereni, Efficient local type inference, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Martin Hirzel , Nathaniel Nystrom , Bard Bloom , Jan Vitek, Matchete: paths through the pattern matching jungle, Proceedings of the 10th international conference on Practical aspects of declarative languages, p.150-166, January 07-08, 2008, San Francisco, CA, USA
	Nicolas Geoffray , Gaël Thomas , Bertil Folliot, Transparent and dynamic code offloading for java applications, Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE, October 29-November 03, 2006, Montpellier, France
	César F. Acebal , Raúl Izquierdo Castanedo , Juan M. Cueva Lovelle, Good design principles in a compiler university course, ACM SIGPLAN Notices, v.37 n.4, April 2002
	Walter Binder , Jarle Hulaas, Extending standard java runtime systems for resource management, Proceedings of the 4th international conference on Software Engineering and Middleware, September 20-21, 2004, Linz, Austria
	Kerry Trentelman, Proving Correctness of JavaCard DL Taclets using Bali, Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, p.160-169, September 07-09, 2005
	Walter Binder , Balázs Lichtl, Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications, Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies, p.125-135, June 17-21, 2002
	Marian Bubak , Dawid Kurzyniec , Piotr Luszczek , Vaidy Sunderam, Creating Java to Native Code Interfaces with Janet, Scientific Programming, v.9 n.1, p.39-50, January 2001
	Giuseppe Milicia , Vladimiro Sassone, The inheritance anomaly: ten years after, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Bernhard Beckert, A Dynamic Logic for the Formal Verification of Java Card Programs, Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security, p.6-24, September 14, 2000
	Ioannis T. Christou , Sofoklis Efremidis , Aikaterini Roukounaki, A CASE Tool for Java Mobile Computing Applications, International Journal of Mobile Computing and Multimedia Communications, v.2 n.2, p.34-48, April 2010
	Sang Boem Lim , Bryan Carpenter , Geoffrey Fox , Han-Ku Lee, Collective communications for scalable programming, Proceedings of the Third international conference on Parallel and Distributed Processing and Applications, November 02-05, 2005, Nanjing, China
	Ben Brosgol , Brian Dobbing, Real-time convergence of Ada and Java™, ACM SIGAda Ada Letters, v.XXI n.4, December 2001
	Ben Stephenson , Wade Holst, A quantitative analysis of the performance impact of specialized bytecodes in java, Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, p.267-281, October 04-07, 2004, Markham, Ontario, Canada
	Wolfgang Puffitsch , Martin Schoeberl, Non-blocking root scanning for real-time garbage collection, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, September 24-26, 2008, Santa Clara, California, USA
	Paweł Garbacki , Bartosz Biskupski , Henri Bal, Transparent fault tolerance for grid applications, Proceedings of the 2005 European conference on Advances in Grid Computing, p.671-680, February 14-16, 2005, Amsterdam, The Netherlands
	Gang Huang , Hong Mei , Fu-Qing Yang, Runtime recovery and manipulation of software architecture of component-based systems, Automated Software Engineering, v.13 n.2, p.257-281, April 2006
	Laurent Daynès , Grzegorz Czajkowski, Sharing the runtime representation of classes across class loaders, Proceedings of the 19th European conference on Object-Oriented Programming, July 25-29, 2005, Glasgow, UK
	Matthias Blume , Umut A. Acar , Wonseok Chae, Exception Handlers as Extensible Cases, Proceedings of the 6th Asian Symposium on Programming Languages and Systems, p.273-289, December 09-11, 2008, Bangalore, India
	Andreas Naderlinger , Josef Templ, A framework for command processing in Java/Swing programs based on the MVC pattern, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	David Sehr , Robert Muth , Cliff Biffle , Victor Khimenko , Egor Pasko , Karl Schimpf , Bennet Yee , Brad Chen, Adapting software fault isolation to contemporary CPU architectures, Proceedings of the 19th USENIX conference on Security, August 11-13, 2010, Washington, DC
	Francesco Logozzo, Cibai: an abstract interpretation-based static analyzer for modular analysis and verification of java classes, Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, January 14-16, 2007, Nice, France
	Phillip M. Yelland , Eunice Lee, Forecasting product sales with dynamic linear mixture models, Sun Microsystems, Inc., Mountain View, CA, 2003
	Michael Samulowitz , Florian Michahelles , Claudia Linnhoff-Popien, Adaptive interaction for enabling pervasive services, Proceedings of the 2nd ACM international workshop on Data engineering for wireless and mobile access, p.20-26, May 2001, Santa Barbara, California, USA
	Guangyu Chen , Mahmut Kandemir, Improving java virtual machine reliability for memory-constrained embedded systems, Proceedings of the 42nd annual Design Automation Conference, June 13-17, 2005, Anaheim, California, USA
	Bhim Prasad Upadhyaya , Zhiming Liu, Formal Support for Development of JavaBeans" Component Systems, Proceedings of the 28th Annual International Computer Software and Applications Conference, p.23-28, September 28-30, 2004
	Yuuji Ichisugi , Akira Tanaka, Difference-Based Modules: A Class-Independent Module Mechanism, Proceedings of the 16th European Conference on Object-Oriented Programming, p.62-88, June 10-14, 2002
	Dinakar Dhurjati , Sumant Kowshik , Vikram Adve , Chris Lattner, Memory safety without runtime checks or garbage collection, ACM SIGPLAN Notices, v.38 n.7, July 2003
	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, Proceedings of the 3rd international conference on High performance embedded architectures and compilers, January 27-29, 2008, Göteborg, Sweden
	Grzegorz Czajkowski , Laurent Daynès , Ben Titzer, A multi-user virtual machine, Proceedings of the annual conference on USENIX Annual Technical Conference, p.7-7, June 09-14, 2003, San Antonio, Texas
	Holger Grandy , Kurt Stenzel , Wolfgang Reif, Object Oriented Verification Kernels for Secure Java Applications, Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, p.170-179, September 07-09, 2005
	Fabrice Bouquet , Frédéric Dadeau , Julien Groslambert, Checking JML specifications with b machines, Proceedings of the 4th international conference on Formal Specification and Development in Z and B, p.434-453, April 13-15, 2005, Guildford, UK
	Amir Kamil , Katherine Yelick, Hierarchical pointer analysis for distributed programs, Proceedings of the 14th international conference on Static Analysis, August 22-24, 2007, Kongens Lyngby, Denmark
	Atanas Rountev , Scott Kagan , Michael Gibas, Static and dynamic analysis of call chains in java, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	Masahiro Takatsuka, A component-oriented software authoring system for exploratory visualization, Future Generation Computer Systems, v.21 n.7, p.1213-1222, July 2005
	Coen De Roover , Theo D'Hondt , Johan Brichau , Carlos Noguera , Laurence Duchien, Behavioral similarity matching using concrete source code templates in logic queries, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Grzegorz Czajkowski , Laurent Daynès , Nathaniel Nystrom, Code Sharing among Virtual Machines, Proceedings of the 16th European Conference on Object-Oriented Programming, p.155-177, June 10-14, 2002
	Frank Tip , Adam Kiezun , Dirk Bäumer, Refactoring for generalization using type constraints, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Thomas Vestdam , Kurt Nørmark, Maintaining program understanding: issues, tools, and future directions, Nordic Journal of Computing, v.11 n.3, p.303-320, September 2004
	Ana Milanova, Precise identification of composition relationships for UML class diagrams, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Chen-Yong Cher , Antony L. Hosking , T. N. Vijaykumar, Software prefetching for mark-sweep garbage collection: hardware analysis and software redesign, ACM SIGOPS Operating Systems Review, v.38 n.5, December 2004
	Stefan Brunthaler, Virtual-Machine Abstraction and Optimization Techniques, Electronic Notes in Theoretical Computer Science (ENTCS), v.253 n.5, p.3-14, December, 2009
	S. Cimato , A. De Santis , U. Ferraro Petrillo, Overcoming the obfuscation of Java programs by identifier renaming, Journal of Systems and Software, v.78 n.1, p.60-72, October 2005
	Yoshiki Sato , Shigeru Chiba, Loosely-separated “sister” namespaces in java, Proceedings of the 19th European conference on Object-Oriented Programming, July 25-29, 2005, Glasgow, UK
	David F. Bacon, Kava: a Java dialect with a uniform object model for lightweight classes, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.68-77, June 2001, Palo Alto, California, USA
	Grzegorz Czajkowski , Laurent Daynàs, Multitasking without compromise: a virtual machine evolution, ACM SIGPLAN Notices, v.47 n.4a, April 2012
	Anton Setzer, Java as a functional programming language, Proceedings of the 2002 international conference on Types for proofs and programs, p.279-298, April 24-28, 2002, Berg en Dal, The Netherlands
	David Herman , Cormac Flanagan, Status report: specifying javascript with ML, Proceedings of the 2007 workshop on Workshop on ML, October 05-05, 2007, Freiburg, Germany
	Oliver Trachsel , Christoph von Praun , Thomas R. Gross, On the effectiveness of speculative and selective memory fences, Proceedings of the 20th international conference on Parallel and distributed processing, p.33-33, April 25-29, 2006, Rhodes Island, Greece
	Marc Éluard , Thomas P. Jensen , Ewen Denney, An Operational Semantics of the Java Card Firewall, Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security, p.95-110, September 19-21, 2001
	Marieke Huisman , Kerry Trentelman, Factorising temporal specifications, Proceedings of the 2005 Australasian symposium on Theory of computing, p.87-96, January 01, 2005, Newcastle, Australia
	Wei-Lun Hung , Vijay K. Garg, AutoSynch: an automatic-signal monitor based on predicate tagging, ACM SIGPLAN Notices, v.48 n.6, June 2013
	Hans Langmaack , Andrzej Salwicki, Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce, Fundamenta Informaticae, v.122 n.3, p.227-274, July 2013
	Gareth Baxter , Marcus Frean , James Noble , Mark Rickerby , Hayden Smith , Matt Visser , Hayden Melton , Ewan Tempero, Understanding the shape of Java software, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Sergio Soares , Eduardo Laureano , Paulo Borba, Implementing distribution and persistence aspects with aspectJ, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Bart Jacobs , Erik Poll, Coalgebras and monads in the semantics of java, Theoretical Computer Science, v.291 n.3, p.329-349, 6 January 2003
	Ralf Sasse , José Meseguer, Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.4, p.29-46, July, 2007
	Paweł T. Wojciechowski, Isolation-only transactions by typing and versioning, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.70-81, July 11-13, 2005, Lisbon, Portugal
	Mikhail Dmitriev, Language-specific make technology for the Java programming language, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Stéphane Ducasse , Roel Wuyts , Alexandre Bergel , Oscar Nierstrasz, User-changeable visibility: resolving unanticipated name clashes in traits, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Susan Eisenbach , Chris Sadler , Shakil Shaikh, Evolution of Distributed Java Programs, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.51-66, June 20-21, 2002
	Hayden Melton , Ewan Tempero, An empirical study of cycles among classes in Java, Empirical Software Engineering, v.12 n.4, p.389-415, August 2007
	Christian Eisentraut , Holger Hermanns, Teaching Concurrency Concepts to Freshmen, Transactions on Petri Nets and Other Models of Concurrency I, Springer-Verlag, Berlin, Heidelberg, 2008
	Cyrille Artho , Armin Biere , Shinichi Honiden, Enforcer – efficient failure injection, Proceedings of the 14th international conference on Formal Methods, August 21-27, 2006, Hamilton, Canada
	Eyvind W. Axelsen , Stein Krogdahl , Birger Møller-Pedersen, Controlling dynamic module composition through an extensible meta-level API, ACM SIGPLAN Notices, v.45 n.12, December 2010
	Masahiro Takatsuka, JBeanStudio: a component-oriented visual software authoring system for a problem solving environment–supporting exploratory visualization, Proceedings of the 2003 international conference on Computational science: PartIII, June 02-04, 2003, Melbourne, Australia
	Jan Schäfer , Markus Reitz , Jean-Marie Gaillourdet , Arnd Poetzsch-Heffter, Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes, The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, Berlin, Heidelberg, 2007
	Jean Privat , Roland Ducournau, Link-time static analysis for efficient separate compilation of object-oriented languages, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
	J. C. M. Baeten , H. M. A. van Beek , S. Mauw, Specifying internet applications with DiCons, Proceedings of the 2001 ACM symposium on Applied computing, p.576-584, March 2001, Las Vegas, Nevada, USA
	Adenauer Corrêa Yamin , Jorge Victória Barbosa , Iara Augustin , Luciano Cavalheiro Da Silva , Rodrigo Real , Cláudio Geyer , Gerson Cavalheiro, Towards Merging Context-Aware, Mobile and Grid Computing, International Journal of High Performance Computing Applications, v.17 n.2, p.191-203, May 2003
	Marko Dooren , Dave Clarke , Bart Jacobs, Subobject-Oriented Programming, Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects, p.38-82, September 24-28, 2012, Bertinoro, Italy
	Galen C. Hunt , James R. Larus , David Tarditi , Ted Wobber, Broad new OS research: challenges and opportunities, Proceedings of the 10th conference on Hot Topics in Operating Systems, p.15-15, June 12-15, 2005, Santa Fe, NM
	Dachuan Yu , Zhong Shao , Valery Trifonov, Supporting Binary Compatibility with Static Compilation, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.165-180, August 01-02, 2002
	Sean McDirmid , Matthew Flatt , Wilson C. Hsieh, Jiazzi: new-age components for old-fasioned Java, ACM SIGPLAN Notices, v.36 n.11, p.211-222, 11/01/2001
	Cees Pierik , Frank S. de Boer, A proof outline logic for object-oriented programming, Theoretical Computer Science, v.343 n.3, p.413-442, 17 October 2005
	Nathaniel Nystrom , Stephen Chong , Andrew C. Myers, Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Okehee Goh , Yann-Hang Lee , Ziad Kaakani, Schedulable persistence system for teal-time applications in virtual machine, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea
	Bennet Yee, Monotonicity and Partial Results Protection for Mobile Agents, Proceedings of the 23rd International Conference on Distributed Computing Systems, p.582, May 19-22, 2003
	Mick Jordan, A comparative study of persistence mechanisms for the Java™ platform, Sun Microsystems, Inc., Mountain View, CA, 2004
	Marco Bellia , M. Eugenia Occhiuto, Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, v.85 n.1-4, p.35-50, January 2008
	William Van Lepthien , Kenneth M. Anderson, A metainformatical view of collections, Proceedings of the 2005 symposia on Metainformatics, p.16-es, November 09-11, 2005, Esbjerg, Denmark
	Marco Bellia , M. Eugenia Occhiuto, Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, v.85 n.1-4, p.35-50, September 2008
	Grzegorz Czajkowski, Application isolation in the Java Virtual Machine, ACM SIGPLAN Notices, v.35 n.10, p.354-366, Oct. 2000
	Pascal Cuoq , Damien Doligez, Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2, Proceedings of the 2008 ACM SIGPLAN workshop on ML, September 21-21, 2008, Victoria, BC, Canada
	Michal Cierniak , Brian T. Lewis , James M. Stichnoth, Open runtime platform: flexibility with performance using interfaces, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.156-164, November 03-05, 2002, Seattle, Washington, USA
	Gansha Wu , Xin Zhou , Guei-Yuan Lueh , Jesse Z Fang , Peng Guo , Jinzhan Peng , Victor Ying, XAMM: a high-performance automatic memory management system with memory-constrained designs, Proceedings of the First international conference on High Performance Embedded Architectures and Compilers, November 17-January 18, 2005, Barcelona, Spain
	Davide Ancona , Giovanni Lagorio , Elena Zucca, A Formal Framework for Java Separate Compilation, Proceedings of the 16th European Conference on Object-Oriented Programming, p.609-636, June 10-14, 2002
	Eyvind W. Axelsen , Stein Krogdahl, Groovy package templates: supporting reuse and runtime adaption of class hierarchies, ACM SIGPLAN Notices, v.44 n.12, December 2009
	Arnd Poetzsch-Heffter , Jan Schäfer, Modular specification of encapsulated object-oriented components, Proceedings of the 4th international conference on Formal Methods for Components and Objects, November 01-04, 2005, Amsterdam, The Netherlands
	Alan Jeffrey , Julian Rathke, Java JR: fully abstract trace semantics for a core java language, Proceedings of the 14th European conference on Programming Languages and Systems, p.423-438, April 04-08, 2005, Edinburgh, UK
	Lingli Zhang , Chandra Krintz , Priya Nagpurkar, Supporting exception handling for futures in Java, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
	Lantian Zheng , Andrew C. Myers, Dynamic security labels and static information flow control, International Journal of Information Security, v.6 n.2-3, p.67-84, March 2007
	Demóstenes Sena , Roberta Coelho , Uirá Kulesza , Rodrigo Bonifácio, Understanding the exception handling strategies of Java libraries: an empirical study, Proceedings of the 13th International Conference on Mining Software Repositories, May 14-22, 2016, Austin, Texas
	Ana Milanova, Composition inference for UML class diagrams, Automated Software Engineering, v.14 n.2, p.179-213, June 2007
	John S. Danaher , I.-Ting Angelina Lee , Charles E. Leiserson, Programming with exceptions in JCilk, Science of Computer Programming, v.63 n.2, p.147-171, 1 December 2006
	Jian-Min Jiang , Huibiao Zhu , Qin Li , Yongxin Zhao , Lin Zhao , Shi Zhang , Ping Gong , Zhong Hong , Donghuo Chen, Event-Based Mobility Modeling and Analysis, ACM Transactions on Cyber-Physical Systems, v.1 n.2, p.1-32, February 2017
	Walter Binder , Jarle Hulaas, Using Bytecode Instruction Counting as Portable CPU Consumption Metric, Electronic Notes in Theoretical Computer Science (ENTCS), v.153 n.2, p.57-77, May, 2006
	Lingli Zhang , Chandra Krintz, As-if-serial exception handling semantics for Java futures, Science of Computer Programming, v.74 n.5-6, p.314-332, March, 2009
	Bruno Cabral , Paulo Marques, Exception handling: a field study in Java and .NET, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany
	Javier Miranda , Edmond Schonberg, GNAT: on the road to Ada 2005, ACM SIGAda Ada Letters, v.XXIV n.4, p.51-60, December 2004
	Torbjörn Ekman , Görel Hedin, The jastadd extensible java compiler, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Brian Cabana , Suad Alagić , Jeff Faulkner, Parametric polymorphism for Java: is there any hope in sight?, ACM SIGPLAN Notices, v.39 n.12, December 2004
	Andrew McCreight , Zhong Shao , Chunxiao Lin , Long Li, A general framework for certifying garbage collectors and their mutators, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Sašo Greiner , Janez Brest , Viljem umer, Zero-a blend of static typing and dynamic metaprogramming, Computer Languages, Systems and Structures, v.35 n.3, p.241-251, October, 2009
	Han B. Lee , Amer Diwan , J. Eliot B. Moss, Design, implementation, and evaluation of a compilation server, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.4, p.18-es, August 2007
	Adrian Francalanza , Matthew Hennessy, A theory of system behaviour in the presence of node and link failure, Information and Computation, v.206 n.6, p.711-759, June, 2008
	Jonathan J. Cook, P#: a concurrent prolog for the .NET framework, Software—Practice & Experience, v.34 n.9, p.815-845, 25 July 2004
	Bor-Yuh Evan Chang , Karl Crary , Margaret DeLap , Robert Harper , Jason Liszka , Tom Murphyø, VII , Frank Pfenning, Trustless Grid Computing in ConCert, Proceedings of the Third International Workshop on Grid Computing, p.112-125, November 18, 2002
	Raymond P.L. Buse , Westley R. Weimer, A metric for software readability, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
	Peter H. Fröhlich , Andreas Gal , Michael Franz, Supporting software composition at the programming language level, Science of Computer Programming, v.56 n.1-2, p.41-57, April 2005
	Ronald Garcia , Jaakko Jarvi , Andrew Lumsdaine , Jeremy Siek , Jeremiah Willcock, An extended comparative study of language support for generic programming, Journal of Functional Programming, v.17 n.2, p.145-205, March 2007
	Paul Gestwicki , Bharat Jayaraman, Methodology and architecture of JIVE, Proceedings of the 2005 ACM symposium on Software visualization, May 14-15, 2005, St. Louis, Missouri
	Viktor Schuppan , Marcel Baur , Armin Biere, JVM Independent Replay in Java, Electronic Notes in Theoretical Computer Science (ENTCS), v.113 n.C, p.85-104, January 2005
	Martin Odersky , Matthias Zenger, Scalable component abstractions, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Gang Huang , Lian-Shan Sun, An access control framework for reflective middleware, Journal of Computer Science and Technology, v.23 n.6, p.895-904, November 2008
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, v.37 n.9, p.110-122, September 2002
	Florian Kerschbaum , Orestis Terzidis, Filtering for private collaborative benchmarking, Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security, June 06-09, 2006, Freiburg, Germany
	Pramod G. Joisha , Samuel P. Midkiff , Mauricio J. Serrano , Manish Gupta, Efficiently Adapting Java Binaries in Limited Memory Contexts, International Journal of Parallel Programming, v.30 n.4, p.257-289, August 2002
	Vikram Adve , Chris Lattner , Michael Brukman , Anand Shukla , Brian Gaeke, LLVA: A Low-level Virtual Instruction Set Architecture, Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, p.205, December 03-05, 2003
	R. Martens , R. Paranjape , L. Benedicenti , S. Sankaran , A. Sadanand, Mobile agent strategies for the provision of public goods: An experimental study, Electronic Commerce Research and Applications, v.5 n.2, p.140-146, Summer 2006
	Marko van Dooren , Eric Steegmans, A higher abstraction level using first-class inheritance relations, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany
	Marco Bellia , M. Eugenia Occhiuto, JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters, Fundamenta Informaticae, v.93 n.1-3, p.45-64, January 2009
	Susan Eisenbach , Chris Sadler , Dominic Wong, Component adaptation in contemporary execution environments, Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, June 06-08, 2007, Paphos, Cyprus
	William R. Bush , Antony Ng , Doug Simon , Bernd Mathiske, A mechanism for secure, fine-grained dynamic provisioning of applications on small devices, Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, p.86-107, March 10-14, 2004, Marseille, France
	Marco Bellia , M. Eugenia Occhiuto, JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters, Fundamenta Informaticae, v.93 n.1-3, p.45-64, January 2009
	Hans Langmaack, On revival of Algol-concepts in modern programming and specification languages, Formal methods and hybrid real-time systems, Springer-Verlag, Berlin, Heidelberg, 2007
	Tom Dinkelaker , Mira Mezini , Christoph Bockisch, The art of the meta-aspect protocol, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA
	Serge Chaumette , Asier Ugarte, A formal model of the java multi-threading system and its validation on a known problem, Proceedings of the 15th International Parallel & Distributed Processing Symposium, p.148, April 23-27, 2001
	Dawson Engler , Ken Ashcraft, RacerX: effective, static detection of race conditions and deadlocks, ACM SIGOPS Operating Systems Review, v.37 n.5, December 2003
	Christopher A. Stone, Extensible objects without labels, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.805-835, September 2004
	Arnd Poetzsch-Heffter , Kathrin Geilmann , Jan Schäfer, Infering ownership types for encapsulated object-oriented program components, Program analysis and compilation, theory and practice: essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2007
	Matthias Zenger , Martin Odersky, Extensible algebraic datatypes with defaults, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Masahiro Takatsuka , Mark Gahegan, GeoVISTA studio: a codeless visual programming environment for geoscientific data analysis and visualization, Computers & Geosciences, v.28 n.10, p.1131-1144, December 2002
	Robert Dyer , Hridesh Rajan , Hoan Anh Nguyen , Tien N. Nguyen, Mining billions of AST nodes to study actual and potential usage of Java language features, Proceedings of the 36th International Conference on Software Engineering, May 31-June 07, 2014, Hyderabad, India
	Marko van Dooren , Eric Steegmans, Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Remi Forax , Etienne Duris , Gilles Roussel, A Reflective Implementation of Java Multi-Methods, IEEE Transactions on Software Engineering, v.30 n.12, p.1055-1071, December 2004
	Curtis Clifton , Gary T. Leavens , Craig Chambers , Todd Millstein, MultiJava: modular open classes and symmetric multiple dispatch for Java, ACM SIGPLAN Notices, v.35 n.10, p.130-145, Oct. 2000
	Matthew S. Tschantz , Michael D. Ernst, Javari: adding reference immutability to Java, ACM SIGPLAN Notices, v.40 n.10, October 2005
	David C. van Moolenbroek , Raja Appuswamy , Andrew S. Tanenbaum, Towards a Flexible, Lightweight Virtualization Alternative, Proceedings of International Conference on Systems and Storage, June 30-July 02, 2014, Haifa, Israel
	Jarle Hulaas , Walter Binder, Program transformations for light-weight CPU accounting and control in the Java virtual machine, Higher-Order and Symbolic Computation, v.21 n.1-2, p.119-146, June 2008
	Cengiz Günay , Anthony S. Maida, Using temporal binding for hierarchical recruitment of conjunctive concepts over delayed lines, Neurocomputing, v.69 n.4-6, p.317-367, January, 2006
	Dinakar Dhurjati , Sumant Kowshik , Vikram Adve , Chris Lattner, Memory safety without garbage collection for embedded applications, ACM Transactions on Embedded Computing Systems (TECS), v.4 n.1, p.73-111, February 2005
	Roberta Coelho , Lucas Almeida , Georgios Gousios , Arie Van Deursen , Christoph Treude, Exception handling bug hazards in Android, Empirical Software Engineering, v.22 n.3, p.1264-1304, June 2017
	Egon Börger, Design for Reuse via Structuring Techniques for ASMs, Computer Aided Systems Theory - EUROCAST 2001-Revised Papers, p.20-35, February 19-23, 2001
	Valerio Terragni , Yepang Liu , Shing-Chi Cheung, CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites, Proceedings of the 25th International Symposium on Software Testing and Analysis, July 18-20, 2016, Saarbrücken, Germany
	Davide Ancona , Giovanni Lagorio , Elena Zucca, Jam---designing a Java extension with mixins, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.641-712, September 2003
	Etienne M. Gagnon , Laurie J. Hendren, SableVM: a research framework for the efficient execution of java bytecode, Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium, p.3-3, April 23-24, 2001, Monterey, California
	David Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-41, May 2008
	Todd Millstein , Mark Reay , Craig Chambers, Relaxed MultiJava: balancing extensibility and modular typechecking, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Brian Chin , Shane Markstrum , Todd Millstein, Semantic type qualifiers, ACM SIGPLAN Notices, v.40 n.6, June 2005
	Tom Dinkelaker , Michael Eichberg , Mira Mezini, An architecture for composing embedded domain-specific languages, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, March 15-19, 2010, Rennes and Saint-Malo, France
	Charles E. Leiserson , Tao B. Schardl , Jim Sukha, Deterministic parallel random-number generation for dynamic-multithreading platforms, ACM SIGPLAN Notices, v.47 n.8, August 2012
	Gary T. Leavens , Albert L. Baker , Clyde Ruby, Preliminary design of JML: a behavioral interface specification language for java, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
	Thomas Vestdam, Elucidative program tutorials, Nordic Journal of Computing, v.9 n.3, p.209-230, September 2002
	Peter A. Buhr , Ashif S. Harji, Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1270-1343, November 2005
	C. Bernardeschi , N. De Francesco , G. Lettieri , L. Martini , P. Masci, Decomposing bytecode verification by abstract interpretation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-63, December 2008
	Michael Möller , Ernst-Rüdiger Olderog , Holger Rasch , Heike Wehrheim, Integrating a formal method into a software engineering process with UML and Java, Formal Aspects of Computing, v.20 n.2, p.161-204, March 2008
	Philippe Charles , Christian Grothoff , Vijay Saraswat , Christopher Donawa , Allan Kielstra , Kemal Ebcioglu , Christoph von Praun , Vivek Sarkar, X10: an object-oriented approach to non-uniform cluster computing, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Michael Kölling, Lessons from the Design of Three Educational Programming Environments: Blue, BlueJ and Greenfoot, International Journal of People-Oriented Programming, v.4 n.1, p.5-32, January 2015
	Gwan-Hwan Hwang , Sheng-Jen Chang , Huey-Der Chu, Technology for Testing Nondeterministic Client/Server Database Applications, IEEE Transactions on Software Engineering, v.30 n.1, p.59-77, January 2004
	Yan Tang , Yan Tang , Qi Gao , Qi Gao , Feng Qin , Feng Qin, LeakSurvivor: towards safely tolerating memory leaks for garbage-collected languages, USENIX 2008 Annual Technical Conference on Annual Technical Conference, p.307-320, June 22-27, 2008, Boston, Massachusetts
	Martin Odersky, An Introduction to Functional Nets, Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, p.333-377, September 09-15, 2000
	Denis Bogdanas , Grigore Roşu, K-Java: A Complete Semantics of Java, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 15-17, 2015, Mumbai, India
	Ralf Lämmel , Vadim Zaytsev, Recovering grammar relationships for the Java Language Specification, Software Quality Control, v.19 n.2, p.333-378, June 2011
	Simon Beloglavec , Marjan Heričko , Matjaž B. Jurič , Ivan Rozman, Analysis of the limitations of multiple client handling in a Java server environment, ACM SIGPLAN Notices, v.40 n.4, April 2005
	Matthias Zenger, Type-Safe Prototype-Based Component Evolution, Proceedings of the 16th European Conference on Object-Oriented Programming, p.470-497, June 10-14, 2002
	Amnon H. Eden, A Theory of Object-Oriented Design, Information Systems Frontiers, v.4 n.4, p.379-391, December 2002
	Krishnaprasad Thirunarayan , GüNter Kniesel , Haripriyan Hampapuram, Simulating multiple inheritance and generics in Java, Computer Languages, v.25 n.4, p.189-210, December, 1999
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004
	Nicolas Geoffray , Gaël Thomas , Charles Clément , Bertil Folliot, A lazy developer approach: building a JVM with third party software, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	Frank Tip , Peter F. Sweeney , Chris Laffra , Aldo Eisma , David Streeter, Practical extraction techniques for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.625-666, November 2002
	Roberta Coelho , Lucas Almeida , Georgios Gousios , Arie van Deursen, Unveiling exception handling bug hazards in Android based on GitHub and Google code issues, Proceedings of the 12th Working Conference on Mining Software Repositories, May 16-24, 2015, Florence, Italy
	Nicolas Geoffray , Gaël Thomas , Julia Lawall , Gilles Muller , Bertil Folliot, VMKit: a substrate for managed runtime environments, ACM SIGPLAN Notices, v.45 n.7, July 2010
	Todd Millstein, Practical predicate dispatch, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Shane Markstrum , Daniel Marino , Matthew Esquivel , Todd Millstein , Chris Andreae , James Noble, JavaCOP: Declarative pluggable types for java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.32 n.2, p.1-37, January 2010
	Robert Bentley , John Brooke , André Csillaghy , Donal Fellows , Anja Le Blanc , Mauro Messerotti , David Pérez-Suárez , Gabriele Pierantoni , Marco Soldati, HELIO: Discovery and analysis of data in heliophysics, Future Generation Computer Systems, v.29 n.8, p.2157-2168, October, 2013
	Chris Andreae , James Noble , Shane Markstrum , Todd Millstein, A framework for implementing pluggable type systems, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Fabio Martinelli , Paolo Mori, Enhancing Java security with history based access control, Foundations of security analysis and design IV, Springer-Verlag, Berlin, Heidelberg, 2007
	Lorenzo Bettini , Ferruccio Damiani , Kathrin Geilmann , Jan Schäfer, Combining traits with boxes and ownership types in a Java-like setting, Science of Computer Programming, v.78 n.2, p.218-247, February, 2013
	Anna Formica , Michele Missikoff, Inheritance processing and conflicts in structural generalization hierarchies, ACM Computing Surveys (CSUR), v.36 n.3, p.263-290, September 2004
	Sara Gradara , Antonella Santone , Maria Luisa Villani, Using heuristic search for finding deadlocks in concurrent systems, Information and Computation, v.202 n.2, p.191-226, 1 November, 2005
	A. Rountev , A. Milanova , B. G. Ryder, Fragment Class Analysis for Testing of Polymorphism in Java Software, IEEE Transactions on Software Engineering, v.30 n.6, p.372-387, June 2004
	Godmar Back , Wilson C. Hsieh, The KaffeOS Java runtime system, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.4, p.583-630, July 2005
	Einar Broch Johnsen , Olaf Owe , Ingrid Chieh Yu, Creol: a type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, v.365 n.1, p.23-66, 10 November 2006
	Curtis Clifton , Todd Millstein , Gary T. Leavens , Craig Chambers, MultiJava: Design rationale, compiler implementation, and applications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.517-575, May 2006
	J.-C. Royer, An Operational Approach to the Semantics of Classes: Application to Type Checking, Programming and Computing Software, v.28 n.3, p.127-147, May-June 2002
	Vadim Zaytsev, Grammar Zoo, Science of Computer Programming, v.98 n.P1, p.28-51, February 2015
	Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001
	Pontus Johnson , Mathias Ekstedt, The Tarpit - A general theory of software engineering, Information and Software Technology, v.70 n.C, p.181-203, February 2016
	Bernhard Beckert , Reiner Hähnle , Peter H. Schmitt, Verification of object-oriented software: The KeY approach, Springer-Verlag, Berlin, Heidelberg, 2007

The ACM Computing Classification System (CCS rev.2012)