BibSLEIGH — Jan

Travelled to:

1 × Belgium
1 × China
1 × Czech Republic
1 × Denmark
1 × Finland
1 × France
1 × Portugal
1 × Slovenia
1 × Sweden
16 × USA
2 × Canada
2 × Germany
2 × Spain
3 × Italy
3 × Switzerland
3 × United Kingdom

Collaborated with:

R.N.Horspool G.Richards ∅ F.Z.Nardelli S.Jagannathan F.Pizlo B.Chung T.Wrigstad C.Hammer A.L.Hosking A.Cunei K.Palacz J.Palsberg A.Krall Aviral Goel G.Petri A.Aiken F.Morandat B.Burg A.Milanova J.Noble T.Zhao B.Bokowski F.Meawad S.Lebresne R.Guerraoui J.H.Spring B.Bloom N.Nystrom D.Pichardie V.Laporte J.Dolby M.Vaziri F.Tip L.Zhao J.Franco S.Clebsch S.Drossopoulou D.Terei M.Schoeberl F.Brandner C.Grothoff J.Potter K.Driesen U.Hölzle J.S.Uhl F.Krikava H.Miller J.Östlund Jeff Bezanson P.Maj B.Hill L.Osvald T.Kalibera M.Mole R.E.Jones A.Gal B.Eich M.Hirzel J.Baker J.Privat A.Welc G.Czajkowski L.Daynès P.Li Z.DeVito J.Hegarty P.Hanrahan J.S.Auerbach D.F.Bacon D.Marino D.Demange L.Ziarek E.Blanton C.Andreae Y.Coady C.Gibbs T.A.Anderson H.Liu L.Kuper Ehsan Totoni T.Shpeisman A.M.Yang Julia Belyakova Artem Pelenitsyn A.Takikawa D.Feltey B.Greenman Max S. New M.Felleisen Olivier Flückiger G.Scherer Ming-Ho Yee A.Ahmed Jiahao Chen Stefan Karpinski Viral B. Shah Lionel Zoubritzky J.Field R.Strnisa C.V.Lopes Pedro Martins 0001 V.Saini D.Yang Jakub Zitny H.Sajnani

Talks about:

type (14) time (8) java (8) program (7) languag (7) object (7) real (7) javascript (5) design (5) dynam (5)

Person: Jan Vitek

DBLP: Vitek:Jan

Facilitated 6 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

1998

1997

1996

1995

1994

1992

2018

2017

2018

2019

2016

2018

Wrote 56 papers:

ECOOP-2015-PetriVJ #formal method #implementation: Cooking the Books: Formalizing JMM Implementation Recipes (GP, JV, SJ), pp. 445–469.
ECOOP-2015-RichardsNV #typescript: Concrete Types for TypeScript (GR, FZN, JV), pp. 76–100.
ISMM-2014-TereiAV #component #memory management #named #off the shelf: M3: high-performance memory management from off-the-shelf components (DT, AA, JV), pp. 3–13.
PLDI-2014-JagannathanPVPL #compilation #refinement: Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.
ICSE-2013-MarinoHDVTV #concurrent #detection #source code: Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
OOPSLA-2013-RichardsHNJV #data access #flexibility #javascript: Flexible access control for javascript (GR, CH, FZN, SJ, JV), pp. 305–322.
PLDI-2013-DeVitoHAHV #multi #named: Terra: a multi-stage language for high-performance computing (ZD, JH, AA, PH, JV), pp. 105–116.
POPL-2013-DemangeLZJPV #java #memory management: Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.
ECOOP-2012-MorandatHOV #data analysis #design: Evaluating the Design of the R Language — Objects and Functions for Data Analysis (FM, BH, LO, JV), pp. 104–131.
OOPSLA-2012-KaliberaMJV #approach #black box #comprehension #concurrent: A black-box approach to understanding concurrency in DaCapo (TK, MM, REJ, JV), pp. 335–354.
OOPSLA-2012-MeawadRMV #automation #exclamation #javascript #source code: Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.
DAC-2011-Vitek #embedded #java #realtime: Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
ECOOP-2011-RichardsHBV #javascript #scalability #using: The Eval That Men Do — A Large-Scale Study of the Use of Eval in JavaScript Applications (GR, CH, BB, JV), pp. 52–78.
OOPSLA-2011-RichardsGEV #automation #benchmark #javascript #metric: Automated construction of JavaScript benchmarks (GR, AG, BE, JV), pp. 677–694.
TOOLS-EUROPE-2011-MilanovaV: Static Dominance Inference (AM, JV), pp. 211–227.
ECOOP-2010-VaziriTDHV #type system: A Type System for Data-Centric Synchronization (MV, FT, JD, CH, JV), pp. 304–328.
PLDI-2010-PizloZMHBV #garbage collection #named #realtime: Schism: fragmentation-tolerant real-time garbage collection (FP, LZ, PM, ALH, EB, JV), pp. 146–159.
PLDI-2010-RichardsLBV #analysis #behaviour #javascript #source code: An analysis of the dynamic behavior of JavaScript programs (GR, SL, BB, JV), pp. 1–12.
POPL-2010-WrigstadNLOV #scripting language: Integrating typed and untyped code in a scripting language (TW, FZN, SL, JÖ, JV), pp. 377–388.
SAC-2010-SchoeberlBV #memory management #named #realtime #transaction: RTTM: real-time transactional memory (MS, FB, JV), pp. 326–333.
ECOOP-2009-Vitek #object-oriented: Introduction to: The Myths of Object-Orientation (JV), p. 618.
ECOOP-2009-WrigstadPMZV #java #named #thread: Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.
OOPSLA-2009-BloomFNORSVW #concurrent #named #robust #virtual machine: Thorn: robust, concurrent, extensible scripting on the JVM (BB, JF, NN, JÖ, GR, RS, JV, TW), pp. 117–136.
TOOLS-EUROPE-2009-Vitek #concurrent #modelling #programming #realtime: Programming Models for Concurrency and Real-Time (JV), p. 17.
LCTES-2008-AuerbachBGSV #concurrent #flexibility #graph #java #programming #strict #thread: Flexible task graphs: a unified restricted thread programming model for java (JSA, DFB, RG, JHS, JV), pp. 1–11.
PADL-2008-HirzelNBV #named #pattern matching: Matchete: Paths through the Pattern Matching Jungle (MH, NN, BB, JV), pp. 150–166.
CC-2007-BakerCPV #garbage collection #lazy evaluation #pointer: Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks (JB, AC, FP, JV), pp. 64–79.
LCTES-2007-PizloHV #garbage collection #realtime: Hierarchical real-time garbage collection (FP, ALH, JV), pp. 123–133.
OOPSLA-2007-SpringPGV #java #named #programming: Streamflex: high-throughput stream programming in java (JHS, JP, RG, JV), pp. 211–228.
ECOOP-2006-AndreaeCGNVZ #aspect-oriented #java #realtime: Scoped Types and Aspects for Real-Time Java (CA, YC, CG, JN, JV, TZ), pp. 124–147.
OOPSLA-2005-CuneiV #flexibility #framework #named: PolyD: a flexible dispatching framework (AC, JV), pp. 487–503.
ESOP-2004-VitekJWH #design #framework #semantics #transaction: A Semantic Framework for Designer Transactions (JV, SJ, AW, ALH), pp. 249–263.
ECOOP-2003-PalaczV #java #realtime #testing #type system: Java Subtype Tests in Real-Time (KP, JV), pp. 378–404.
OOPSLA-2003-ZhaoPV #java #lightweight: Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.
OOPSLA-2002-PalaczVCD #communication #named #performance: Incommunicado: efficient communication for isolates (KP, JV, GC, LD), pp. 262–274.
OOPSLA-2001-GrothoffPV #encapsulation: Encapsulating Objects with Confined Types (CG, JP, JV), pp. 241–253.
OOPSLA-1999-VitekB: Confined Types (JV, BB), pp. 82–96.
ECOOP-1998-NobleVP #alias #flexibility: Flexible Alias Protection (JN, JV, JP), pp. 158–185.
ECOOP-1997-KrallVH #encoding: Near Optimal Hierarchical Encoding of Types (AK, JV, RNH), pp. 128–145.
OOPSLA-1997-VitekHK #performance #testing: Efficient Type Inclusion Tests (JV, RNH, AK), pp. 142–157.
CC-1996-VitekH #object-oriented: Compact Dispatch Tables for Dynamically Typed Object Oriented Languages (JV, RNH), pp. 309–325.
ECOOP-1995-DriesenHV #pipes and filters: Message Dispatch on Pipelined Processors (KD, UH, JV), pp. 253–282.
ECOOP-1994-VitekH #message passing #performance: Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.
CC-1992-VitekHU #analysis #object-oriented #source code: Compile-Time Analysis of Object-Oriented Programs (JV, RNH, JSU), pp. 236–250.
ESOP-2018-FrancoCDVW #concurrent #correctness: Correctness of a Concurrent Object Collector for Actor Languages (JF, SC, SD, JV, TW), pp. 885–911.
ECOOP-2017-AndersonLKTVS #domain-specific language: Parallelizing Julia with a Non-Invasive DSL (TAA, HL, LK, ET, JV, TS), p. 29.
OOPSLA-2017-ClebschFDYWV #co-evolution #design #garbage collection #named #type system: Orca: GC and type system co-design for actor languages (SC, JF, SD, AMY, TW, JV), p. 28.
OOPSLA-2017-LopesMMSYZSV #git #named: DéjàVu: a map of code duplicates on GitHub (CVL, PM, PM0, VS, DY, JZ, HS, JV), p. 28.
ECOOP-2018-ChungLNV #named #type system: KafKa: Gradual Typing for Objects (BC, PL, FZN, JV), p. 24.
OOPSLA-2018-BezansonCCKSVZ #design #named #performance: Julia: dynamism and performance reconciled by design (JB, JC, BC, SK, VBS, JV, LZ), p. 23.
OOPSLA-2018-NardelliBPCBV #re-engineering #type system: Julia subtyping: a rational reconstruction (FZN, JB, AP, BC, JB, JV), p. 27.
ECOOP-2019-ChungNV #algorithm #performance #tuple #type system: Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) (BC, FZN, JV), p. 15.
OOPSLA-2019-GoelV #design #implementation #lazy evaluation #on the #using: On the design, implementation, and use of laziness in R (AG, JV), p. 27.
OOPSLA-2019-KrikavaMV #scala #scalability #using: Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild (FK, HM, JV), p. 28.
POPL-2016-TakikawaFGNVF #question #type system: Is sound gradual typing dead? (AT, DF, BG, MSN, JV, MF), pp. 456–468.
POPL-2018-FluckigerSYGAV #correctness #optimisation: Correctness of speculative optimizations with dynamic deoptimization (OF, GS, MHY, AG, AA, JV), p. 28.