Jan Vitek

Cited by

	All	Since 2016
Citations	8164	2010
h-index	52	23
i10-index	116	56

520

260

130

390

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202147 88 153 162 229 205 219 266 279 371 356 348 402 415 438 516 491 485 461 484 410 390 389 273 58

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
Nigel HorspoolProfessor Emeritus, Computer Science, University of VictoriaVerified email at uvic.ca
James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Petr MajPhD student, Czech Technical UniversityVerified email at fit.cvut.cz
Tobias WrigstadFull professor, 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 PotsdamVerified email at cs.uni-potsdam.de
rachid guerraouiProfessor of Computer and Communication Systems, EPFLVerified email at epfl.ch
Tony HoskingAustralian National University, Data61Verified email at anu.edu.au
Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at univ-paris-diderot.fr
Lukasz ZiarekUniversity at BuffaloVerified email at buffalo.edu
Benjamin ChungPhD Student, Northeastern UniversityVerified email at ccs.neu.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	478	2010
Flexible alias protection J Noble, J Vitek, J Potter European Conference on Object-Oriented Programming, 158-185, 1998	413	1998
Stmbench7: a benchmark for software transactional memory R Guerraoui, M Kapalka, J Vitek	290	2006
Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998	262	1998
The eval that men do G Richards, C Hammer, B Burg, J Vitek European Conference on Object-Oriented Programming, 52-78, 2011	245	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	221	2006
Confined types B Bokowski, J Vitek OOPSLA, 1999	184*	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	170*	2007
The JavaSeal mobile agent kernel C Bryce, J Vitek Autonomous Agents and Multi-Agent Systems 4 (4), 359-384, 2001	164*	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	155	1997
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	141*	2007
Evaluating the design of the R language F Morandat, B Hill, L Osvald, J Vitek European Conference on Object-Oriented Programming, 104-131, 2012	139	2012
Confined types in Java J Vitek, B Bokowski Software: Practice and Experience 31 (6), 507-532, 2001	130	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	129	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	128	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	126	2013
The seal calculus G Castagna, J Vitek, FZ Nardelli Information and Computation 201 (1), 1-54, 2005	120	2005
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	114*	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	113	2010
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	112	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

Upload PDF

Follow this author

Cited by

Co-authors