update

sunchao · Nov 23, 2016 · 5902423 · 5902423
commit 5902423
Show file tree

Hide file tree

Showing 67 changed files with 13,107 additions and 0 deletions.
diff --git a/about.html b/about.html
@@ -0,0 +1,55 @@
+<?xml version="1.0" encoding="UTF-8" ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http:https://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http:https://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+ <head>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <meta name="viewport" content="width=device-width, initial-scale=1,user-scalable=no">
+ <title>About</title>
+ <link rel="stylesheet" type="text/css" href="./css/default.css" />
+ <link rel="stylesheet" type="text/css" href="./css/github.css" />
+ <link rel="stylesheet" type="text/css" href="./css/old.css" />
+ <script type="text/javascript" src="http:https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
+ <script src="./js/mathjaxConfig.js"></script>
+
+
+ </head>
+ <body>
+
+ <header>
+ <div class="title">Chao Sun</div>
+ <div class="navi">
+ <a href="./">Home</a>
+ <a href="./about.html">About</a>
+ <a href="./projects.html">Projects</a>
+ <a href="./archive.html">Archive</a>
+ </div>
+ <a href="https://www.linkedin.com/in/chao-sun-68b27121"><div class="bird"></div></a>
+ </header>
+
+ <div class="title">
+ <h1>About</h1>
+
+ </div>
+
+
+
+ <div id="content">
+ <p>I am a Software Engineer working at <a href="http:https://www.uber.com]">Uber</a>, mainly in distributed systems and databases. Especially, I am working on how to efficiently access and process the vast amount of data at Uber, which is critical to its business. Previously, I was an engineer at <a href="http:https://www.cloudera.com">Cloudera</a>, where I worked on <a href="https://issues.apache.org/jira/browse/HIVE-7292">Hive on Spark</a> and <a href="http:https://recordservice.io/">RecordService</a>. I am also a Hive committer and PMC member.</p>
+<p>Even before that, I was a PhD student at University of Wisconsin-Milwaukee, with focus on type system and mechanized proofs for Java-like object oriented programming languages. For my thesis, I designed a lightweight type system based on <a href="http:https://dl.acm.org/citation.cfm?id=1760273">Fractional Permissions</a>, and proved its correctness with <a href="http:https://twelf.org/wiki/Main_Page">Twelf</a>. Basically, this type system can be used to check nonnull-ness, unique-ness, and method effects. The novelty of the proof is that we piggy-back it to the existing proof for the Fractional Permission system, which is already proven sound by my advisor, <a href="http:https://www.cs.uwm.edu/~boyland/">John Boyland</a>.</p>
+<p>During my PhD period, I developed a strong interest on programming languages, especially in functional languages. I especially like Haskell.</p>
+ </div>
+
+
+
+ <div id="footer">
+ <span class="left"><a href="//github.com/sunchao/sunchao.github.io">Source</a>
+ on Github</span>
+
+ Site proudly generated by
+ <a href="http:https://jaspervdj.be/hakyll">Hakyll</a>
+ and credits to <a href="http:https://mattwetmore.me">Matt Wetmore</a>
+ for the blog template
+ </div>
+ <script src="./js/sidenote.js"></script>
+ </body>
+</html>
diff --git a/archive.html b/archive.html
@@ -0,0 +1,78 @@
+<?xml version="1.0" encoding="UTF-8" ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http:https://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http:https://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+ <head>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <meta name="viewport" content="width=device-width, initial-scale=1,user-scalable=no">
+ <title>Archives</title>
+ <link rel="stylesheet" type="text/css" href="./css/default.css" />
+ <link rel="stylesheet" type="text/css" href="./css/github.css" />
+ <link rel="stylesheet" type="text/css" href="./css/old.css" />
+ <script type="text/javascript" src="http:https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
+ <script src="./js/mathjaxConfig.js"></script>
+
+
+ </head>
+ <body>
+
+ <header>
+ <div class="title">Chao Sun</div>
+ <div class="navi">
+ <a href="./">Home</a>
+ <a href="./about.html">About</a>
+ <a href="./projects.html">Projects</a>
+ <a href="./archive.html">Archive</a>
+ </div>
+ <a href="https://www.linkedin.com/in/chao-sun-68b27121"><div class="bird"></div></a>
+ </header>
+
+ <div class="title">
+ <h1>Archives</h1>
+
+ </div>
+
+
+
+ <div id="content">
+ Here you can find all my previous posts:
+<ul class="posts">
+
+ <li>
+ <a href="./posts/2016-11-13-installing-hive-and-hadoop-locally.html">Installing Hive and Hadoop locally</a> - November 13, 2016
+ </li>
+
+ <li>
+ <a href="./posts/2016-05-22-emacs-bindings-for-iterm-under-osx.html">Emacs bindings for iTerm under OSX</a> - May 22, 2016
+ </li>
+
+ <li>
+ <a href="./posts/2015-09-22-understanding-how-thrift-works.html">Understanding how Thrift RPC works</a> - September 22, 2015
+ </li>
+
+ <li>
+ <a href="./posts/2014-01-28-implementing-foldl-with-foldr.html">Implementing foldl with foldr</a> - January 28, 2014
+ </li>
+
+ <li>
+ <a href="./posts/2013-08-15-creating-a-blog-using-hakyll.html">Creating a Blog Using Hakyll</a> - August 15, 2013
+ </li>
+
+</ul>
+
+
+ </div>
+
+
+
+ <div id="footer">
+ <span class="left"><a href="//github.com/sunchao/sunchao.github.io">Source</a>
+ on Github</span>
+
+ Site proudly generated by
+ <a href="http:https://jaspervdj.be/hakyll">Hakyll</a>
+ and credits to <a href="http:https://mattwetmore.me">Matt Wetmore</a>
+ for the blog template
+ </div>
+ <script src="./js/sidenote.js"></script>
+ </body>
+</html>
diff --git a/css/default.css b/css/default.css
diff --git a/css/github.css b/css/github.css
diff --git a/css/old.css b/css/old.css
diff --git a/files/Lmu-paper.pdf b/files/Lmu-paper.pdf
diff --git a/files/Lmu-pres.pdf b/files/Lmu-pres.pdf
diff --git a/files/qt-pres.pdf b/files/qt-pres.pdf
diff --git a/files/summ.pdf b/files/summ.pdf
diff --git a/font/Calluna-Regular-webfont.eot b/font/Calluna-Regular-webfont.eot