| | What is PL research and how is it useful? (pl-enthusiast.net) |
|
1 point by fanf2 58 days ago | past
|
|
| | BullFrog: Online Schema Migration, on Demand (pl-enthusiast.net) |
|
1 point by todsacerdoti on July 1, 2021 | past
|
|
| | Software Security Is a Programming Languages Issue (2018) (pl-enthusiast.net) |
|
116 points by azhenley on Dec 4, 2019 | past | 118 comments
|
|
| | What is soundness in static analysis? (2017) (pl-enthusiast.net) |
|
34 points by rntz on Oct 12, 2019 | past | 3 comments
|
|
| | What Is Memory Safety? (pl-enthusiast.net) |
|
1 point by signa11 on July 26, 2019 | past
|
|
| | “What Is Programming Languages Research?” The Talk – The PL Enthusiast (pl-enthusiast.net) |
|
3 points by matt_d on Feb 4, 2019 | past
|
|
| | What is soundness (in static analysis)? (pl-enthusiast.net) |
|
1 point by pplonski86 on Jan 27, 2019 | past
|
|
| | Evaluating Empirical Evaluations (for Fuzz Testing) (pl-enthusiast.net) |
|
1 point by munin on Aug 26, 2018 | past
|
|
| | Evaluating Empirical Evaluations (for Fuzz Testing) (pl-enthusiast.net) |
|
2 points by matt_d on Aug 23, 2018 | past
|
|
| | Software Security Is a Programming Languages Issue (pl-enthusiast.net) |
|
2 points by ngaut on Aug 14, 2018 | past
|
|
| | Software Security Is a Programming Languages Issue (pl-enthusiast.net) |
|
2 points by matt_d on Aug 13, 2018 | past
|
|
| | Teaching Programming Languages (part 2) (pl-enthusiast.net) |
|
2 points by matt_d on Aug 2, 2018 | past
|
|
| | Teaching Programming Languages (pl-enthusiast.net) |
|
1 point by matt_d on July 24, 2018 | past
|
|
| | What is soundness in static analysis? (2017) (pl-enthusiast.net) |
|
1 point by rntz on Oct 23, 2017 | past
|
|
| | POPL'17 in Paris: Some highlights (pl-enthusiast.net) |
|
4 points by protomyth on Jan 26, 2017 | past
|
|
| | Expressing Security Policies (pl-enthusiast.net) |
|
1 point by osopanda on Sept 26, 2016 | past
|
|
| | Rise of the Robots: Review and Reflection (pl-enthusiast.net) |
|
15 points by munin on May 3, 2016 | past | 4 comments
|
|
| | Confluences in Programming Languages Research (pl-enthusiast.net) |
|
2 points by mwhicks1 on April 13, 2016 | past
|
|
| | Interview with Matt Might (pl-enthusiast.net) |
|
106 points by michaelsbradley on March 26, 2016 | past | 13 comments
|
|
| | Matt Might – A PL Professor and Now a Researcher of 'Precision Medicine' (pl-enthusiast.net) |
|
4 points by Osiris30 on March 26, 2016 | past
|
|
| | Interview with Matt Might (pl-enthusiast.net) |
|
5 points by munin on March 25, 2016 | past
|
|
| | Software Security Ideas Ahead of Their Time (pl-enthusiast.net) |
|
2 points by cronjobber on March 7, 2016 | past
|
|
| | Software Security Ideas Ahead of Their Time (pl-enthusiast.net) |
|
2 points by munin on Feb 1, 2016 | past | 1 comment
|
|
| | Interview with Facebook’s Peter O’Hearn (pl-enthusiast.net) |
|
18 points by mwhicks1 on Sept 16, 2015 | past
|
|
| | What is a bug? (pl-enthusiast.net) |
|
2 points by munin on Sept 8, 2015 | past
|
|
| | PL conference papers to get a journal? (pl-enthusiast.net) |
|
2 points by protomyth on Sept 2, 2015 | past
|
|
| | Interview with Mozilla’s Aaron Turon (pl-enthusiast.net) |
|
70 points by matt_d on June 9, 2015 | past
|
|
| | What is PL research and how is it useful? (pl-enthusiast.net) |
|
88 points by protomyth on May 27, 2015 | past | 62 comments
|
|
| | What is probabilistic programming? – The PL Enthusiast (pl-enthusiast.net) |
|
5 points by deegles on May 6, 2015 | past
|
|
| | Dynamic Software Updating: Linux 4.0 and Beyond (pl-enthusiast.net) |
|
59 points by awruef on April 14, 2015 | past | 8 comments
|
|
|
|
More |
