Trustless Grid Computing in ConCert. - Bor-Yuh Evan Chang; Karl Crary; Margaret DeLap; Robert Harper 001; Jason Liszka; Tom Murphy VII; Frank Pfenning (GRID, 2002)

Formalizing Java-MaC. - Usa Sammapun; Raman Sharykin; Margaret DeLap; Myong Kim; Steve Zdancewic (RV@CAV, 2003)

Is runtime verification applicable to cheat detection? - Margaret DeLap; Björn Knutsson; Honghui Lu; Oleg Sokolsky; Usa Sammapun; Insup Lee 001; Christos Tsarouchis (NETGAMES, 2004)

Locality aware dynamic load management for massively multiplayer games. - Jin Chen 006; Baohua Wu; Margaret DeLap; Björn Knutsson; Honghui Lu; Cristiana Amza (PPoPP, 2005)