@inproceedings{incr:osdi:2026,
  author = { Xie, Yizheng and Lamprou, Evangelos and Xia, Jerry and Vasilakis, Nikos },
  title = { Incr: Faster Re-execution via Bolt-on Incrementalization },
  booktitle = { 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI 26) },
  series = { OSDI ’26 },
  year = { 2026 },
  publisher = { USENIX Association }
}

@inproceedings{rt:osdi:2026,
  author = { Li, Zekai and Lazarek, Lukas and Lamprou, Evangelos and Kapetanakis, George and Mamouras, Konstantinos and Vasilakis, Nikos },
  title = { Rt: Regular Types for the Streaming Shell },
  booktitle = { 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI 26) },
  series = { OSDI ’26 },
  year = { 2026 },
  publisher = { USENIX Association }
}

@inproceedings{try:osdi:2026,
  author = { Lamprou, Evangelos and Zhu, Tianyu (Ezri) and Jin, Di and Ntousakis, Grigoris and Liargkovas, Georgios and Eng, Calvin and Kallas, Konstantinos and Greenberg, Michael and Vasilakis, Nikos },
  title = { Controlling Opaque-Component Effects with Semisolates and Try },
  booktitle = { 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI 26) },
  series = { OSDI ’26 },
  year = { 2026 },
  publisher = { USENIX Association }
}

@inproceedings{exo:pacmi:2025,
  author = { Lamprou, Evangelos and Kalhauge, Christian Gram and Rinard, Martin and Vasilakis, Nikos },
  title = { Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons },
  series = { PACMI ’25 },
  year = { 2025 }
}

@inproceedings{koala:atc:2025,
  author = { Lamprou, Evangelos and Williams, Ethan and Kaoukis, Georgios and Zhang, Zhuoxuan and Greenberg, Michael and Kallas, Konstantinos and Lazarek, Lukas and Vasilakis, Nikos },
  title = { The Koala Benchmarks for the Shell },
  series = { USENIX ATC ’25 },
  year = { 2025 }
}

@inproceedings{sash:hotos:2025,
  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 },
  title = { From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs },
  series = { HotOS ’25 },
  year = { 2025 }
}

@inproceedings{aspg:chigreece:2023,
  author = { Lamprou, Evangelos and Fidas, Christos },
  title = { Investigating Applicability Heuristics of ASP in Game Development: Use Cases and Empirical Study },
  series = { ACM CHI Greece 2023 },
  year = { 2023 }
}

@thesis{aspg:up:2023,
  author = { Lamprou, Evangelos },
  title = { Design, Implementation, and Evaluation of a Framework for Applying Answer Set Programming in Games },
  series = { Diploma thesis, University of Patras },
  year = { 2023 }
}