Electrical Engineering and Computer Sciences - Ph.D. / Sc.D.
(Massachusetts Institute of Technology, 2019)This thesis studies the problem of statically bounding the resource usage of computer programs, from programs written in high-level languages to those in assembly languages. Resource usage is an aspect of programs not ...
(Massachusetts Institute of Technology, 2019)Current multicores suffer from two major limitations: they can only exploit a fraction of the parallelism available in applications and they are very hard to program. This is because they are limited to programs with ...