Compilers are tools typically used to create binary we call software. Kenneth Miller has some interesting thoughts on extending the metaphor (and tools) to both human and programming languages.

After a brief introduction of existing compiler technology, Kenneth discusses his ideas that include:

• type checking natural languages
• probabilistic type inference
• an algebra for linguistic analysis

Leading to some interesting tools and conclusions.

This event is generously hosted by The Iron Yard Charleston.

• Miller biography
• meetup details (Meetup)
• Slides (pdf)

Kenneth Miller

Kenneth enjoys working on both high and low level computer security tools where he specializes in a novel solution: proactive defense strategy to defend against attacks.

Applying unconventional solutions to difficult problems is one of Miller's distinctive features, and one for which Functional Programming powers his desire to change the world for the better.

He currently works as scientist at the Space and Naval Warfare Systems Center. His work there includes a combined instrumentation and execution visualizer used in his Master's Thesis.

Presentations:

• Linguistics and Compilers

Projects:

• Exploit Examples - Real world examples and source code of how exploits work.
• more projects on github

Certifications:

• GIAC Penetration Tester (GPEN) - Network Penetration Testing