Konstantinos Kallas
发表
B. Pierce,
S. Zdancewic,
Konstantinos Kallas,
2019
.
Thurston H. Y. Dang,
Konstantinos Kallas,
2022
.
Wpe,
Konstantinos Kallas,
2020
.
Konstantinos Sagonas,
Konstantinos Kallas,
2018,
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages.
Felipe R. Monteiro,
S. Tasiran,
M. Tuttle,
2021,
Softw. Pract. Exp..
R. Alur,
Vincent Liu,
Konstantinos Kallas,
2023,
Proc. ACM Program. Lang..
R. Alur,
Konstantinos Kallas,
C. Stanford,
2022,
CIDR.
M. Rinard,
N. Vasilakis,
Konstantinos Kallas,
2020,
Proc. ACM Program. Lang..
Martin Rinard,
Nikos Vasilakis,
Konstantinos Kallas,
2020,
ArXiv.
Serdar Tasiran,
Mark R. Tuttle,
Daniel Schwartz-Narbonne,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Nikos Vasilakis,
Michael Greenberg,
Konstantinos Kallas,
2021,
HotOS.
Christoph L. Gillum,
Christopher S. Meiklejohn,
S. Burckhardt,
2022,
Proc. VLDB Endow..
Michael Pradel,
Nikos Vasilakis,
André DeHon,
2021,
CCS.
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
pdf
Michael Pradel,
Nikos Vasilakis,
Ben Karel,
2020,
ArXiv.
Rajeev Alur,
Caleb Stanford,
Filip Niksic,
2022,
PPoPP.
Rajeev Alur,
Caleb Stanford,
Filip Niksic,
2021,
PPoPP.
Rajeev Alur,
Val Tannen,
Caleb Stanford,
2021,
PODS.
Rajeev Alur,
Caleb Stanford,
Filip Niksic,
2020,
Proc. ACM Program. Lang..
Konstantinos Kallas,
Henri Maxime Demoulin,
Benjamin C. Lee,
2021,
HotNets.
Nikos Vasilakis,
Konstantinos Kallas,
Konstantinos Mamouras,
2020,
EuroSys.
M. Greenberg,
Konstantinos Kallas,
Nikos Vasilakis,
2023,
HotOS.