Jiri Simsa

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

tf.data service: A Case for Disaggregating ML Input Data Processing.

Andrew Audibert, Yang Chen, Dan Graur, Ana Klimovic, Jirí Simsa, Chandramohan A. Thekkath

Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

2022

A case for disaggregation of ML data processing.

Andrew Audibert, Yang Chen, Dan Graur, Ana Klimovic, Jiri Simsa, Chandramohan A. Thekkath

CoRR, 2022

Plumber: Diagnosing and Removing Performance Bottlenecks in Machine Learning Data Pipelines.

Michael Kuchnik, Ana Klimovic, Jiri Simsa, Virginia Smith, George Amvrosiadis

Proceedings of the Fifth Conference on Machine Learning and Systems, 2022

2021

tf.data: A Machine Learning Data Processing Framework.

Derek Gordon Murray, Jiri Simsa, Ana Klimovic, Ihor Indyk

Proc. VLDB Endow., 2021

2020

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

Konstantinos Katsiapis, Abhijit Karmarkar, Ahmet Altay, Aleksandr Zaks, Neoklis Polyzotis, Anusha Ramesh, Ben Mathes, Gautam Vasudevan, Irene Giannoumis, Jarek Wilkiewicz, Jiri Simsa, Justin Hong, Mitchell Trott, Noé Lutz, Pavel A. Dournov, Robert Crowe, Sarah Sirajuddin, Tris Brian Warkentin, Zhitao Li

CoRR, 2020

2013

Systematic and Scalable Testing of Concurrent Programs.

Jirí Simsa

PhD thesis, 2013

Parrot: a practical runtime for deterministic, stable, and reliable threads.

Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

2012

Scalable Dynamic Partial Order Reduction.

Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems.

Jirí Simsa, Randy Bryant, Garth A. Gibson

Proceedings of the Model Checking Software, 2011

2010

dBug: Systematic Evaluation of Distributed Systems.

Jirí Simsa, Randy Bryant, Garth A. Gibson

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Designing hardware with dynamic memory abstraction.

Jirí Simsa, Satnam Singh

Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

2009

Finding heap-bounds for hardware synthesis.

Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Breaking Audio CAPTCHAs.

Jennifer Tam, Jirí Simsa, Sean Hyde, Luis von Ahn

Proceedings of the Advances in Neural Information Processing Systems 21, 2008

2006

On Combining Partial Order Reduction with Fairness Assumptions.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.

David Safránek, Jirí Simsa

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

2004

Distributed Partial Order Reduction of State Spaces.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

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.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004