{"id":"https://openalex.org/W7165765358","doi":"https://doi.org/10.48550/arxiv.2606.24213","title":"Kops: Safely Extending the eBPF Compilation Pipeline with Native Operations","display_name":"Kops: Safely Extending the eBPF Compilation Pipeline with Native Operations","publication_year":2026,"publication_date":"2026-06-23","ids":{"openalex":"https://openalex.org/W7165765358","doi":"https://doi.org/10.48550/arxiv.2606.24213"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.24213","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24213","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.24213","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139243330","display_name":"Yusheng Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng, Yusheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027356543","display_name":"Zhengjie Ji","orcid":"https://orcid.org/0009-0008-0900-6456"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ji, Zhengjie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101766950","display_name":"Weichen Tao","orcid":"https://orcid.org/0000-0002-4629-576X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tao, Weichen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139244736","display_name":"Hao Sun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Hao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139267947","display_name":"Wei Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Wei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045373894","display_name":"Dan Williams","orcid":"https://orcid.org/0000-0003-1537-0525"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Williams, Dan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5125672098","display_name":"Andi Quinn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Quinn, Andi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9796000123023987,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9796000123023987,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.004999999888241291,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.00430000014603138,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.6743000149726868},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6432999968528748},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5946000218391418},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.5727999806404114},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.43549999594688416},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4165000021457672},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4081999957561493},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4068000018596649}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8641999959945679},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.6743000149726868},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6432999968528748},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5971999764442444},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5946000218391418},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.5727999806404114},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5091999769210815},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.43549999594688416},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4165000021457672},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4154999852180481},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4081999957561493},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4068000018596649},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.39480000734329224},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.3797000050544739},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.3621000051498413},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.3418000042438507},{"id":"https://openalex.org/C147346212","wikidata":"https://www.wikidata.org/wiki/Q5492632","display_name":"Trusted computing base","level":4,"score":0.3271999955177307},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.32330000400543213},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.3100000023841858},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.3050000071525574},{"id":"https://openalex.org/C76782552","wikidata":"https://www.wikidata.org/wiki/Q110546","display_name":"Just-in-time compilation","level":3,"score":0.30239999294281006},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.30059999227523804},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.2953000068664551}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.24213","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24213","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.24213","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24213","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"eBPF":[0,67,150,237],"safely":[1],"extends":[2],"OS":[3],"kernels":[4],"in":[5,56,78],"domains":[6],"such":[7,202],"as":[8,72,74,203,211,226],"networking,":[9],"observability,":[10],"and":[11,27,91,102,121,157,205,232,243],"security.":[12],"The":[13,40,250],"safety":[14],"comes":[15],"from":[16],"an":[17,114],"in-kernel":[18],"compilation":[19],"pipeline":[20],"where":[21],"a":[22,28,54,57,92,134,145,158,264],"verifier":[23,155,170],"checks":[24,156,171],"every":[25],"program,":[26],"kernel":[29,41,85,106,122,130],"just-in-time":[30],"compiler":[31],"(JIT)":[32],"translates":[33],"the":[34,43,84,97,104,129,153,165,169,172,175,179,184,189,223,261],"verified":[35],"bytecode":[36,51],"to":[37,46,70,83,183,241,248],"native":[38,159,176,220,256],"code.":[39,107],"keeps":[42],"JIT":[44,86,166],"simple":[45],"stay":[47],"trustworthy,":[48],"translating":[49],"one":[50],"instruction":[52],"at":[53,260],"time":[55],"single":[58,212],"pass.":[59],"This":[60],"single-pass":[61],"design":[62],"misses":[63],"optimization":[64],"opportunities,":[65],"so":[66],"runs":[68],"up":[69,236,240,247],"twice":[71],"slow":[73],"natively":[75],"compiled":[76],"code":[77],"our":[79],"characterization.":[80],"Adding":[81],"optimizations":[82],"directly":[87],"requires":[88],"upstream":[89],"acceptance":[90],"long":[93],"release":[94],"cycle,":[95],"enlarges":[96],"trusted":[98,136],"computing":[99,137],"base":[100,138],"(TCB),":[101],"grows":[103],"per-architecture":[105],"To":[108],"address":[109],"this,":[110],"we":[111,197],"present":[112],"Kops,":[113,196],"extension":[115],"interface":[116,252],"that":[117,152,164,208,218],"lets":[118],"userspace":[119],"compilers":[120],"modules":[123],"introduce":[124],"new":[125],"operations":[126,201],"without":[127],"modifying":[128],"core,":[131],"while":[132],"keeping":[133],"minimal":[135],"(TCB).":[139],"Each":[140],"operation":[141],"has":[142],"two":[143],"forms,":[144],"proof":[146,173,228],"sequence":[147],"of":[148,161,263],"vanilla":[149],"instructions":[151,163],"existing":[154],"emit":[160,177,221],"machine":[162],"compiles.":[167],"Because":[168],"sequence,":[174],"is":[178],"only":[180],"per-operation":[181],"addition":[182],"TCB.":[185,266],"Hardware":[186],"idioms":[187],"are":[188],"lowest-hanging":[190],"fruit":[191],"for":[192],"this":[193],"interface.":[194],"With":[195],"build":[198],"EInsn,":[199],"seven":[200],"rotate":[204],"conditional":[206],"select":[207],"CPUs":[209],"execute":[210],"instructions.":[213],"Lean":[214],"4":[215],"proofs":[216],"show":[217],"each":[219],"computes":[222],"same":[224,251],"result":[225],"its":[227],"sequence.":[229],"On":[230],"x86-64":[231],"ARM64,":[233],"EInsn":[234],"speeds":[235],"microbenchmarks":[238],"by":[239,246],"24%":[242],"production":[244],"applications":[245],"12%.":[249],"also":[253],"supports":[254],"whole-program":[255],"replacement,":[257],"reaching":[258],"2.358x":[259],"cost":[262],"larger":[265]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-25T00:00:00"}