by Justin Hsu on Oct 20, 2020 | Tags: formal verification, probabilistic programs, randomized algorithms
Randomized algorithms and probabilistic programs play a growing role in many areas of computer science. What can we do to help ensure that these intricate programs are correct, without the bugs and flaws that plague today’s software?
Read more...
by Emery Berger on Oct 12, 2020 | Tags: C++, optimization, performance, python
Fast “metal languages” like C and C++ are important, but code is increasingly written in inefficient “irrational exuberance” languages like Python and Javascript. We in the research community can develop technology to make them run better.
Read more...
by Michael Greenberg on Sep 29, 2020 | Tags: formalism, gradual typing, notation, type system
Research in programming languages offers powerful tools, but our systems of notation stymie outsiders. Can we change our notational approach and broaden our audience—without compromising on content?
Read more...
by Işıl Dillig on Sep 22, 2020 | Tags: data preparation, data science, data visualization, program synthesis
The demand for data science and data scientists is growing fast, and so is corresponding size and scope of the the problem. PL technology, notably program synthesis, can help.
Read more...
by Jens Palsberg on Sep 15, 2020 | Tags: climate change, conferences, diversity, publication process, virtual conferences
Can virtual conferences be better than physical conferences? I will discuss what SIGPLAN is doing to make virtual conferences the best they can be, what SIGPLAN is doing on inclusion, and what ACM is planning for the future of publications and Gold Open Access
Read more...
by David Van Horn on Sep 10, 2020 | Tags: advice, job search, pandemic
The academic job search can be a stressful and grueling process even in the best of times. Now it will be worse. Here’s some guidance on navigating the faculty job market in these unique times.
Read more...
by Michael Hicks on Sep 1, 2020 | Tags: research highlights
This post showcases three papers published in SIGPLAN venues which have been selected as SIGPLAN Research Highlights. Each of them has been nominated to appear in upcoming issues of the Communications of the ACM.
Read more...
by John Wickerson on Aug 19, 2020 | Tags: formal verification, functional programming, rust language, separation logic, type systems
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Derek Dreyer, who is Faculty at the Max Planck Institute for Software Systems (MPI-SWS), and Honorarprofessor of Computer Science, Saarland University.
Read more...
by Sumit Gulwani, Saurabh Srivastava, and Jeffrey S. Foster on Aug 12, 2020 | Tags: formal verification, MIP award, program analysis, program synthesis
The authors of POPL’s 2020 most influential paper reflect on the journey that produced their award winning research on program synthesis, and the impact the work has had on them, the research community, and society at large, ever since.
Read more...
by Stephanie Weirich and the ICFP Virtualization Committee on Aug 4, 2020 | Tags: conferences, functional programming
ICFP 2020 will be virtual, combining a mirrored technical program—all technical talks will appear twice, 12 hours apart—with a synchronous set of keynote talks and social events. This post says more about it. Be sure to register by August 8!
Read more...