Lawrence Livermore National Laboratory — United States
Computer Science · Physical Sciences
22h-index6.7kcitations53works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(36), Software Testing and Debugging Techniques(17), Software Reliability and Analysis Research(14), Real-Time Systems Scheduling(13), Embedded Systems Design Techniques(10)
Publications52 total
The International Journal of High Performance Computing Applications·2022· 2 cited
2021· 1 citedOpen Access
ACM Transactions on Computer Systems·2013· 673 citedOpen Access
ACM Transactions on Computer Systems·2013· 331 citedOpen Access
Operating Systems Design and Implementation·2012· 826 cited
Megastore: Providing Scalable, Highly Available Storage for Interactive Services
2011· 653 cited
2003· 29 citedOpen Access
International Journal on Software Tools for Technology Transfer·2002· 59 cited
Slicing Multi-threaded Java Programs : A Case Study
2000· 14 cited
2000· 66 cited
Lecture notes in computer science·2000· 89 cited
International Journal on Software Tools for Technology Transfer·2000· 18 cited
The opinion corner Benchmarking nite-state veriers
2000
2000· 1.1k citedOpen Access
ACM Transactions on Software Engineering and Methodology·2000· 37 citedOpen Access
Comparing Finite-State Verification Techniques for Concurrent Software
1999· 29 cited
Benchmarking Finite-State Verifiers TITLE2:
1999· 1 cited
Lecture notes in computer science·1999· 91 cited
ACM SIGSOFT Software Engineering Notes·1998· 3 cited
page 1 of 3Next →
Frequent Co-authors
George S. Avrunin(18), Matthew B. Dwyer(12), John Hatcliff(5), Laura K. Dillon(5), J. J. Furman(4), Alexander Lloyd(4), Ugo Buy(4), Martin Herbordt(4), Charles Weems(4), Robby(3), Hongjun Zheng(3), Jay B. Dean(3), Michael Epstein(3), Andrew Fikes(3), Christopher Frost(3), Sanjay Ghemawat(3), Andrey Gubarev(3), Christopher Heiser(3), Peter Hochschild(3), Wilson C. Hsieh(3)