miniblog.

← Back to all posts
Jan 24, 2020 at 05:10
I attended a bunch of great talks at #POPL yesterday. My highlight yesterday was a delightful talk applying program synthesis techniques for generating visualisations! Elegant and practical.
Visualization by Example (POPL 2020 - Research Papers) - POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Related Posts

Aug 26, 2024 at 05:29
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented! Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv
Apr 12, 2023 at 02:45
On how far programming language research has come, and the maturity of tools and techniques that make more ambitious projects viable:
Semantic Domain: The Golden Age of PL Research
Mar 2, 2023 at 17:48
Generated Code Generates Overconfident Coders: https://www.deeplearning.ai/the-batch/issue-180/ A study of programmers found that using a LLM for completion produced buggier code but users were more confident in it. I wonder if this generalises to other completion techniques?
Generated Code Makes Overconfident Programmers, China's Autonomous Drone Carrier and more
Generated Code Makes Overconfident Programmers, China's Autonomous Drone Carrier and more
The Batch - AI News & Insights: In late December, Google reportedly issued a “code red” to raise the alarm internally to the threat of disruption...