français | english		EPFL > people@EPFL > Philippe Suter login

Doctoral Assistant IC IIF LARA

Philippe Suter Laboratory for Automated Reasoning and Analysis PhD student birth date: 16.12.1984 web site: http://lara.epfl.ch/~psuter/ office(s): BC358 phone(s): [+41 21 69] 31244 BIOGRAPHY I received my Master in Computer Science (with a specialization in Foundations of Software) from EPFL in September 2008. Since then, I've been working towards obtaining a PhD under the supervision of Prof. Viktor Kuncak in the Laboratory for Automated Reasoning and Analysis. You can check my personal web page for more information. MAIN PUBLICATIONS P. Suter, R. Steiger, and V. Kuncak. Sets with Cardinality Constraints in Satisfiability Modulo Theories. In Verification, Model Checking, And Abstract Interpretation, volume 6538 of Lecture Notes in Computer Science, pages 403-418. Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa, 2011. [ Details ] A. S. Köksal, P. Suter, and V. Kuncak. Scala to the Power of Z3: Integrating SMT and Programming. In Computer-Aideded Deduction (CADE), 2011. [ Details ] P. Suter, A. S. Köksal, and V. Kuncak. Satisfiability Modulo Recursive Programs. In Static Analysis Symposium (SAS), 2011. [ Details ] V. Kuncak, M. Mayer, R. Piskac, and P. Suter. Comfusy: A Tool for Complete Functional Synthesis (Tool Presentation). In Computer Aided Verification, Proceedings, volume 6174 of Lecture Notes in Computer Science, pages 430-433. Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa, 2010. [ Details ] V. Kuncak, R. Piskac, and P. Suter. Ordered Sets in the Calculus of Data Structures. In Computer Science Logic, volume 6247 of Lecture Notes in Computer Science, pages 34-48. Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa, 2010. [ Details ] A. Dawar, H. Veith, V. Kuncak, R. Piskac, and P. Suter. Ordered Sets in the Calculus of Data Structures. In Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic, LNCS, pages 34-48. Springer, 2010. [ DOI | Details | Full Text ] G. Barthe, M. V. Hermenegildo, V. Kuncak, R. Piskac, P. Suter, and T. Wies. Building a Calculus of Data Structures. In Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation, LNCS, pages 26-44. Springer, 2010. Invited Paper. [ DOI | Details | Full Text ] P. Suter, A. S. Köksal, and V. Kuncak. On Satisfiability Modulo Computable Functions. Technical report, 2010. [ Details | Full Text ] T. Touili, B. Cook, P. Jackson, V. Kuncak, M. Mayer, R. Piskac, and P. Suter. Comfusy: A Tool for Complete Functional Synthesis. In Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV), volume 6174 of Lecture Notes in Computer Science, pages 430-433. Springer, 2010. Tool Presentation. [ DOI | Details | Full Text ] E. Kneuss, P. Suter, and V. Kuncak. Phantm: PHP Analyzer for Type Mismatch. In ACM SIGSOFT 18th International Symposium on the Foundations of Software Engineering, 2010. Tool Demonstration. [ DOI | Details ] H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. J. Pace, G. Rosu, O. Sokolsky, N. Tillmann, E. Kneuss, P. Suter, and V. Kuncak. Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. In Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, volume 6418 of Lecture Notes in Computer Science, pages 300-314. Springer, 2010. [ DOI | Details ] P. Suter, R. Steiger, and V. Kuncak. On Sets with Cardinality Constraints in Satisfiability Modulo Theories. Technical report, 2010. [ Details | Full Text ] E. Kneuss, P. Suter, and V. Kuncak. On Using Static Analysis to Detect Type Errors in PHP Applications. Technical report, 2010. [ Details | Full Text ] P. Suter, M. Dotta, and V. Kuncak. Decision Procedures for Algebraic Data Types with Abstractions. In Acm Sigplan Notices, volume 45, pages 199-210, 2010. [ Details ] V. Kuncak, M. Mayer, R. Piskac, and P. Suter. Complete Functional Synthesis. In ACM Conf. Programming Language Design and Implementation (PLDI), 2010. [ Details ] R. Piskac, P. Suter, and V. Kuncak. On Decision Procedures for Ordered Collections. Technical report, 2010. [ Details | Full Text | Link ] E. Kneuss, V. Kuncak, and P. Suter. Static Analysis for the PHP Language. 2010. [ Details | Full Text | Link ] M. Mayer, P. Suter, R. Piskac, and V. Kuncak. On Complete Functional Synthesis. Technical report, 2009. [ Details | Full Text ] P. Suter, M. Dotta, and V. Kuncak. On Decision Procedures for Algebraic Data Types with Abstractions. Technical report, 2009. [ Details | Full Text ] P. Suter, V. Kuncak, and V. Ganesh. Non-Clausal Satisfiability Modulo Theories. 2008. [ Details | Full Text ] M. Dotta, P. Suter, and V. Kuncak. On Static Analysis for Expressive Pattern Matching. Technical report, 2008. [ Details | Full Text ] A. Pala, P. Suter, G. Starobinski, and A. Giardina. Les Lieder ohne Worte de Mendelssohn et l'esthétique romantique. 2007. [ Details | Full Text | Link ]