Login / Signup
Steven Cheng
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 2
Top Topics
Case Study
Path Consistency
Edge Direction
Modeling Method
Top Venues
CoRR
CSET @ USENIX Security Symposium
Distributed Comput.
Parallel Process. Lett.
</>
Publications
</>
Brian Kocoloski
,
Alefiya Hussain
,
Matthew Troglia
,
Calvin Ardi
,
Steven Cheng
,
Dave DeAngelis
,
Christopher Symonds
,
Michael Collins
,
Ryan Goodfellow
,
Stephen Schwab
Case Studies in Experiment Design on a minimega Based Network Emulation Testbed.
CSET @ USENIX Security Symposium
(2021)
Dhruv Medarametla
,
Eddie Cheng
,
Steven Cheng
,
Lawrance Wu
Linearly Many Edge-Faults in 2-Bijective Connection Networks.
Parallel Process. Lett.
25 (4) (2015)
Steven Cheng
,
Lisa Higham
,
Jalal Kawash
Partition consistency - A case study in modeling systems with weak memory consistency and proving correctness of their implementations.
Distributed Comput.
27 (5) (2014)
Steven Cheng
,
Lisa Higham
,
Jalal Kawash
Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations.
CoRR
(2013)