Add directories for the notes of each lecturer

OPLSS · Jun 18, 2019 · 0e1e640 · 0e1e640
1 parent 36043c0
commit 0e1e640
Show file tree

Hide file tree

Showing 10 changed files with 32 additions and 0 deletions.
diff --git a/Ahmed/README.md b/Ahmed/README.md
@@ -0,0 +1,3 @@
+## Amal Ahmed — Northeastern University
+
+### Secure Compilation
diff --git a/Gordon/README.md b/Gordon/README.md
@@ -0,0 +1,5 @@
+## Andrew Gordon — Microsoft Research
+
+### Empowering Spreadsheet Users with Probabilistic Programming
+
++ [Lecture Notes](https://www.cs.uoregon.edu/research/summerschool/summer19/lecture_notes/DRAFT___Probabilistic_Programming_for_End_Users.pdf)
diff --git a/Harper/README.md b/Harper/README.md
@@ -0,0 +1,3 @@
+## Robert Harper — Carnegie Melon University
+
+### Practical Foundations for Programming Languages
diff --git a/Henglein/README.md b/Henglein/README.md
@@ -0,0 +1,3 @@
+## Fritz Henglein — Deon Digital AG and University of Copenhagen
+
+### Smart Declarative Contracts
diff --git a/Hoffmann/README.md b/Hoffmann/README.md
@@ -0,0 +1,3 @@
+## Jan Hoffmann — Carnegie Melon University
+
+### Resource Analysis
diff --git a/Myers/README.md b/Myers/README.md
@@ -0,0 +1,3 @@
+## Andrew Myers — Cornell University
+
+### Security-Typed Languages
diff --git a/Pfenning/README.md b/Pfenning/README.md
@@ -0,0 +1,3 @@
+## Frank Pfenning — Carnegie Melon University
+
+### Session-Typed Concurrent Programming
diff --git a/Silva/README.md b/Silva/README.md
@@ -0,0 +1,3 @@
+## Alexandra Silva — University College London
+
+### Coalgebraic Semantics
diff --git a/Staton/README.md b/Staton/README.md
@@ -0,0 +1,3 @@
+## Sam Staton — University of Oxford
+
+### Probabilistic programming: Bayesian Nonparametrics and Semantics
diff --git a/Swamy/README.md b/Swamy/README.md
@@ -0,0 +1,3 @@
+## Nikhil Swamy — Microsoft Research
+
+### Verifying Low-level Code for Security and Correctness Properties using F*
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Amal Ahmed — Northeastern University

		### Secure Compilation
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Robert Harper — Carnegie Melon University

		### Practical Foundations for Programming Languages
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Fritz Henglein — Deon Digital AG and University of Copenhagen

		### Smart Declarative Contracts
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Jan Hoffmann — Carnegie Melon University

		### Resource Analysis
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Andrew Myers — Cornell University

		### Security-Typed Languages
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Frank Pfenning — Carnegie Melon University

		### Session-Typed Concurrent Programming
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Alexandra Silva — University College London

		### Coalgebraic Semantics
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Sam Staton — University of Oxford

		### Probabilistic programming: Bayesian Nonparametrics and Semantics
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		## Nikhil Swamy — Microsoft Research

		### Verifying Low-level Code for Security and Correctness Properties using F*