diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractensuresnotisnullorwhitespace.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractensuresnotisnullorwhitespace.snippet
new file mode 100644
index 00000000..a6e1ba76
--- /dev/null
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractensuresnotisnullorwhitespace.snippet
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Ensures(!string.IsNullOrWhiteSpace(Contract.Result()))</Title>
+      <Shortcut>cesnw</Shortcut>
+      <Description>Emits an 'ensures' clause specifying result not null or white space</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(!string.IsNullOrWhiteSpace(Contract.Result<string>()));
+$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractinvariantnotisnullorwhitespace.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractinvariantnotisnullorwhitespace.snippet
new file mode 100644
index 00000000..151db997
--- /dev/null
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractinvariantnotisnullorwhitespace.snippet
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Invariant</Title>
+      <Shortcut>cisnw</Shortcut>
+      <Description>Emits a 'Contract.Invariant' not string.IsNullOrWhiteSpace clause</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>expression</ID>
+          <ToolTip>expression that is not null or white space</ToolTip>
+          <Default>m_X</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(!string.IsNullOrWhiteSpace($expression$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresalwaysnotisnullorwhitespace.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresalwaysnotisnullorwhitespace.snippet
new file mode 100644
index 00000000..558c33e0
--- /dev/null
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresalwaysnotisnullorwhitespace.snippet
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires&lt;ArgumentException&gt;(!string.IsNullOrWhiteSpace(..))</Title>
+      <Shortcut>cresnw</Shortcut>
+      <Description>Emits a 'requires with exception' not IsNullOrWhiteSpace</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>variable</ID>
+          <ToolTip>argument name</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentException>(!string.IsNullOrWhiteSpace($variable$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresnotisnullorwhitespace.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresnotisnullorwhitespace.snippet
new file mode 100644
index 00000000..04688365
--- /dev/null
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresnotisnullorwhitespace.snippet
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires(!string.IsNullOrWhiteSpace(..))</Title>
+      <Shortcut>crsnw</Shortcut>
+      <Description>Emits a 'requires' not IsNullOrWhiteSpace</Description>
+      <Author>Jonathan de Halleux</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>variable</ID>
+          <ToolTip>argument name</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(!string.IsNullOrWhiteSpace($variable$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>