Travelled to:1 × Hungary
Collaborated with:J.Eisner B.Davis R.N.M.Watson Alexander Richardson P.G.Neumann S.W.Moore John Baldwin D.Chisnall James Clarke K.Gudka Alexandre Joannou Ben Laurie A. Theodore Markettos J. Edward Maste Alfredo Mazzinghi Edward Tomasz Napierala Robert M. Norton M.Roe P.Sewell Stacey D. Son J.Woodruff
Talks about:pointer (2) privileg (1) arithmet (1) flexibl (1) environ (1) circuit (1) solver (1) proven (1) enforc (1) valid (1)
Person: Nathaniel Wesley Filardo
DBLP: Filardo:Nathaniel_Wesley
Contributed to:
2012
2019Wrote 2 papers:
- ICLP-2012-FilardoE #finite #flexibility
- A Flexible Solver for Finite Arithmetic Circuits (NWF, JE), pp. 425–438.
- ASPLOS-2019-DavisWRNMBCCFGJ #c #named #pointer #runtime
- CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment (BD, RNMW, AR, PGN, SWM, JB, DC, JC, NWF, KG, AJ, BL, ATM, JEM, AM, ETN, RMN, MR, PS, SDS, JW), pp. 379–393.