Mark Shields

Interests

I'm currently with the SQL Server division of Microsoft, working on a unified relational and XML schema and query lanugage with an emphasis on XML Schema, XML Query, and the Entity/Relationship model.

Prior to joining Microsoft I worked for Galois Connections, where I spent two years desiging and implementing a declarative language for embedded cryptographic algorithms. The compiler was able to generate efficient imperative machine code for an embedded microprocessor with hardware-level support for rigorous process partitioning. The compiler was implemented in OCaml. I also spent 18 months working on multi-level security systems.

As an academic I worked on advanced type systems for functional programming languages, particularly Haskell. This included support for first-class modules, object-oriented style programming, XML-structured data and staged computation.

A summary of my resume is available.

Please note: I am not this or this Mark Shields, even though the US postal service sometimes thinks otherwise.

Publications and Preprints

• A verifying core for a cryptographic language compiler. Lee Pike, Mark Shields, John Matthews. In ACL2'06.
• A language for symmetric-key cryptographic algorithms and its efficient implementation. Mark Shields. Galois Connections Technical Report.
• Practical type inference for arbitrary-rank types. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields. To appear in JFP.
• Lexically-scoped type variables. Simon Peyton Jones and Mark Shields. Unpublished.
• A compiler writer's guide to C#. Mark Shields. Lecture notes.
• First-class modules for Haskell. Mark Shields and Simon Peyton Jones. In FOOL 9.
• Object-Oriented style overloading for Haskell. Mark Shields and Simon Peyton Jones. In BABEL'01.
• Static types for dynamic documents. Mark Shields. PhD Thesis.
• Type-Indexed Rows. Mark Shields and Erik Meijer. In POPL'01.
• XMLambda: A functional programming language for constructing and manipulating XML documents. Erik Meijer and Mark Shields. Unpublished.
• Implicit parameters: Dynamic scoping with static types. Jeffrey Lewis, Mark Shields, Erik Meijer and John Launchbury. In POPL'00.
• Dynamic typing as staged type inference. Mark Shields, Tim Sheard and Simon Peyton Jones. In POPL'98.
• Bridging the gulf: A common intermediate language for ML and Haskell. Simon Peyton Jones, John Launchbury, Mark Shields and Andrew Tolmach. In POPL'98.

Contact Details

Mark B Shields
Microsoft Corporation
One Microsoft Way
Redmond, WA 98052-6399 USA
Phone:	+1 425 707 6048
Business email:
Personal email:

24-Jun-2008