[Guest poster Thomas Ball of Microsoft Research remembers his Ph.D. advisor, Professor and programming languages researcher Susan Horwitz, who recently passed away. –Mike]
-
Recent Posts
Subscribe to Blog via Email
Join 3,799 other subscribersRecent Comments
- Is Python type safe? – Row Coding on What is type safety?
- Is Python type safe? - Tutorial Guruji on What is type safety?
- Unsafe languages, inadequate defense mechanisms and our dangerous addiction to legacy code | Computer Science Blog on What is memory safety?
- Nate Foster on BullFrog: Online Schema Migration, On Demand
- Michael Hicks on BullFrog: Online Schema Migration, On Demand
Archives
- October 2022 (1)
- June 2021 (1)
- July 2020 (1)
- February 2019 (1)
- January 2019 (1)
- August 2018 (3)
- July 2018 (2)
- October 2017 (1)
- September 2017 (1)
- May 2017 (1)
- February 2017 (1)
- January 2017 (2)
- November 2016 (1)
- August 2016 (1)
- June 2016 (2)
- May 2016 (1)
- April 2016 (2)
- March 2016 (2)
- February 2016 (2)
- November 2015 (1)
- September 2015 (4)
- June 2015 (2)
- May 2015 (1)
- April 2015 (2)
- March 2015 (3)
- February 2015 (1)
- January 2015 (2)
- December 2014 (3)
- October 2014 (2)
- September 2014 (4)
- August 2014 (6)
- July 2014 (9)
- June 2014 (8)
Categories
- Abstract interpretation (4)
- Algorithms (2)
- Bioinformatics (2)
- Book Reviews (2)
- Dynamic languages (4)
- Education (14)
- Formal verification (7)
- Functional programming (1)
- Interviews (12)
- Language adoption (3)
- MOOCs (3)
- New scientists (5)
- PL in practice (8)
- Policy (3)
- Probabilistic programming (2)
- Process (22)
- Program Analysis (12)
- Rankings (1)
- Research (18)
- Research directions (3)
- Science (16)
- Scientists (9)
- Secure computation (5)
- Semantics (9)
- Software engineering (2)
- Software Security (19)
- Software Testing (1)
- Systems (2)
- Types (9)
- Uncategorized (6)
Wordpress.org
The Programming Languages Enthusiast · Developments in PL, and why they matter
Proudly powered by WordPress
·
Theme: Pilcrow by Automattic.