Frank Tip - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Java

Refactoring Java programs for flexible lockingMax Schäfer, Manu Sridharan, Julian Dolby, Frank Tip. ICSE 2011: 71-80 [doi]

Correct Refactoring of Concurrent Java CodeMax Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip. ECOOP 2010: 225-249 [doi]

Improving type error messages for generic javaNabil El Boustani, Jurriaan Hage. PEPM 2009: 131-140 [doi]

Crisp--A Fault Localization Tool for Java ProgramsOphelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip. ICSE 2007: 775-779 [doi]

Refactoring for Parameterizing Java ClassesAdam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer. ICSE 2007: 437-446 [doi]

A Hardware Accelerator for Java:::TM::: Platforms on a 130-nm Embedded Processor CoreTetsuya Yamada, Naohiko Irie, Takanobu Tsunoda, Takahiro Irita, Kenji Kitagawa, Ryohei Yoshida, Keisuke Toyama, Motoaki Satoyama. ieicet, 90-C(2):523-530, 2007. [doi]

Finding failure-inducing changes in java programs using change classificationMaximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip. ESEC/FSE 2006: 57-68 [doi]

Effective sign extension elimination for javaMotohiro Kawahito, Hideaki Komatsu, Toshio Nakatani. TOPLAS, 28(1):106-133, 2006. [doi]

Why we should not add readonly to Java (yet)John Boyland. jot, 5(5):5-29, 2006. [doi]

Chianti: a change impact analysis tool for java programsXiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip. ICSE 2005: 664-665 [doi]

Efficiently Refactoring Java Applications to Use Generic LibrariesRobert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller. ECOOP 2005: 71-96 [doi]

Overcoming Limitations to Java Application ScalabilityWilliam R. Sullivan. cmg 2005: 833-842

New threats of Java virusesDaniel Reynaud-Plantey. virology, 1(1-2):32-43, 2005. [doi]

The constructive reals as a Java libraryHans-Juergen Boehm. jlp, 64(1):3-11, 2005. [doi]

Implementing the p-Calculus in JavaLiwu Li. jot, 4(2):157-178, 2005. [doi]

Customization of Java Library Classes Using Type Constraints and Profile InformationBjorn De Sutter, Frank Tip, Julian Dolby. ECOOP 2004: 585-610 [doi]

Chianti: a tool for change impact analysis of java programsXiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley. OOPSLA 2004: 432-448 [doi]

Post-JavaismAndrew P. Black. internet, 8(1), 2004. [doi]

Java bytecode verification on Java cardsRoberto Barbuti, Stefano Cataudella. SAC 2004: 431-438 [doi]

Analysing the Java package/access concepts in Isabelle/HOLNorbert Schirmer. concurrency, 16(7):689-706, 2004. [doi]

Extraction of Java program fingerprints for software authorship identificationHaibiao Ding, Mansur H. Samadzadeh. jss, 72(1):49-57, 2004. [doi]

Extracting library-based Java applicationsFrank Tip, Peter F. Sweeney, Chris Laffra. CACM, 46(8):35-40, 2003. [doi]

Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for JavaDavid F. Bacon, Perry Cheng, V. T. Rajan. lctrts 2003: 81-92 [doi]

MJ: a rational module system for Java and its applicationsJohn Corwin, David F. Bacon, David Grove, Chet Murthy. OOPSLA 2003: 241-254 [doi]

Développement formel d un vérifieur embarqué de byte-code JavaLilian Burdy, Ludovic Casset, Antoine Requet. tsi, 22(1):33-60, 2003. [doi]

Characterizing Java[tm] Application PerformanceGhulam Lashari, Suresh Srinivas. ipps 2003: 138 [doi]

Statische Analyse von Java-Anwendungen - Einen sich Lines-of-Code-Metrik und Halstead-Länge?Björn Wolle. wi, 45(1):29-49, 2003.

Practical extraction techniques for JavaFrank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter. TOPLAS, 24(6):625-666, 2002. [doi]

Evolution of Distributed Java ProgramsSusan Eisenbach, Chris Sadler, Shakil Shaikh. cd 2002: 51-66 [doi]

On the Use of Enterprise Java Beans 2.0 Local InterfacesHans Albrecht Schmid. edoc 2003: 144-156 [doi]

Effective Enhancement of Loop Versioning in JavaVitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky. CC 2002: 293-306 [doi]

Java Application Signature, Integrity Verification and Server Authentication Mechanism in MExE TerminalJarkko Holappa. sis 2002: 39-52

Visualizing the Execution of Java ProgramsWim De Pauw, Erik Jensen, Nick Mitchell, Gary Sevitsky, John M. Vlissides, Jeaha Yang. Dagstuhl 2002: 151-162 [doi]

Java Grande2001.

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USAUSENIX, 2001.

Changing Java ProgramsSusan Eisenbach, Chris Sadler. ICSM 2001: 479-487 [doi]

A parallel java grande benchmark suiteL. A. Smith, J. Mark Bull, J. Obdrzálek. sc 2001: 8 [doi]

Houdini, an Annotation Assistant for ESC/JavaCormac Flanagan, K. Rustan M. Leino. FM 2001: 500-517 [doi]

Jazz: an extensible zoomable user interface graphics toolkit in JavaBenjamin B. Bederson, Jon Meyer, Lance Good. uist 2000: 171-180 [doi]

An interface between Java and APLMike Symes. aplas 2000: 228-240 [doi]

Efficiency of Parallel Java Using SMP and Client-ServerMaurice Eggen, Roger Eggen. pdpta 2000:

Practical Experience with an Application Extractor for JavaFrank Tip, Chris Laffra, Peter F. Sweeney, David Streeter. OOPSLA 1999: 292-305 [doi]

Java-Informations-Tage1999.

Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLCornelia Pusch. TACAS 1999: 89-103 [doi]

Java Grande1999.

Kapselung und Methodenbindung: Javas Designprobleme und ihre KorrekturPeter Müller, Arnd Poetzsch-Heffter. jit 1998: 1-10

Java-Informations-Tage1998.

Java in a Nutshell: A Desktop Quick Reference, by David FlanaganMichael R. Leach. jasis, 49(14):1329-1330, 1998.

Technical Overview of IBM s Java InitiativesKarl D. Gottschalk. IBMSJ, 37(3):308-322, 1998.

Frameworks in Java and CatalysisDesmond D Souza. joop, 10(2):59-62, 1997.

runs on WebDSL