Jan Vitek

Cited by

	All	Since 2016
Citations	8452	2266
h-index	53	24
i10-index	120	58

520

260

130

390

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202146 88 155 164 230 215 224 256 285 371 357 350 404 412 440 520 489 489 466 485 417 392 382 266 316

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Suresh JagannathanProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Tomas KaliberaResearch Associate, University of KentVerified email at kent.ac.uk
Petr MajPhD student, Czech Technical UniversityVerified email at fit.cvut.cz
James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Nigel HorspoolProfessor Emeritus, Computer Science, University of VictoriaVerified email at uvic.ca
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Francesco Zappa NardelliFacebookVerified email at fb.com
Bogdan CarbunarFlorida International UniversityVerified email at cs.fiu.edu
Christian HammerProfessor of Computer Science at University of PassauVerified email at uni-passau.de
rachid guerraouiProfessor of Computer and Communication Systems, EPFLVerified email at epfl.ch
Benjamin ChungPhD Student, Northeastern UniversityVerified email at ccs.neu.edu
Tony HoskingAustralian National University, Data61Verified email at anu.edu.au
Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at irif.fr
Lukasz ZiarekUniversity at BuffaloVerified email at buffalo.edu
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verified email at ucla.edu
Floréal MorandatEnseirb-Matmeca / LabriVerified email at labri.fr
Martin SchoeberlAssociate Professor, Technical University of DenmarkVerified email at jopdesign.com
Christian GrothoffBern University of Applied SciencesVerified email at grothoff.org
Andreas KrallProfessor of Computer Science, Vienna University of TechnologyVerified email at complang.tuwien.ac.at
Fadi MEAWADPhD Student, Purdue UniversityVerified email at purdue.edu

Jan Vitek

Northeastern University

Verified email at neu.edu - Homepage

Programming Languages Virtual Machines Compilers


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	488	2010
Flexible alias protection J Noble, J Vitek, J Potter European Conference on Object-Oriented Programming, 158-185, 1998	416	1998
Stmbench7: a benchmark for software transactional memory R Guerraoui, M Kapalka, J Vitek	293	2006
Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998	266	1998
The eval that men do G Richards, C Hammer, B Burg, J Vitek European Conference on Object-Oriented Programming, 52-78, 2011	261	2011
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	228	2006
Confined types B Bokowski, J Vitek OOPSLA, 1999	188*	1999
Encapsulating objects with confined types C Grothoff, J Palsberg, J Vitek ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 32-es, 2007	171*	2007
The JavaSeal mobile agent kernel C Bryce, J Vitek Autonomous Agents and Multi-Agent Systems 4 (4), 359-384, 2001	163*	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, T Christian Springer Science & Business Media, 1997	156	1997
Evaluating the design of the R language F Morandat, B Hill, L Osvald, J Vitek European Conference on Object-Oriented Programming, 104-131, 2012	152	2012
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	144*	2007
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	136	2013
Confined types in Java J Vitek, B Bokowski Software: Practice and Experience 31 (6), 507-532, 2001	132	2001
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	131	2004
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	130	2007
The seal calculus G Castagna, J Vitek, FZ Nardelli Information and Computation 201 (1), 1-54, 2005	123	2005
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	116	2010
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	116*	2000
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	115	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors