by Jay Lim and Santosh Nagarakatte on Aug 26, 2021 | Tags: awards, correct math libraries, optimization, program synthesis, runtimes
Everyone uses math libraries. Surprisingly, mainstream math libraries do not produce correct results for several thousands of inputs. Developers are seldom aware of them, which affects reproducibility and portability. We describe our new method for synthesizing elementary functions that produces correct results for all inputs but is also significantly faster than the state of the art libraries, which have been optimized for decades.
Read more...
by Christos Kozyrakis and Emery Berger on Aug 19, 2021 | Tags: ASPLOS, conferences, extended abstract, program committees, Review, Reviewing
Note: This is a cross-post from the ACM SIGARCH blog; see the original post for additional comments and discussion from the SIGARCH community. Background When we started planning the ASPLOS’21 program committee in Spring 2020, we asked ourselves what we could do to...
Read more...
by Nada Amin on Aug 12, 2021 | Tags: language design, programming, reflection
We give an introduction to reflective towers of interpreters, a semantic model of reflection with a user level interpreted by a meta level interpreted by a meta meta level and so on.
Read more...
