Jan Vitek

According to our database1, Jan Vitek authored at least 166 papers between 1992 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
On the Impact of Programming Languages on Code Quality: A Reproduction Study.
ACM Trans. Program. Lang. Syst., 2019

Feature-Specific Profiling.
ACM Trans. Program. Lang. Syst., 2019

Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness.
ACM Trans. Embedded Comput. Syst., 2019

Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild.
PACMPL, 2019

On the design, implementation, and use of laziness in R.
PACMPL, 2019

How to evaluate the performance of gradual type systems.
J. Funct. Program., 2019

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology.
J. Autom. Reasoning, 2019

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).
DARTS, 2019

FSE/CACM Rebuttal2: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub.
CoRR, 2019

Precise Dataflow Analysis of Event-Driven Applications.
CoRR, 2019

Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild.
CoRR, 2019

On the Impact of Programming Languages on Code Quality.
CoRR, 2019

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

R melts brains: an IR for first-class environments and lazy effectful arguments.
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018
Julia subtyping: a rational reconstruction.
PACMPL, 2018

Correctness of speculative optimizations with dynamic deoptimization.
PACMPL, 2018

Julia: dynamism and performance reconciled by design.
PACMPL, 2018

KafKa: Gradual Typing for Objects (Artifact).
DARTS, 2018

Tests from traces: automated unit test extraction for R.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Monotonic gradual typing in a common calculus.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Correctness of a Concurrent Object Collector for Actor Languages.
Proceedings of the Programming Languages and Systems, 2018

KafKa: Gradual Typing for Objects.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Self-contained development environments.
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017
DéjàVu: a map of code duplicates on GitHub.
PACMPL, 2017

Orca: GC and type system co-design for actor languages.
PACMPL, 2017

Parallelizing Julia with a Non-Invasive DSL (Artifact).
DARTS, 2017

Making Android Run on Time.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Parallelizing Julia with a Non-Invasive DSL.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111).
Dagstuhl Reports, 2016

Is sound gradual typing dead?
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015
The real software crisis: repeatability as a core value.
Commun. ACM, 2015

Repeatability, reproducibility and rigor in CS research.
Proceedings of the Programming Languages Mentoring Workshop, 2015

Concrete Types for TypeScript.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Cooking the Books: Formalizing JMM Implementation Recipes.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Atomicity Refinement for Verified Compilation.
ACM Trans. Program. Lang. Syst., 2014

The case for the three R's of systems research: repeatability, reproducibility and rigor.
Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

A fast abstract syntax tree interpreter for R.
Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

M3: high-performance memory management from off-the-shelf components.
Proceedings of the International Symposium on Memory Management, 2014

2013
Introduction to the special section on LCTES'11.
ACM Trans. Embedded Comput. Syst., 2013

SIGPLAN chair's report.
SIGPLAN Notices, 2013

Changing of the Guard.
Journal of Object Technology, 2013

Micro-transactions for concurrent data structures.
Concurrency and Computation: Practice and Experience, 2013

Plan B: a buffered memory model for Java.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Terra: a multi-stage language for high-performance computing.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Flexible access control for javascript.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Should software conferences respect software?
Proceedings of the Conference on Systems, 2013

Detecting deadlock in programs with data-centric synchronization.
Proceedings of the 35th International Conference on Software Engineering, 2013

History-based security for JavaScript.
Proceedings of the 8th Workshop on Implementation, 2013

2012
A data-centric approach to synchronization.
ACM Trans. Program. Lang. Syst., 2012

Foundations for Scripting Languages (Dagstuhl Seminar 12011).
Dagstuhl Reports, 2012

Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems.
Concurrency and Computation: Practice and Experience, 2012

Eval begone!: semi-automated removal of eval from javascript programs.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

A black-box approach to understanding concurrency in DaCapo.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Evaluating the Design of the R Language - Objects and Functions for Data Analysis.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011
Scheduling real-time garbage collection on uniprocessors.
ACM Trans. Comput. Syst., 2011

A family of real-time Java benchmarks.
Concurrency and Computation: Practice and Experience, 2011

Static Dominance Inference.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Automated construction of JavaScript benchmarks.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Real-time wait-free queues using micro-transactions.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Repeatability, reproducibility, and rigor in systems research.
Proceedings of the 11th International Conference on Embedded Software, 2011

The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Virtualizing real-time embedded systems with Java.
Proceedings of the 48th Design Automation Conference, 2011

2010
Reflexes: Abstractions for integrating highly responsive tasks into Java applications.
ACM Trans. Embedded Comput. Syst., 2010

Conference Report: TOOLS'10.
Journal of Object Technology, 2010

One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.
Proceedings of the Model Checking Software, 2010

RTTM: real-time transactional memory.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Integrating typed and untyped code in a scripting language.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Challenge benchmarks for verification of real-time programs.
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

An analysis of the dynamic behavior of JavaScript programs.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Schism: fragmentation-tolerant real-time garbage collection.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Static checking of safety critical Java annotations.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Developing safety critical Java applications with oSCJ/L0.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

High-level programming of embedded hard real-time devices.
Proceedings of the European Conference on Computer Systems, 2010

A Type System for Data-Centric Synchronization.
Proceedings of the ECOOP 2010, 2010

2009
Mobile Agents.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Preface.
Theor. Comput. Sci., 2009

Challenge benchmarks for verification of real-time programs: (abstract only).
SIGPLAN Notices, 2009

Accurate garbage collection in uncooperative environments revisited.
Concurrency and Computation: Practice and Experience, 2009

Programming Models for Concurrency and Real-Time.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Scheduling Hard Real-Time Garbage Collection.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Thorn: robust concurrent scripting on the JVM.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Thorn: robust, concurrent, extensible scripting on the JVM.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A technology compatibility kit for safety critical Java.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Real time Java on resource-constrained platforms with Fiji VM.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

CDx: a family of real-time Java benchmarks.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Loci: Simple Thread-Locality for Java.
Proceedings of the ECOOP 2009, 2009

Introduction to: The Myths of Object-Orientation.
Proceedings of the ECOOP 2009, 2009

Of scripts and programs: tall tales, urban legends, and future prospects.
Proceedings of the 5th Symposium on Dynamic Languages, 2009

High-Performance Transactional Event Processing.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008
An efficient and flexible toolkit for composing customized method dispatchers.
Softw., Pract. Exper., 2008

Implicit ownership types for memory management.
Sci. Comput. Program., 2008

Matchete: Paths through the Pattern Matching Jungle.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Flexible task graphs: a unified restricted thread programming model for java.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Memory Management for Real-Time Java: State of the Art.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007
Encapsulating objects with confined types.
ACM Trans. Program. Lang. Syst., 2007

A real-time Java virtual machine with applications in avionics.
ACM Trans. Embedded Comput. Syst., 2007

Scoped types and aspects for real-time Java memory management.
Real-Time Systems, 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07
CoRR, 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06
CoRR, 2007

Reflexes: abstractions for highly responsive systems.
Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Streamflex: high-throughput stream programming in java.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Hierarchical real-time garbage collection.
Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Garbage collection for safety critical Java.
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

STMBench7: a benchmark for software transactional memory.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.
Proceedings of the Compiler Construction, 16th International Conference, 2007

2006
Redundancy and coverage detection in sensor networks.
TOSN, 2006

Type-based confinement.
J. Funct. Program., 2006

A new approach to real-time checkpointing.
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

An Emprical Evaluation of Memory Management Alternatives for Real-Time Java.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

A Real-time Java Virtual Machine for Avionics - An Experience Report.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Dynamic aspects for runtime fault determination and recovery.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Scoped Types and Aspects for Real-Time Java.
Proceedings of the ECOOP 2006, 2006

Combining Offline and Online Optimizations: Register Allocation and Method Inlining.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
RTJBench: A Real-Time Java Benchmarking Framework.
Stud. Inform. Univ., 2005

Engineering a common intermediate representation for the Ovm framework.
Sci. Comput. Program., 2005

Concurrency and synchronization in Java programs.
Sci. Comput. Program., 2005

A transactional object calculus.
Sci. Comput. Program., 2005

The Seal Calculus.
Inf. Comput., 2005

Efficient Intrusion Detection using Automaton Inlining.
Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

Preemptible Atomic Regions for Real-Time Java.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

PolyD: a flexible dispatching framework.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Reconsidering complete search algorithms for protein backbone NMR assignment.
Proceedings of the ECCB/JBI'05 Proceedings, Fourth European Conference on Computational Biology/Sixth Meeting of the Spanish Bioinformatics Network (Jornadas de BioInformática), Palacio de Congresos, Madrid, Spain, September 28, 2005

2004
Coordination and mobility in CoreLime.
Mathematical Structures in Computer Science, 2004

Coverage preserving redundancy elimination in sensor networks.
Proceedings of the First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004

Scoped Types for Real-Time Java.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Real-Time Java Scoped Memory: Design Patterns and Semantics.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

A public key algorithm for ad-hoc networks.
Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, 2004

Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks.
Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks.
Proceedings of the ICETE 2004, 2004

A Semantic Framework for Designer Transactions.
Proceedings of the Programming Languages and Systems, 2004

Optimistic Concurrency Semantics for Transactions in Coordination Languages.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Coordinating processes with secure spaces.
Sci. Comput. Program., 2003

Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality.
Journal of Computer Security, 2003

Lightweight confinement for featherweight Java.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Java Subtype Tests in Real-Time.
Proceedings of the ECOOP 2003, 2003

Type-Based Distributed Access Control.
Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002
Incommunicado: efficient communication for isolates.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Resource Management for Safe Languages.
Proceedings of the Object-Oriented Technology, 2002

2001
Confined types in Java.
Softw., Pract. Exper., 2001

CoreLime: A Coordination Model for Mobile Agents.
Electron. Notes Theor. Comput. Sci., 2001

The JavaSeal Mobile Agent Kernel.
Autonomous Agents and Multi-Agent Systems, 2001

Lime Revisited.
Proceedings of the Mobile Agents, 5th International Conference, 2001

2000
Secure Composition of Untrusted Code: Wrappers and Causality Types.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999
Confined Types.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Aliasing in Object Oriented Systems.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Secure Composition of Insecure Components.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

A Coordination Model Agents Based on Secure Spaces.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface.
World Wide Web, 1998

Seal: A Framework for Secure Mobile Computations.
Proceedings of the Internet Programming Languages, 1998

4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Flexible Alias Protection.
Proceedings of the ECOOP'98, 1998

JAZZ: an efficient compressed format for Java archive files.
Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1997
Efficient Type Inclusion Tests.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

On Extending Java.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

Near Optimal Hierarchical Encoding of Types.
Proceedings of the ECOOP'97, 1997

1996
Security and Communication in Mobile Object Systems.
Proceedings of the Mobile Object Systems, 1996

Compact Dispatch Tables for Dynamically Typed Object Oriented Languages.
Proceedings of the Compiler Construction, 6th International Conference, 1996

1995
Message Dispatch on Pipelined Processors.
Proceedings of the ECOOP'95, 1995

1994
Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages.
Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993
Static Analysis of PostScript Code.
Comput. Lang., 1993

1992
Compile-Time Analysis of Object-Oriented Programs.
Proceedings of the Compiler Construction, 1992


  Loading...