Nik Sultana

Nik Sultana

University of Pennsylvania - Philadelphia / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1778738
person_outline Nik Sultana's MOST POPULAR ARTICLES
1-) The Higher-Order Prover Leo-IIC Benzmüller, N Sultana, LC Paulson, F TheißJournal of Automated Reasoning 55, 389-404, 20151062015
2-) Flightplan: Dataplane Disaggregation and Placement for P4 ProgramsN Sultana, J Sonchack, H Giesen, I Pedisich, Z Han, N Shyamkumar, ...18th {USENIX} Symposium on Networked Systems Design and Implementation …, 2021512021
3-) Mechanical verification of refactoringsN Sultana, S ThompsonProceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008512008
4-) Emu: Rapid prototyping of networking servicesN Sultana, S Galea, D Greaves, M Wójcik, J Shipton, R Clegg, L Mai, ...2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 459-471, 2017442017
5-) LEO-II and Satallax on the Sledgehammer test benchN Sultana, JC Blanchette, LC PaulsonJournal of Applied Logic 11 (1), 91-102, 2013442013