https://blog.sigplan.org/2019/07/17/acm-conferences-and-the-cost-of-carbon/2019-09-11T10:50:16+00:00https://blog.sigplan.org/2019/10/14/how-to-design-co-programs/2019-11-25T01:20:55+00:00https://blog.sigplan.org/2019/07/09/my-first-fifteen-compilers/2019-07-08T20:50:18+00:00https://blog.sigplan.org/2019/06/24/remembering-laurie-hendren/2019-07-03T00:31:19+00:00https://blog.sigplan.org/2019/06/24/ai-safety-as-a-pl-problem/2019-06-24T22:45:35+00:00https://blog.sigplan.org/2019/07/03/s-stands-for-shock-the-european-funders-proposal-for-open-access/2019-09-11T10:50:27+00:00https://blog.sigplan.org/2019/06/22/welcome/2019-07-09T13:33:22+00:00https://blog.sigplan.org/2019/06/27/the-state-of-sigplan/2019-06-25T22:06:27+00:00https://blog.sigplan.org/2019/07/01/secure-compilation/2019-06-29T17:30:27+00:00https://blog.sigplan.org/2019/07/12/gradual-typing-theory-practice/2019-07-12T14:39:18+00:00https://blog.sigplan.org/2019/07/31/program-synthesis-in-2019/2019-08-08T09:28:57+00:00https://blog.sigplan.org/2019/07/26/towards-a-universal-quantum-programming-language/2019-11-27T12:48:59+00:00https://blog.sigplan.org/2019/08/07/what-does-it-mean-for-a-program-analysis-to-be-sound/2019-08-04T13:01:25+00:00https://blog.sigplan.org/2019/08/14/can-journals-make-pl-more-accessible/2019-09-11T10:50:59+00:00https://blog.sigplan.org/2019/08/22/from-programs-to-deep-models-part-1/2019-08-22T12:25:57+00:00https://blog.sigplan.org/2019/08/28/a-checklist-manifesto-for-empirical-evaluation-a-preemptive-strike-against-a-replication-crisis-in-computer-science/2019-09-11T10:51:11+00:00https://blog.sigplan.org/2019/09/25/highlighting-pl-research-to-the-cs-community/2019-09-25T12:06:57+00:00https://blog.sigplan.org/2019/09/09/analyzing-author-productivity-collaboration-and-research-quality/2019-09-09T10:42:45+00:00https://blog.sigplan.org/2019/09/12/program-verification-has-it-lost-its-punch/2019-09-12T10:51:51+00:00https://blog.sigplan.org/2019/09/18/sound-analysis-can-we-tell-the-truth-about-programs/2019-09-18T13:05:27+00:00https://blog.sigplan.org/2019/10/03/machine-learning-and-approximate-computing/2019-10-04T14:41:47+00:00https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove/2019-10-17T13:32:22+00:00https://blog.sigplan.org/2019/12/16/runtime-support-for-multicore-haskell-a-retrospective/2020-02-25T01:34:20+00:00https://blog.sigplan.org/2019/10/29/how-to-have-real-world-impact-five-easy-pieces/2019-10-29T15:18:11+00:00https://blog.sigplan.org/2019/12/30/defunctionalization-everybody-does-it-nobody-talks-about-it/2019-12-30T20:14:14+00:00https://blog.sigplan.org/2019/11/04/understanding-the-world-with-program-synthesis/2019-10-31T23:54:51+00:00https://blog.sigplan.org/2019/11/12/a-plot-twist-drawing-better-graphs-in-pl-papers/2019-11-15T12:45:16+00:00https://blog.sigplan.org/2019/11/14/a-plot-twist-part-ii-in-praise-of-scatter-plots/2019-11-12T14:47:07+00:00https://blog.sigplan.org/2019/11/26/building-your-first-program-synthesizer/2020-11-11T12:56:45+00:00https://blog.sigplan.org/2019/12/03/flapjax-from-system-to-paper/2020-02-25T01:34:43+00:00https://blog.sigplan.org/2019/12/23/composition-in-distributed-systems/2019-12-17T17:18:08+00:00https://blog.sigplan.org/2019/12/19/i-usher-interfaces-to-unlock-the-specialized-hardware-revolution/2019-12-18T13:10:57+00:00https://blog.sigplan.org/2020/01/14/what-is-a-sustainable-path-to-open-access/2020-01-14T18:31:21+00:00https://blog.sigplan.org/2020/01/20/a-small-matter-of-programming/2020-01-22T12:12:52+00:00https://blog.sigplan.org/2020/02/06/planqc/2020-01-30T15:47:33+00:00https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/2020-02-05T23:43:49+00:00https://blog.sigplan.org/2020/02/12/from-programs-to-deep-models-part-2/2020-02-12T13:58:02+00:00https://blog.sigplan.org/2020/02/19/popl-2020-in-review/2020-02-20T11:30:59+00:00https://blog.sigplan.org/2020/05/26/people-of-pldi-alexandra-silva/2020-08-07T12:29:51+00:00https://blog.sigplan.org/2020/03/03/go-huge-or-go-home-popl19-most-influential-paper-retrospective/2020-03-03T01:38:18+00:00https://blog.sigplan.org/2020/08/19/people-of-pl-derek-dreyer/2020-08-11T11:57:48+00:00https://blog.sigplan.org/2020/06/03/people-of-pl-mike-hicks/2020-08-07T12:29:27+00:00https://blog.sigplan.org/2020/03/25/homoiconicity-lisp-and-program-synthesis/2020-03-25T12:31:17+00:00https://blog.sigplan.org/2020/04/01/people-of-pl/2020-04-01T13:48:18+00:00https://blog.sigplan.org/2020/04/15/synthesizing-neurosymbolic-programs/2020-04-15T13:50:43+00:00https://blog.sigplan.org/2020/04/23/more-people-of-programming-languages/2020-04-23T12:15:35+00:00https://blog.sigplan.org/2020/04/29/conferences-in-the-age-of-covid-19/2020-04-29T15:55:14+00:00https://blog.sigplan.org/2020/05/11/from-programs-to-deep-models-part-3-code-completion/2020-05-11T11:45:44+00:00https://blog.sigplan.org/2020/06/01/virtual-pldi-2020/2020-06-01T13:05:10+00:00https://blog.sigplan.org/2020/06/18/people-of-pl-ron-garcia/2020-06-22T12:18:20+00:00https://blog.sigplan.org/2020/06/25/hopl-not-an-ordinary-conference/2020-06-25T11:41:45+00:00https://blog.sigplan.org/2020/07/29/increasing-the-impact-of-pl-research/2020-07-31T10:37:04+00:00https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/2020-08-04T18:32:10+00:00https://blog.sigplan.org/2020/09/01/2019-sigplan-research-highlight-awards/2020-08-18T21:51:42+00:00https://blog.sigplan.org/2020/08/12/synthesizing-small-programs-for-big-impact/2020-08-14T17:43:20+00:00https://blog.sigplan.org/2020/09/10/letter-to-a-young-scientist-searching-for-faculty-jobs-in-turbulent-times/2020-09-10T12:12:32+00:00https://blog.sigplan.org/2020/09/15/virtual-conferences-and-sigplan/2020-09-14T00:25:42+00:00https://blog.sigplan.org/2020/09/22/supporting-data-scientists-by-synthesizing-programs/2020-09-15T18:11:08+00:00https://blog.sigplan.org/2020/09/29/pl-notation-is-a-barrier-to-entry/2020-10-11T12:36:45+00:00https://blog.sigplan.org/2020/11/25/functional-algorithm-design-1/2020-11-24T17:05:11+00:00https://blog.sigplan.org/2020/10/12/from-heavy-metal-to-irrational-exuberance/2020-10-12T17:10:01+00:00https://blog.sigplan.org/2020/10/20/verifying-randomized-algorithms-why-and-how/2020-10-19T22:52:23+00:00https://blog.sigplan.org/2020/12/01/functional-algorithm-design-part-2/2020-11-30T14:18:20+00:00https://blog.sigplan.org/2020/10/27/whats-the-role-of-developer-experience-in-programming-languages-research/2020-10-27T16:45:44+00:00https://blog.sigplan.org/2020/11/17/functional-algorithm-design-part-0/2020-11-15T19:23:59+00:00https://blog.sigplan.org/2020/11/12/welcoming-todd-millstein-as-co-editor/2020-11-12T13:28:03+00:00https://blog.sigplan.org/2020/12/08/open-call-for-contributions/2020-12-08T15:44:15+00:00https://blog.sigplan.org/2020/12/21/how-to-test-a-quantum-program/2020-12-18T23:45:18+00:00https://blog.sigplan.org/2020/12/28/scaling-exact-inference-for-discrete-probabilistic-programs/2020-12-24T13:17:26+00:00https://blog.sigplan.org/2021/01/05/introducing-sigplan-m/2021-01-02T17:00:43+00:00https://blog.sigplan.org/2021/01/14/finding-bugs-in-c-and-c-compilers-using-yarpgen/2021-01-14T18:53:34+00:00https://blog.sigplan.org/2021/01/28/re-imagining-the-programming-paradigms-course/2021-01-29T15:19:09+00:00https://blog.sigplan.org/2021/02/11/a-primer-on-analog-computing/2021-02-10T21:13:58+00:00https://blog.sigplan.org/2021/02/17/languages-tools-and-techniques-for-accelerator-design/2021-02-13T17:40:30+00:00https://blog.sigplan.org/2021/02/23/teaching-compilers-backward/2021-02-16T15:44:35+00:00https://blog.sigplan.org/2021/03/02/fluent-api-practice-and-theory/2021-02-28T20:13:12+00:00https://blog.sigplan.org/2021/03/09/conferences-after-covid/2021-03-12T19:46:24+00:00https://blog.sigplan.org/2021/03/16/sigplan-and-climate-change-a-look-back-and-a-look-forward/2021-03-16T12:43:00+00:00https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/2021-04-12T13:41:01+00:00https://blog.sigplan.org/2021/03/25/conferences-after-covid-an-early-career-perspective/2021-03-25T17:37:17+00:00https://blog.sigplan.org/2021/03/30/an-overview-of-test-case-reduction/2021-03-30T13:24:28+00:00https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/2021-03-31T18:33:09+00:00https://blog.sigplan.org/2021/04/21/automatically-eliminating-speculative-leaks-from-cryptographic-code-with-blade/2021-04-21T11:40:02+00:00https://blog.sigplan.org/2021/05/18/circuit-synthesis-for-analog-computing/2021-05-18T12:24:33+00:00https://blog.sigplan.org/2021/05/11/programming-languages-mentoring-workshop-ten-years-later/2021-05-11T15:38:58+00:00https://blog.sigplan.org/2021/05/25/test-case-reduction-beyond-bugs/2021-05-24T15:39:32+00:00https://blog.sigplan.org/2021/06/02/verifying-a-quantum-compiler/2021-06-02T01:23:17+00:00https://blog.sigplan.org/2021/06/28/programming-languages-and-the-universal-internet-machine/2021-06-28T00:35:30+00:00https://blog.sigplan.org/2021/07/06/programming-languages-human-computer-interaction-continuing-the-story-at-splash-2020/2021-07-04T15:48:21+00:00https://blog.sigplan.org/2021/06/15/conferences-after-covid-community-voices/2021-06-15T11:14:04+00:00https://blog.sigplan.org/2021/07/15/a-pre-expectation-calculus-for-probabilistic-sensitivity/2021-07-18T14:08:24+00:00https://blog.sigplan.org/2021/07/12/new-leadership-at-pl-perspectives/2021-07-11T21:45:16+00:00https://blog.sigplan.org/2021/07/27/making-software-sandboxing-practical-using-language-based-techniques/2021-07-23T18:27:25+00:00https://blog.sigplan.org/2021/08/12/reflective-towers-of-interpreters/2021-08-11T18:32:20+00:00https://blog.sigplan.org/2021/08/19/using-extended-abstracts-to-improve-peer-review/2021-08-18T15:21:57+00:00https://blog.sigplan.org/2021/08/26/high-performance-correctly-rounded-math-libraries-for-32-bit-floating-point-representations/2021-08-25T20:55:37+00:00https://blog.sigplan.org/2021/09/02/specification-synthesis-with-constrained-horn-clauses/2021-08-25T23:17:09+00:00https://blog.sigplan.org/2021/09/14/the-story-of-the-flash-fill-feature-in-excel/2021-09-12T13:18:06+00:00https://blog.sigplan.org/2021/10/12/the-return-of-the-unix-shell/2021-10-12T00:50:46+00:00https://blog.sigplan.org/2021/11/11/when-compiler-optimization-meets-binary-code-difference/2021-11-02T17:12:20+00:00https://blog.sigplan.org/2021/11/04/neural-network-verification-where-are-we-and-where-do-we-go-from-here/2021-11-02T17:12:53+00:00https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/2021-11-19T02:28:32+00:00https://blog.sigplan.org/2021/12/14/circuit-scaling-for-analog-computing/2021-12-13T21:09:31+00:00https://blog.sigplan.org/2022/01/13/provably-space-efficient-parallel-functional-programming/2022-01-10T19:29:55+00:00https://blog.sigplan.org/2021/11/30/a-new-asplos-conference-submission-process/2021-11-29T22:59:20+00:00https://blog.sigplan.org/2021/12/07/bad-reasons-to-reject-good-papers-and-vice-versa/2021-12-02T17:10:25+00:00https://blog.sigplan.org/2022/01/18/response-to-change-in-the-asplos-conference-submission-process/2022-01-17T18:49:11+00:00https://blog.sigplan.org/2022/01/27/improving-gender-balance-in-academia-a-computer-scientists-suggestion-of-where-to-start-part-1-of-2/2022-01-26T17:02:46+00:00https://blog.sigplan.org/2022/03/15/improving-gender-balance-in-academia-a-computer-scientists-suggestion-of-where-to-start-part-2-of-2/2022-03-11T23:26:10+00:00https://blog.sigplan.org/2022/04/28/one-polynomial-approximation-to-produce-correctly-rounded-results-for-multiple-representations-and-rounding-modes/2022-04-27T16:00:09+00:00https://blog.sigplan.org/2022/05/19/language-design-in-the-real-world/2022-05-23T16:02:35+00:00https://blog.sigplan.org/2022/06/13/people-of-pl-special-mentoring-edition/2022-06-13T15:28:29+00:00https://blog.sigplan.org/2022/06/10/survey-should-pldi-join-pacm-pl/2022-06-10T18:55:22+00:00https://blog.sigplan.org/2022/08/08/pldi-will-join-pacmpl/2022-08-08T20:54:02+00:00https://blog.sigplan.org/2022/08/18/coping-with-copilot/2022-08-16T16:23:16+00:00https://blog.sigplan.org/2022/08/16/a-transition-for-pl-perspectives/2022-08-16T16:09:02+00:00https://blog.sigplan.org/2022/08/25/hybrid-splash-2021-retrospective/2022-08-26T15:11:59+00:00https://blog.sigplan.org/2023/01/12/from-research-prototypes-to-continuous-integration-guiding-the-design-and-implementation-of-javascript/2023-01-11T17:28:48+00:00https://blog.sigplan.org/2023/04/04/teaching-category-theory-to-computer-scientists/2023-04-03T19:57:15+00:00https://blog.sigplan.org/2024/04/23/ai-software-should-be-more-like-plain-old-software/2024-04-23T20:24:50+00:00https://blog.sigplan.org/2024/06/03/a-dsl-for-implementing-math-functions/2024-05-31T17:50:12+00:00https://blog.sigplan.org/2024/07/08/box-plots-or-better/2024-07-06T15:43:18+00:00https://blog.sigplan.org/2024/08/12/soundly-handling-linearity/2024-08-09T21:29:36+00:00https://blog.sigplan.org/2024/10/22/prompts-are-programs/2024-10-22T15:13:23+00:00https://blog.sigplan.org/2024/11/04/evaluating-the-new-asplos-review-process/2024-11-04T23:42:43+00:00https://blog.sigplan.org/2024/11/21/evaluating-human-factors-beyond-lines-of-code/2024-11-21T15:22:41+00:00https://blog.sigplan.org/2025/01/02/should-pldi-return-to-in-person-program-committee-meetings-survey-results/2025-01-13T17:33:25+00:00https://blog.sigplan.org/2025/01/13/the-missing-mentoring-pillar/2025-01-13T17:34:57+00:00https://blog.sigplan.org/2025/01/29/parametric-subtyping-for-structural-parametric-polymorphism/2025-01-28T01:10:30+00:00https://blog.sigplan.org/2025/03/20/testing-ai-software-isnt-like-testing-plain-old-software/2025-03-20T16:21:36+00:00https://blog.sigplan.org/2025/03/31/how-to-give-a-good-talk/2025-03-27T18:23:58+00:00https://blog.sigplan.org/2025/05/19/the-academic-pipeline-stall-why-industry-must-stand-for-academia/2025-05-19T13:43:38+00:00https://blog.sigplan.org/2025/08/29/ai-models-need-a-virtual-machine/2025-08-28T22:54:48+00:00https://blog.sigplan.org/2025/09/09/the-reserve-reviewer-policy/2025-09-09T15:59:52+00:00https://blog.sigplan.org/2025/09/16/think-globally-discuss-pl-locally/2025-09-15T23:14:40+00:00https://blog.sigplan.org/2026/04/21/repositories-are-human-agent-knowledge-factories/2026-04-22T17:23:43+00:00https://blog.sigplan.org/2026/05/15/the-transformation-of-documents-repositories-are-the-new-unit-of-knowledge-work/2026-05-18T22:24:50+00:00https://blog.sigplan.org/2026/07/20/sigplan-budget/2026-07-19T02:00:42+00:00