Jiří Šimša
Jiří Šimša
Verified email at cs.cmu.edu - Homepage
TitleCited byYear
Breaking audio captchas
J Tam, J Simsa, S Hyde, LV Ahn
Advances in Neural Information Processing Systems, 1625-1632, 2009
1132009
Accepting predecessors are better than back edges in distributed ltl model-checking
L Brim, I Černá, P Moravec, J Šimša
Formal Methods in Computer-Aided Design, 352-366, 2004
962004
Parrot: a practical runtime for deterministic, stable, and reliable threads
H Cui, J Simsa, YH Lin, H Li, B Blum, X Xu, J Yang, GA Gibson, RE Bryant
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
832013
Comparing performance of solid state devices and mechanical disks
M Polte, J Simsa, G Gibson
2008 3rd Petascale Data Storage Workshop, 1-7, 2008
642008
Enabling enterprise solid state disks performance
M Polte, J Simsa, G Gibson
Carnegie Mellon University, 2009
412009
dBug: systematic evaluation of distributed systems
J Simsa, R Bryant, G Gibson
Proceedings of the 5th international conference on Systems software …, 2010
402010
Finding heap-bounds for hardware synthesis
B Cook, A Gupta, S Magill, A Rybalchenko, J Simsa, S Singh, V Vafeiadis
2009 Formal Methods in Computer-Aided Design, 205-212, 2009
392009
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
L Brim, I Černá, P Moravec, J Šimša
In: Proceedings of the 4th International Workshop on Parallel and …, 2005
372005
Distributed partial order reduction of state spaces
L Brim, I Černá, P Moravec, J Šimša
Electronic Notes in Theoretical Computer Science 128 (3), 63-74, 2005
342005
Improving audio captchas
J Tam, J Simsa, D Huggins-Daines, L Von Ahn, M Blum
Symposium On Usable Privacy and Security (SOUPS), 2008
262008
Fast log-based concurrent writing of checkpoints
M Polte, J Simsa, W Tantisiriroj, G Gibson, S Dayal, M Chainani, ...
2008 3rd Petascale Data Storage Workshop, 1-4, 2008
252008
Scalable dynamic partial order reduction
J Simsa, R Bryant, G Gibson, J Hickey
International Conference on Runtime Verification, 19-34, 2012
162012
dBug: systematic testing of unmodified distributed and multi-threaded systems
J Šimša, R Bryant, G Gibson
Model Checking Software, 188-193, 2011
152011
Designing hardware with dynamic memory abstraction
J Simsa, S Singh
Proceedings of the 18th annual ACM/SIGDA international symposium on Field …, 2010
122010
Efficient Exploratory Testing of Concurrent Systems
J Simsa, R Bryant, G Gibson, J Hickey
PDL-CMU Technical Report 113, 2011
62011
On combining partial order reduction with fairness assumptions
L Brim, I Černá, P Moravec, J Šimša
Formal Methods: Applications and Technology, 84-99, 2007
52007
Systematic and scalable testing of concurrent programs
J Simsa
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 2013
32013
Runtime estimation and resource allocation for concurrency testing
J Simsa, R Bryant, G Gibson
Technical Report CMU-PDL-12-113, Carnegie Mellon University, 2012
32012
Concurrent systematic testing at scale
J Simsa, R Bryant, G Gibson, J Hickey
Technical Report CMU-PDL-12-101, Carnegie Mellon University, 2012
22012
The Impact of
H Cui, J Simsa, Y Lin, H Li, B Blum, X Xu, J Yang, G Hu, J Wu, C Tsai
SFAS No. 131 Business Segment Data on the Market's, 2005
22005
The system can't perform the operation now. Try again later.
Articles 1–20