Genetic Programming Bibliography entries for Sydney Gibson
up to index
Created by W.Langdon from
Genetic Programming conference papers by Sydney Gibson
Jay Bosamiya and Sydney Gibson and Yao Li and Bryan Parno and Chris Hawblitzel.
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. In
Maria Christakis and Nadia Polikarpova and Parasara Sridhar Duggirala and Peter Schrammel editors,
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, volume 12549, pages 106-123, Los Angeles, CA, USA, 2020. Springer.
Revised Selected Papers.