A Rare Case of Perforated Caecal Cancer Disguised as a Strangulated Right Inguinoscrotal Hernia
Tzortzis, Andrianos-Serafeim, Grylli, Kyriaki, Koliakos, Nikolaos, Kagkouras, Ilias, Kokkofitis, Agamemnon, Lampropoulos, Leonidas
Published in Curēus (Palo Alto, CA) (08.05.2024)
Published in Curēus (Palo Alto, CA) (08.05.2024)
Get full text
Journal Article
Merging Inductive Relations
Prinz, Jacob, Lampropoulos, Leonidas
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
Coverage guided, property based testing
Lampropoulos, Leonidas, Hicks, Michael, Pierce, Benjamin C.
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
Generating Well-Typed Terms That Are Not “Useless”
Frank, Justin, Quiring, Benjamin, Lampropoulos, Leonidas
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article
A formal model of Checked C1
Li, Liyi, Liu, Yiyun, Postol, Deena, Lampropoulos, Leonidas, Van Horn, David, Hicks, Michael
Published in Journal of computer security (13.10.2023)
Published in Journal of computer security (13.10.2023)
Get full text
Journal Article
Generating good generators for inductive relations
Lampropoulos, Leonidas, Paraskevopoulou, Zoe, Pierce, Benjamin C.
Published in Proceedings of ACM on programming languages (01.01.2018)
Published in Proceedings of ACM on programming languages (01.01.2018)
Get full text
Journal Article
Random testing of a higher-order blockchain language (experience report)
Hoang, Tram, Trunov, Anton, Lampropoulos, Leonidas, Sergey, Ilya
Published in Proceedings of ACM on programming languages (29.08.2022)
Published in Proceedings of ACM on programming languages (29.08.2022)
Get full text
Journal Article
A formal model of Checked C
Li, Liyi, Liu, Yiyun, Postol, Deena, Lampropoulos, Leonidas, David Van Horn, Hicks, Michael
Published in Journal of computer security (01.01.2023)
Published in Journal of computer security (01.01.2023)
Get full text
Journal Article
Object Graph Programming
Thimmaiah, Aditya, Lampropoulos, Leonidas, Rossbach, Christopher J., Gligoric, Milos
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
Keep your laziness in check
Foner, Kenneth, Zhang, Hengchu, Lampropoulos, Leonidas
Published in Proceedings of ACM on programming languages (01.09.2018)
Published in Proceedings of ACM on programming languages (01.09.2018)
Get full text
Journal Article
A Formal Model of Checked C
Li, Liyi, Liu, Yiyun, Postol, Deena, Lampropoulos, Leonidas, Van Horn, David, Hicks, Michael
Published in 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (01.08.2022)
Published in 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (01.08.2022)
Get full text
Conference Proceeding
Formalizing Stack Safety as a Security Property
Anderson, Sean Noble, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C., Tolmach, Andrew
Published in 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (01.07.2023)
Published in 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (01.07.2023)
Get full text
Conference Proceeding
Foundational Property-Based Testing
Paraskevopoulou, Zoe, Hriţcu, Cătălin, Dénès, Maxime, Lampropoulos, Leonidas, Pierce, Benjamin C.
Published in Interactive Theorem Proving (19.08.2015)
Published in Interactive Theorem Proving (19.08.2015)
Get full text
Book Chapter
Testing noninterference, quickly
HRIŢCU, CĂTĂLIN, LAMPROPOULOS, LEONIDAS, SPECTOR-ZABUSKY, ANTAL, AZEVEDO DE AMORIM, ARTHUR, DÉNÈS, MAXIME, HUGHES, JOHN, PIERCE, BENJAMIN C., VYTINIOTIS, DIMITRIOS
Published in Journal of functional programming (01.01.2016)
Published in Journal of functional programming (01.01.2016)
Get full text
Journal Article
Object Graph Programming
Thimmaiah, Aditya, Lampropoulos, Leonidas, Rossbach, Christopher J, Gligoric, Milos
Year of Publication 04.02.2024
Year of Publication 04.02.2024
Get full text
Journal Article
Formalizing Stack Safety as a Security Property
Sean Noble Anderson, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C, Tolmach, Andrew
Published in arXiv.org (21.03.2024)
Published in arXiv.org (21.03.2024)
Get full text
Paper
Journal Article