Jan Vitek
TitelZitiert vonJahr
An analysis of the dynamic behavior of JavaScript programs
G Richards, S Lebresne, B Burg, J Vitek
ACM Sigplan Notices 45 (6), 1-12, 2010
4372010
Flexible alias protection
J Noble, J Vitek, J Potter
European Conference on Object-Oriented Programming, 158-185, 1998
4011998
STMBench7: a benchmark for software transactional memory
R Guerraoui, M Kapalka, J Vitek
2732006
Seal: A framework for secure mobile computations
J Vitek, G Castagna
International Conference on Computer Languages, 47-77, 1998
2631998
The eval that men do
G Richards, C Hammer, B Burg, J Vitek
European Conference on Object-Oriented Programming, 52-78, 2011
2222011
Redundancy and coverage detection in sensor networks
B Cărbunar, A Grama, J Vitek, O Cărbunar
ACM Transactions on Sensor Networks (TOSN) 2 (1), 94-128, 2006
2042006
Confined types
B Bokowski, J Vitek
OOPSLA, 1999
179*1999
Encapsulating objects with confined types
C Grothoff, J Palsberg, J Vitek
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 32, 2007
166*2007
The JavaSeal mobile agent kernel
C Bryce, J Vitek
Autonomous Agents and Multi-Agent Systems 4 (4), 359-384, 2001
160*2001
Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers
J Vitek, C Tschudin, G Goos, T Christian, J Hartmanis, J Van Leeuwen
Springer Science & Business Media, 1997
1451997
A real-time Java virtual machine with applications in avionics
A Armbruster, J Baker, A Cunei, C Flack, D Holmes, F Pizlo, E Pla, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (1), 5, 2007
133*2007
Real-time Java scoped memory: design patterns and semantics
F Pizlo, JM Fox, D Holmes, J Vitek
Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed …, 2004
1272004
Confined types in Java
J Vitek, B Bokowski
Software: Practice and Experience 31 (6), 507-532, 2001
1252001
Streamflex: high-throughput stream programming in java
JH Spring, J Privat, R Guerraoui, J Vitek
ACM SIGPLAN Notices 42 (10), 211-228, 2007
1172007
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
1152005
Evaluating the design of the R language
F Morandat, B Hill, L Osvald, J Vitek
European Conference on Object-Oriented Programming, 104-131, 2012
1112012
Secure composition of untrusted code: Wrappers and causality types
P Sewell, J Vitek
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 269-284, 2000
111*2000
Terra: a multi-stage language for high-performance computing
Z DeVito, J Hegarty, A Aiken, P Hanrahan, J Vitek
ACM SIGPLAN Notices 48 (6), 105-116, 2013
1032013
Integrating typed and untyped code in a scripting language
T Wrigstad, FZ Nardelli, S Lebresne, J Östlund, J Vitek
ACM Sigplan Notices 45 (1), 377-388, 2010
1022010
Coverage preserving redundancy elimination in sensor networks
B Carbunar, A Grama, J Vitek, O Carbunar
2004 First Annual IEEE Communications Society Conference on Sensor and Ad …, 2004
1002004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20