BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × Sweden
1 × United Kingdom
4 × USA
Collaborated with:
M.Castro J.Martin K.Vaswani L.Zhou L.Zhang T.L.Harris P.Akritidis M.Peinado M.J.Parkinson D.Vytiniotis Aaron Blankstein P.Barham T.Kuchta C.Cadar J.Martin M.Hicks Piyus Kedia J.Crowcroft A.I.T.Rowstron R.S.0001 A.Lal N.P.Lopes S.K.Rajamani S.A.Seshia A.Donnelly R.Black P.Deligiannis D.McDermott Jonathan Balkind
Talks about:
softwar (3) secur (3) memori (2) manual (2) better (2) manag (2) block (2) safe (2) isol (2) fast (2)

Person: Manuel Costa

DBLP DBLP: Costa:Manuel

Contributed to:

ASE 20142014
POPL 20102010
SOSP 20092009
ASPLOS 20082008
SOSP 20072007
OSDI 20062006
SOSP 20052005
OOPSLA 20172017
PLDI 20162016
PLDI 20172017

Wrote 10 papers:

ASE-2014-KuchtaCCC #automation #documentation #named #towards
Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.
POPL-2010-MartinHCAC #c #c++ #concurrent #policy #source code
Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.
SOSP-2009-CastroCMPADBB #fault #performance
Fast byte-granularity software fault isolation (MC, MC, JPM, MP, PA, AD, PB, RB), pp. 45–58.
ASPLOS-2008-CastroCM #debugging #privacy
Better bug reporting with better privacy (MC, MC, JPM), pp. 319–328.
SOSP-2007-CostaCZZP #named
Bouncer: securing software by blocking bad input (MC, MC, LZ, LZ, MP), pp. 117–130.
OSDI-2006-CastroCH #data flow
Securing Software by Enforcing Data-flow Integrity (MC, MC, TLH), pp. 147–160.
SOSP-2005-CostaCCRZZB #internet #named
Vigilante: end-to-end containment of internet worms (MC, JC, MC, AITR, LZ, LZ, PB), pp. 133–147.
OOPSLA-2017-ParkinsonVVCDMB #dot-net #memory management
Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.
PLDI-2016-0001CLLRSV #design #verification
A design and verification methodology for secure isolated regions (RS0, MC, AL, NPL, SKR, SAS, KV), pp. 665–681.
PLDI-2017-KediaCPVVB #memory management #performance
Simple, fast, and safe manual memory management (PK, MC, MJP, KV, DV, AB), pp. 233–247.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.