Konstantinos Kallas
Cited by
Cited by
Code Level Model-Checking in the Software Development Workflow
N Chong, B Cook, K Kallas, K Khazem, F Monteiro, D Schwartz-Narbonne, ...
42st International Conference on Software Engineering: Software Engineering …, 2020
DiffStream: Differential Output Testing for Stream Processing Programs
K Kallas, F Niksic, C Stanford, R Alur
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
MIR: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
N Vasilakis, CA Staicu, G Ntousakis, K Kallas, B Karel, A DeHon, ...
arXiv preprint arXiv:2011.00253, 2020
PaSh: Light-touch Data-Parallel Shell Processing
N Vasilakis, K Kallas, K Mamouras, A Benetopoulos, L Cvetkovich
arXiv preprint arXiv:2007.09436, 2020
Security Criteria for a Transparent Encryption Layer
K Kallas, C Schneidewind, BC Pierce, S Zdancewic
Workshop on Foundations of Computer Security 2019, 2019
HiPErJiT: Ένας Just-in-Time μεταγλωττιστής για την Erlang
Κ Καλλάς
National Technical University of Athens, 2018
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang
K Kallas, K Sagonas
Proceedings of the 30th Symposium on Implementation and Application of …, 2018
The system can't perform the operation now. Try again later.
Articles 1–7