-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathjv.bib
1515 lines (1316 loc) · 51.9 KB
/
jv.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@string{OOPSLA = "Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)"}
@string{ECOOP = {European Conference on Object-Oriented Programming (ECOOP)}}
@string{POPL = {Symposium on Principles of Programming Languages (POPL)}}
@string{PACMPL = {Proc. ACM Program. Lang.}}
@string{PLDI = {Programming Language Design and Implementation Conference (PLDI)}}
@inproceedings{pldi22,
author = "Olivier Flückiger and
Jan Ječmen and Sebastián Krynski and Jan Vitek",
title = "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations",
booktitle = PLDI,
year = 2022,
doi = {}}
@article{oopsla21c,
author = {Pelenitsyn, Artem and Belyakova, Julia and
Chung, Benjamin and Tate, Ross and Vitek, Jan},
title = {Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation},
year = {2021},
journal = PACMPL,
issue = {(OOSPLA)},
doi = {10.1145/3485527}}
@article{oopsla21b,
author = "Aviral Goel and Jan Ječmen and
Sebastián Krynski and Olivier Flückiger and Jan Vitek",
year = 2021,
title = {Promises Are Made To Be Broken: Migrating {R} to Strict Semantics},
journal = PACMPL,
issue = {(OOPSLA},
doi = {10.1145/3485478}
}
@article{oopsla21a,
author = "Aviral Goel and Pierre Donat-Bouillud and Filip Křikava
and Christoph Kirsch and Jan Vitek",
year = 2021,
title = {What We Eval in the Shadows: A Large-scale Study of Eval
in {R} programs},
journal = PACMPL,
issue = {(OOPSLA},
doi = {10.1145/3485502}}
@inproceedings{dls21,
author = {Goel, Aviral and Vitek, Jan},
title = {First-Class Environments in R},
year = {2021},
doi = {10.1145/3486602.3486768},
booktitle = {Symposium on Dynamic Languages (DLS)}}
@inproceedings{ecoop21,
author = {Petr Maj and Konrad Seik and Alexander Kovalenko
and Jan Vitek},
title = {{CodeDJ}: Reproducible Queries over Large-Scale Software
Repositories},
booktitle = ECOOP,
year = {2021},
doi = {10.4230/LIPIcs.ECOOP.2021.6}}
@article{popl21,
author = {Aurele Barriere and Olivier Fl{\"{u}}ckiger and Sandrine
Blazy and David Pichardie and Jan Vitek},
year = 2021,
title = {Formally Verified Speculation and Deoptimization in a {JIT}
Compiler},
journal = PACMPL,
number = {{POPL}},
volume = 5,
doi = {10.1145/3434327}}
@inproceedings{dls20,
author = {Olivier Fl{\"{u}}ckiger and Sebasti{\'{a}}n Krynski,
Andreas W{\"{a}}lchli, and Jan Vitek},
title = {Sampling Optimized Code for Type Feedback},
booktitle = {International Symposium on Dynamic Languages (DLS)},
year = {2020},
doi = {10.1145/3426422.3426984}}
@article{oopsla20a,
author = {Julia Belyakova and Benjamin Chung and Jack Gelinas and
Jameson Nash and Ross Tate and Jan Vitek },
year = 2020,
title = {World Age in {Julia}: Optimizing Method Dispatch in the
Presence of Eval},
journal = PACMPL,
number = {{OOPSLA}},
volume = 4,
doi = {10.1145/3428275}}
@article{oopsla20b,
author = {Alexi Turcotte and Aviral Goel and Filip Krikava and Jan
Vitek},
year = 2020,
title = {Designing Types for {R}, Empirically},
journal = PACMPL,
number = {{OOPSLA}},
volume = 4,
doi = {10.1145/3428249}}
@article{oopsla20c,
author = {Olivier Fl{\"{u}}ckiger and Guido Chair and Ming-Ho Yee
and Jan Jecmen and Jakob Hain and Jan Vitek},
year = 2020,
title = {Contextual Dispatch for Function Specialization},
journal = PACMPL,
number = {{OOPSLA}},
volume = 4,
doi = {10.1145/3428288}}
@inproceedings{ecoop19,
author = {Benjamin Chung and Francesco Zappa Nardelli and Jan
Vitek},
title = {Julia's Efficient Algorithm for Subtyping Unions and
Covariant Tuples},
booktitle = ECOOP,
year = {2019},
doi = {10.4230/LIPIcs.ECOOP.2019.24}}
@article{toplas19a,
author = {Emery D. Berger and Celeste Hollenbeck and Petr Maj and
Olga Vitek and Jan Vitek},
title = {On the Impact of Programming Languages on Code Quality:
{A} Reproduction Study},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {4},
year = {2019},
doi = {10.1145/3340571}}
@article{toplas19b,
author = {Leif Andersen and Vincent St{-}Amour and Jan Vitek and
Matthias Felleisen},
title = {Feature-Specific Profiling},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {1},
year = {2019},
doi = {10.1145/3275519}}
@article{tecs19,
author = {Yin Yan and Girish Gokul and Karthik Dantu and Steven Y. Ko
and Lukasz Ziarek and Jan Vitek},
title = {Can {Android} Run on Time? Extending and Measuring the
{Android} Platform's Timeliness},
journal = {{ACM} Trans. Embedded Comput. Syst.},
volume = {17},
number = {6},
year = {2019},
doi = {10.1145/3289257}}
@article{oopsla19a,
author = {Filip Krikava and Heather Miller and Jan Vitek},
title = {Scala implicits are everywhere: a large-scale study of the
use of {Scala} implicits in the wild},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
year = {2019},
doi = {10.1145/3360589}}
@article{oopsla19b,
author = {Aviral Goel and
Jan Vitek},
title = {On the design, implementation, and use of laziness in {R}},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
year = {2019},
doi = {10.1145/3360579}}
@article{jfp19,
author = {Ben Greenman and Asumu Takikawa and Max S. New and
Daniel Feltey and Robert Bruce Findler and Jan Vitek
and Matthias Felleisen},
title = {How to evaluate the performance of gradual type systems},
journal = {J. Funct. Program.},
volume = {29},
year = {2019},
doi = {10.1017/S0956796818000217}}
@article{jar19,
author = {Yannick Zakowski and David Cachera and Delphine Demange and
Gustavo Petri and David Pichardie and Suresh Jagannathan
and Jan Vitek},
title = {Verifying a Concurrent Garbage Collector with a
Rely-Guarantee Methodology},
journal = {J. Autom. Reasoning},
volume = {63},
number = {2},
year = {2019},
doi = {10.1007/s10817-018-9489-x}}
@inproceedings{dls19,
author = {Olivier Fl{\"{u}}ckiger and Guido Chari and Jan Jecmen and
Ming{-}Ho Yee and Jakob Hain and Jan Vitek},
title = {R melts brains: an {IR} for first-class environments
and lazy effectful arguments},
booktitle = {International Symposium on Dynamic Languages (DLS)},
year = {2019},
doi = {10.1145/3359619.3359744}}
@article{oopsla18a,
author = {Jeff Bezanson and Jiahao Chen and Ben Chung
and Stefan Karpinski and {Viral B.} Shah and Jan Vitek and
Lionel Zoubritzky},
year = 2018,
title = "Julia: Dynamism and Performance Reconciled by Design",
journal = PACMPL,
number = {{OOPSLA}},
volume = 2,
doi = {10.1145/3276490}}
@article{oopsla18b,
author = {Francesco {Zappa Nardelli} and
Julia Belyakova and Artem Pelenitsyn
and Benjamin Chung and Jeff Bezanson and Jan Vitek},
year = 2018,
title = "Julia Subtyping: A Rational Reconstruction",
journal = PACMPL,
number = {{OOPSLA}},
volume = 2,
doi = {10.1145/3276483}}
@article{popl18,
author = {Olivier Fl{\"{u}}ckiger and
Gabriel Scherer and Ming{-}Ho Yee and
Aviral Goel and Amal Ahmed and
Jan Vitek},
title = {Correctness of speculative optimizations with
dynamic deoptimization},
journal = PACMPL,
number = {{POPL}},
volume = {2},
year = {2018},
doi = {10.1145/3158137}}
@inproceedings{ecoop18,
author = {Benjamin Chung and Paley Li and
Francesco Zappa Nardelli and Jan Vitek},
title = {KafKa: Gradual Typing for Objects},
booktitle = ECOOP,
year = {2018},
doi = {10.4230/LIPIcs.ECOOP.2018.12}}
@inproceedings{etaps18,
author = {Juliana Franco and Sylvan Clebsch and
Sophia Drossopoulou and Jan Vitek and
Tobias Wrigstad},
title = {Correctness of a Concurrent Object Collector for
Actor Languages},
booktitle = {European Symposium on Programming (ESOP)},
year = {2018},
doi = {10.1007/978-3-319-89884-1\_31}}
@inproceedings{issta18,
author = {Filip Krikava and Jan Vitek},
title = {Tests from traces: automated unit test extraction
for {R}},
booktitle = {International Symposium on
Software Testing and Analysis (ISSTA)},
year = {2018},
doi = {10.1145/3213846.3213863}}
%%%%%%%%%%%%% 17
@article{oopsla17b,
author = "Sylvan Clebsch and Juliana Franco
and Sophia Drossopoulou and Albert Mingkun Yang
and Tobias Wrigstad and Jan Vitek",
title = "Orca: {GC} and type system co-design for actor languages",
year = 2017,
journal = {Proc. ACM Program. Lang.},
volume = {1},
number = {{OOPSLA}},
doi = {10.1145/3133896}}
@article{oopsla17a,
author = {Crista Lopes and Petr Maj and Pedro Martins
and Di Yang and Jakub Zitny and Hitesh Sajnani
and Jan Vitek},
title = {{D\'ej\`a Vu}: A Map of Code Duplicates on {GitHub}},
journal = {Proc. ACM Program. Lang.},
number = {{OOPSLA}},
year = 2017,
doi = {10.1145/3133908}}
@inproceedings{ecoop17,
author = {Todd A. Anderson and Hai Liu and
Lindsey Kuper and Ehsan Totoni and
Jan Vitek and Tatiana Shpeisman},
title = {Parallelizing Julia with a Non-Invasive {DSL}},
booktitle = ECOOP,
year = 2017,
doi = {10.4230/LIPIcs.ECOOP.2017.4},
}
@inproceedings{itp17,
author = "Yannick Zakowski and David Cachera and
Delphine Demange and Gustavo Petri and
David Pichardie and Suresh Jagannathan
and Jan Vitek",
title = "Verifying a Concurrent Garbage Collector
Using a Rely-Guarantee Methodology",
booktitle = {Interactive Theorem Proving (ITP)},
year = {2017},
doi = {10.1007/978-3-319-66107-0\_31}}
@inproceedings{rtas17,
author = {Yin Yan and
Karthik Dantu and
Steven Y. Ko and
Jan Vitek and
Lukasz Ziarek},
title = {Making {Android} Run on Time},
booktitle = {Real-Time and Embedded Technology and Applications Symposium (RTAS)},
year = {2017},
doi = {10.1109/RTAS.2017.38}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16
@inproceedings{popl16,
author = {Asumu Takikawa and
Daniel Feltey and
Ben Greenman and
Max New and
Jan Vitek and
Matthias Felleisen},
title = {Is sound gradual typing dead?},
booktitle = POPL,
year = {2016},
doi = {10.1145/2837614.2837630},
}
@article{cacm15,
author = {Shriram Krishnamurthi and
Jan Vitek},
title = {The real software crisis: repeatability as a core value},
journal = {Commun. {ACM}},
volume = {58},
number = {3},
year = {2015},
doi = {10.1145/2658987},
}
@inproceedings{ecoop15,
author = "Gregor Richards and Francesco {Zappa Nardelli}
and Jan Vitek",
title = "Concrete Types for {TypeScript}",
booktitle = ECOOP,
year = {2015},
doi = {10.4230/LIPIcs.ECOOP.2015.76},
}
@inproceedings{ecoop15b,
author = "Gustavo Petri and Jan Vitek
and Suresh Jagannathan",
title = "Cooking the Books: Formalizing {JMM}
Implementation Recipes",
booktitle = ECOOP,
year = 2015,
doi = {10.4230/LIPIcs.ECOOP.2015.445}}
@article{toplas14,
author = {Suresh Jagannathan and
Vincent Laporte and
Gustavo Petri and
David Pichardie and
Jan Vitek},
title = {Atomicity Refinement for Verified Compilation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {36},
number = {2},
year = {2014},
url = {http://doi.acm.org/10.1145/2601339},
doi = {10.1145/2601339},
}
@inproceedings{ismm14,
author = {David Terei and
Alex Aiken and
Jan Vitek},
title = {M\({}^{\mbox{3}}\): high-performance memory management
from off-the-shelf components},
booktitle = {International Symposium on Memory Management (ISMM)},
year = {2014},
doi = {10.1145/2602988.2602995},
}
@inproceedings{vee14key,
author = {Jan Vitek},
title = {The case for the three {R}'s of systems research:
repeatability, reproducibility and rigor},
booktitle = {Conference on Virtual Execution Environments (VEE)},
year = {2014},
doi = {10.1145/2576195.2576216},
}
@inproceedings{vee14,
author ="Toms Kalibera and Petr Maj and Floreal Morandat and Jan Vitek",
title ="A Fast Abstract Syntax Tree Interpreter for {R}",
booktitle ="Conference on Virtual Execution Environments (VEE)",
doi ="10.1145/2576195.2576205",
year = 2014}
@inproceedings{icse13,
author = {Daniel Marino and Christian Hammer and Julian Dolby
and Mandana Vaziri and Frank Tip and Jan Vitek},
title = {Detecting deadlock in programs with data-centric
synchronization},
booktitle = {International Conference on Software Engineering (ICSE)},
year = 2013,
doi = {10.1109/ICSE.2013.6606578}
}
@inproceedings{popl13,
author = {Delphine Demange and Vincent Laporte and Lei Zhao and Suresh
Jagannathan and David Pichardie and Jan Vitek},
title = {Plan B: a buffered memory model for Java},
year = {2013},
doi = {10.1145/2429069.2429110},
booktitle = POPL}
@inproceedings{oopsla13,
title = "Flexible Access Control Policies with Delimited Histories and
Revocation",
author = {Gregor Richards and Christian Hammer and Francesco {Zappa Nardelli}
and Suresh Jagannathan and Jan Vitek},
booktitle = {OOPSLA},
year = {2013},
doi = {10.1145/2509136.2509542}
}
@inproceedings{pldi13,
title = {Terra: a multi-stage language for high-performance computing},
author = {Zachary DeVito and James Hegarty and
Jan Vitek and Alex Aiken and Pat Hanrahan},
booktitle = PLDI,
mon = jun,
year = {2013},
doi={10.1145/2499370.2462166}
}
@Article{dagstuhl12,
author = {Robert Hirschfeld and Shriram Krishnamurthi and Jan
Vitek},
title = "Foundations for Scripting Languages (Dagstuhl Seminar
12011)",
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {1},
editor = {Robert Hirschfeld and Shriram Krishnamurthi and Jan
Vitek},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
doi = {10.4230/DagRep.2.1.1},
}
@inproceedings{ecoop12,
author = {Morandat, Flor{\'e}al and Hill, Brandon and Osvald, Leo and
Vitek, Jan},
title = {Evaluating the Design of the R Language: Objects and
Functions for Data Analysis},
booktitle = ECOOP,
year = {2012},
doi = {10.1007/978-3-642-31057-7_6}}
@inproceedings{user12,
title = "TraceR: A framework for understanding R performance",
author = "Ryan Macnak and Flor\'eal Morandat and Brandon Hill and
Leo Osvald and Jan Vitek",
booktitle = "International R Users Meeting (UseR!)",
year = {2012},
doi= {10.1145/3318464.3389720}}
@incollection{wellings12,
booktitle = {Distributed, Embedded and Real-time Java Systems},
year = {2012},
author = "Daniel Tang and Ales Plsek and Jan Vitek",
title = "Memory Safety for Safety Critical Java",
url = {https://www.springer.com/gp/book/9781441981578}}
@incollection{breitman12,
booktitle = "Patterns, Programming and Everything",
title = "Atomicity in Real-time Computing",
author = "Jan Vitek",
year = 2012,
doi = {10.1007/978-1-4471-2350-7_10}}
@proceedings{LCTES11,
editor = {Jan Vitek and Bjorn De Sutter},
title = {Conference on Languages, compilers, and tools for
embedded systems (LCTES)},
year = {2011},
doi = {10.1145/1967677}}
@inproceedings{dac11,
author = {Jan Vitek},
title = {Virtualizing real-time embedded systems with Java},
year = {2011},
doi = {10.1145/2024724.2024926},
booktitle = {Proceedings of the Design Automation Conference (DAC)}}
@inproceedings{tools11,
author = {Ana Milanova and
Jan Vitek},
title = {Static Dominance Inference},
year = {2011},
doi = {10.1007/978-3-642-21952-8_16},
booktitle = {International Conference on Objects,
Models, Components, Patterns (TOOLS)}}
@inproceedings{emsoft11,
author = {Jan Vitek and
Tomas Kalibera},
title = {Repeatability, reproducibility, and rigor in systems
research},
year = {2011},
doi = {10.1145/2038642.2038650},
booktitle = {Conference on Embedded Software (EMSOFT)}}
@article{tocs11,
author = {Tomas Kalibera and Filip Pizlo and Antony L. Hosking
and Jan Vitek},
title = {Scheduling real-time garbage collection on uniprocessors},
journal = {ACM Trans. Comput. Syst.},
volume = {29},
number = {3},
year = {2011},
doi = {10.1145/2003690.2003692}}
@inproceedings{oopsla12b,
author = {Fadi Meawad and Gregor Richards and Flor{\'{e}}al
Morandat and Jan Vitek},
title = {"Eval begone!: semi-automated removal of eval from
JavaScript programs"},
booktitle = OOPSLA,
year = {2012},
doi = {10.1145/2384616.2384660}}
@inproceedings{oopsla11,
title = "Automated Construction of {JavaScript} Benchmarks",
author = "Gregor Richards and Andreas Gal and Brendan Eich and Jan
Vitek",
year = 2011,
booktitle = OOPSLA,
doi = {10.1145/2048066.2048119}}
@inproceedings{ecoop11,
title = "The Eval that Men Do: A Large-scale Study of the Use of
Eval in {JavaScript} Applications",
author = "Gregor Richards and Christian Hammer and Brian Burg and
Jan Vitek",
year = 2011,
booktitle = ECOOP,
doi = {10.1007/978-3-642-22655-7_4} }
@inproceedings{ecoop10,
author = {Mandana Vaziri and Frank Tip and Julian Dolby and
Christian Hammer and Jan Vitek},
title = {A Type System for Data-Centric Synchronization},
booktitle = ECOOP,
year = {2010},
doi = {10.1007/978-3-642-14107-2_15}}
@inproceedings{sac10,
author = {Martin Schoeberl and Florian Brandner and Jan Vitek},
title = {RTTM: Real-Time Transactional Memory},
booktitle = {Symposium on Applied Computing (SAC)},
year = {2010},
doi = {10.1145/1774088.1774158}}
@article {CPE10,
author = {Kalibera, Tomas and Hagelberg, Jeff and Maj, Petr and Pizlo,
Filip and Titzer, Ben and Vitek, Jan},
title = {A family of real-time Java benchmarks},
journal = {Concurrency and Computation: Practice and Experience},
doi = {10.1002/cpe.1677},
volume = 23,
issue = 14,
year = 2011}
@InProceedings{jtres10a,
title = "Developing {Safety Critical Java} applications with
{oSCJ/L0}",
author = "Ales Plsek and Lei Zhao and {Veysel H.} Sahin and Daniel
Tang and Tomas Kalibera and Jan Vitek",
year = 2010,
booktitle = {International Workshop on Java Technologies for
Real-time and Embedded Systems (JTRES)},
doi = {10.1145/1850771.1850786}}
@InProceedings{jtres10b,
title = "Static Checking of Safety Critical {Java} Annotations",
author = "Daniel Tang and Ales Plsek and Jan Vitek",
year = 2010,
booktitle = {International Workshop on Java Technologies for
Real-time and Embedded Systems (JTRES)},
doi = {10.1145/1850771.1850792}}
@inproceedings{popl10,
author = {Tobias Wrigstad and Francesco Zappa Nardelli and
Sylvain Lebresne and Johan {\"O}stlund and Jan
Vitek},
title = {Integrating typed and untyped code in a scripting language},
year = 2010,
doi = {10.1145/1706299.1706343},
booktitle = POPL}
@inproceedings{plpv10,
author = {Tom{\'a}s Kalibera and Pavel Parizek and Ghaith Haddad
and Gary T. Leavens and Jan Vitek},
title = {Challenge benchmarks for verification of real-time
programs},
year = 2010,
booktitle = {Programming Languages meets Program Verification
Workshop (PLPV)},
doi = {10.1145/1707790.1707800}}
@InProceedings{eurosys10,
title = "High-level Programming of Embedded Hard Real-Time Devices",
author = "Filip Pizlo and Lukasz Ziarek and Ethan Blanton
and Petr Maj and Jan Vitek",
year = 2010,
month = apr,
booktitle = "EuroSys Conference",
doi = {10.1145/1755913.1755922}}
@InProceedings{pldi10a,
author = "Gregor Richards and Sylvain Lesbrene and Brian Burg and
Jan Vitek",
title = "An Analysis of the Dynamic Behavior of {JavaScript}
Programs",
booktitle = "Proceedings of the ACM Programming Language Design
and Implementation Conference (PLDI)",
year = 2010,
doi = {10.1145/1809028.1806598}}
@InProceedings{pldi10b,
author = "Filip Pizlo and Ethan Blanton and Anthony Hosking
and Petr Maj and Jan Vitek and Lukas Ziarek",
title = "SCHISM: Fragmentation-Tolerant Real-Time Garbage Collection",
booktitle = "Proceedings of the ACM Programming Language Design and
Implementation Conference (PLDI)",
year = 2010,
doi = {10.1145/1806596.1806615}}
@InProceedings{rtss09,
author = "Tomas Kalibera and Filip Pizlo and {Antony L.} Hosking and
Jan Vitek",
title = "Scheduling Hard Real-time Garbage Collection",
booktitle = "Proceedings of the IEEE Real-Time Systems Symposium
(RTSS)",
year = 2009,
doi = {10.1109/RTSS.2009.40}}
@InProceedings{ecoop09intro,
title = "Introduction to: The Myths of Object-Orientation",
author = "Jan Vitek",
booktitle = ECOOP,
year = 2009,
doi = {10.1007/978-3-642-03013-0_28} }
@Article{tces09,
title = "Reflexes: Abstractions for Integrating Highly
Responsive Tasks into {Java} Applications",
author = "Jesper Honig Spring and Filip Pizlo and Jean Privat and
Rachid Guerraoui and Jan Vitek",
journal = {ACM Transactions in Embedded Computing Systems (TECS)},
year = 2009,
doi = {10.1145/1814539.1814543}}
@InProceedings{jtresCD,
title = "CDx: A Family of Real-time {Java} Benchmarks",
author = "Tomas Kalibera and Jeff Hagelberg and Filip Pizlo and
Ales Plsek and Ben Titzer and, Jan Vitek",
booktitle = "International Workshop on Java Technologies for
Real-time and Embedded Systems (JTRES)",
year = 2009,
doi = {10.1145/1620405.1620412}}
@InProceedings{jtresTCK,
title = "A Technology Compatibility Kit for Safety Critical {Java}",
author = "Lei Zhao and Daniel Tang and Jan Vitek",
booktitle = "International Workshop on Java Technologies for
Real-time and Embedded Systems (JTRES)",
year = 2009,
doi = {10.1145/1620405.1620428}}
@InProceedings{jtresFVM,
title = "Towards {Java} on Bare Metal with the {Fiji VM}" ,
author = "Filip Pizlo and Lukasz Ziarek and Jan Vitek",
booktitle = "International Workshop on Java Technologies for
Real-time and Embedded Systems (JTRES)",
year = 2009,
doi = {10.1145/1620405.1620421}}
@InProceedings{stopHard,
title = "Software Hardening: A Research Agenda",
author = "Tobias Wrigstad and Patrick Eugster and John Field and
Nate Nystrom and Jan Vitek",
booktitle = "International Workshop on Script to Program Evolution
(STOP)",
year = 2009,
doi = {10.1145/1570506.1570513}}
@InProceedings{stopJS,
title = "Understanding the Dynamics of JavaScript",
author= {Sylvain Lebresne and Gregor Richards and Johan \"Ostlund
and Tobias Wrigstad and Jan Vitek},
booktitle = "International Workshop on Script to Program Evolution
(STOP)",
year = 2009,
doi = {10.1145/1570506.1570510}}
@InProceedings{oopsla09,
title = "Thorn: Robust, Concurrent, Extensible Scripting on the {JVM}",
author = {Bard Bloom and John Field and Nathaniel Nystrom and Johan
\"Ostlund and Gregor Richards and Rok Strnisa and
Jan Vitek and Tobias Wrigstad},
booktitle = OOPSLA,
doi = {10.1145/1639950.1640016},
year = 2009}
@InProceedings{safecert09,
author = "Thomas Henties and James Hunt and Doug Locke and Kelvin Nilsen
and Martin Schoeberl and Jan Vitek",
title = "{Java} for Safety-Critical Applications",
booktitle = "Certification of Safety-Critical Software Controlled
Systems (SafeCert)",
year = 2009,
url = {https://www.jopdesign.com/doc/safecert2009.pdf}}
@Article{cpe09,
author = "Jason Baker and Antonio Cunei and Tomas Kabilera and Filip
Pizlo and Jan Vitek",
title = "Accurate Garbage Collection in Uncooperative Environments
Revisited",
journal = "Concurrency and Computation: Practice and Experience",
year = 2009,
doi = {10.5555/1572724.1572727}}
@InProceedings{dasia09,
author = "Tomas Kalibera and Marek Prochazka and Filip Pizlo and Jan
Vitek and Marco Zulianello and Martin Decky",
title = "Real-time {Java} in Space: Potential Benefits and Open
Challenges",
booktitle = "Proceedings of DAta Systems In Aerospace (DASIA)",
year = 2009,
url = {http://www.cs.kent.ac.uk/pubs/2009/3139}}
@InProceedings{coord09,
author = "Antonio Cunei and Rachid Guerraoui
and Jesper Honig Spring and Jean Privat
and Jan Vitek",
title = "High-Performance Transactional Event Processing",
booktitle = "International Conference on Coordination Models and
Languages (COORDINATION)",
year = 2009,
doi = {10.1007/978-3-642-02053-7_2}}
@inproceedings{ecoop09,
author = "Tobias Wrigstad and Filip Pizlo and Fadi Meawad
and Lei Zhao and Jan Vitek",
title = "Loci: Simple Thread-Locality for {Java}",
booktitle = ECOOP,
year = 2009,
doi = {10.1007/978-3-642-03013-0_21}}
@inproceedings{lctes08,
author = {Joshua S. Auerbach and David F. Bacon and Rachid
Guerraoui and Jesper Honig Spring and Jan Vitek},
title = {Flexible task graphs: a unified restricted thread
programming model for {Java}},
year = {2008},
booktitle = {Conference on Languages, Compilers, and Tools for
Embedded Systems (LCTES)},
doi = {10.1145/1379023.1375659}}
@proceedings{ECOOP08,
editor = {Jan Vitek},
title = {Proceedings of the 22nd European Conference On Object
Oriented Programming, Paphos, Cyprus},
month = {July},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5142},
year = {2008},
url = {https://www.springer.com/gp/book/9783540705918}}
@InProceedings{pizlo08,
author = "Filip Pizlo and Jan Vitek",
title = "Memory Management for Real-time Java: State of the Art",
booktitle = "Proceedings of the IEEE International Symposium on
Object-oriented Real-Time Distributed Computing (ISORC)",
year = 2008,
doi = {10.1109/ISORC.2008.40}}
@article{scp08,
author = {Tian Zhao and Jason Baker and James Hunt and James
Noble and Jan Vitek},
title = {Implicit ownership types for memory management},
journal = {Science of Computer Programming},
volume = {71},
number = {3},
year = {2008},
doi = {10.1016/j.scico.2008.04.001}}
@inproceedings{padl08,
author = {Martin Hirzel and Nathaniel Nystrom and Bard Bloom and
Jan Vitek},
title = {Matchete: Paths through the Pattern Matching Jungle},
year = {2008},
booktitle = {International Symposium on Practical Aspects of
Declarative Languages (PADL)},
url = {http://ranger.uta.edu/~nystrom/papers/padl08-matchete.pdf} }
@InProceedings{jtres07,
author = "Martin Schoeberl and Jan Vitek",
title = "Garbage Collection for Safety Critical {Java}",
booktitle = "International Workshop on Java Technologies for
Real-time and Embedded Systems (JTRES)",
year = 2007,
doi = {10.1145/1288940.1288953}}
@article{rsj07,
author = "Chris Andreae and Yvonne Coady and Celina Gibbs
and James Noble and Jan Vitek and Tian Zhao",
title = "Scoped Types and Aspects for Real-time {J}ava Memory
Management",
journal = "Realtime Systems Journal",
volume = 37,
number = 1,
month = oct,
year = 2007,
doi = {10.1007/s11241-007-9024-3}}
@inproceedings{oopsla07,
title = "{StreamFlex}: High-throughput Stream Programming in
{Java}",
author = "Jesper H. Spring and Jean Privat and Rachid Guerraoui
and Jan Vitek",
booktitle = OOPSLA,
year = 2007,
doi = {10.1145/1297105.1297043}}
@article{spe07,
author = "Antonio Cunei and Jan Vitek",
title = "An Efficient and Flexible Toolkit for Composing
Customized Method Dispatchers",
volume = 38,
number = 1,
journal = "Software--Practice \& Experience",
year = 2008,
doi = {10.5555/1330391.1330393}}
@inproceedings{lctes07,
author = "Filip Pizlo and {Athony L.} Hosking and Jan Vitek",
title = "Hierarchical Real-time Garbage Collection",
year = 2007,
booktitle = "Conference on Languages, Compilers, and Tools for
Embedded Systems (LCTES)",
doi = {10.1145/1254766.1254784}}
@inproceedings{vee07,
author = "{Jesper Honig} Spring and Filip Pizlo and
Rachid Guerraoui and Jan Vitek",
title = "Reflexes: Abstractions for Highly Responsive Systems",
year = 2007,
booktitle = {International Conference on Virtual Execution
Environments (VEE)},
doi = {10.1145/1254810.1254837}}
@inproceedings{cc07,
author = "Jason Baker and Antonio Cunei and Filip Pizlo and Jan
Vitek",
title = "Accurate Garbage Collection in Uncooperative Environments
with Lazy Pointer Stacks",
booktitle = "International Conference on Compiler Construction (CC)",
year = 2007,
doi = {10.1007/978-3-540-71229-9_5}}
@inproceedings{eurosys07,
author = "Michal Kalpka and Rachid Guerraoui and Jan Vitek",
title = "STMBench7: A Benchmark for Software Transactional Memory",
booktitle = "EuroSys Conference",
year = 2007,
doi = {10.1145/1272998.1273029}}
@inproceedings{dsal06,
author = "Yvonne Coady and Celina Gibbs and Michael Haupt and Jan
Vitek and Hiroshi Yamauchi",
title = "Towards a domain specific language for virtual machines",
booktitle = "First Domain-Specific Aspect Languages Workshop",
year = 2006,
url = {https://dsal.dcc.uchile.cl/2006/_Media/coady.pdf}}
@inproceedings{rtss:06,
author = "Filip Pizlo and Jan Vitek",
title = "An Empirical Evalutation of Memory Management Alternatives
for {R}eal-time {J}ava",
booktitle = "Real-Time Systems Symposium (RTSS)",
year = {2006},
doi = {10.1109/RTSS.2006.9}}
@article{tecs:06,
author = "Austin Armbuster and Jason Baker and Antonio Cunei and
David Holmes and Chapman Flack and Filip Pizlo and
Edward Pla and Marek Prochazka and Jan Vitek",
title="A {R}eal-time {J}ava Virtual Machine with Applications in
Avionics",
journal = {ACM Transactions in Embedded Computing Systems (TECS)},
volume = 7,
number = 1,
year = {2007},
doi = {10.1145/1324969.1324974}}
@article{jbnmr:06,
author = "Olga Vitek and Bruce Craig and Chris Bailey-Kellog and
Jan Vitek",
title = "Inferential backbone assignment for sparse data",
journal = "Journal of Biomolecular NMR",
year = "2006",
doi = {10.1007/s10858-006-9027-8}}
@InProceedings{aplas06,
author = "Hiroshi Yamauchi and Jan Vitek",
title = "Combining Offline and Online Optimizations: Register
Allocation and Method Inlining",
booktitle = "ASIAN Symposium on Programming Languages and Systems
(APLAS)",
year = {2006},
doi = {10.1007/11924661_19}}
@InProceedings{ecoop06,
author = "Chris Andreae and Yvonne Coady and Celina Gibbs and James
Noble and Jan Vitek and Tian Zhao",
title = "{Scoped Types and Aspects for Real-Time {Java}}",
booktitle = ECOOP,
year = {2006},
doi = {10.1007/11785477_7}}
@article{toplas:06,
author = "Christian Grothoff and Jens Palsberg and Jan Vitek",
title = "Encapsulating Objects with Confined Types",
journal = "Transactions on Programming Languages and Systems",
volume = {29},
number = {6},
year = 2007,
doi = {10.1145/1286821.1286823}}
@article{jfp:06,
author = "Tian Zhao and Jens Palsberg and Jan Vitek",
title = "Type-based Confinement",
journal = "Journal of Functional Programming",
volume = 16,
number = 1,
year = 2006,
doi = {10.1017/S0956796805005691}}
@inproceedings{vee06,
author = {Antonio Cunei and Jan Vitek},
title = {A new approach to real-time checkpointing.},
year = {2006},
booktitle = {International Conference on
Virtual Execution Environments (VEE)},
doi = {10.1145/1134760.1134771}}
@inproceedings{rtas:06,
author = "Jason Baker and Antonio Cunei and Chapman Flack and
Filip Pizlo and Marek Prochazka and Jan Vitek and
Austin Armbuster and Edward Pla and David Holmes",
title = "A Real-time {J}ava Virtual Machine for Avionics",
booktitle = {Real-Time and Embedded Technology and Applications
Symposium (RTAS)},
year = {2006},
doi = {10.1109/RTAS.2006.7}}