Pumping
DieHard: Memory Error Fault Tolerance in C and C++ Ben Zorn Microsoft Research In collaboration with Emery Berger and Gene Novark, Univ. of Massachusetts.
Software Fault Tolerance for Type-unsafe Languages Ben Zorn Microsoft Research In collaboration with Emery Berger, Univ. of Massachusetts Karthik Pattabiraman,
Push Down Automata
CS480(Prasad)L9FSA1 Finite State Automata. CS480(Prasad)L9FSA2 Formal Specification of Languages Generators Context-free Grammars Regular Expressions.
Reasoning, Attention, Memory (RAM) NIPS Workshop 2015 Organizers: Jason Weston, Sumit Chopra and Antoine Bordes.
Finite State Automata