Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 4.
2016
Alim, Abdul and Clegg, Richard and Mai, Luo and Rupprecht, Lukas and Seckler, Eric and Costa, Paolo and Pietzuch, Peter and Wolf, Alexander L. and Sultana, Nik and Crowcroft, Jon and Madhavapeddy, Anil and Moore, Andrew and Mortier, Richard and Kolehini, Masoud and Oviedo, Luis and McAuley, Derek and Migliavacca, Matteo (2016) FLICK: Developing and Running Application-Specific Network Services. In: Proceedings of USENIX ATC ’16 2016 USENIX Annual Technical Conference. pp. 1-15. ISBN 978-1-931971-30-0. (Full text available) |
2008
Sultana, Nik and Thompson, Simon (2008) A Certified Refactoring Engine. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP). (Full text available) |
Sultana, Nik (2008) Verification of Refactorings in Isabelle/HOL. Other masters thesis, Computing Laboratory, University of Kent. (Full text available) |
Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: Workshop on Partial Evaluation and Program Manipulation. Assoc of Computing Machinery, NY, USA ISBN 978-1-59593-977-7. (Full text available) |