( en | de | ru )

 

Disambiguation of "Lampropoulos, Leonidas"

Author of the publication

copydeleteadd this publication to your clipboard
Deeper Shallow Embeddings.

, , and . ITP, volume 237 of LIPIcs, page 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Constantin Lampropoulos

Panagiotis Lampropoulos

Leonidas Klinge

Leonidas Doxiades

Leonidas Kiriazis

 

Other publications of authors with the same name

Ode on a random urn (functional pearl)., , and . Haskell, page 26-37. ACM, (2017)Achieving Safety Incrementally with Checked C., , , , and . POST, volume 11426 of Lecture Notes in Computer Science, page 76-98. Springer, (2019)Etna: An Evaluation Platform for Property-Based Testing (Experience Report)., , , , and . Proc. ACM Program. Lang., 7 (ICFP): 878-894 (August 2023)Security Properties for Stack Safety., , , , and . CoRR, (2021)Computing correctly with inductive relations., , and . PLDI, page 966-980. ACM, (2022)Formalizing Stack Safety as a Security Property., , , , and . CSF, page 356-371. IEEE, (2023)Object Graph Programming., , , and . ICSE, page 20:1-20:13. ACM, (2024)Measuring Neural Net Robustness with Constraints., , , , , and . NIPS, page 2613-2621. (2016)Keep your laziness in check., , and . Proc. ACM Program. Lang., 2 (ICFP): 102:1-102:30 (2018)Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing., , , and . ESOP, volume 12648 of Lecture Notes in Computer Science, page 264-291. Springer, (2021)