I am a PhD student at the University of
by Benjamin Pierce. My
research interests span programming languages, language based security and
verification both in the form of formal proofs and random testing. I am
also a member of the Penn PL
Before that I was an undergraduate student at the School of Electrical and
Computer Engineering at the
National Technical University of Athens where I worked with Prof. Kostis Sagonas on a tool for
automated random testing of Web Services.
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal
Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim
and Leonidas Lampropoulos. Testing Noninterference,
Quickly. In Proceedings of the 18th ACM SIGPLAN
International Conference on Functional Programming, Boston,
Massachusetts, USA, 2013.
Leonidas Lampropoulos and Kostis Sagonas. Automatic WSDL-guided Test
Case Generation for PropEr Testing of Web Services. In Proceedings
8th International Workshop on Automated Specification and Verification of
Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012.
Last updated: November 23rd, 2013