Papers of JAVA

DYNAMIC ANALYSIS
  • B. Lewis and Mireille Ducasse, Using events to debug Java Programs Backwards in Time, OOPSLA '03, www.LambdaCS.com
  • M. Boshemitsan, Program manipulation via interactive transformations, OOPSLA'03, html
  • UC Berkeley, HARMONIA, html
  • McGill Univ. *J: A Tool for Dynamic Analysis of Java Programs, OOPSLA'03, AdaptJ
  • McGill Univ. EVolve: A Tool for visualizing trace data, EVolve
  • McGill Univ. STEP: A System for encoding and compressing trace data, step
  • Jrat: The Java Runtime Analysis Toolkit, Jrat
  • James Power, Dynamic metrics and benchmarks James

    • TYPE ANALYSIS
  • J. Palsberg, Object-Oriented Type Inference. ACM OOPSLA 1991: 281-293 PDF
  • D. Bacon and P. F. Sweeney, Fast Static Analysis of C++ Virtual Function Calls. ACM OOPSLA 1996: 324-341 PDF
  • F. Tip and J. Palsberg, Scalable propagation-based call graph construction algorithms. ACM OOPSLA 2000: 281-293 PDF

    • BYTECODE
  • Zhenyu Qian, Standard Fixpoint Iteration for Java Bytecode Verification, Dec 2, 1999 PS
  • Stephen N. Freund and John C. Mitchell, A Formal Framework for the Java Bytecode Language and Verifier, OOPLSA '99. PS
  • Xavier Leroy. Bytecode verification for Java smart card. Software Practice & Experience, 32:319-340, 2002 PDF
  • X. Leroy, Java bytecode verification: an overview, Slide| Overview| Algorithm
  • Zhenyu Qian, A Formal Specification of Java(tm) Virtual Machine Instructions, PS

    • MEMORY

  • O. Agesen, D. Detlefs and J. E. B. Moss. Garbage collection and local variable type-precision and liveness in Java virtual machine. ACM PLDI '98, PS
  • A Type-Theoretic Memory Model for Verification of Sequential Java Programs, J.A.G.M. van den Berg, M. Huisman, B.P.F. Jacobs, E. 1999 TR PS
  • Varsha Awhad, Charles Wallace: A Unified Formal Specification and Analysis of the New Java Memory Models. Abstract State Machines 2003: 166-185 PDF
  • Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: Automatic Removal of Array Memory Leaks in Java. CC 2000: 50-66 PS.GZ
  • Ran Shaham, Elliot K. Kolodner, and Mooly Sagiv, On the Effectiveness of GC in Java. The 2000 International Symposium on Memory Management (ISMM '00) Minneapolis, Minnesota, USA, October 2000 PDF
  • Ran Shaham, Elliot K. Kolodner, and Mooly Sagiv, Estimating the Impact of Heap Liveness Information on Space Consumption in Java. The 2002 International Symposium on Memory Management (ISMM '02) Berlin, Germany, June 2002 PDF
  • B. Jacobs, J. van den Berg, M. Huisman, M. van Berkum, U. Hensel, H. Tews, Reasoning about Java Classes (Preliminary Report). Object-Oriented Programming Systems, Languages and Applications, ACM Press, p.329-340, 1998 PS
  • Morten V. Christensen, Per Velschow. Region-Based Memory Management in Java, MSc, University of Copenhagen, 1998 PDF
  • Andi Krall Garbage Collection for Large Memory Java Applications, HPCN'99 PS.GZ
  • William S. Beebee and Martin C. Rinard An Implementation of Scoped Memory for Real-Time Java Embedded Software, First International Workshop, EMSOFT 2001 PDF

    • ESCAPE and POINTER ANALYSIS
  • Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff. Escape Analysis for Java, OOPSLA99 PDF
  • John Whaley and Martin Rinard. Compositional Pointer and Escape Analysis for Java Programs (updated version) 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications Denver, CO November 1999 PDF
  • Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Using Annotated Constraints", Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), October, 2001 PDF
  • An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages J. Whaley and M. S. Lam In Proceedings of the 9th International Static Analysis Symposium, September 2002 PS

    • EXCEPTION
  • Saurabh Sinha and Mary Jean Harrold, Analysis and Testing of Programs with Exception-Handling Constructs, IEEE TSE, 1999 PDF
  • E. Borger and W. Schulte. A practical method for specification and analysis of exception handling - a Java/JVM case study. IEEE Trans. on SE, 26(9):872-887, Sep 2000. no file
  • Byeong-Mo Chang, J. Jo, K. Yi and K.-M. Choe, Interprocedural Exception Analysis for Java, ACM Symposium on Applied Computing, March 2001. PDF
  • J.-D. Choi, Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs, ACM PASTE '99, PS
  • M. Allen and S. Horwitz, Slicing Java Programs that Throw and Catch Exceptions, ACM PEPM '03 PDF

    • GENERAL
  • B. Bokowski, CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java, ESEC/FSE '99, Sept. 1999. no file
  • Atsushi Igarashi, Naoki Kobayashi, Resource usage analysis, ACM POPL '02 PDF
  • Aaron Greenhouse and John Boyland, An Object-Oriented Effects System, ECOOP 99 PS
  • Optimizing Java: Theory and Practice Zoran Budimlic and Ken Kennedy, Concurrency: Practice and Experience PS.GZ
  • Abstract Interpretation and Future Program Analysis Problems Martin Rinard and Alexandru Salcianu Mathematical Foundations of Programming Semantics New Orleans, Louisiana March 2002 PDF

    • J2ME
  • J2ME Documentation
  • James White: An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things. ICSE 2001: 724-725 no file
  • Davide Carboni, Stefano Sanna, Sylvain Giroux, Gavino Paddeu: Interactions Model and Code Generation for J2ME Applications. Mobile HCI 2002: 286-290 no file
  • Jan Krikke: Samurai Romanesque, J2ME, and the Battle for Mobile Cyberspace. IEEE Computer Graphics and Applications 23(1): 16-23 (2003) no file

    • MOBILE
  • Antonio Corradi, Rebecca Montanari, Cesare Stefanelli, Emil Lupu, Morris Sloman: A Flexible Access Control Service for Java Mobile Code. ACSAC 2000: 356-365 PDF
  • Norman H. Cohen. A Java framework for mobile data synchronization. In Opher Etzion and Peter Scheuermann, eds., Cooperative Information Systems: 7th International Conference, CoopIS 2000; Eilat, Israel, September 2000; Proceedings. Lecture Notes in Computer Science 1901, Springer-Verlag, Berlin, 2000, 287-298 PDF

    • SECURITY
  • Peter H. Hartel: Formalising Java Safety - An overview. ACM Computing Survey PDF
  • Manfred Hauswirth, Clemens Kerer, Roman Kurmanowytsch: A secure execution framework for Java. ACM Conference on Computer and Communications Security 2000: 43-52 PDF
  • G. Karjoth. An Operational Semantics of Java 2 Access Control. 13th IEEE Computer Security Foundations Workshop, IEEE Computer Society, pages 224-232, July 3-5, 2000 PDF
  • Anindya Banerjee and D. A. Nauman, Using Access Control for Secure Information Flow in a Java-like Language, to appear in Proceedings of Sixteenth IEEE Computer Security Foundations CSFW (2003) PDF
  • Anindya Banerjee and D. A. Nauman, Secure Information Flow and Pointer Confinement in a Java-like Language, Proceedings of Fifteenth IEEE Computer Security Foundations CSFW (2002) 253-270 PS
  • Anindya Banerjee and D. A. Nauman, A simple semantics and static analysis for Java security, SIT Report 2001-1 (There is also a short version: A simple static analysis for Java security, June 2001 (with Anindya Banerjee). PS

    • TESTING
  • Heui-Seok Seo, In Sang Chung, Byeon Man Kim, Yong Rae Kwon: The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. APSEC 2001: 221-228 no file
  • C. Artho, D. Drusinsky, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, G. Rosu and W. Visser: Experiments with Test Case Generation and Runtime Analysis. 10th International Workshop on Abstract State Machines (ASM 2003), Taormina, Italy, March 2003. PDF
  • Xiaoping Jia, and Sotiris Skevoulis. A Generic Approach of Static Analysis for Detecting Runtime Exceptions in Java Programs. Proceedings of the 23rd Annual IEEE International Computer Software and Application Conference (COMPSAC 1999). October 1999, pp.67-72. PDF
  • Tarja Syst?, Ping Yu, and Hausi M?ller, Analyzing Java Software by Combining Metrics and Program Visualization, In Proc. of the 4th European Conference on Software Maintenance and Reengineering (CSMR 2000), Feb 29 - March 3, 2000. PDF
  • Tarja Syst?, Understanding the Behavior of Java Programs, In Proc. of the 7th Working Conference on Reverse Engineering (WCRE 2000), November 2000, pp. 214-223. PS.GZ

    • IMPLEMENTATION
  • Barat: A Compiler Front-End for Java Barat
  • IBM Research Jikes Compiler Project Jikes
  • JOEQ Virtual Machine JOEQ
  • Java Heap Analysis Tool(HAT) HAT

    • OTHERS

     Please, visit here Java Analysis and Implementation