Jürgen Giesl - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Java

Termination Graphs for Java BytecodeMarc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl. BIRTHDAY 2010: 17-37 [doi]

Automated Termination Analysis of Java Bytecode by Term RewritingCarsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl. RTA 2010: 259-276 [doi]

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

The Java 5 generics compromise orthogonality to keep compatibilityAtanas Radenski, Jeff Furlong, Vladimir Zanev. jss, 81(11):2069-2078, 2008. [doi]

Hard JavaPaul Frenger. SIGPLAN, 43(5):5-9, 2008. [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]

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]

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]

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]

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JMLClaude Marché, Christine Paulin-Mohring, Xavier Urbain. jlp, 58(1-2):89-106, 2004. [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.

Java PastSet: a structured distributed shared memory systemKei Simon Pedersen, Brian Vinter. iee, 150(2):147-153, 2003.

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

Using java aplets to help make online assessment interactiveGeoffrey Crisp. ascilite 2002: 799-802

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:

Embarrassingly Parallel Applications on a Java ClusterBrian Vinter. hpcn 2000: 614-617 [doi]

Java Multi-Method FrameworkRémi Forax, Étienne Duris, Gilles Roussel. TOOLS 2000: 45-56 [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.

Editorial - Justifying Java?Fintan Culwin. SIGPLAN, 33(4):31-33, 1998.

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

A Multithreaded Java Framework for Solving Linear Elliptic Partial Differential Equations in 3DGerald Löffler. iscope 1997: 121-128

Java SoccerTucker R. Balch. robocup 1998: 181-187

runs on WebDSL