diff --git a/_site/index.html b/_site/index.html index a022546..c0ed2cd 100644 --- a/_site/index.html +++ b/_site/index.html @@ -66,7 +66,7 @@

Publications

Teaching

-

Fall 2019: CS4910: Verified Compilers and Multi-Language Software

+

Fall 2019: CS4910: Verified Compilers and Multi-Language Software

Talks

On Compositional Compiler Correctness and Fully Abstract Compilation. diff --git a/_site/static/apple/IMG_0100.jpg b/_site/static/apple/IMG_0100.jpg new file mode 100644 index 0000000..5ba91e6 Binary files /dev/null and b/_site/static/apple/IMG_0100.jpg differ diff --git a/_site/static/apple/IMG_0103.jpg b/_site/static/apple/IMG_0103.jpg new file mode 100644 index 0000000..02ed8b5 Binary files /dev/null and b/_site/static/apple/IMG_0103.jpg differ diff --git a/_site/static/apple/IMG_0106.jpg b/_site/static/apple/IMG_0106.jpg new file mode 100644 index 0000000..6e451ee Binary files /dev/null and b/_site/static/apple/IMG_0106.jpg differ diff --git a/_site/static/apple/IMG_0107.jpg b/_site/static/apple/IMG_0107.jpg new file mode 100644 index 0000000..73a458b Binary files /dev/null and b/_site/static/apple/IMG_0107.jpg differ diff --git a/_site/static/apple/IMG_0110.jpg b/_site/static/apple/IMG_0110.jpg new file mode 100644 index 0000000..c44f7f5 Binary files /dev/null and b/_site/static/apple/IMG_0110.jpg differ diff --git a/_site/static/apple/IMG_0117.jpg b/_site/static/apple/IMG_0117.jpg new file mode 100644 index 0000000..badf0cd Binary files /dev/null and b/_site/static/apple/IMG_0117.jpg differ diff --git a/_site/static/apple/IMG_0118.jpg b/_site/static/apple/IMG_0118.jpg new file mode 100644 index 0000000..8c03c50 Binary files /dev/null and b/_site/static/apple/IMG_0118.jpg differ diff --git a/_site/static/apple/IMG_0128.jpg b/_site/static/apple/IMG_0128.jpg new file mode 100644 index 0000000..eab4809 Binary files /dev/null and b/_site/static/apple/IMG_0128.jpg differ diff --git a/_site/static/apple/IMG_0130.jpg b/_site/static/apple/IMG_0130.jpg new file mode 100644 index 0000000..f025ddb Binary files /dev/null and b/_site/static/apple/IMG_0130.jpg differ diff --git a/static/apple/IMG_0100.jpg b/static/apple/IMG_0100.jpg new file mode 100644 index 0000000..5ba91e6 Binary files /dev/null and b/static/apple/IMG_0100.jpg differ diff --git a/static/apple/IMG_0103.jpg b/static/apple/IMG_0103.jpg new file mode 100644 index 0000000..02ed8b5 Binary files /dev/null and b/static/apple/IMG_0103.jpg differ diff --git a/static/apple/IMG_0106.jpg b/static/apple/IMG_0106.jpg new file mode 100644 index 0000000..6e451ee Binary files /dev/null and b/static/apple/IMG_0106.jpg differ diff --git a/static/apple/IMG_0107.jpg b/static/apple/IMG_0107.jpg new file mode 100644 index 0000000..73a458b Binary files /dev/null and b/static/apple/IMG_0107.jpg differ diff --git a/static/apple/IMG_0110.jpg b/static/apple/IMG_0110.jpg new file mode 100644 index 0000000..c44f7f5 Binary files /dev/null and b/static/apple/IMG_0110.jpg differ diff --git a/static/apple/IMG_0117.jpg b/static/apple/IMG_0117.jpg new file mode 100644 index 0000000..badf0cd Binary files /dev/null and b/static/apple/IMG_0117.jpg differ diff --git a/static/apple/IMG_0118.jpg b/static/apple/IMG_0118.jpg new file mode 100644 index 0000000..8c03c50 Binary files /dev/null and b/static/apple/IMG_0118.jpg differ diff --git a/static/apple/IMG_0128.jpg b/static/apple/IMG_0128.jpg new file mode 100644 index 0000000..eab4809 Binary files /dev/null and b/static/apple/IMG_0128.jpg differ diff --git a/static/apple/IMG_0130.jpg b/static/apple/IMG_0130.jpg new file mode 100644 index 0000000..f025ddb Binary files /dev/null and b/static/apple/IMG_0130.jpg differ