Jirí Simsa - RankMe

14 papers A* 1A 1B 4Unranked 7

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