by Michael Greenberg on Apr 13, 2021 | Tags: explainers, interactive, journal, open access, publishing, web
Academic communities have increased the reach and accessibility of their work by publishing interactive, open-access, open-source articles on the web that explain both core and emerging ideas in their fields. It’s time for the PL community to do the same.
Read more...
by Max Willsey on Apr 6, 2021 | Tags: e-graphs, equality saturation, term rewriting
Recent developments in e-graphs and equality saturation make a compelling case for a new way to build optimizers and synthesizers.
Read more...
by Alastair Donaldson and David MacIver on Mar 30, 2021 | Tags: debugging, delta debugging, fuzzing, property-based testing, randomized testing, test case reduction, testing
Test case reducers are useful tools that can help you to simplify complex inputs that trigger bugs. In this post — the first in a series — we’ll give an overview of how test case reducers work.
Read more...
by Joseph W. Cutler, Harry Goldstein, Andrew K. Hirsch, Jaemin Hong, and Chandrakana Nandi on Mar 25, 2021 | Tags: conferences, covid-19, early-career researchers, virtual conferences
Five early-career researchers bring their perspective to the debate on conference formats after COVID. They discuss the needs of junior researchers and how different approaches address those needs.
Read more...
by Michael Hicks, Crista Lopes, Jens Palsberg, and Benjamin Pierce on Mar 16, 2021 | Tags: carbon footprint, carbon offset, climate change, conferences, virtual conferences
The SIGPLAN Climate Committee was active 2016-2020. Its members look back on the committee’s goals and achievements, and ahead at what is still to do.
Read more...
by Jens Palsberg, Emery Berger, Derek Dreyer, Michael Hicks, and Jan Vitek on Mar 9, 2021 | Tags: conferences, covid-19, virtual conferences
After COVID, what do we want our conferences to look like? We will examine some options and ask you to fill out a survey.
Read more...
by Ori Roth on Mar 2, 2021 | Tags: fluent API, object oriented programming, static typing
Fluent APIs emerge from a funky and popular design technique. We learn what they are, how they benefit programmers, and how to create them.
Read more...
by Yotam Feldman and Mooly Sagiv on Feb 23, 2021 | Tags: compilers
Jean-Luc Godard is quoted as saying, “A story should have a beginning, a middle and an end, but not necessarily in that order.” What order is best to tell the story of a compiler?
Read more...
by Rachit Nigam on Feb 17, 2021 | Tags: hardware accelerators, research, workshop
FPGA-based accelerators have opened up a new frontier for accelerator design; instead of spending months building and fabricating silicon chips, programmers can buy a cloud instance to run custom hardware accelerators within hours. With the remarkable new hardware, there is a need for remarkable new software.
Read more...
by Sara Achour on Feb 11, 2021 | Tags: compilers, hardware, unconventional computing
Modern analog computers are attractive computational targets which have the potential to deliver significant performance and energy improvements over conventional digital hardware.
These hardware substrates have unique programming challenges which make them challenging to target. Programming languages and compilers techniques can help!
Read more...