Tassilo Horn - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Java

The GReTL Transformation LanguageTassilo Horn, Jürgen Ebert. ICMT 2011: 183-197

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

10 Ways to Slow Down Your Java ApplicationsPeter Johnson. cmg 2008: 173-184

Java performance evaluation through rigorous replay compilationAndy Georges, Lieven Eeckhout, Dries Buytaert. OOPSLA 2008: 367-384 [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]

EVM s Java Dynamic Memory Manager and Garbage CollectorSang-Yun Lee, Byung-Uk Choi. iccS 2007: 737-740 [doi]

Formal Validation of Java/Swing User Interfaces with the Event B MethodAlexandre Cortier, Bruno d Ausbourg, Yamine Aït Ameur. hci 2007: 1062-1071 [doi]

Adding rigorous statistics to the Java benchmarker s toolboxAndy Georges, Dries Buytaert, Lieven Eeckhout. OOPSLA 2007: 793-794 [doi]

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

Classbox/J: controlling the scope of change in JavaAlexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz. OOPSLA 2005: 177-189 [doi]

::::Chai::::: Traits for Java-Like LanguagesCharles Smith, Sophia Drossopoulou. ECOOP 2005: 453-478 [doi]

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

Portable and Efficient Distributed Threads for JavaEli Tilevich, Yannis Smaragdakis. middleware 2004: 478-492 [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]

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]

Distributed Process Networks in JavaThomas M. Parks, David Roberts. ipps 2003: 138 [doi]

Asynchronous Remote Method Invocation in JavaWendell Figueiredo Taveira, Marco Tulio de Oliveira Valente, Mariza Andrade da Silva Bigonha, Roberto da Silva Bigonha. jucs, 9(8):761-775, 2003. [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]

Thread-local heaps for JavaTamar Domani, Gal Goldshtein, Elliot K. Kolodner, Ethan Lewis, Erez Petrank, Dafna Sheinwald. iwmm 2002: 183-194 [doi]

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

Fixing the Java bytecode verifier by a suitable type domainRoberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco. seke 2002: 377-382 [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]

Implementing an On-the-Fly Garbage Collector for JavaTamar Domani, Elliot K. Kolodner, Ethan Lewis, Eliot E. Salant, Katherine Barabash, Itai Lahan, Yossi Levanoni, Erez Petrank, Igor Yanover. iwmm 2000: 155-166

A generational on-the-fly garbage collector for JavaTamar Domani, Elliot K. Kolodner, Erez Petrank. PLDI 2000: 274-284 [doi]

An Abstract Model of Java Dynamic Linking and LoadingSophia Drossopoulou. tic 2001: 53-84 [doi]

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

Java-Informations-Tage1999.

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

Java Grande1999.

Java Applications and ImplementationsGuy L. Steele Jr.. wwca 1998: 18-31

What is Java Binary Compatibility?Sophia Drossopoulou, David Wragg, Susan Eisenbach. OOPSLA 1998: 341-361 [doi]

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.

Java is Type Safe - ProbablySophia Drossopoulou, Susan Eisenbach. ECOOP 1997: 389-418 [doi]

Leveraging Java Applets: Toward Collaboration Transparency in JavaJames Begole, Craig A. Struble, Clifford A. Shaffer. internet, 1(2):57-64, 1997.

The Java Language SpecificationJames Gosling, William N. Joy, Guy L. Steele Jr.. Addison-Wesley, 1996.

runs on WebDSL