Suivre
Jan Vitek
Titre
Citée par
Citée par
Année
An analysis of the dynamic behavior of JavaScript programs
G Richards, S Lebresne, B Burg, J Vitek
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
5192010
Flexible alias protection
J Noble, J Vitek, J Potter
ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998
4271998
Stmbench7: a benchmark for software transactional memory
R Guerraoui, M Kapalka, J Vitek
2972006
The eval that men do: A large-scale study of the use of eval in javascript applications
G Richards, C Hammer, B Burg, J Vitek
ECOOP 2011–Object-Oriented Programming: 25th European Conference, Lancaster …, 2011
2852011
Seal: A framework for secure mobile computations
J Vitek, G Castagna
Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13 …, 1999
2761999
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
2372006
Evaluating the design of the R language: Objects and functions for data analysis
F Morandat, B Hill, L Osvald, J Vitek
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
1932012
Confined types
B Bokowski, J Vitek
OOPSLA, 1999
190*1999
DéjàVu: a map of code duplicates on GitHub
CV Lopes, P Maj, P Martins, V Saini, D Yang, J Zitny, H Sajnani, J Vitek
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
1722017
The JavaSeal mobile agent kernel
C Bryce, J Vitek
Autonomous Agents and Multi-Agent Systems 4, 359-384, 2001
172*2001
Encapsulating objects with confined types
C Grothoff, J Palsberg, J Vitek
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 32-es, 2007
170*2007
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, J Hartmanis, J Van Leeuwen
Springer Science & Business Media, 1997
1551997
Terra: a multi-stage language for high-performance computing
Z DeVito, J Hegarty, A Aiken, P Hanrahan, J Vitek
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
1492013
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), 1-49, 2007
147*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
1342004
Confined types in Java
J Vitek, B Bokowski
Software: Practice and Experience 31 (6), 507-532, 2001
1342001
Streamflex: high-throughput stream programming in java
JH Spring, J Privat, R Guerraoui, J Vitek
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007
1322007
Is sound gradual typing dead?
A Takikawa, D Feltey, B Greenman, MS New, J Vitek, M Felleisen
Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of …, 2016
1292016
Repeatability, reproducibility, and rigor in systems research
J Vitek, T Kalibera
Proceedings of the ninth ACM international conference on Embedded software …, 2011
127*2011
Schism: fragmentation-tolerant real-time garbage collection
F Pizlo, L Ziarek, P Maj, AL Hosking, E Blanton, J Vitek
ACM Sigplan Notices 45 (6), 146-159, 2010
1272010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20