Search results for "Jan Vitek"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek	A data-centric approach to synchronization.	ACM Trans. Program. Lang. Syst.	2012	DBLP DOI BibTeX RDF
1	Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek	Foundations for Scripting Languages (Dagstuhl Seminar 12011).	Dagstuhl Reports	2012	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben Titzer, Jan Vitek	A family of real-time Java benchmarks.	Concurrency and Computation: Practice and Experience	2011	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek	Scheduling real-time garbage collection on uniprocessors.	ACM Trans. Comput. Syst.	2011	DBLP DOI BibTeX RDF
1	Jan Vitek, Tomas Kalibera	Repeatability, reproducibility, and rigor in systems research.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Ana Milanova, Jan Vitek	Static Dominance Inference.	TOOLS	2011	DBLP DOI BibTeX RDF
1	Jan Vitek	Virtualizing real-time embedded systems with Java.	DAC	2011	DBLP DOI BibTeX RDF
1	Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek	Automated construction of JavaScript benchmarks.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek	The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications.	ECOOP	2011	DBLP DOI BibTeX RDF
1	Jan Vitek, Bjorn De Sutter (eds.)	Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011	LCTES	2011	DBLP BibTeX RDF
1	Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek	Reflexes: Abstractions for integrating highly responsive tasks into Java applications.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Jan Vitek	Conference Report: TOOLS'10.	Journal of Object Technology	2010	DBLP DOI BibTeX RDF
1	Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek	Schism: fragmentation-tolerant real-time garbage collection.	PLDI	2010	DBLP DOI BibTeX RDF	mark-region, replication-copying, real-time, fragmentation, mark-sweep
1	Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek	An analysis of the dynamic behavior of JavaScript programs.	PLDI	2010	DBLP DOI BibTeX RDF	program analysis, javascript, execution tracing, dynamic behavior, dynamic metrics
1	Jan Vitek (eds.)	Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings	TOOLS	2010	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek	Challenge benchmarks for verification of real-time programs.	PLPV	2010	DBLP DOI BibTeX RDF	java, verification, real-time
1	Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek	Integrating typed and untyped code in a scripting language.	POPL	2010	DBLP DOI BibTeX RDF	compilers, semantics, object-orientation, types
1	Martin Schoeberl, Florian Brandner, Jan Vitek	RTTM: real-time transactional memory.	SAC	2010	DBLP DOI BibTeX RDF	real-time systems, transactional memory
1	Jan Vitek, Doug Lea (eds.)	Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010	ISMM	2010	DBLP BibTeX RDF
1	Nicholas Kidd, Suresh Jagannathan, Jan Vitek	One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.	SPIN	2010	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Jan Vitek (eds.)	Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010	JTRES	2010	DBLP BibTeX RDF
1	Daniel Tang, Ales Plsek, Jan Vitek	Static checking of safety critical Java annotations.	JTRES	2010	DBLP DOI BibTeX RDF	verification, annotations, safety critical systems, memory safety
1	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
1	Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek	High-level programming of embedded hard real-time devices.	EuroSys	2010	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine
1	Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek	A Type System for Data-Centric Synchronization.	ECOOP	2010	DBLP DOI BibTeX RDF
1	Jason Baker, Antonio Cunei, Tomas Kalibera, Filip Pizlo, Jan Vitek	Accurate garbage collection in uncooperative environments revisited.	Concurrency and Computation: Practice and Experience	2009	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek	Preface.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek	Challenge benchmarks for verification of real-time programs: (abstract only).	SIGPLAN Notices	2009	DBLP DOI BibTeX RDF
1	Niranjan Suri, Jan Vitek	Mobile Agents.	Encyclopedia of Complexity and Systems Science	2009	DBLP DOI BibTeX RDF
1	Jan Vitek	Of scripts and programs: tall tales, urban legends, and future prospects.	DLS	2009	DBLP DOI BibTeX RDF
1	Jan Vitek	Programming Models for Concurrency and Real-Time.	TOOLS	2009	DBLP DOI BibTeX RDF
1	Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek	High-Performance Transactional Event Processing.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek	Scheduling Hard Real-Time Garbage Collection.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust, concurrent, extensible scripting on the JVM.	OOPSLA	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
1	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust concurrent scripting on the JVM.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
1	Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek	CDx: a family of real-time Java benchmarks.	JTRES	2009	DBLP DOI BibTeX RDF
1	Lei Zhao, Daniel Tang, Jan Vitek	A technology compatibility kit for safety critical Java.	JTRES	2009	DBLP DOI BibTeX RDF
1	Filip Pizlo, Lukasz Ziarek, Jan Vitek	Real time Java on resource-constrained platforms with Fiji VM.	JTRES	2009	DBLP DOI BibTeX RDF
1	Jan Vitek	Introduction to: The Myths of Object-Orientation.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek	Loci: Simple Thread-Locality for Java.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek	Implicit ownership types for memory management.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
1	Antonio Cunei, Jan Vitek	An efficient and flexible toolkit for composing customized method dispatchers.	Softw., Pract. Exper.	2008	DBLP DOI BibTeX RDF
1	Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek	Matchete: Paths through the Pattern Matching Jungle.	PADL	2008	DBLP DOI BibTeX RDF	binary data formats, Java, Pattern matching, XPath, regular expressions
1	Filip Pizlo, Jan Vitek	Memory Management for Real-Time Java: State of the Art.	ISORC	2008	DBLP DOI BibTeX RDF	memory management, real time java
1	Jan Vitek (eds.)	ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings	ECOOP	2008	DBLP BibTeX RDF
1	Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek	Flexible task graphs: a unified restricted thread programming model for java.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, ownership types
1	Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek	A real-time Java virtual machine with applications in avionics.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	virtual machines, memory management, Real-time Java, Avionics
1	Christian Grothoff, Jens Palsberg, Jan Vitek	Encapsulating objects with confined types.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF
1	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao	Scoped types and aspects for real-time Java memory management.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Memory management, Java virtual machine, Ownership types
1	Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07	CoRR	2007	DBLP BibTeX RDF
1	Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06	CoRR	2007	DBLP BibTeX RDF
1	Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
1	Amy L. Murphy, Jan Vitek (eds.)	Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings	COORDINATION	2007	DBLP BibTeX RDF
1	Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek	Reflexes: abstractions for highly responsive systems.	VEE	2007	DBLP DOI BibTeX RDF	real-time systems, memory management, Java virtual machine, ownership types
1	Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek	Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.	CC	2007	DBLP DOI BibTeX RDF
1	Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek	Streamflex: high-throughput stream programming in java.	OOPSLA	2007	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, stream processing, ownership types
1	Martin Schoeberl, Jan Vitek	Garbage collection for safety critical Java.	JTRES	2007	DBLP DOI BibTeX RDF	real-time system, garbage collection
1	Rachid Guerraoui, Michal Kapalka, Jan Vitek	STMBench7: a benchmark for software transactional memory.	EuroSys	2007	DBLP DOI BibTeX RDF	benchmarks, software transactional memory
1	Filip Pizlo, Antony L. Hosking, Jan Vitek	Hierarchical real-time garbage collection.	LCTES	2007	DBLP DOI BibTeX RDF	Java memory management, real time systems
1	Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar	Redundancy and coverage detection in sensor networks.	TOSN	2006	DBLP DOI BibTeX RDF	coverage boundary, Sensor networks, energy efficiency, coverage, redundancy elimination
1	Tian Zhao, Jens Palsberg, Jan Vitek	Type-based confinement.	J. Funct. Program.	2006	DBLP DOI BibTeX RDF
1	Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra	Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.	ECOOP Workshops	2006	DBLP DOI BibTeX RDF
1	Jeremy Manson, Jan Vitek, Suresh Jagannathan	Dynamic aspects for runtime fault determination and recovery.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Antonio Cunei, Jan Vitek	A new approach to real-time checkpointing.	VEE	2006	DBLP DOI BibTeX RDF	Java, real-time, virtual machine, checkpoint
1	Filip Pizlo, Jan Vitek	An Emprical Evaluation of Memory Management Alternatives for Real-Time Java.	RTSS	2006	DBLP DOI BibTeX RDF
1	Hiroshi Yamauchi, Jan Vitek	Combining Offline and Online Optimizations: Register Allocation and Method Inlining.	APLAS	2006	DBLP DOI BibTeX RDF
1	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao	Scoped Types and Aspects for Real-Time Java.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes	A Real-time Java Virtual Machine for Avionics - An Experience Report.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking	A transactional object calculus.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Mark Moir, Nir Shavit, Jan Vitek	Concurrency and synchronization in Java programs.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek	Engineering a common intermediate representation for the Ovm framework.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli	The Seal Calculus.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
1	Marek Prochazka, Andrey Madan, Jan Vitek, Wenchang Liu	RTJBench: A Real-Time Java Benchmarking Framework.	Stud. Inform. Univ.	2005	DBLP BibTeX RDF
1	Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek	Efficient Intrusion Detection using Automaton Inlining.	IEEE Symposium on Security and Privacy	2005	DBLP DOI BibTeX RDF
1	Olga Vitek, Chris Bailey-Kellogg, Bruce A. Craig, Paul Kuliniewicz, Jan Vitek	Reconsidering complete search algorithms for protein backbone NMR assignment.	ECCB/JBI	2005	DBLP DOI BibTeX RDF
1	Michael Hind, Jan Vitek (eds.)	Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005	VEE	2005	DBLP BibTeX RDF
1	Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek	Preemptible Atomic Regions for Real-Time Java.	RTSS	2005	DBLP DOI BibTeX RDF
1	Antonio Cunei, Jan Vitek	PolyD: a flexible dispatching framework.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, dispatching, multimethods, visitor pattern
1	Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek	Coordination and mobility in CoreLime.	Mathematical Structures in Computer Science	2004	DBLP DOI BibTeX RDF
1	Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek	A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks.	ICETE	2004	DBLP BibTeX RDF
1	Suresh Jagannathan, Jan Vitek	Optimistic Concurrency Semantics for Transactions in Coordination Languages.	COORDINATION	2004	DBLP DOI BibTeX RDF
1	Bogdan Carbunar, Ananth Grama, Jan Vitek	Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks.	ICPADS	2004	DBLP DOI BibTeX RDF
1	Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek	Real-Time Java Scoped Memory: Design Patterns and Semantics.	ISORC	2004	DBLP DOI BibTeX RDF
1	Tian Zhao, James Noble, Jan Vitek	Scoped Types for Real-Time Java.	RTSS	2004	DBLP DOI BibTeX RDF
1	Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking	A Semantic Framework for Designer Transactions.	ESOP	2004	DBLP DOI BibTeX RDF
1	Peter Sewell, Jan Vitek	Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality.	Journal of Computer Security	2003	DBLP BibTeX RDF
1	Jan Vitek, Ciarán Bryce, Manuel Oriol	Coordinating processes with secure spaces.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
1	Tom Chothia, Dominic Duggan, Jan Vitek	Type-Based Distributed Access Control.	CSFW	2003	DBLP DOI BibTeX RDF
1	Tian Zhao, Jens Palsberg, Jan Vitek	Lightweight confinement for featherweight Java.	OOPSLA	2003	DBLP DOI BibTeX RDF	confined types, aliasing, ownership
1	Krzysztof Palacz, Jan Vitek	Java Subtype Tests in Real-Time.	ECOOP	2003	DBLP DOI BibTeX RDF
1	Grzegorz Czajkowski, Jan Vitek	Resource Management for Safe Languages.	ECOOP Workshops	2002	DBLP DOI BibTeX RDF
1	Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès	Incommunicado: efficient communication for isolates.	OOPSLA	2002	DBLP DOI BibTeX RDF	application isolation, inter-application communication
1	Jan Vitek, Boris Bokowski	Confined types in Java.	Softw., Pract. Exper.	2001	DBLP DOI BibTeX RDF
1	Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek	CoreLime: A Coordination Model for Mobile Agents.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Ciarán Bryce, Jan Vitek	The JavaSeal Mobile Agent Kernel.	Autonomous Agents and Multi-Agent Systems	2001	DBLP DOI BibTeX RDF
1	Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek	Lime Revisited.	Mobile Agents	2001	DBLP BibTeX RDF
1	Christian Grothoff, Jens Palsberg, Jan Vitek	Encapsulating Objects with Confined Types.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Peter Sewell, Jan Vitek	Secure Composition of Untrusted Code: Wrappers and Causality Types. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF
1	Jan Vitek, Christian Damsgaard Jensen (eds.)	Secure Internet Programming, Security Issues for Mobile and Distributed Objects	Secure Internet Programming	1999	DBLP BibTeX RDF
1	James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida	Aliasing in Object Oriented Systems.	ECOOP Workshops	1999	DBLP DOI BibTeX RDF

Publications of "Jan Vitek" ( http://dblp.L3S.de/Authors/Jan_Vitek )