Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
Archive of posts tagged: program synthesis
The Story of the Flash Fill Feature in Excel

The Story of the Flash Fill Feature in Excel

My POPL 2011 “Flash Fill” paper was the most important turning point in my research career. I went from searching for the hardest problem I can solve to searching for the simplest problem that will have the most impact. It sensitized me to customer connection and enlightened me to how practical requirements can inspire foundational research ideas and directions. And most of all, it led to a blissful connection with my loved ones.

Read more...

High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations

High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations

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...