Travelled to:2 × USA
Collaborated with:K.J.Sullivan J.Socha V.Venkataramani Z.Amsden N.Bronson G.C.III P.Chakka P.Dimov H.Ding J.Ferris A.Giardullo J.Hoon S.Kulkarni N.Lawrence D.Petrov L.Puzar
Talks about:architectur (1) standard (1) facebook (1) social (1) reason (1) method (1) formal (1) graph (1) about (1) serv (1)
Person: Mark Marchukov
DBLP: Marchukov:Mark
Contributed to:
2012
1997Wrote 2 papers:
- SIGMOD-2012-VenkataramaniABCCDDFGHKLMPP #facebook #graph #how #named #social
- TAO: how facebook serves the social graph (VV, ZA, NB, GCI, PC, PD, HD, JF, AG, JH, SK, NL, MM, DP, LP), pp. 791–792.
- ICSE-1997-SullivanSM #architecture #formal method #standard #using
- Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.