Jirí Simsa

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 1

Top Topics

Hidden Markov Models

Bayesian Networks

Data Processing

Top Venues

Publications

Andrew Audibert, Yang Chen, Dan Graur, Ana Klimovic, Jirí Simsa, Chandramohan A. Thekkath
tf.data service: A Case for Disaggregating ML Input Data Processing. SoCC (2023)
Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant
Parrot: a practical runtime for deterministic, stable, and reliable threads. SOSP (2013)
Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey
Scalable Dynamic Partial Order Reduction. RV (2012)
Jirí Simsa, Randy Bryant, Garth A. Gibson
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems. SPIN (2011)
Jirí Simsa, Randy Bryant, Garth A. Gibson
dBug: Systematic Evaluation of Distributed Systems. SSV (2010)
Jirí Simsa, Satnam Singh
Designing hardware with dynamic memory abstraction. FPGA (2010)
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis
Finding heap-bounds for hardware synthesis. FMCAD (2009)
Jennifer Tam, Jirí Simsa, Sean Hyde, Luis von Ahn
Breaking Audio CAPTCHAs. NIPS (2008)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC (2006)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
Distributed Partial Order Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
David Safránek, Jirí Simsa
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. SOFSEM (2005)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD (2004)