Nik Sultana

48 papers A* 1A 5B 5C 1Misc 4Journal 8Unranked 24
YearRankTypeTitle / Venue / Authors
2025 — conf
Complex Parsing for In-Network Acceleration of High-Energy Physics Experiments.
SC Workshops
Bjoern Sagstad, Nishanth Shyamkumar, Sophia Chen, Wesley Robert Ketchum, Roland Sipos, James B. Kowalkowski, Michael Wang, Nik Sultana
2025 — conf
Experience Report: Using the FABRIC Testbed to teach a Graduate Computer Networking course.
SIGCSE (1)
Alexander Wolosewicz, Prajwal Somendyapanahalli Venkateshmurthy, Nik Sultana
2025 — conf
Network Replay and Consistency Across Testbeds.
SC Workshops
Alexander Wolosewicz, Vinod Yegneswaran, Ashish Gehani, Nik Sultana
2025 A conf
Patchwork: A Traffic Capture and Analysis Platform for Network Experiments on a Federated Testbed.
IMC
Nishanth Shyamkumar, Hyunsuk Bang, Bjoern Sagstad, Prajwal Somendyapanahalli Venkateshmurthy, Sean Cummings, Nik Sultana
2025 — conf
User Study of a Network Debugger on FABRIC.
ACSAC Workshops
Alexander Wolosewicz, Vinod Yegneswaran, Ashish Gehani, Nik Sultana
2024 J jnl
A Domain-Specific Language for Reconfigurable, Distributed Software.
Int. J. Netw. Comput.
Henry Zhu, Junyong Zhao, Nik Sultana
2024 J jnl
A Survey on Packet Filtering.
Comput. Commun. Rev.
Nik Sultana, Hyunsuk Bang, Elena Yulaeva, Ricky K. P. Mok, K. C. Claffy, Richard Mortier
2024 Misc conf
Shape-shifting Elephants: Multi-modal Transport for Integrated Research Infrastructure.
HotNets
Nik Sultana, Yatish Kumar, Chin Guok, James B. Kowalkowski, Michael H. L. S. Wang
2024 — conf
Towards Testbed-Wide Traffic Profiling for FABRIC.
INFOCOM (Workshops)
Nishanth Shyamkumar, Sean Cummings, Hyunsuk Bang, Nik Sultana
2023 — conf
A Domain-Specific Language for Reconfigurable, Distributed Software Architecture.
IPDPS Workshops
Henry Zhu, Junyong Zhao, Nik Sultana
2023 B conf
Towards In-Network Semantic Analysis: A Case Study involving Spam Classification.
NOMS
Cyprien Gueyraud, Nik Sultana
2022 Misc conf
A case for remote attestation in programmable dataplanes.
HotNets
Nik Sultana, Deborah Shands, Vinod Yegneswaran
2022 B conf
Demo: The Hangar environment for Teaching and Research in Programmable Networking.
ICNP
Nik Sultana
2022 — conf
In-network fractional calculations using P4 for scientific computing workloads.
EuroP4@CoNEXT
Shivam Patel, Rigden Atsatsang, Kenneth M. Tichauer, Michael H. L. S. Wang, James B. Kowalkowski, Nik Sultana
2022 A conf
Towards Practical Application-level Support for Privilege Separation.
ACSAC
Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijaysinh Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilakis, Boon Thau Loo
2022 B conf
Work in Progress paper: Experiment Planning for Heterogeneous Programmable Networks.
DCOSS
Nik Sultana
2021 A conf
Demo: Disaggregated Dataplanes.
ICDCS
Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo
2021 A conf
FDP: A Teaching and Demonstration Platform for Networking.
SIGCSE
Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo
2021 Misc conf
Flightplan: Dataplane Disaggregation and Placement for P4 Programs.
NSDI
Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, André DeHon, Boon Thau Loo
2021 — conf
IPC evolution thru declarative interface generation.
DAI-SNAC@CoNEXT
Nik Sultana, Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, Boon Thau Loo
2021 — conf
Leveraging In-Network Application Awareness.
NAI@SIGCOMM
Nik Sultana
2021 J jnl
Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation.
CoRR
André DeHon, Hans Giesen, Nik Sultana, Yuanlong Xiao
2020 — conf
Debugging strongly-compartmentalized distributed systems.
IPDPS Workshops
Henry Zhu, Nik Sultana, Boon Thau Loo
2020 A conf
FDP: a teaching and demo platform for SDN.
CoNEXT
Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo
2019 Misc conf
An extensible evaluation system for DoS research.
COMSNETS
Nik Sultana, Shilpi Bose, Boon Thau Loo
2019 B conf
Hashtray: Turning the tables on Scalable Client Classification.
IM
Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo
2019 B conf
Trace-based Behaviour Analysis of Network Servers.
CNSM
Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo
2019 — conf
What we talk about when we talk about pcap expressions.
RWDSL@CGO
Nik Sultana
2018 — conf
In-network computing to the rescue of faulty links.
NetCompute@SIGCOMM
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
2018 — conf
Making Break-ups Less Painful: Source-level Support for Transforming Legacy Software into a Network of Tasks.
FEAST@CCS
Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Ke Zhong, Boon Thau Loo
2017 — conf
A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers.
SIGCOMM Posters and Demos
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
2017 — conf
Emu: Rapid Prototyping of Networking Services.
USENIX ATC
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
2017 J jnl
Extending programs with debug-related features, with application to hardware development.
CoRR
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
2017 J jnl
Report on Networking and Programming Languages 2017.
Comput. Commun. Rev.
Nikolaj S. Bjørner, Marco Canini, Nik Sultana
2016 — conf
FLICK: Developing and Running Application-Specific Network Services.
USENIX ATC
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
2016 — conf
Kneecap: Model-based Generation of Network Traffic.
SMT@IJCAR
Nik Sultana, Richard Mortier
2016 — conf
Light at the middle of the tunnel: middleboxes for selective disclosure of network monitoring to distrusted parties.
HotMiddlebox@SIGCOMM
Nik Sultana, Markulf Kohlweiss, Andrew W. Moore
2015 — conf
Proofs and Reconstructions.
FroCos
Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson
2015 — conf
Systematic Verification of the Modal Logic Cube in Isabelle/HOL.
PxTP@CADE
Christoph Benzmüller, Maximilian Claus, Nik Sultana
2015 J jnl
The Higher-Order Prover Leo-II.
J. Autom. Reason.
Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss
2013 — conf
LEO-II Version 1.5.
PxTP@CADE
Christoph Benzmüller, Nik Sultana
2013 J jnl
LEO-II and Satallax on the Sledgehammer test bench.
J. Appl. Log.
Nik Sultana, Jasmin Christian Blanchette, Lawrence C. Paulson
2013 — conf
Selective Disclosure in Datalog-Based Trust Management.
STM
Nik Sultana, Moritz Y. Becker, Markulf Kohlweiss
2013 J jnl
Update report: LEO-II version 1.5
CoRR
Christoph Benzmüller, Nik Sultana
2012 A* conf
Foundations of Logic-Based Trust Management.
IEEE Symposium on Security and Privacy
Moritz Y. Becker, Alessandra Russo, Nik Sultana
2012 — conf
Understanding LEO-II's proofs.
IWIL@LPAR
Nik Sultana, Christoph Benzmüller
2008 C conf
Mechanical verification of refactorings.
PEPM
Nik Sultana, Simon J. Thompson
2007 — conf
Refactoring Functional Programs at the University of Kent.
WRT
Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana