Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk
Wed 18 Nov 2020 19:00 - 19:40 at SPLASH-III - 1 Chair(s): Bor-Yuh Evan Chang
preprint (sas20.pdf) | 482KiB |
slides w/references (ciaopp_resources_contracts_sas_slides.pdf) | 8.3MiB |
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 NovDisplayed time zone: Central Time (US & Canada) change
07:00 - 08:00 | |||
07:00 40mTalk | Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS Media Attached File Attached | ||
07:40 20mResearch paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS Media Attached File Attached |
19:00 - 20:00 | |||
19:00 40mTalk | Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS Media Attached File Attached | ||
19:40 20mResearch paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS Media Attached File Attached |