Konstantinos Kallas
Orcid: 0000-0002-8984-6648
According to our database1,
Konstantinos Kallas
authored at least 24 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024
2023
Proc. ACM Program. Lang., January, 2023
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023
2022
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
Proceedings of the 12th Conference on Innovative Data Systems Research, 2022
2021
Code-level model checking in the software development workflow at Amazon Web Services.
Softw. Pract. Exp., 2021
Proc. ACM Program. Lang., 2021
Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
2020
Proc. ACM Program. Lang., 2020
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript.
CoRR, 2020
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020
2018
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018