Structured Program Generation Techniques – Yannis Smaragdakis (part 2)

Remember the cliffhanger from Yannis’s previous talk? The problem with the program is that there could be conflicting names in the program already. So, what we need is constraints, like so:   Now, we may only generate for classes that do not have a conflicting getter yet. But how to type check this? We do Read more about Structured Program Generation Techniques – Yannis Smaragdakis (part 2)[…]

Probabilistic program analysis – Matthew Dwyer

What is a probabilistic program? The classic view was introduced by Kozen. Imagine your favorite existing programming language enriched with a primitive that draws from a probability distribution, e.g. normal(0,1). Many programs are probabilistic in some way, as their inputs are distributed in a certain way. More modern probabilistic systems use an observe statement, which is Read more about Probabilistic program analysis – Matthew Dwyer[…]

Empirical Evaluation of Programming and Programming Language Constructs – Stefan Hanenberg

As you might know, I am a big fan of the work of Stefan, we had him over at Devnology last year, and I talked about his work at ALE and iTake. In Computer Science, we often don’t assume certain developer behavior, but, very often, we don’t know whether it indeed occurs. A few examples: Read more about Empirical Evaluation of Programming and Programming Language Constructs – Stefan Hanenberg[…]

People analytics in Software Development – Leif Singer

Collaboration through machine is hard! We used to be able to learn from each other by watching them work, but that is harder now since everyone is occupied with their own work. You want to be able to answer questions like: what is Harry doing, when will this one feature be done etc.? There are Read more about People analytics in Software Development – Leif Singer[…]

Structured Program Generation Techniques – Yannis Smaragdakis

Yannis takes a quite broad definition of program generators, including program transformation like refactorings and program synthesis, apart of course from more traditional interpretation like MDE and DSLs. This is a fascinating topic, says Yannis, what can be more interesting then computing about computation?! 🙂 Program generation is structured when the generator guarantees well-formedness of Read more about Structured Program Generation Techniques – Yannis Smaragdakis[…]