Invited Speakers of VECoS 2019
Top-down Horn Clause-based Program Analysis in the Ciao Language
Jose F. Morales, IMDEA Software Institute
Abstract: Ciao is a logic programming language which was designed from the root to be extensible, support multiparadigm features, and provide the flexibility of a dynamic language, but with guaranteed safety, reliability, and efficiency. A key component of Ciao is its preprocessor (CiaoPP), a context-sensitive, abstract interpretation-based analyzer based on inferring via fixpoint computation the abstract program semantics, over a set of user-definable abstract domains. In this talk I will introduce the Ciao/CiaoPP approach, and recent results on the use of assertions to guide such fixpoint computations, incremental and modular analysis, optimization of run-time checks and static analysis of their cost, combination with automated testing, as well as other applications like semantic code search, multilanguage analysis based on transforming both high- and low-level program representations into Horn clauses, or energy consumption verification.
Short Bio: Jose F. Morales holds a PhD in Cs from the Technical University of Madrid (UPM). He is a member of the CLIP group at UPM and researcher at the IMDEA Software Institute. His main research interests are logic programming, compilers, and program analysis and verification.
1968 to 2019: Half a Century of Correctness Enhancement
Ali Mili, New Jersey Instirtue of Technology (NJIT)
Abstract: Whereas correctness preservation is considered as the gold standard of software engineering processes, in this talk we argue that in fact the vast majority of software engineering processes do not involve correctness preservation but rather correctness enhancement. We explore some mathematics of correctness enhancement, discuss in what way and to what extent correctness correctness enhancement pervades software engineering, and tentatively speculate about prospects for using these insights to enhance software engineering practice.
Short Bio: Ali Mili holds a PhD in CS from the University of Illinois and a Doctorat es-Sciences d'Etat from the University of Grenoble. He served as chairperson of the CS department at the University of Tunis and currently serves as Professor and Associate Dean in the Ying Wu College of Computing at NJIT, Newark, NJ.