default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNik Sultana
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j4]Henry Zhu, Junyong Zhao, Nik Sultana:
A Domain-Specific Language for Reconfigurable, Distributed Software. Int. J. Netw. Comput. 14(1): 40-80 (2024)- [c33]Nishanth Shyamkumar, Sean Cummings, Hyunsuk Bang, Nik Sultana:
Towards Testbed-Wide Traffic Profiling for FABRIC. INFOCOM (Workshops) 2024: 1-6 - 2023
- [c32]Henry Zhu, Junyong Zhao, Nik Sultana:
A Domain-Specific Language for Reconfigurable, Distributed Software Architecture. IPDPS Workshops 2023: 335-344 - [c31]Cyprien Gueyraud, Nik Sultana:
Towards In-Network Semantic Analysis: A Case Study involving Spam Classification. NOMS 2023: 1-6 - 2022
- [c30]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: 71-87 - [c29]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: 33-38 - [c28]Nik Sultana:
Work in Progress paper: Experiment Planning for Heterogeneous Programmable Networks. DCOSS 2022: 434-437 - [c27]Nik Sultana, Deborah Shands, Vinod Yegneswaran:
A case for remote attestation in programmable dataplanes. HotNets 2022: 122-129 - [c26]Nik Sultana:
Demo: The Hangar environment for Teaching and Research in Programmable Networking. ICNP 2022: 1-2 - 2021
- [c25]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: 17-21 - [c24]Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo:
Demo: Disaggregated Dataplanes. ICDCS 2021: 1095-1097 - [c23]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: 571-592 - [c22]Nik Sultana:
Leveraging In-Network Application Awareness. NAI@SIGCOMM 2021: 63-67 - [c21]Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo:
FDP: A Teaching and Demonstration Platform for Networking. SIGCSE 2021: 1376 - [i3]André DeHon, Hans Giesen, Nik Sultana, Yuanlong Xiao:
Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation. CoRR abs/2104.01929 (2021) - 2020
- [c20]Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo:
FDP: a teaching and demo platform for SDN. CoNEXT 2020: 524-525 - [c19]Henry Zhu, Nik Sultana, Boon Thau Loo:
Debugging strongly-compartmentalized distributed systems. IPDPS Workshops 2020: 538-547
2010 – 2019
- 2019
- [c18]Nik Sultana:
What we talk about when we talk about pcap expressions. RWDSL@CGO 2019: 2:1-2:9 - [c17]Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo:
Trace-based Behaviour Analysis of Network Servers. CNSM 2019: 1-5 - [c16]Nik Sultana, Shilpi Bose, Boon Thau Loo:
An extensible evaluation system for DoS research. COMSNETS 2019: 344-351 - [c15]Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo:
Hashtray: Turning the tables on Scalable Client Classification. IM 2019: 67-70 - 2018
- [c14]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: 1-6 - 2017
- [j3]Nikolaj S. Bjørner, Marco Canini, Nik Sultana:
Report on Networking and Programming Languages 2017. Comput. Commun. Rev. 47(5): 39-41 (2017) - [c13]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: 71-73 - [c12]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 ATC 2017: 459-471 - [i2]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 abs/1705.09902 (2017) - 2016
- [c11]Nik Sultana, Richard Mortier:
Kneecap: Model-based Generation of Network Traffic. SMT@IJCAR 2016: 4-14 - [c10]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: 1-6 - [c9]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 ATC 2016: 1-14 - 2015
- [j2]Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss:
The Higher-Order Prover Leo-II. J. Autom. Reason. 55(4): 389-404 (2015) - [c8]Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson:
Proofs and Reconstructions. FroCos 2015: 256-271 - [c7]Christoph Benzmüller, Maximilian Claus, Nik Sultana:
Systematic Verification of the Modal Logic Cube in Isabelle/HOL. PxTP@CADE 2015: 27-41 - 2013
- [j1]Nik Sultana, Jasmin Christian Blanchette, Lawrence C. Paulson:
LEO-II and Satallax on the Sledgehammer test bench. J. Appl. Log. 11(1): 91-102 (2013) - [c6]Christoph Benzmüller, Nik Sultana:
LEO-II Version 1.5. PxTP@CADE 2013: 2-10 - [c5]Nik Sultana, Moritz Y. Becker, Markulf Kohlweiss:
Selective Disclosure in Datalog-Based Trust Management. STM 2013: 160-175 - [i1]Christoph Benzmüller, Nik Sultana:
Update report: LEO-II version 1.5. CoRR abs/1303.3761 (2013) - 2012
- [c4]Nik Sultana, Christoph Benzmüller:
Understanding LEO-II's proofs. IWIL@LPAR 2012: 33-52 - [c3]Moritz Y. Becker, Alessandra Russo, Nik Sultana:
Foundations of Logic-Based Trust Management. IEEE Symposium on Security and Privacy 2012: 161-175
2000 – 2009
- 2008
- [c2]Nik Sultana, Simon J. Thompson:
Mechanical verification of refactorings. PEPM 2008: 51-60 - 2007
- [c1]Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana:
Refactoring Functional Programs at the University of Kent. WRT 2007: 66-67
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
