Stephen Bush - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Java

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

Complexity-Based Information AssuranceStephen Bush, S. C. Evans. Technical Report 2001CRD084, 2001.

Complexity-Based Information AssuranceStephen Bush, S. C. Evans. Technical Report 2001CRD084, 2001.

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