Publications

@inproceedings{fractal:nsdi:2026,
  title = {Fractal: Fault-Tolerant Shell-Script Distribution},
  author = {Zhicheng Huang and Ramiz Dundar and Yizheng Xie and Konstantinos Kallas and Nikos Vasilakis},
  year = {2026},
  month = {may},
  booktitle = {23rd USENIX Symposium on Networked Systems Design and Implementation (NSDI 26)},
  publisher = {USENIX Association},
  address = {Renton, WA},
  url = {https://www.usenix.org/conference/nsdi26/presentation/huang},
  keywords = {shell, distributed execution, fault tolerance},
  artifact = {https://github.com/binpash/fractal},
  tags = {correctness, performance}
}

@inproceedings{slowpoke:nsdi:2026,
  title = {Slowpoke: End-to-end Throughput Optimization Modeling for Microservice Applications},
  author = {Yizheng Xie and Di Jin and Oğuzhan Çölkesen and Vasiliki Kalavri and John Liagouris and Nikos Vasilakis},
  year = {2026},
  month = {may},
  booktitle = {23rd USENIX Symposium on Networked Systems Design and Implementation (NSDI 26)},
  publisher = {USENIX Association},
  address = {Renton, WA},
  url = {https://www.usenix.org/conference/nsdi26/presentation/xie},
  keywords = {microservices, performance modeling, throughput optimization},
  artifact = {https://github.com/atlas-brown/slowpoke},
  tags = {performance}
}

@inproceedings{sash:hotos:2025,
  title = {From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs},
  author = {Lazarek, Lukas and Jung, Seong-Heon and Lamprou, Evangelos and Li, Zekai and Narsipur, Anirudh and Zhao, Eric and Greenberg, Michael and Kallas, Konstantinos and Mamouras, Konstantinos and Vasilakis, Nikos},
  year = {2025},
  booktitle = {2025 Workshop on Hot Topics in Operating Systems},
  location = {Banff, AB, Canada},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {HotOS '25},
  pages = {88–95},
  doi = {10.1145/3713082.3730395},
  isbn = {9798400714757},
  url = {https://doi.org/10.1145/3713082.3730395},
  numpages = {8},
  keywords = {Unix, Linux, shell, static analysis, inference, type systems},
  tags = {correctness}
}

@inproceedings{exo:pacmi:2025,
  title = {Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons},
  author = {Lamprou, Evangelos and Kalhauge, Christian Gram and Rinard, Martin C. and Vasilakis, Nikos},
  year = {2025},
  booktitle = {Proceedings of the 4th Workshop on Practical Adoption Challenges of ML for Systems},
  location = {Seoul, Republic of Korea},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {PACMI '25},
  pages = {13–18},
  doi = {10.1145/3766882.3767171},
  isbn = {9798400722059},
  url = {https://doi.org/10.1145/3766882.3767171},
  numpages = {6},
  keywords = {component exoskeletons, large language models, software transformation},
  tags = {correctness}
}

@inproceedings{koala:atc:2025,
  title = {The Koala Benchmarks for the Shell: Characterization and Implications},
  author = {Evangelos Lamprou and Ethan Williams and Georgios Kaoukis and Zhuoxuan Zhang and Michael Greenberg and Konstantinos Kallas and Lukas Lazarek and Nikos Vasilakis},
  year = {2025},
  month = {jul},
  booktitle = {2025 USENIX Annual Technical Conference (USENIX ATC '25)},
  publisher = {USENIX Association},
  address = {Boston, MA},
  pages = {449--64},
  isbn = {978-1-939133-48-9},
  url = {https://www.usenix.org/conference/atc25/presentation/lamprou},
  keywords = {shell, benchmarking, workload characterization},
  artifact = {https://github.com/kbensh/koala},
  tags = {performance}
}

@preprint{caruca:arxiv:2025,
  title = {Caruca: Effective and Efficient Specification Mining for Opaque Software Components},
  author = {Evangelos Lamprou and Seong-Heon Jung and Mayank Keoliya and Lukas Lazarek and Konstantinos Kallas and Michael Greenberg and Nikos Vasilakis},
  year = {2025},
  url = {https://arxiv.org/abs/2510.14279},
  eprint = {2510.14279},
  archiveprefix = {arXiv},
  primaryclass = {cs.SE}
}

@preprint{lexo:arxiv:2025,
  title = {Lexo: Eliminating Stealthy Supply-Chain Attacks via LLM-Assisted Program Regeneration},
  author = {Evangelos Lamprou and Julian Dai and Grigoris Ntousakis and Martin C. Rinard and Nikos Vasilakis},
  year = {2025},
  url = {https://arxiv.org/abs/2510.14522},
  eprint = {2510.14522},
  archiveprefix = {arXiv},
  primaryclass = {cs.CR}
}

@inproceedings{binwrap:asiaccs:2023,
  title = {BinWrap: Hybrid Protection against Native Node.js Add-ons},
  author = {Christou, George and Ntousakis, Grigoris and Lahtinen, Eric and Ioannidis, Sotiris and Kemerlis, Vasileios P. and Vasilakis, Nikos},
  year = {2023},
  booktitle = {2023 ACM Asia Conference on Computer and Communications Security},
  location = {Melbourne, VIC, Australia},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {ASIA CCS '23},
  pages = {429–442},
  doi = {10.1145/3579856.3590330},
  isbn = {9798400700989},
  url = {https://doi.org/10.1145/3579856.3590330},
  numpages = {14},
  keywords = {Node.js, native add-ons, seccomp-BPF, Intel MPK/PKU},
  artifact = {https://github.com/atlas-brown/binwrap},
  tags = {security}
}

@inproceedings{dish:nsdi:2023,
  title = {{DiSh}: Dynamic {Shell-Script} Distribution},
  author = {Tammam Mustafa and Konstantinos Kallas and Pratyush Das and Nikos Vasilakis},
  year = {2023},
  month = {apr},
  booktitle = {20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)},
  publisher = {USENIX Association},
  address = {Boston, MA},
  pages = {341--356},
  isbn = {978-1-939133-33-5},
  url = {https://www.usenix.org/conference/nsdi23/presentation/mustafa},
  keywords = {shell, distributed execution, runtime},
  artifact = {https://github.com/binpash/dish},
  tags = {performance}
}

@inproceedings{hs:hotos:2023,
  title = {Executing Shell Scripts in the Wrong Order, Correctly},
  author = {Liargkovas, Georgios and Kallas, Konstantinos and Greenberg, Michael and Vasilakis, Nikos},
  year = {2023},
  booktitle = {19th Workshop on Hot Topics in Operating Systems},
  location = {Providence, RI, USA},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {HotOS '23},
  pages = {103–109},
  doi = {10.1145/3593856.3595891},
  isbn = {9798400701955},
  url = {https://doi.org/10.1145/3593856.3595891},
  numpages = {7},
  keywords = {shell, correctness, scheduling},
  tags = {performance}
}

@inproceedings{secbench:icse:2023,
  title = {SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript},
  author = {Bhuiyan, Masudul Hasan Masud and Parthasarathy, Adithya Srinivas and Vasilakis, Nikos and Pradel, Michael and Staicu, Cristian-Alexandru},
  year = {2023},
  booktitle = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)},
  pages = {1059--1070},
  doi = {10.1109/ICSE48619.2023.00096},
  keywords = {Software security, JavaScript, Security benchmarks, Vulnerability testing},
  artifact = {https://github.com/cristianstaicu/SecBench.js},
  tags = {security}
}

@inproceedings{ev:eurosec:2022,
  title = {A systematic analysis of the event-stream incident},
  author = {Arvanitis, Iosif and Ntousakis, Grigoris and Ioannidis, Sotiris and Vasilakis, Nikos},
  year = {2022},
  booktitle = {15th European Workshop on Systems Security},
  location = {Rennes, France},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {EuroSec '22},
  pages = {22–28},
  doi = {10.1145/3517208.3523753},
  isbn = {9781450392556},
  url = {https://doi.org/10.1145/3517208.3523753},
  numpages = {7},
  keywords = {JavaScript, supply chain, third-party libraries, event-stream, incident analysis},
  artifact = {https://es-incident.github.io/},
  tags = {security}
}

@inproceedings{kumquat:ppopp:2022,
  title = {Automatic synthesis of parallel unix commands and pipelines with KumQuat},
  author = {Shen, Jiasi and Rinard, Martin and Vasilakis, Nikos},
  year = {2022},
  booktitle = {Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
  location = {Seoul, Republic of Korea},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {PPoPP '22},
  pages = {431–432},
  doi = {10.1145/3503221.3508400},
  isbn = {9781450392044},
  url = {https://doi.org/10.1145/3503221.3508400},
  numpages = {2},
  keywords = {automatic parallelization, program synthesis},
  tags = {performance, correctness}
}

@inproceedings{pash:osdi:2022,
  title = {Practically Correct, {Just-in-Time} Shell Script Parallelization},
  author = {Konstantinos Kallas and Tammam Mustafa and Jan Bielak and Dimitris Karnikis and Thurston H.Y. Dang and Michael Greenberg and Nikos Vasilakis},
  year = {2022},
  month = {jul},
  booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
  publisher = {USENIX Association},
  address = {Carlsbad, CA},
  pages = {769--785},
  isbn = {978-1-939133-28-1},
  url = {https://www.usenix.org/conference/osdi22/presentation/kallas},
  keywords = {shell, compiler optimization, automatic parallelization, jit compilation},
  artifact = {https://github.com/binpash/pash},
  tags = {performance}
}

@inproceedings{themis:ares:2022,
  title = {Themis: A Secure Decentralized Framework for Microservice Interaction in Serverless Computing},
  author = {Aktypi, Angeliki and Karnikis, Dimitris and Vasilakis, Nikos and Rasmussen, Kasper},
  year = {2022},
  booktitle = {17th International Conference on Availability, Reliability and Security},
  location = {Vienna, Austria},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {ARES '22},
  doi = {10.1145/3538969.3538983},
  isbn = {9781450396707},
  url = {https://doi.org/10.1145/3538969.3538983},
  articleno = {10},
  numpages = {11},
  keywords = {security, Serverless, Service mesh, DHT}
}

@inproceedings{pitchfork:acsac:2022,
  title = {Towards Practical Application-level Support for Privilege Separation},
  author = {Sultana, Nik and Zhu, Henry and Zhong, Ke and Zheng, Zhilei and Mao, Ruijie and Chauhan, Digvijaysinh and Carrasquillo, Stephen and Zhao, Junyong and Shi, Lei and Vasilakis, Nikos and Loo, Boon Thau},
  year = {2022},
  booktitle = {38th Annual Computer Security Applications Conference},
  location = {Austin, TX, USA},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {ACSAC '22},
  pages = {71–87},
  doi = {10.1145/3564625.3564664},
  isbn = {9781450397599},
  url = {https://doi.org/10.1145/3564625.3564664},
  numpages = {17},
  keywords = {security, privilege separation, application isolation}
}

@inproceedings{pash:icfp:2021,
  title = {An order-aware dataflow model for parallel Unix pipelines},
  author = {Handa, Shivam and Kallas, Konstantinos and Vasilakis, Nikos and Rinard, Martin C.},
  year = {2021},
  month = {aug},
  journal = {Proc. ACM Program. Lang.},
  booktitle = {International Conference on Functional Programming},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {5},
  doi = {10.1145/3473570},
  url = {https://doi.org/10.1145/3473570},
  issue_date = {August 2021},
  articleno = {65},
  numpages = {28},
  keywords = {Unix, shell, POSIX, parallelism, Dataflow, Order-awareness},
  tags = {performance, correctness}
}

@inproceedings{combined:ccs:2021,
  title = {Demo: Detecting Third-Party Library Problems with Combined Program Analysis},
  author = {Ntousakis, Grigoris and Ioannidis, Sotiris and Vasilakis, Nikos},
  year = {2021},
  booktitle = {2021 ACM SIGSAC Conference on Computer and Communications Security},
  location = {Virtual Event, Republic of Korea},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {CCS '21},
  pages = {2429–2431},
  doi = {10.1145/3460120.3485351},
  isbn = {9781450384544},
  url = {https://doi.org/10.1145/3460120.3485351},
  numpages = {3},
  keywords = {third-party libraries, static analysis, dynamic analysis},
  tags = {security}
}

@inproceedings{lya:fse:2021,
  title = {Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization},
  author = {Vasilakis, Nikos and Ntousakis, Grigoris and Heller, Veit and Rinard, Martin C.},
  year = {2021},
  booktitle = {29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  pages = {1202–1213},
  isbn = {9781450385626},
  url = {https://doi.org/10.1145/3468264.3468574},
  numpages = {12},
  keywords = {software engineering, dynamic languages, dynamic analysis, module recontextualization},
  artifact = {https://github.com/atlas-brown/lya},
  tags = {correctness, security}
}

@inproceedings{pash:eurosys:2021,
  title = {PaSh: Light-Touch Data-Parallel Shell Processing},
  author = {Vasilakis, Nikos and Kallas, Konstantinos and Mamouras, Konstantinos and Benetopoulos, Achilles and Cvetkovi\'{c}, Lazar},
  year = {2021},
  booktitle = {16th European Conference on Computer Systems},
  location = {Online Event, United Kingdom},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {EuroSys '21},
  pages = {49–66},
  doi = {10.1145/3447786.3456228},
  isbn = {9781450383349},
  url = {https://doi.org/10.1145/3447786.3456228},
  numpages = {18},
  keywords = {Unix, shell, POSIX, automatic parallelization, pipelines, source to source compilation},
  artifact = {https://github.com/binpash/pash},
  tags = {performance}
}

@inproceedings{mir:ccs:2021,
  title = {Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction},
  author = {Vasilakis, Nikos and Staicu, Cristian-Alexandru and Ntousakis, Grigoris and Kallas, Konstantinos and Karel, Ben and DeHon, Andr\'{e} and Pradel, Michael},
  year = {2021},
  booktitle = {2021 ACM SIGSAC Conference on Computer and Communications Security},
  location = {Virtual Event, Republic of Korea},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {CCS '21},
  pages = {1821–1838},
  doi = {10.1145/3460120.3484535},
  isbn = {9781450384544},
  url = {https://doi.org/10.1145/3460120.3484535},
  numpages = {18},
  keywords = {Node.js, supply-chain attacks, third-party libraries, program analysis},
  artifact = {https://github.com/atlas-brown/mir},
  tags = {security}
}

@inproceedings{shellpanel:report:2021,
  title = {Report on the "The Future of the Shell" Panel at HotOS 2021},
  author = {Michael Greenberg and Konstantinos Kallas and Nikos Vasilakis and Stephen Kell},
  year = {2021},
  journal = {CoRR},
  booktitle = {HotOS '21: Proceedings of the Workshop on Hot Topics in Operating Systems},
  volume = {abs/2109.11016},
  url = {https://arxiv.org/abs/2109.11016},
  eprinttype = {arXiv},
  eprint = {2109.11016},
  timestamp = {Mon, 27 Sep 2021 15:21:05 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2109-11016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {shell, panel report},
  tags = {performance, correctness}
}

@inproceedings{harp:ccs:2021,
  title = {Supply-Chain Vulnerability Elimination via Active Learning and Regeneration},
  author = {Vasilakis, Nikos and Benetopoulos, Achilles and Handa, Shivam and Schoen, Alizee and Shen, Jiasi and Rinard, Martin C.},
  year = {2021},
  booktitle = {2021 ACM SIGSAC Conference on Computer and Communications Security},
  location = {Virtual Event, Republic of Korea},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {CCS '21},
  pages = {1755–1770},
  doi = {10.1145/3460120.3484736},
  isbn = {9781450384544},
  url = {https://doi.org/10.1145/3460120.3484736},
  numpages = {16},
  keywords = {supply-chain attacks, third-party libraries, modules, program inference, program synthesis},
  tags = {security}
}

@inproceedings{shellpanel:hotos:2021,
  title = {The Future of the Shell: Unix and Beyond},
  author = {Greenberg, Michael and Kallas, Konstantinos and Vasilakis, Nikos},
  year = {2021},
  booktitle = {Workshop on Hot Topics in Operating Systems},
  location = {Ann Arbor, Michigan},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {HotOS '21},
  pages = {240–241},
  doi = {10.1145/3458336.3465296},
  isbn = {9781450384384},
  url = {https://doi.org/10.1145/3458336.3465296},
  numpages = {2},
  keywords = {shell, Unix},
  tags = {performance, correctness}
}

@inproceedings{pash:hotos:2021,
  title = {Unix Shell Programming: The Next 50 Years},
  author = {Greenberg, Michael and Kallas, Konstantinos and Vasilakis, Nikos},
  year = {2021},
  booktitle = {Workshop on Hot Topics in Operating Systems},
  location = {Ann Arbor, Michigan},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {HotOS '21},
  pages = {104–111},
  doi = {10.1145/3458336.3465294},
  isbn = {9781450384384},
  url = {https://doi.org/10.1145/3458336.3465294},
  numpages = {8},
  keywords = {Unix, shell, analysis, transformations, optimization, JIT},
  tags = {performance, correctness}
}

@preprint{kumquat:arxiv:2020,
  title = {Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat},
  author = {Nikos Vasilakis and Jiasi Shen and Martin C. Rinard},
  year = {2020},
  journal = {CoRR},
  volume = {abs/2012.15443},
  url = {https://arxiv.org/abs/2012.15443},
  eprinttype = {arXiv},
  eprint = {2012.15443},
  timestamp = {Sat, 30 Sep 2023 10:08:30 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2012-15443.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {distributed computing, shell, automatic parallelization, program synthesis},
  tags = {performance, correctness}
}

@inproceedings{alr:splash:2019,
  title = {Active learning for software engineering},
  author = {Cambronero, Jos\'{e} P. and Dang, Thurston H. Y. and Vasilakis, Nikos and Shen, Jiasi and Wu, Jerry and Rinard, Martin C.},
  year = {2019},
  booktitle = {2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
  location = {Athens, Greece},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {Onward! 2019},
  pages = {62–78},
  doi = {10.1145/3359591.3359732},
  isbn = {9781450369954},
  url = {https://doi.org/10.1145/3359591.3359732},
  numpages = {17},
  keywords = {active learning, program modeling, program inference},
  tags = {correctness}
}

@inproceedings{finelame:atc:2019,
  title = {Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame},
  author = {Henri Maxime Demoulin and Isaac Pedisich and Nikos Vasilakis and Vincent Liu and Boon Thau Loo and Linh Thi Xuan Phan},
  year = {2019},
  month = {jul},
  booktitle = {2019 {USENIX} Annual Technical Conference ({USENIX} {ATC} 19)},
  publisher = {{USENIX} Association},
  address = {Renton, WA},
  pages = {693--708},
  isbn = {978-1-939133-03-8},
  url = {https://www.usenix.org/conference/atc19/presentation/demoulin},
  keywords = {network security, denial of service detection, application layer attacks, online detection},
  tags = {security}
}

@inproceedings{ignis:pldi:2019,
  title = {Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution},
  author = {Vasilakis, Nikos and Karel, Ben and Palkhiwala, Yash and Sonchack, John and DeHon, Andr{\'e} and Smith, Jonathan M.},
  year = {2019},
  booktitle = {40th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  location = {Phoenix, AZ, USA},
  publisher = {ACM},
  address = {New York, NY, USA},
  series = {PLDI 2019},
  pages = {1010--1026},
  doi = {10.1145/3314221.3314586},
  isbn = {978-1-4503-6712-7/19/06},
  url = {http://doi.acm.org/10.1145/3314221.3314586},
  numpages = {17},
  keywords = {distribution, Scalability, parallelism, Scale-out, transformations, Decomposition, Profiling, Load detection},
  tags = {performance}
}

@inproceedings{breakapp:ndss:2018,
  title = {BreakApp: Automated, Flexible Application Compartmentalization},
  author = {Vasilakis, Nikos and Karel, Ben and Roessler, Nick and Dautenhahn, Nathan and DeHon, Andr{\'e} and Smith, Jonathan M.},
  year = {2018},
  booktitle = {Networked and Distributed Systems Security},
  location = {San Diego, California},
  series = {NDSS'18},
  pages = {693--708},
  doi = {10.14722/ndss.2018.23131},
  url = {http://dx.doi.org/10.14722/ndss.2018.23131},
  keywords = {security, Least privilege, compartmentalization, modules, packages}
}

@inproceedings{ar:edgesys:2018,
  title = {The Web as a Distributed Computing Platform},
  author = {Vasilakis, Nikos and Goel, Pranjal and Demoulin, Henri Maxime and Smith, Jonathan M.},
  year = {2018},
  booktitle = {1st International Workshop on Edge Systems, Analytics and Networking},
  location = {Munich, Germany},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {EdgeSys'18},
  pages = {7–12},
  doi = {10.1145/3213344.3213346},
  isbn = {9781450358378},
  url = {https://doi.org/10.1145/3213344.3213346},
  numpages = {6},
  keywords = {Web, Internet, distribution, JavaScript},
  tags = {performance}
}

@inproceedings{unispace:apsys:2017,
  title = {Query-efficient Partitions for Dynamic Data},
  author = {Vasilakis, Nikos and Palkhiwala, Yash and Smith, Jonathan M.},
  year = {2017},
  booktitle = {8th Asia-Pacific Workshop on Systems},
  location = {Mumbai, India},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {APSys '17},
  doi = {10.1145/3124680.3124744},
  isbn = {9781450351973},
  url = {https://doi.org/10.1145/3124680.3124744},
  articleno = {23},
  numpages = {8},
  keywords = {NoSQL, Dynamic data, partitioning, queries, Key-Value Store},
  tags = {performance}
}

@inproceedings{breakapp:plos:2017,
  title = {Towards Fine-grained, Automated Application Compartmentalization},
  author = {Vasilakis, Nikos and Karel, Ben and Roessler, Nick and Dautenhahn, Nathan and DeHon, Andr\'{e} and Smith, Jonathan M.},
  year = {2017},
  booktitle = {9th Workshop on Programming Languages and Operating Systems},
  location = {Shanghai, China},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  series = {PLOS '17},
  pages = {43–50},
  doi = {10.1145/3144555.3144563},
  isbn = {9781450351539},
  url = {https://doi.org/10.1145/3144555.3144563},
  numpages = {8},
  keywords = {security, Least privilege, compartmentalization, modules, packages}
}

@inproceedings{pump:asplos:2015,
  title = {Architectural Support for Software-Defined Metadata Processing},
  author = {Dhawan, Udit and Hritcu, Catalin and Rubin, Raphael and Vasilakis, Nikos and Chiricescu, Silviu and Smith, Jonathan M. and Knight,Jr., Thomas F. and Pierce, Benjamin C. and DeHon, Andre},
  year = {2015},
  booktitle = {20th International Conference on Architectural Support for Programming Languages and Operating Systems},
  location = {Istanbul, Turkey},
  publisher = {ACM},
  address = {New York, NY, USA},
  series = {ASPLOS '15},
  pages = {487--502},
  doi = {10.1145/2694344.2694383},
  isbn = {978-1-4503-2835-7},
  url = {http://doi.acm.org/10.1145/2694344.2694383},
  numpages = {16},
  acmid = {2694383},
  keywords = {security, memory safety, CFI, tagged architecture, metadata, taint tracking}
}

@inproceedings{andromeda:hotos:2015,
  title = {From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud},
  author = {Vasilakis, Nikos and Karel, Ben and Smith, Jonathan M.},
  year = {2015},
  month = {may},
  booktitle = {Proceedings of the 15th USENIX Conference on Hot Topics in Operating Systems},
  location = {Switzerland},
  publisher = {USENIX Association},
  address = {USA},
  series = {HotOS '15},
  pages = {84--90},
  doi = {10.5555/2831090.2831105},
  url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/vasilakis},
  numpages = {6},
  keywords = {cloud, distributed computing, os abstractions, os design},
  tags = {performance}
}

@inproceedings{pump:hasp:2014,
  title = {PUMP: A Programmable Unit for Metadata Processing},
  author = {Dhawan, Udit and Vasilakis, Nikos and Rubin, Raphael and Chiricescu, Silviu and Smith, Jonathan M. and Knight,Jr., Thomas F. and Pierce, Benjamin C. and DeHon, Andr{\'e}},
  year = {2014},
  booktitle = {3rd Workshop on Hardware and Architectural Support for Security and Privacy},
  location = {Minneapolis, Minnesota, USA},
  publisher = {ACM},
  address = {New York, NY, USA},
  series = {HASP '14},
  pages = {8:1--8:8},
  doi = {10.1145/2611765.2611773},
  isbn = {978-1-4503-2777-0},
  url = {http://doi.acm.org/10.1145/2611765.2611773},
  articleno = {8},
  numpages = {8},
  acmid = {2611773},
  keywords = {security, memory safety, control-flow integrity, tagged architecture, metadata, taint tracking}
}

@inproceedings{handsfree:dils:2013,
  title = {HandsFree: Next Generation Sequence Processing, Mapping and Analysis Made Easy},
  author = {Loher, Phillipe and Vasilakis, Nikos and Malamon, John  and Chen, Huang-Wen and Rigoutsos, Isidore},
  year = {2013},
  booktitle = {Data Integration in the Life Sciences: 9th International Conference},
  location = {Montreal, QC, Canada},
  series = {DILS'13},
  url = {http://nikos.vasilak.is/p/handsfree:dils:2013.pdf},
  keywords = {genomic pipeline, DNA analysis, RNA analysis, mapping service},
  tags = {performance}
}