E-mail:mmcdouga |at| saul.cis.upenn.edu
What I am
I work for
GrammaTech in Ithaca, NY. My
research there focuses on tools for finding and mitigating security
flaws and other flaws in software. I'm leading one project on software visualization for large systems, and another on improving tools used by NASA for software quality.
In the past, I led GrammaTech's recruiting efforts and headed a project on security analysis for the semantic web.
I also contribute to other research and commercial projects.
- Gerard Holzmann and Michael McDougall. "The Power of 10", Software Test and Performance, vol. 6, no. 10, October 2009. (Trade journal)
- Paul Anderson, Michael McDougall, and Mark Zarins. "The use and implementation of coding standards for high-confidence embedded systems".
IEEE Aerospace Conference, 2008. PDF
- Thesis: Michael McDougall. "Modeling And Analyzing Integrated Policies". January 2005.PDF
- Michael McDougall, Rajeev Alur and Carl A. Gunter. "A Model-Based Approach to Integrating Security Policies for Embedded
ACM EMSOFT, Italy, September 2004. Full paper -
- A. Goodloe, M. McDougall, C. Gunter and R. Alur. "Predictable
programs in barcodes," International Conference on Compilers,
Architecture and Synthesis of Embedded Systems (CASES), 2002.
paper - PDF.
- R. Alur, M. McDougall and Z. Yang. "Exploiting behavioral
hierarchy for efficient model checking," 14th International
Conference on Computer-Aided Verification, 2002. Full
paper - PDF.
- Pankaj Kakkar, Michael McDougall, Carl A. Gunter and Trevor
Jim. "Certificate Distribution with Local Autonomy," Active
Networks, Second International Working Conference, LNCS 1942,
Tokyo, Japan, October 2000. Full
paper - PS.
- R. Alur, R. Grosu, and M. McDougall. "Efficient reachability
analysis of hierarchic reactive machines," 12th International
Conference on Computer-Aided Verification, LNCS 1855, pp.
280--295, 2000. Abstract. Full
paper - PS.
- L. Devroye and M. McDougall, "Random fonts for the simulation
of handwriting," Electronic Publishing, vol. 8, pp. 281-294,
Generally I am interested software engineering and security issues,
especially the application of formal methods to those issues. (There's
a decent plain-english
about this field in an old Economist.)
My dissertation was on policy automata, a formal model of
stateful access-control policies. I implemented a tool called
that checks these policies, looking for problems like
conflicts and redundancies. This work is part of the OpEm project. I was
by the Daily Pennsylvanian (the local student paper) about this work.
Here are some
specific projects I was involved in while in school:
- The OpEm project:
exploring the use of open programming interfaces in embedded devices.
This project evolved out of our work on
the Mircowave Oven Recipe Language.
- Hermes : a
model checker. We have developed a model checker (in Java) for a
graphical language called Hierarchical Reactive Machines. Work with
Rajeev Alur, Radu Grosu and
- QCM : Secure
distribution of certificates and other information.
- QCMD: Managing security on the ABONE. Here is the web page for
- Infinite Sets: Using static analysis to see if database queries
to infinite sets can be resolved in finite space.
- Fonts: dynamic fonts that simulate
- Knot Theory: especially algorithms for
Things I do that aren't really research:
- Newstat: a web application that collects and presents
statistics about newsgroup traffic. It will work on any newsgroup
but it's designed for chatty newsgroups where mosts posts are
replies to previous posts.
This was partly inspired by a presentation that Michael Kearns gave
about Cobot. If you
want the source send me mail.
My brother can be seen here (he's the
one on the bottom).
My in-laws run a decorating
center in Halifax.
Oh no, I made a blog.
My cats, Ramona, Inez and Steve.
Have you seen the Happy Cow?
The Horseshoes and Handgrenades Home
A list of software tools I
How I put together an MP3 component
for my stereo.
Pictures from Nova Scotia.
Big Sky, March 2008
Halifax from 38000 feet.
Brian Eno's oblique strategies
- Help for people who are stuck.
- Desktop Wallpaper
- Nice background images.