Perry Alexander


Professor, EECS Department, Director ITTC
Electrical Engineering and Computer Science
The University of Kansas

Fields of interest: 

Applied formal methods, formal verification, formal synthesis, system-level design, design languages and semantics, model composition


Recent publications:

Frisby, N., M. Peck, M. Snyder, P. Alexander:
“Model Composition in Rosetta,”
IEEE Engineering of Computer-Based Systems Symposium and Workshops, (ECBS’11), Las Vegas, NV, 2011

Kimmell, G., N. Frisby, P. Weaver, and P. Alexander:
“Constructing Language Processors with Algebra Combinators,”
Science of Computer Programming, 75(7), July, 2010.

Austin, E., and P. Alexander: 
“HaskHOL: A Haskell Hosted Domain Specific Language Representation of HOL Light,”
Trends in Functional Programming (TFP’10), Norman, OK, May 17-19, 2010.

Snyder, M., and P. Alexander: 
“Type-Indexed Monads”
Trends in Functional Programming (TFP’10), Norman, OK, May 17-19, 2010.

Alexander, P.:
“Rosetta: Standardization at the System Level,”
IEEE Computer, 42(1), January 2009

Snyder, M., N. Frisby, G. Kimmell, P. Alexander:
“Writing Composable Software with InterpreterLib,”
Proceedings of Software Composition (SC’09), Zurich, Switzerland, July 2-3, 2009

Kimmell, G., E. Komp, G. Minden, and P. Alexander:
“Synthesizing Software Defined Radios from Rosetta Specifications”
Proceedings of the Forum on specification and Design Languages (FDL’08), Stuttgart, Germany, September 23-25, 2008

Alexander, P.:
“Security as a System-Level Constraint”
invited presentation at High Confidence Systems and Software Symposium (HCSS’08) , Baltimore, MD, March 3, 2008

Weaver, P., G. Kimmell, N. Frisby, and P. Alexander:
“Constructing Language Processors with Algebra Combinators”
Proceedings of the Generative Programming and Component Engineering (GPCE’07), Salzburg, Austria, October, 2007

Alexander, P.:
System Level Design with Rosetta,
Morgan Kaufmann Publishers, Sept 2006