Karl M. Schimpf

Tree Pushdown Automata

Jean H. Gallier, Karl M. Schimpf, J. Gallier, 1985, J. Comput. Syst. Sci..

On the (non-) relationship between SLR(1) and NQLALR(1) grammars

Karl M. Schimpf, Manuel E. Bermudez, 1988, TOPL.

Practical Arbitrary Lookahead LR Parsing

Karl M. Schimpf, Manuel E. Bermudez, M. Bermudez, 1990, J. Comput. Syst. Sci..

A practical arbitrary look-ahead LR parsing technique

Karl M. Schimpf, Manuel E. Bermudez, M. Bermudez, 1986, SIGPLAN '86.

Compilation using two-colored pebbling register allocation method

Karl M. Schimpf, Ashfaq A. Munshi, 1986 .

A general model for fixed look-ahead lr parsers

Karl M. Schimpf, Manuel E. Bermudez, M. Bermudez, 1988 .

Adapting Software Fault Isolation to Contemporary CPU Architectures

Bennet S. Yee, Karl M. Schimpf, Robert Muth, 2010, USENIX Security Symposium.