עקוב אחר
Jan Vitek
Jan Vitek
Northeastern University
כתובת אימייל מאומתת בדומיין neu.edu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
5662010
Flexible alias protection‏
J Noble, J Vitek, J Potter‏
ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998‏
4551998
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‏
European Conference on Object-Oriented Programming, 52-78, 2011‏
3092011
Stmbench7: a benchmark for software transactional memory‏
R Guerraoui, M Kapalka, J Vitek‏
3052006
Seal: A framework for secure mobile computations‏
J Vitek, G Castagna‏
International Conference on Computer Languages, 47-77, 1998‏
2791998
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‏
2452017
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‏
2432006
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‏
2182012
Confined types‏
B Bokowski, J Vitek‏
OOPSLA, 1999‏
197*1999
The JavaSeal mobile agent kernel‏
C Bryce, J Vitek‏
Autonomous Agents and Multi-Agent Systems 4, 359-384, 2001‏
173*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‏
172*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‏
Springer Science & Business Media, 1997‏
1631997
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‏
1602013
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‏
1572016
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‏
154*2007
Repeatability, reproducibility, and rigor in systems research‏
J Vitek, T Kalibera‏
Proceedings of the ninth ACM international conference on Embedded software …, 2011‏
145*2011
Confined types in Java‏
J Vitek, B Bokowski‏
Software: Practice and Experience 31 (6), 507-532, 2001‏
1362001
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
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‏
1322004
Integrating typed and untyped code in a scripting language‏
T Wrigstad, FZ Nardelli, S Lebresne, J Östlund, J Vitek‏
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010‏
1312010
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20