BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Developing Provably Correct and Efficient Programs 
 Using the Ciao Model
DTSTART:20181029T161500
DTEND:20181029T173000
DTSTAMP:20260406T155828Z
UID:abc11a357c9f4507608b1961860db74a7d6cf4a77155be2c1f15a0ad
CATEGORIES:Conferences - Seminars
DESCRIPTION:By:  Manuel Hermenegildo - IMDEA Software Institute and UPM\n\
 nAbstract:\nThe demand for software that is provably correct and efficient
  has moved from niche application areas to truly pervading the software in
 dustry. Avoiding the consequences of those errors\, such as private inform
 ation leakage\, has become of paramount importance. However\, developing s
 uch provably correct and efficient code in a cost-effective way is still c
 hallenging. The Ciao program development model addresses this issue throug
 h a best-effort approach that\ncombines performing static analyses during 
 program editing and compilation in order to detect bugs or certify as much
  as possible of the code\, with run-time checks and testing for properties
  or parts of the program that cannot be verified statically --an approach 
 that is now behind many current efforts in the area.  We will present a n
 umber of results achieved with this model verifying conditions ranging fro
 m classical safety properties to non-functional properties such as time\, 
 memory\, energy\, or user-defined resources. We will also discuss the bigg
 est challenges involved\, and present some of our recent work in areas suc
 h as verifying energy consumption\, reducing the cost of run-time checks a
 nd analyzing them statically\, or combining incremental and modular analys
 is for scalability.\n\nBio:\nManuel Hermenegildo has a Ph.D. in Computer S
 cience and Engineering from UT Austin (1986) and a Masters from T.U. Madri
 d (UPM). He is Distinguished Professor at the IMDEA Software Institute (of
  which he was the founding director) and Full Prof. at T.U. Madrid.  Prev
 iously\, he held an Endowed Chair at the U. of New Mexico and was Project 
 Leader at MCC and faculty at UT Austin.  He has received the National Pri
 ze for Mathematics and Information Science and Technology\, a 10-year most
  influential paper award from the Association of Logic Programming\, and s
 everal best paper awards. He is a member of the\nAcademia Europaea\, presi
 dent of the INRIA Scientific Board\, and member of the Dagstuhl Advisory B
 oard\, and has been vice-President of Informatics Europe and President of 
 the Association for Logic Programming. His interests include energy-aware 
 computing\, program analysis and verification\, abstract interpretation\, 
 partial evaluation\, parallelizing compilers\, and constraint and logic pr
 ogramming language design and implementation.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CANCELLED
END:VEVENT
END:VCALENDAR