- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2006; 00:17 Prepared using cpeauth.cls [Version: 2002/09/19 v2.02]
- Reflexes: Abstractions for Highly Responsive Systems Jesper Honig Spring
- Memory Management for Real-time Java: State of the Art Filip Pizlo Jan Vitek
- Accurate Garbage Collection in Uncooperative Environments with
- Engineering a Customizable Intermediate Representation K. Palacz J. Baker C. Flack C. Grothoff H. Yamauchi J. Vitek
- Efficient Type Inclusion Tests Jan Vitek R. Nigel Horspool Andreas Krall
- A Type System for Data-Centric Synchronization Mandana Vaziri
- Schism: Fragmentation-Tolerant Real-Time Garbage Collection Filip Pizlo Lukasz Ziarek Petr Maj Antony L. Hosking Ethan Blanton Jan Vitek,
- High-level Programming of Embedded Hard Real-Time Devices Filip Pizlo Lukasz Ziarek Ethan Blanton Petr Maj
- Integrating Typed and Untyped Code in a Scripting Language Tobias Wrigstad Francesco Zappa Nardelli Sylvain Lebresne Johan Ostlund Jan Vitek
- Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek
- Thorn--Robust, Concurrent, Extensible Scripting on the JVM Bard Bloom1
- Loci: Simple Thread-Locality for Java Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek
- CDx: A Family of Real-time Java Benchmarks Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek
- A Technology Compatibility Kit for Safety Critical Java Lei Zhao Daniel Tang Jan Vitek
- Flexible Task Graphs: A Unified Restricted Thread Programming Model for Java
- StreamFlex: High-throughput Stream Programming in Java Jesper H. Spring
- Garbage Collection for Safety Critical Java Martin Schoeberl
- Hierarchical Real-time Garbage Collection Filip Pizlo
- A Real-Time Java Virtual Machine with Applications in Avionics
- Scoped Types and Aspects for Real-Time Java Chris Andreae3
- Preemptible Atomic Regions for Real-time Java Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan,
- The Seal Calculus G. Castagna
- PolyD: A Flexible Dispatching Framework Antonio Cunei
- BIOINFORMATICS Vol. 00 no. 00 2005
- Efficient Intrusion Detection using Automaton Inlining Rajeev Gopalakrishna Eugene H. Spafford Jan Vitek
- Under consideration for publication in Math. Struct. in Comp. Science Coordination and Mobility in CoreLime
- Optimistic Concurrency Semantics for Transactions in Coordination Languages
- Lightweight Confinement for Featherweight Java Tian Zhao Jens Palsberg
- Secure Composition of Untrusted Code: Box , Wrappers, and Causality Types
- Type-Based Distributed Access Control Tom Chothia
- Incommunicado: Efficient Communication for Isolates Krzysztof Palacz Grzegorz Czajkowski
- Coordinating Processes with Secure Spaces , Ciaran Bryceb
- Autonomous Agents and Multi-Agent Systems, 4, 359384, 2001 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- Flexible Alias Protection James Noble1
- Near Optimal Hierarchical Encoding of Types Andreas Krall1
- Message dispatch on modern computer architectures P92 P95 P97
- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages
- A Semantic Framework for Designer Transactions Jan Vitek Suresh Jagannathan Adam Welc Antony L. Hosking
- An Emprical Evaluation of Memory Management Alternatives for Real-time Java
- Secure Composition of Insecure Components Peter Sewell
- Scoped Types for Real-time Java University of Wisconsin Milwaukee
- Engineering a Common Intermediate Representation for the Ovm Framework
- Java for Safety-Critical Applications Thomas Henties1
- A Real-time Java Virtual Machine for Avionics An Experience Report
- Implicit Ownership Types for Memory Management , Jason Baker2
- Java Subtype Tests in Real-Time Krzysztof Palacz Jan Vitek
- Combining Offline and Online Optimizations: Register Allocation and Method Inlining
- Scheduling Hard Real-time Garbage Collection Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek
- High-Performance Transactional Event Processing
- An Analysis of the Dynamic Behavior of JavaScript Programs Gregor Richards Sylvain Lebresne Brian Burg Jan Vitek
- Under consideration for publication in J. Functional Programming 1 Type-based Confinement
- Real Time Java on resource-constrained platforms with Fiji VM Filip Pizlo Lukasz Ziarek Jan Vitek
- A Transactional Object Calculus Suresh Jagannathan Jan Vitek Adam Welc Antony Hosking
- Challenge Benchmarks for Verification of Real-time Programs Tomas Kalibera1,2, Pavel Parizek2, Ghaith Haddad3, Gary T. Leavens3, Jan Vitek1
- The JavaSeal Mobile Agent Kernel Ciaran Bryce
- Reflexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications
- Scoped Types and Aspects for Real-Time Java Memory Chris Andreae3
- STMBench7: A Benchmark for Software Transactional Memory
- The Eval that Men Do A Large-scale Study of the Use of Eval in JavaScript Applications
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2000; 00:17 Prepared using speauth.cls [Version: 2000/03/06 v2.1]
- RTTM: Real-Time Transactional Memory Martin Schoeberl, Florian Brandner
- closely related to closures since they too can be nested in methods and classes. Their translation scheme follows the scheme described for closures. They are crucial for
- Model-based assignment and inference of protein backbone nuclear magnetic resonances.
- Inferential backbone assignment for sparse data Olga Viteka,
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2008; 38:3373
- Secure Composition of Untrusted Code: Wrappers and Causality Types
- One Stack to Run Them All Reducing Concurrent Analysis to Sequential Analysis
- Real-Time Java Scoped Memory: Design Patterns and Semantics F. Pizlo J. M. Fox D. Holmes
- Matchete: Paths through the Pattern Matching Jungle Martin Hirzel1
- Real-Time Wait-Free Queues using Micro-Transactions Fadi Meawad
- Repeatability, Reproducibility and Rigor in Systems Purdue University, USA
- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. (2010)
- Automated Construction of JavaScript Benchmarks Gregor Richards, Andreas Gal
- TOCS2903-08 ACM-TRANSACTION August 9, 2011 12:12 Scheduling Real-Time Garbage Collection on Uniprocessors
- Collecting Transactional Garbage Fadi Meawad, Ryan Macnak, Jan Vitek
