DLS
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Wed 18 Nov 2020 19:00 - 19:40 at SPLASH-III - 1 Chair(s): Bor-Yuh Evan Chang
Wed 18 Nov 2020 07:00 - 07:40 at SPLASH-III - 1 Chair(s): Patrick Cousot
preprint (sas20.pdf)482KiB

Manuel Hermenegildo is Distinguished Professor at (and was the Founding Director of) the IMDEA Software Institute. He is also full Prof. of Computer Science at the Tech. U. of Madrid, UPM. Previously he held an Endowed Chair in Information Science and Technology at the U. of New Mexico. He was also project leader at the MCC research center and Adjunct Associate Prof. at the CS Department of the U. of Texas, both in Austin, Texas. See his home page for more information.

Research interests: Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretation; Partial Evaluation; Parallelism and Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation, Abstract Machines; Automatic Documentation Tools, Execution Visualization; Sequential and Parallel Computer Architecture.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

07:00 - 08:00: 1SAS at SPLASH-III +12h
Chair(s): Patrick CousotNew York University
07:00 - 07:40
Talk
SAS
I: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid
Media Attached File Attached
07:40 - 08:00
Research paper
SAS
Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached File Attached
19:00 - 20:00: 1SAS at SPLASH-III
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder & Amazon
19:00 - 19:40
Talk
SAS
I: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid
Media Attached File Attached
19:40 - 20:00
Research paper
SAS
Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached File Attached