Jan Vitek - 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]

Memory Management for Real-Time Java: State of the ArtFilip Pizlo, Jan Vitek. isorc 2008: 248-254 [doi]

Flexible task graphs: a unified restricted thread programming model for javaJoshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek. lctrts 2008: 1-11 [doi]

A real-time Java virtual machine with applications in avionicsAustin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek. tecs, 7(1), 2007. [doi]

Garbage collection for safety critical JavaMartin Schoeberl, Jan Vitek. jtres 2007: 85-93 [doi]

Streamflex: high-throughput stream programming in javaJesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek. OOPSLA 2007: 211-228 [doi]

Scoped types and aspects for real-time Java memory managementChris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao. rts, 37(1):1-44, 2007. [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]

A Real-time Java Virtual Machine for Avionics - An Experience ReportJason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes. rtas 2006: 384-396 [doi]

An Emprical Evaluation of Memory Management Alternatives for Real-Time JavaFilip Pizlo, Jan Vitek. rtss 2006: 35-46 [doi]

Scoped Types and Aspects for Real-Time JavaChris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao. ECOOP 2006: 124-147 [doi]

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

Preemptible Atomic Regions for Real-Time JavaJeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek. rtss 2005: 62-71 [doi]

Concurrency and synchronization in Java programsMark Moir, Nir Shavit, Jan Vitek. SCP, 58(3):291-292, 2005. [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]

Real-Time Java Scoped Memory: Design Patterns and SemanticsFilip Pizlo, J. M. Fox, David Holmes, Jan Vitek. isorc 2004: 101-110 [doi]

Scoped Types for Real-Time JavaTian Zhao, James Noble, Jan Vitek. rtss 2004: 241-251 [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]

Lightweight confinement for featherweight JavaTian Zhao, Jens Palsberg, Jan Vitek. OOPSLA 2003: 135-148 [doi]

Java Subtype Tests in Real-TimeKrzysztof Palacz, Jan Vitek. ECOOP 2003: 378-404 [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]

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

Confined types in JavaJan Vitek, Boris Bokowski. SPE, 31(6):507-532, 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]

Java-Informations-Tage1999.

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

Java Grande1999.

JAZZ: an efficient compressed format for Java archive filesQuetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek. cascon 1998: 7 [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.

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

On Extending JavaAndreas Krall, Jan Vitek. jmlc 1997: 321-335

runs on WebDSL