Type Systems for Distributed Data Sharing, Ben Liblit, Alex Aiken, and Katherine Yelick. In Proceedings of the The 10th International Static Analysis Symposium (SAS'2003) of Lecture Notes in Computer Science Volume 2694, pages 273-294, San Diego, California, June 11-13, 2003, Springer Verlag, Heidelberg, Germany, August 2003, ISSN-0302-9743. http://citeseer.ist.psu.edu/liblit01type.html, [PDF]
Vortrag: Hao Fang
Herbert Schäfler, Michael Scharf, Sebastian Schalck, Steffen Mülling, Jens Müller lesen mit.
Betreuer: Florin Isaila
Enforcing high-level protocols in low-level software, Robert DeLine and Manuel Fähndrich. In ACM SIGPLAN Notices 36(5):59-69, ACM Press, New York, NY, USA, May 2001, ISSN-0362-1340. http://citeseer.ist.psu.edu/ahndrich01enforcing.html, [PDF]
Vortrag: Matthias Biehl
Michael Rückauer, Yaowei Yang, Tianfeng Zhou, Yves Stefan Miyoo Tsanang, Christina Pildner lesen mit.
Betreuer: Florin Isaila
Escape analysis for object-oriented languages: application to Java, Bruno Blanchet. In Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications, Denver, Colorado, United States, November 1-5, 1999, pages 20-34. http://citeseer.ist.psu.edu/blanchet99escape.html, [PDF]
Vortrag: Yves Stefan Miyoo Tsanang
Michael Rückauer, Michael Scharf, Sebastian Schalck, Steffen Mülling, Christina Pildner lesen mit.
Betreuer: Bernhard Haumacher
Finding Your Cronies: Static Analysis for Dynamic Object Colocation, Samuel Z. Guyer and Kathryn S. McKinley. In Proceedings of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'2004), Vancouver, British Columbia, Canada, October 24-28, 2004. http://citeseer.ist.psu.edu/631772.html, [PDF]
Vortrag: Yaowei Yang
Herbert Schäfler, Matthias Biehl, Jens Müller, Tianfeng Zhou, Hao Fang lesen mit.
Betreuer: Bernhard Haumacher
Removing unnecessary synchronization in Java, Jeff Bogda and Urs Hölzle. In ACM SIGPLAN Notices 34(10):35-46, ACM Press, New York, NY, USA, October 1999, ISSN-0362-1340. http://citeseer.ist.psu.edu/bogda99removing.html, [PDF]
Vortrag: Michael Rückauer
Sebastian Schalck, Michael Scharf, Herbert Schäfler, Christina Pildner, Yaowei Yang lesen mit.
Betreuer: Florin Isaila
Comprehensive synchronization elimination for Java, Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, and Susan J. Eggers. In Science of Computer Programming 47(2-3):91-120, Elsevier, May-June 2003, ISSN-0167-6423. http://citeseer.ist.psu.edu/563372.html, [PDF]
Vortrag: Steffen Mülling
Jens Müller, Tianfeng Zhou, Yves Stefan Miyoo Tsanang, Matthias Biehl, Hao Fang lesen mit.
Betreuer: Florin Isaila
Automatic mock object creation for test factoring, David Saff and Michael D. Ernst. In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), Washington, DC, USA, June 7-8, 2004, pages 49-51. http://pag.csail.mit.edu/pubs/mock-factoring-paste2004-abstract.html, [PDF]
Vortrag: Herbert Schäfler
Jens Müller, Sebastian Schalck, Michael Scharf, Yves Stefan Miyoo Tsanang, Matthias Biehl lesen mit.
Betreuer: Bernhard Haumacher
Fragment Class Analysis for Testing of Polymorphism in Java Software, Atanas Rountev, Ana Milanova, and Barbara G. Ryder. In IEEE Transactions on Software Engineering 30(6):210-220, IEEE Computer Society Press, Los Alamitos, CA, USA, June 2004, ISSN-0098-5589. http://citeseer.ist.psu.edu/rountev03fragment.html, [PDF]
Vortrag: Tianfeng Zhou
Christina Pildner, Yaowei Yang, Michael Rückauer, Steffen Mülling, Hao Fang lesen mit.
Betreuer: Bernhard Haumacher
A Conservative Algorithm for Computing the Flow of Permissions in Java Programs, Gleb Naumovich. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'2002), Roma, Italy, July 22-24, 2002, pages 33-43. http://cis.poly.edu/gnaumovi/publications.html, [PDF]
Vortrag: Jens Müller
Yves Stefan Miyoo Tsanang, Matthias Biehl, Hao Fang, Tianfeng Zhou, Michael Rückauer lesen mit.
Betreuer: Bernhard Haumacher
Data flow analysis for checking properties of concurrent Java programs, Gleb Naumovich, George S. Avrunin, and Lori A. Clarke. In Proceedings of the International Conference on Software Engineering (ICSE'1999), Los Angeles, California, United States, pages 399-410, IEEE Computer Society Press, Los Alamitos, California, United States, 1999, ISBN-1-58113-074-0. http://cis.poly.edu/gnaumovi/publications.html, [PDF]
Vortrag: Christina Pildner
Yaowei Yang, Herbert Schäfler, Sebastian Schalck, Michael Scharf, Steffen Mülling lesen mit.
Betreuer: Florin Isaila
Stack Shape Analysis to Detect Obfuscated calls in Binaries, Arun Lakhotia and Uday Eric. In Proceedings of the 4th International Workshop on Source Code Analysis and Manipulation (SCAM'2004), Chicago, Illinois, September 15-16, 2004. http://www.brunel.ac.uk/~csstmmh2/scam2004/accepted-scam04.html, [PDF]
Vortrag: Michael Scharf
Steffen Mülling, Jens Müller, Tianfeng Zhou, Hao Fang, Christina Pildner, Herbert Schäfler lesen mit.
Betreuer: Bernhard Haumacher
CMC: A Pragmatic Approach to Model Checking Real Code, Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, and David L. Dill. In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI'2002), Boston, Massachusetts, United States, December 9-11, 2002, pages 75-88. http://citeseer.ist.psu.edu/musuvathi02cmc.html, [PDF]
Vortrag: Sebastian Schalck
Yves Stefan Miyoo Tsanang, Matthias Biehl, Michael Rückauer, Yaowei Yang lesen mit.
Betreuer: Florin Isaila