Jir Simsa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2004–2023
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CLOUD | tf.data service: A Case for Disaggregating ML Input Data Processing. | Andrew Audibert, Yang Chen, Dan Graur, Ana Klimovic, Jir Simsa, Chandramohan A. Thekkath |
| 2013 | SOSP | 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 |
| 2012 | RV | Scalable Dynamic Partial Order Reduction. | Jir Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey |
| 2010 | FPGA | Designing hardware with dynamic memory abstraction. | Jir Simsa, Satnam Singh |
| 2009 | FMCAD | Finding heap-bounds for hardware synthesis. | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jir Simsa, Satnam Singh, Viktor Vafeiadis |
| 2006 | FMICS | On Combining Partial Order Reduction with Fairness Assumptions. | Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa |
| 2005 | SOFSEM | VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. | David Safrnek, Jir Simsa |
| 2004 | FMCAD | Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. | Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa |