Jan Vitek

	2012
120		Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek: A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4 (2012)
119		Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek: Foundations for Scripting Languages (Dagstuhl Seminar 12011). Dagstuhl Reports 2(1): 1-18 (2012)
	2011
118		Jan Vitek, Bjorn De Sutter: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011 ACM 2011
117		Jan Vitek: Virtualizing real-time embedded systems with Java. DAC 2011: 906-911
116		Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek: The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. ECOOP 2011: 52-78
115		Jan Vitek, Tomas Kalibera: Repeatability, reproducibility, and rigor in systems research. EMSOFT 2011: 33-38
114		Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek: Automated construction of JavaScript benchmarks. OOPSLA 2011: 677-694
113		Ana Milanova, Jan Vitek: Static Dominance Inference. TOOLS (49) 2011: 211-227
112		Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek: Scheduling real-time garbage collection on uniprocessors. ACM Trans. Comput. Syst. 29(3): 8 (2011)
111		Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben Titzer, Jan Vitek: A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience 23(14): 1679-1700 (2011)
	2010
110		Tomas Kalibera, Jan Vitek: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010 ACM 2010
109		Jan Vitek, Doug Lea: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010 ACM 2010
108		Jan Vitek: Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings Springer 2010
107		Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek: A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328
106		Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek: High-level programming of embedded hard real-time devices. EuroSys 2010: 69-82
105		Daniel Tang, Ales Plsek, Jan Vitek: Static checking of safety critical Java annotations. JTRES 2010: 148-154
104		Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek: Developing safety critical Java applications with oSCJ/L0. JTRES 2010: 95-101
103		Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek: An analysis of the dynamic behavior of JavaScript programs. PLDI 2010: 1-12
102		Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek: Schism: fragmentation-tolerant real-time garbage collection. PLDI 2010: 146-159
101		Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek: Challenge benchmarks for verification of real-time programs. PLPV 2010: 57-62
100		Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek: Integrating typed and untyped code in a scripting language. POPL 2010: 377-388
99		Martin Schoeberl, Florian Brandner, Jan Vitek: RTTM: real-time transactional memory. SAC 2010: 326-333
98		Nicholas Kidd, Suresh Jagannathan, Jan Vitek: One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN 2010: 245-261
97		Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek: Reflexes: Abstractions for integrating highly responsive tasks into Java applications. ACM Trans. Embedded Comput. Syst. 10(1): (2010)
96		Jan Vitek: Conference Report: TOOLS'10. Journal of Object Technology 9(5): (2010)
	2009
95		Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek: High-Performance Transactional Event Processing. COORDINATION 2009: 27-46
94		Jan Vitek: Of scripts and programs: tall tales, urban legends, and future prospects. DLS 2009: 1-2
93		Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek: Loci: Simple Thread-Locality for Java. ECOOP 2009: 445-469
92		Jan Vitek: Introduction to: The Myths of Object-Orientation. ECOOP 2009: 618
91		Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek: Scheduling Hard Real-Time Garbage Collection. IEEE Real-Time Systems Symposium 2009: 81-92
90		Filip Pizlo, Lukasz Ziarek, Jan Vitek: Real time Java on resource-constrained platforms with Fiji VM. JTRES 2009: 110-119
89		Lei Zhao, Daniel Tang, Jan Vitek: A technology compatibility kit for safety critical Java. JTRES 2009: 160-168
88		Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek: CDx: a family of real-time Java benchmarks. JTRES 2009: 41-50
87		Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad: Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA 2009: 117-136
86		Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad: Thorn: robust concurrent scripting on the JVM. OOPSLA Companion 2009: 789-790
85		Jan Vitek: Programming Models for Concurrency and Real-Time. TOOLS (47) 2009: 17
84		Niranjan Suri, Jan Vitek: Mobile Agents. Encyclopedia of Complexity and Systems Science 2009: 5604-5618
83		Jason Baker, Antonio Cunei, Tomas Kalibera, Filip Pizlo, Jan Vitek: Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience 21(12): 1572-1606 (2009)
82		Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek: Challenge benchmarks for verification of real-time programs: (abstract only). SIGPLAN Notices 44(11): 7-8 (2009)
81		Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek: Preface. Theor. Comput. Sci. 410(2-3): 113 (2009)
	2008
80		Jan Vitek: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings Springer 2008
79		Filip Pizlo, Jan Vitek: Memory Management for Real-Time Java: State of the Art. ISORC 2008: 248-254
78		Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek: Flexible task graphs: a unified restricted thread programming model for java. LCTES 2008: 1-11
77		Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek: Matchete: Paths through the Pattern Matching Jungle. PADL 2008: 150-166
76		Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek: Implicit ownership types for memory management. Sci. Comput. Program. 71(3): 213-241 (2008)
75		Antonio Cunei, Jan Vitek: An efficient and flexible toolkit for composing customized method dispatchers. Softw., Pract. Exper. 38(1): 33-73 (2008)
	2007
74		Amy L. Murphy, Jan Vitek: Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Springer 2007
73		Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek: Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. CC 2007: 64-79
72		Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek: Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP Workshops 2007: 50-64
71		Rachid Guerraoui, Michal Kapalka, Jan Vitek: STMBench7: a benchmark for software transactional memory. EuroSys 2007: 315-324
70		Martin Schoeberl, Jan Vitek: Garbage collection for safety critical Java. JTRES 2007: 85-93
69		Filip Pizlo, Antony L. Hosking, Jan Vitek: Hierarchical real-time garbage collection. LCTES 2007: 123-133
68		Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek: Streamflex: high-throughput stream programming in java. OOPSLA 2007: 211-228
67		Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek: Reflexes: abstractions for highly responsive systems. VEE 2007: 191-201
66		Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek: A real-time Java virtual machine with applications in avionics. ACM Trans. Embedded Comput. Syst. 7(1): (2007)
65		Christian Grothoff, Jens Palsberg, Jan Vitek: Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. 29(6): (2007)
64		Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra: Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06 CoRR abs/0710.2887: (2007)
63		Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek: Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 CoRR abs/0712.1189: (2007)
62		Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao: Scoped types and aspects for real-time Java memory management. Real-Time Systems 37(1): 1-44 (2007)
	2006
61		Hiroshi Yamauchi, Jan Vitek: Combining Offline and Online Optimizations: Register Allocation and Method Inlining. APLAS 2006: 307-322
60		Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao: Scoped Types and Aspects for Real-Time Java. ECOOP 2006: 124-147
59		Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra: Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ECOOP Workshops 2006: 1-14
58		Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes: A Real-time Java Virtual Machine for Avionics - An Experience Report. IEEE Real Time Technology and Applications Symposium 2006: 384-396
57		Jeremy Manson, Jan Vitek, Suresh Jagannathan: Dynamic aspects for runtime fault determination and recovery. IPDPS 2006
56		Filip Pizlo, Jan Vitek: An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. RTSS 2006: 35-46
55		Antonio Cunei, Jan Vitek: A new approach to real-time checkpointing. VEE 2006: 68-77
54		Tian Zhao, Jens Palsberg, Jan Vitek: Type-based confinement. J. Funct. Program. 16(1): 83-128 (2006)
53		Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar: Redundancy and coverage detection in sensor networks. TOSN 2(1): 94-128 (2006)
	2005
52		Michael Hind, Jan Vitek: Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005 ACM 2005
51		Olga Vitek, Chris Bailey-Kellogg, Bruce A. Craig, Paul Kuliniewicz, Jan Vitek: Reconsidering complete search algorithms for protein backbone NMR assignment. ECCB/JBI 2005: 236
50		Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek: Efficient Intrusion Detection using Automaton Inlining. IEEE Symposium on Security and Privacy 2005: 18-31
49		Antonio Cunei, Jan Vitek: PolyD: a flexible dispatching framework. OOPSLA 2005: 487-503
48		Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek: Preemptible Atomic Regions for Real-Time Java. RTSS 2005: 62-71
47		Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli: The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005)
46		Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking: A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005)
45		Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek: Engineering a common intermediate representation for the Ovm framework. Sci. Comput. Program. 57(3): 357-378 (2005)
44		Mark Moir, Nir Shavit, Jan Vitek: Concurrency and synchronization in Java programs. Sci. Comput. Program. 58(3): 291-292 (2005)
43		Marek Prochazka, Andrey Madan, Jan Vitek, Wenchang Liu: RTJBench: A Real-Time Java Benchmarking Framework. Stud. Inform. Univ. 4(1): 73-82 (2005)
	2004
42		Suresh Jagannathan, Jan Vitek: Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION 2004: 183-198
41		Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking: A Semantic Framework for Designer Transactions. ESOP 2004: 249-263
40		Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek: A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks. ICETE (3) 2004: 142-149
39		Bogdan Carbunar, Ananth Grama, Jan Vitek: Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. ICPADS 2004: 549-
38		Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek: Real-Time Java Scoped Memory: Design Patterns and Semantics. ISORC 2004: 101-110
37		Tian Zhao, James Noble, Jan Vitek: Scoped Types for Real-Time Java. RTSS 2004: 241-251
36		Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek: Coordination and mobility in CoreLime. Mathematical Structures in Computer Science 14(3): 397-419 (2004)
	2003
35		Tom Chothia, Dominic Duggan, Jan Vitek: Type-Based Distributed Access Control. CSFW 2003: 170-
34		Krzysztof Palacz, Jan Vitek: Java Subtype Tests in Real-Time. ECOOP 2003: 378-404
33		Tian Zhao, Jens Palsberg, Jan Vitek: Lightweight confinement for featherweight Java. OOPSLA 2003: 135-148
32		Peter Sewell, Jan Vitek: Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. Journal of Computer Security 11(2): 135-188 (2003)
31		Jan Vitek, Ciarán Bryce, Manuel Oriol: Coordinating processes with secure spaces. Sci. Comput. Program. 46(1-2): 163-193 (2003)
	2002
30		Grzegorz Czajkowski, Jan Vitek: Resource Management for Safe Languages. ECOOP Workshops 2002: 1-14
29		Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès: Incommunicado: efficient communication for isolates. OOPSLA 2002: 262-274
	2001
28		Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek: Lime Revisited. Mobile Agents 2001: 54-69
27		Christian Grothoff, Jens Palsberg, Jan Vitek: Encapsulating Objects with Confined Types. OOPSLA 2001: 241-253
26		Ciarán Bryce, Jan Vitek: The JavaSeal Mobile Agent Kernel. Autonomous Agents and Multi-Agent Systems 4(4): 359-384 (2001)
25		Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek: CoreLime: A Coordination Model for Mobile Agents. Electr. Notes Theor. Comput. Sci. 54: 17-34 (2001)
24		Jan Vitek, Boris Bokowski: Confined types in Java. Softw., Pract. Exper. 31(6): 507-532 (2001)
	2000
23		Peter Sewell, Jan Vitek: Secure Composition of Untrusted Code: Wrappers and Causality Types. CSFW 2000: 269-284
	1999
22		Jan Vitek, Christian Damsgaard Jensen: Secure Internet Programming, Security Issues for Mobile and Distributed Objects Springer 1999
21		Ciarán Bryce, Jan Vitek: The JavaSeal Mobile Agent Kernel. ASA/MA 1999: 103-117
20		Ciarán Bryce, Manuel Oriol, Jan Vitek: A Coordination Model Agents Based on Secure Spaces. COORDINATION 1999: 4-20
19		Peter Sewell, Jan Vitek: Secure Composition of Insecure Components. CSFW 1999: 136-150
18		James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida: Aliasing in Object Oriented Systems. ECOOP Workshops 1999: 136-163
17		Jan Vitek, Boris Bokowski: Confined Types. OOPSLA 1999: 82-96
	1998
16		Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek: JAZZ: an efficient compressed format for Java archive files. CASCON 1998: 7
15		James Noble, Jan Vitek, John Potter: Flexible Alias Protection. ECOOP 1998: 158-185
14		Ciarán Bryce, Leila Ismail, Jan Vitek: 4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. ECOOP Workshops 1998: 288-290
13		Jan Vitek, Giuseppe Castagna: Seal: A Framework for Secure Mobile Computations. ICCL Workshop: Internet Programming Languages 1998: 47-77
12		Paolo Ciancarini, Robert Tolksdorf, Jan Vitek: Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. World Wide Web 1(3): 109 (1998)
	1997
11		Jan Vitek, Christian F. Tschudin: Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers Springer 1997
10		Andreas Krall, Jan Vitek, R. Nigel Horspool: Near Optimal Hierarchical Encoding of Types. ECOOP 1997: 128-145
9		Andreas Krall, Jan Vitek: On Extending Java. JMLC 1997: 321-335
8		Jan Vitek, R. Nigel Horspool, Andreas Krall: Efficient Type Inclusion Tests. OOPSLA 1997: 142-157
	1996
7		Jan Vitek, R. Nigel Horspool: Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. CC 1996: 309-325
6		Jan Vitek, Manuel Serrano, Dimitri Thanos: Security and Communication in Mobile Object Systems. Mobile Object Systems 1996: 177-200
	1995
5		Karel Driesen, Urs Hölzle, Jan Vitek: Message Dispatch on Pipelined Processors. ECOOP 1995: 253-282
	1994
4		Jan Vitek, R. Nigel Horspool: Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. ECOOP 1994: 432-449
	1993
3		R. Nigel Horspool, Jan Vitek: Static Analysis of PostScript Code. Comput. Lang. 19(2): 65-78 (1993)
	1992
2		Jan Vitek, R. Nigel Horspool, James S. Uhl: Compile-Time Analysis of Object-Oriented Programs. CC 1992: 236-250
1		R. Nigel Horspool, Jan Vitek: Static analysis of PostScript code. ICCL 1992: 14-23

Coauthor Index

1	Paulo Sérgio Almeida	[18]
2	Chris Andreae	[60] [62]
3	Austin Armbruster	[58] [66]
4	Joshua S. Auerbach	[78]
5	David F. Bacon	[78]
6	Chris Bailey-Kellogg (Christopher Bailey-Kellogg)	[51]
7	Jason Baker	[45] [48] [58] [66] [73] [76] [83]
8	Ethan Blanton	[102] [106]
9	Bard Bloom	[77] [86] [87]
10	Boris Bokowski	[17] [24]
11	Marcello M. Bonsangue	[81]
12	Quetzalcoatl Bradley	[16]
13	Florian Brandner	[99]
14	Ciarán Bryce	[14] [20] [21] [26] [31]
15	Brian Burg	[103] [116]
16	Bogdan Carbunar	[25] [28] [36] [39] [40] [53]
17	Octavian Carbunar	[53]
18	Giuseppe Castagna	[13] [47]
19	Tom Chothia	[35]
20	Paolo Ciancarini	[12]
21	Yvonne Coady	[60] [62]
22	Bruce A. Craig	[51]
23	Antonio Cunei	[48] [49] [55] [58] [66] [73] [75] [83] [95]
24	Grzegorz Czajkowski	[29] [30]
25	Laurent Daynès	[29]
26	Julian Dolby	[107] [120]
27	Karel Driesen	[5]
28	Roland Ducournau	[59] [63] [64] [72]
29	Dominic Duggan	[35]
30	Brendan Eich	[114]
31	John Field	[86] [87]
32	Chapman Flack	[45] [58] [66]
33	J. M. Fox	[38]
34	Etienne M. Gagnon (Etienne Gagnon)	[59] [63] [64] [72]
35	Andreas Gal	[114]
36	Celina Gibbs	[60] [62]
37	Rajeev Gopalakrishna	[50]
38	Ananth Grama	[39] [40] [53]
39	Christian Grothoff	[27] [45] [65]
40	Rachid Guerraoui	[67] [68] [71] [78] [95] [97]
41	Ghaith Haddad	[82] [101]
42	Jeff Hagelberg	[88] [111]
43	Christian Hammer	[107] [116] [120]
44	Michael Hind	[52]
45	Robert Hirschfeld	[119]
46	Martin Hirzel	[77]
47	David Holmes	[38] [58] [66]
48	Urs Hölzle	[5]
49	R. Nigel Horspool	[1] [2] [3] [4] [7] [8] [10] [16]
50	Antony L. Hosking	[41] [46] [69] [91] [102] [112]
51	James Hunt	[76]
52	Ioannis Ioannidis	[40]
53	Leila Ismail	[14]
54	Suresh Jagannathan	[41] [42] [46] [48] [57] [98]
55	Christian Damsgaard Jensen	[22]
56	Einar Broch Johnsen	[81]
57	Richard E. Jones	[63] [72]
58	Eric Jul	[63] [72]
59	Tomas Kalibera	[82] [83] [88] [91] [101] [104] [110] [111] [112] [115]
60	Michal Kapalka	[71]
61	Nicholas Kidd	[98]
62	Andreas Krall	[8] [9] [10]
63	Chandra Krintz	[59] [63] [64] [72]
64	Shriram Krishnamurthi	[119]
65	Paul Kuliniewicz	[51]
66	Doug Lea	[18] [109]
67	Gary T. Leavens	[82] [101]
68	Sylvain Lebresne	[100] [103]
69	Wenchang Liu	[43]
70	Andrey Madan	[43]
71	Petr Maj	[102] [106] [111]
72	Jeremy Manson	[48] [57]
73	Daniel Marino	[120]
74	Fadi Meawad	[93]
75	Ana Milanova	[113]
76	Mark Moir	[44]
77	Philippe Mulet	[59] [63] [64] [72]
78	Amy L. Murphy	[74] [81]
79	Francesco Zappa Nardelli	[47] [100]
80	James Noble	[15] [18] [37] [60] [62] [76]
81	Nathaniel Nystrom	[77] [86] [87]
82	Manuel Oriol	[20] [31]
83	Johan Östlund	[86] [87] [100]
84	Krzysztof Palacz	[29] [34] [45]
85	Jens Palsberg	[27] [33] [54] [65]
86	Pavel Parizek	[82] [101]
87	Filip Pizlo	[38] [56] [58] [66] [67] [69] [73] [79] [83] [88] [90] [91] [93] [97] [102] [106] [111] [112]
88	Edward Pla	[58] [66]
89	Ales Plsek	[88] [104] [105]
90	John Potter	[15]
91	Jean Privat	[68] [95] [97]
92	Marek Prochazka	[43] [48] [58] [66]
93	Gregor Richards	[86] [87] [103] [114] [116]
94	Veysel H. Sahin	[104]
95	Martin Schoeberl	[70] [99]
96	Manuel Serrano	[6]
97	Peter Sewell	[19] [23] [32]
98	Nir Shavit	[44]
99	Eugene H. Spafford	[50]
100	Jesper Honig Spring	[67] [68] [78] [95] [97]
101	Rok Strnisa	[86] [87]
102	Niranjan Suri	[84]
103	Bjorn De Sutter	[118]
104	Daniel Tang	[89] [104] [105]
105	Dimitri Thanos	[6]
106	Frank Tip	[107] [120]
107	Ben Titzer	[88] [111]
108	Robert Tolksdorf	[12]
109	Christian F. Tschudin	[11]
110	James S. Uhl	[2]
111	Marco Tulio Valente (Marco Tulio de Oliveira Valente)	[25] [28] [36]
112	Mandana Vaziri	[107] [120]
113	Olga Vitek	[51]
114	Adam Welc	[41] [46]
115	Tobias Wrigstad	[86] [87] [93] [100]
116	Bin Xin	[48]
117	Hiroshi Yamauchi	[45] [61]
118	Olivier Zendra	[59] [63] [64] [72]
119	Lei Zhao	[89] [93] [104]
120	Tian Zhao	[33] [37] [54] [60] [62] [76]
121	Lukasz Ziarek	[90] [102] [106]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page