Nik Sultana

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 32

Top Topics

Rapid Prototyping

Scientific Computing

Network Services

Top Venues

IPDPS Workshops

USENIX Annual Technical Conference

SIGCOMM Posters and Demos

Publications

Henry Zhu, Junyong Zhao, Nik Sultana
A Domain-Specific Language for Reconfigurable, Distributed Software. Int. J. Netw. Comput. 14 (1) (2024)
Nishanth Shyamkumar, Sean Cummings, Hyunsuk Bang, Nik Sultana
Towards Testbed-Wide Traffic Profiling for FABRIC. INFOCOM (Workshops) (2024)
Henry Zhu, Junyong Zhao, Nik Sultana
A Domain-Specific Language for Reconfigurable, Distributed Software Architecture. IPDPS Workshops (2023)
Cyprien Gueyraud, Nik Sultana
Towards In-Network Semantic Analysis: A Case Study involving Spam Classification. NOMS (2023)
Nik Sultana
Demo: The Hangar environment for Teaching and Research in Programmable Networking. ICNP (2022)
Nik Sultana, Deborah Shands, Vinod Yegneswaran
A case for remote attestation in programmable dataplanes. HotNets (2022)
Shivam Patel, Rigden Atsatsang, Kenneth M. Tichauer, Michael H. L. S. Wang, James B. Kowalkowski, Nik Sultana
In-network fractional calculations using P4 for scientific computing workloads. EuroP4@CoNEXT (2022)
Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijaysinh Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilakis, Boon Thau Loo
Towards Practical Application-level Support for Privilege Separation. ACSAC (2022)
Nik Sultana
Work in Progress paper: Experiment Planning for Heterogeneous Programmable Networks. DCOSS (2022)
Nik Sultana
Leveraging In-Network Application Awareness. NAI@SIGCOMM (2021)
Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, André DeHon, Boon Thau Loo
Flightplan: Dataplane Disaggregation and Placement for P4 Programs. NSDI (2021)
Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo
FDP: A Teaching and Demonstration Platform for Networking. SIGCSE (2021)
André DeHon, Hans Giesen, Nik Sultana, Yuanlong Xiao
Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation. CoRR (2021)
Nik Sultana, Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, Boon Thau Loo
IPC evolution thru declarative interface generation. DAI-SNAC@CoNEXT (2021)
Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo
Demo: Disaggregated Dataplanes. ICDCS (2021)
Henry Zhu, Nik Sultana, Boon Thau Loo
Debugging strongly-compartmentalized distributed systems. IPDPS Workshops (2020)
Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo
FDP: a teaching and demo platform for SDN. CoNEXT (2020)
Nik Sultana, Shilpi Bose, Boon Thau Loo
An extensible evaluation system for DoS research. COMSNETS (2019)
Nik Sultana
What we talk about when we talk about pcap expressions. RWDSL@CGO (2019)
Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo
Trace-based Behaviour Analysis of Network Servers. CNSM (2019)
Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo
Hashtray: Turning the tables on Scalable Client Classification. IM (2019)
Hans Giesen, Lei Shi, John Sonchack, Anirudh Chelluri, Nishanth Prabhu, Nik Sultana, Latha A. Kant, Anthony J. McAuley, Alexander Poylisher, André DeHon, Boon Thau Loo
In-network computing to the rescue of faulty links. NetCompute@SIGCOMM (2018)
Henri Maxime Demoulin, Tavish Vaidya, Isaac Pedisich, Nik Sultana, Bowen Wang, Jingyu Qian, Yuankai Zhang, Ang Chen, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou
A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers. SIGCOMM Posters and Demos (2017)
Nik Sultana, Salvator Galea, David Greaves, Marcin Wójcik, Noa Zilberman, Richard G. Clegg, Luo Mai, Richard Mortier, Peter R. Pietzuch, Jon Crowcroft, Andrew W. Moore
Extending programs with debug-related features, with application to hardware development. CoRR (2017)
Nik Sultana, Salvator Galea, David Greaves, Marcin Wójcik, Jonny Shipton, Richard G. Clegg, Luo Mai, Pietro Bressana, Robert Soulé, Richard Mortier, Paolo Costa, Peter R. Pietzuch, Jon Crowcroft, Andrew W. Moore, Noa Zilberman
Emu: Rapid Prototyping of Networking Services. USENIX Annual Technical Conference (2017)
Nikolaj Bjørner, Marco Canini, Nik Sultana
Report on Networking and Programming Languages 2017. Comput. Commun. Rev. 47 (5) (2017)
Abdul Alim, Richard G. Clegg, Luo Mai, Lukas Rupprecht, Eric Seckler, Paolo Costa, Peter R. Pietzuch, Alexander L. Wolf, Nik Sultana, Jon Crowcroft, Anil Madhavapeddy, Andrew W. Moore, Richard Mortier, Masoud Koleini, Luis Oviedo, Matteo Migliavacca, Derek McAuley
FLICK: Developing and Running Application-Specific Network Services. USENIX Annual Technical Conference (2016)
Nik Sultana, Markulf Kohlweiss, Andrew W. Moore
Light at the middle of the tunnel: middleboxes for selective disclosure of network monitoring to distrusted parties. HotMiddlebox@SIGCOMM (2016)
Nik Sultana, Richard Mortier
Kneecap: Model-based Generation of Network Traffic. SMT@IJCAR (2016)
Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson
Proofs and Reconstructions. FroCos (2015)
Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss
The Higher-Order Prover Leo-II. J. Autom. Reason. 55 (4) (2015)
Christoph Benzmüller, Maximilian Claus, Nik Sultana
Systematic Verification of the Modal Logic Cube in Isabelle/HOL. PxTP@CADE (2015)
Christoph Benzmüller, Nik Sultana
LEO-II Version 1.5. PxTP@CADE (2013)
Christoph Benzmüller, Nik Sultana
Update report: LEO-II version 1.5 CoRR (2013)
Nik Sultana, Moritz Y. Becker, Markulf Kohlweiss
Selective Disclosure in Datalog-Based Trust Management. STM (2013)
Nik Sultana, Jasmin Christian Blanchette, Lawrence C. Paulson
LEO-II and Satallax on the Sledgehammer test bench. J. Appl. Log. 11 (1) (2013)
Moritz Y. Becker, Alessandra Russo, Nik Sultana
Foundations of Logic-Based Trust Management. IEEE Symposium on Security and Privacy (2012)
Nik Sultana, Christoph Benzmüller
Understanding LEO-II's proofs. IWIL@LPAR (2012)
Nik Sultana, Simon J. Thompson
Mechanical verification of refactorings. PEPM (2008)
Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana
Refactoring Functional Programs at the University of Kent. WRT (2007)