What is Bek?  It is a way to Model Imperative String Operations with Symbolic Transducers.  Ouch, I need an aspirin after writing that sentence.

Like much of software Bek is a solution looking for a problem, but problems there are for this solution! 

From the link: http://research.microsoft.com/apps/pubs/default.aspx?id=141926

Web applications must use special string-manipulating sanitization functions on untrusted user data, but writing these functions correctly is error prone and time consuming.

If you want to read along with me, you can check out the PDF at

http://research.microsoft.com/pubs/141926/MSR-TR-2010-154.pdf

This is complicated, but interesting.

Take a look at my other blogs:

Finally take a look at my colleagues blogs!