Jiri Simsa

According to our database1, Jiri Simsa authored at least 18 papers between 2004 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
tf.data service: A Case for Disaggregating ML Input Data Processing.
Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

2022
A case for disaggregation of ML data processing.
CoRR, 2022

Plumber: Diagnosing and Removing Performance Bottlenecks in Machine Learning Data Pipelines.
Proceedings of Machine Learning and Systems 2022, 2022

2021
tf.data: A Machine Learning Data Processing Framework.
Proc. VLDB Endow., 2021

2020
Towards ML Engineering: A Brief History Of TensorFlow Extended (TFX).
CoRR, 2020

2013
Systematic and Scalable Testing of Concurrent Programs.
PhD thesis, 2013

Parrot: a practical runtime for deterministic, stable, and reliable threads.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

2012
Scalable Dynamic Partial Order Reduction.
Proceedings of the Runtime Verification, Third International Conference, 2012

2011
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems.
Proceedings of the Model Checking Software, 2011

2010
dBug: Systematic Evaluation of Distributed Systems.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Designing hardware with dynamic memory abstraction.
Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

2009
Finding heap-bounds for hardware synthesis.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Breaking Audio CAPTCHAs.
Proceedings of the Advances in Neural Information Processing Systems 21, 2008

2006
On Combining Partial Order Reduction with Fairness Assumptions.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.
Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

2004
Distributed Partial Order Reduction of State Spaces.
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004


  Loading...