meta files

src/.format_checked.json

@@ -49,7 +49,7 @@
     "projects/poweragility/index.html": "7dd9347c4412bef98be8ba7c94e2aa3e",
     "projects/thermaplan/index.html": "5f1a863d2e5884717ff5f4055ab37a9d",
     "projects/sustainability/index.html": "88a93d0f1e408a1126f7022e20ac5af3",
-    "projects/wirelessvalidation/index.html": "5837f48a694c9abb863108bf73bbc85a",
+    "projects/wirelessvalidation/index.html": "88fa48bd78d527e5342c320203b0d064",
     "projects/jouler/index.html": "7f30078f7f2bf808d30b70482a34557b",
     "courses/ub-421-spring-2012/index.html": "5c728459292c4fb5d571f4d8818b6377",
     "courses/ub-421-spring-2013/index.html": "1398356829172946f4919aa1225c8541",
@@ -62,7 +62,7 @@
     "courses/ub-421-spring-2017/index.html": "cc5521852027b46f74cf5cdf18e3832f",
     "papers/netmob2013-phonelab/index.html": "6714350b823d584efa6ee9cf7bf67936",
     "papers/gosmart2013-hvac/index.html": "88bfcd0a4735fee61cef62430696f0c4",
-    "papers/index.html": "b298c42d4de6d1bc0e6a0eadcb28f0cb",
+    "papers/index.html": "95b19e1f6731ddb0730392e2c4117a6b",
     "papers/sensemine2013-phonelab/index.html": "be7d68f2ef94b83ca13eb6d4815c7f01",
     "papers/hotnets2014-pocketsniffer/index.html": "ce96b434592fc5d1672f4ae9453a5e42",
     "papers/hotplanet2014-pocketmocker/index.html": "83817a478dd558cc8a421699c7c6f254",
@@ -85,13 +85,13 @@
     "papers/rv2016-sniffer/index.html": "edf6a4e6d28c0ea404337f5b0cc9b5c3",
     "papers/infocom2016-scans/index.html": "d0fcf80c050a9ed67fd1b1540e7685b5",
     "people/alijmabe/index.html": "7485562c9510da40596fe4c748d932ae",
-    "people/index.html": "0beb732cd25ff45bb392bf60077ba7e1",
+    "people/index.html": "c36f41bdae8b8ae88812ad78b76c1b8c",
     "people/anudipa/index.html": "3236614e43720a508efbcf987b0361fd",
     "people/carlnues/index.html": "d542c8725ea4a5146cd6bd3ef19669dd",
     "people/gjbunyea/index.html": "bb762c5c820c2252a72d000ae39a02c6",
     "people/edwinsan/index.html": "0556820a79ef9b22b81ed72c9c5457c0",
     "people/grantwra/index.html": "60ef567c8ef333a5c11aaa0728778e1d",
-    "people/jinghaos/index.html": "24b42bf41b2ec006fc434bda91a598f0",
+    "people/jinghaos/index.html": "ca0726cc14d41880600d6471d0019c9e",
     "people/lethiraj/index.html": "8f0ac7a31556bd09958f053d6ab7b41a",
     "people/kylescho/index.html": "0c6ff07e13728515b9eb50d70b95fa16",
     "people/gurupras/index.html": "77522a10036e4c4dfb2ae80043578a6f",
@@ -167,5 +167,6 @@
     "posts/2017-10-19-flipping-a-large-class-part-2/index.html": "db2d6637c844717caabdea0d835fa953",
     "posts/2017-11-28-flipping-a-large-class-part-2/index.html": "0bd20099328954beb4652dfd5d532319",
     "posts/2017-11-28-into-the-briar-patch/index.html": "df5ff637e3e8afe9c768b0fee9e282ad",
-    "posts/2017-11-28-one-reason-your-smartphone-might/index.html": "a89ba891a90489f87b2cca6456d1c831"
+    "posts/2017-11-28-one-reason-your-smartphone-might/index.html": "a89ba891a90489f87b2cca6456d1c831",
+    "papers/fmsd17-verification/index.html": "68ecbb06c210402d951fcd2f32e3a594"
 }

src/.links_checked.json

@@ -808,5 +808,12 @@
     "http://www.facebook.com/share.php?u=https://www.bluegroup.systems/posts/2017-11-28-flipping-a-large-class-part-2/": "2017-11-28T20:20:35.339Z",
     "https://twitter.com/share?url=https://www.bluegroup.systems/posts/2017-11-28-flipping-a-large-class-part-2/": "2017-11-28T20:20:35.339Z",
     "http://www.facebook.com/share.php?u=https://www.bluegroup.systems/posts/2017-11-28-one-reason-your-smartphone-might/": "2017-11-28T20:20:35.339Z",
-    "https://twitter.com/share?url=https://www.bluegroup.systems/posts/2017-11-28-one-reason-your-smartphone-might/": "2017-11-28T20:20:35.339Z"
+    "https://twitter.com/share?url=https://www.bluegroup.systems/posts/2017-11-28-one-reason-your-smartphone-might/": "2017-11-28T20:20:35.339Z",
+    "https://github.com/blue-systems-group/www/blob/master/src/papers/2017/fmsd17-verification/summary.adoc": "2017-11-28T22:03:58.271Z",
+    "https://github.com/blue-systems-group/www/commits/master/src/papers/2017/fmsd17-verification/summary.adoc": "2017-11-28T22:03:58.271Z",
+    "https://link.springer.com/journal/10703": "2017-11-28T22:03:58.271Z",
+    "https://github.com/blue-systems-group/papers.fmsd-verification.git": "2017-11-28T22:03:58.271Z",
+    "http://portal.core.edu.au/jnl-ranks/284/": "2017-11-28T22:03:58.271Z",
+    "https://github.com/blue-systems-group/www/commit/a7058279ae83458022c78dd9393af1fb927edfbf": "2017-11-28T22:03:58.271Z",
+    "https://github.com/jhshi": "2017-11-28T22:05:20.371Z"
 }

src/.spelling_checked.json

@@ -64,15 +64,15 @@
         "papers/mobicase2015-jouler/index.html": "db89c2a31415577d8c04d51415f16bf5",
         "papers/tpctc2015-pocketdata/index.html": "8ab7c3f9e2abd2e1200660f185fb9ba1",
         "papers/infocom2016-scans/index.html": "512532c5f2563036655cfe8b9b65cee6",
-        "people/index.html": "89ae7253b1fa99f21ae22be4b2ee52ae",
+        "people/index.html": "25c1c569e96fe78b6238871fa4fa06f2",
         "people/alijmabe/index.html": "7485562c9510da40596fe4c748d932ae",
         "people/ans25/index.html": "d80f288a14bffe16bb8c6b87255ac7ce",
         "people/anudipa/index.html": "3236614e43720a508efbcf987b0361fd",
         "people/brijeshr/index.html": "f94c99ddab3e402c29017a41f4bb6f6e",
         "people/carlnues/index.html": "d542c8725ea4a5146cd6bd3ef19669dd",
         "people/edwinsan/index.html": "0556820a79ef9b22b81ed72c9c5457c0",
         "people/gurupras/index.html": "77522a10036e4c4dfb2ae80043578a6f",
-        "people/jinghaos/index.html": "3237c7b51cfd37ab539171854bd88e67",
+        "people/jinghaos/index.html": "ca0726cc14d41880600d6471d0019c9e",
         "people/kylescho/index.html": "0c6ff07e13728515b9eb50d70b95fa16",
         "people/maulikda/index.html": "3eb8b06813162ad09c49813b7bfddee1",
         "people/mrferris/index.html": "20a91630a53d71907e159a22271efca1",
@@ -97,7 +97,7 @@
         "projects/internetclass/index.html": "1966eafd583034f3a616f0a94233f325",
         "posts/2016-07-10-cs101-part-1-how-and-why-intro/index.html": "af69e6f9a07b65b1cede6e6cc90fe912",
         "posts/2016-07-10-universities-war-against-the-in/index.html": "e484af98badba3f2a0d7f445abfa8565",
-        "projects/wirelessvalidation/index.html": "5837f48a694c9abb863108bf73bbc85a",
+        "projects/wirelessvalidation/index.html": "88fa48bd78d527e5342c320203b0d064",
         "projects/multidevice/index.html": "1cb8bcfb359d60a9d6790c8a380d4122",
         "courses/ub-720-fall-2016/index.html": "16f85edfecdec6fea68a63e7a7c39ce2",
         "courses/ub-199-fall-2016/index.html": "5da8c74145249d7a614c9d1dd56e7144",

src/.updated.json

@@ -403,9 +403,9 @@
     },
     "people/jinghaos@buffalo.edu/bio.html": {
         "filename": "people/jinghaos@buffalo.edu/bio.html",
-        "hash": "ea60e21b4a602e5818e5abbaa005223b",
+        "hash": "8f824e49e0c5f2ff1de61af4d4cbb38d",
         "created": "2016-02-11T16:16:19.301Z",
-        "updated": "2016-02-11T16:16:19.301Z"
+        "updated": "2017-11-28T22:03:58.271Z"
     },
     "people/kylescho@buffalo.edu/bio.html": {
         "filename": "people/kylescho@buffalo.edu/bio.html",