diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-02 11:28:21 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-02 11:28:21 +0200 |
| commit | 77afcd337370da8c8e5425e86978cacd72850ae0 (patch) | |
| tree | f056fc39908e8c72523acd3cc1594b6b8040028e /static | |
| download | yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.tar.gz yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.zip | |
Add initial files
Diffstat (limited to 'static')
53 files changed, 311 insertions, 0 deletions
diff --git a/static/docs/RTDSP_paper.pdf b/static/docs/RTDSP_paper.pdf Binary files differnew file mode 100644 index 0000000..39d8f87 --- /dev/null +++ b/static/docs/RTDSP_paper.pdf diff --git a/static/docs/drafts/formal_hls.pdf/index.html b/static/docs/drafts/formal_hls.pdf/index.html new file mode 100644 index 0000000..6f7d235 --- /dev/null +++ b/static/docs/drafts/formal_hls.pdf/index.html @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> + <head> + <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/papers/fvhls_oopsla21.pdf'" /> + </head> + <body> + </body> +</html> diff --git a/static/docs/drafts/formal_hls_v1.pdf b/static/docs/drafts/formal_hls_v1.pdf Binary files differnew file mode 100644 index 0000000..9169b33 --- /dev/null +++ b/static/docs/drafts/formal_hls_v1.pdf diff --git a/static/docs/drafts/fuzzing_hls.pdf/index.html b/static/docs/drafts/fuzzing_hls.pdf/index.html new file mode 100644 index 0000000..29b0c34 --- /dev/null +++ b/static/docs/drafts/fuzzing_hls.pdf/index.html @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> + <head> + <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/papers/esrhls_fccm2021.pdf'" /> + </head> + <body> + </body> +</html> diff --git a/static/docs/drafts/fuzzing_hls_v1.pdf b/static/docs/drafts/fuzzing_hls_v1.pdf Binary files differnew file mode 100755 index 0000000..4045979 --- /dev/null +++ b/static/docs/drafts/fuzzing_hls_v1.pdf diff --git a/static/docs/drafts/fuzzing_hls_v2.pdf b/static/docs/drafts/fuzzing_hls_v2.pdf Binary files differnew file mode 100644 index 0000000..f4e867b --- /dev/null +++ b/static/docs/drafts/fuzzing_hls_v2.pdf diff --git a/static/docs/fpga2020/verismith_bib.txt b/static/docs/fpga2020/verismith_bib.txt new file mode 100644 index 0000000..104c1cd --- /dev/null +++ b/static/docs/fpga2020/verismith_bib.txt @@ -0,0 +1,12 @@ +@inproceedings{herklotz20_findin_under_bugs_fpga_synth_tools, + author = {Herklotz, Yann and Wickerson, John}, + title = {Finding and Understanding Bugs in FPGA Synthesis Tools}, + booktitle = {ACM/SIGDA International Symposium on Field-Programmable Gate + Arrays}, + doi = {10.1145/3373087.3375310}, + year = 2020, + location = {Seaside, CA, USA}, + numpages = 11, + publisher = {ACM}, + series = {FPGA '20}, +} diff --git a/static/docs/fpga2020/verismith_paper.pdf b/static/docs/fpga2020/verismith_paper.pdf Binary files differnew file mode 100644 index 0000000..cfa400b --- /dev/null +++ b/static/docs/fpga2020/verismith_paper.pdf diff --git a/static/docs/fpga2020/verismith_slides.pdf b/static/docs/fpga2020/verismith_slides.pdf Binary files differnew file mode 100644 index 0000000..ebcf96e --- /dev/null +++ b/static/docs/fpga2020/verismith_slides.pdf diff --git a/static/docs/fpga2020/verismith_thesis.pdf b/static/docs/fpga2020/verismith_thesis.pdf Binary files differnew file mode 100644 index 0000000..80fde2c --- /dev/null +++ b/static/docs/fpga2020/verismith_thesis.pdf diff --git a/static/docs/fpga2021/fpga2021_slides.pdf b/static/docs/fpga2021/fpga2021_slides.pdf Binary files differnew file mode 100644 index 0000000..cec283c --- /dev/null +++ b/static/docs/fpga2021/fpga2021_slides.pdf diff --git a/static/docs/msrphd2019/verismith_poster.pdf b/static/docs/msrphd2019/verismith_poster.pdf Binary files differnew file mode 100755 index 0000000..60ce504 --- /dev/null +++ b/static/docs/msrphd2019/verismith_poster.pdf diff --git a/static/docs/pldi2020/vericert_slides.pdf b/static/docs/pldi2020/vericert_slides.pdf Binary files differnew file mode 100755 index 0000000..66f8191 --- /dev/null +++ b/static/docs/pldi2020/vericert_slides.pdf diff --git a/static/docs/verismith/verismith_paper.pdf/index.html b/static/docs/verismith/verismith_paper.pdf/index.html new file mode 100644 index 0000000..d4d3aa9 --- /dev/null +++ b/static/docs/verismith/verismith_paper.pdf/index.html @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> + <head> + <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/papers/fubfst_fpga2020.pdf'" /> + </head> + <body> + </body> +</html> diff --git a/static/docs/verismith/verismith_poster.pdf/index.html b/static/docs/verismith/verismith_poster.pdf/index.html new file mode 100644 index 0000000..7fa2668 --- /dev/null +++ b/static/docs/verismith/verismith_poster.pdf/index.html @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> + <head> + <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/docs/msrphd2019/verismith_poster.pdf'" /> + </head> + <body> + </body> +</html> diff --git a/static/docs/verismith/verismith_slides.pdf/index.html b/static/docs/verismith/verismith_slides.pdf/index.html new file mode 100644 index 0000000..b965be7 --- /dev/null +++ b/static/docs/verismith/verismith_slides.pdf/index.html @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> + <head> + <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/docs/fpga2020/verismith_slides.pdf'" /> + </head> + <body> + </body> +</html> diff --git a/static/docs/verismith/verismith_thesis.pdf/index.html b/static/docs/verismith/verismith_thesis.pdf/index.html new file mode 100644 index 0000000..86b5893 --- /dev/null +++ b/static/docs/verismith/verismith_thesis.pdf/index.html @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> + <head> + <meta http-equiv="Refresh" content="0; url='https://yannherklotz.com/docs/fpga2020/verismith_thesis.pdf'" /> + </head> + <body> + </body> +</html> diff --git a/static/docs/yann_herklotz_cv.pdf b/static/docs/yann_herklotz_cv.pdf Binary files differnew file mode 100644 index 0000000..a72e273 --- /dev/null +++ b/static/docs/yann_herklotz_cv.pdf diff --git a/static/docs/yannherklotz.gpg b/static/docs/yannherklotz.gpg new file mode 100644 index 0000000..dfb35d2 --- /dev/null +++ b/static/docs/yannherklotz.gpg @@ -0,0 +1,151 @@ +-----BEGIN PGP PUBLIC KEY BLOCK----- + +mQINBFwaEIIBEAC+QdrjQA6L1/ebrs5OAqz14JVukIjqdj4Uw7Yt5627AX/GuHuv +j2Nkmbs0ECoHSr2jt2IQ1CGVb7fbT/GJeXo3c6KURQ62GSYPCW8I4hwdnKRifycT +zpAv7Y4opsP+SPn1P34hk9aGfkS2n+H8WoM3VRrnHfpC+NVudJ4sptLNNcGL5v+q +GWaOXM3dSytriuH6+BRSsPo3gt1BvB2UMoh31fSNpZOLBb0HR1zJt5Ir0tiu53I+ +FgsU1PVJDV9ceCayCRTlLtJPLYXsGQNOgwvFYy0GW0wxd4V88zKj1V+WL4jdw3ZF +QWh8WsJW1y5Q9OhraAYhyHqVMwZ1A9bGE3uI3b/w4ZZgyXBdu2jB5xo/iJMg/FFQ +6vuD3dSK6gezTZdM/GIdsVOm669G4Pu7CIlO8LCc8MCNIvzWtCWtlyNvCTOoLcIO +xs8JGJb94+Yio6vnVLso5YOHhGwYqwJy2Im1OEZKwwTIRwUQDHe5sMykzx4v+t9W +Xsg0xklQjzK0maEQXgqJS/7Ai9x9x1/2DZdPWFqV3+XoJqfdrq9Ql6cWiRZOSwIK +wa4/CWniDGcA9V/SfnOFYjpBrnJqQIBLxLNoBeK4Gi16mHznMxzPDcjueyoQMidO +cdW+DBjjjEebGjcqrZ+K9SKPq16Eo70w07Ev5ehZ/BvUwrZzWH1AjslHqwARAQAB +tCRZYW5uIEhlcmtsb3R6IDx5bWhlcmtsb3R6QGdtYWlsLmNvbT6JAk4EEwEKADgW +IQTY2rMIPqHP9bLh09Zhr3U1iX5CsAUCXNv+mQIbAwULCQgHAwUVCgkICwUWAgMB +AAIeAQIXgAAKCRBhr3U1iX5CsC8uD/0XTWjsiembAGWf4LKWTonLC3gtqnZrkEKo +5XPqwdaUpKjUomYhSVOKqBWbdEWYsR5IfedzxuUgf4vmOMD4HYTG4BZHF9uCZs4E +W9ID3vwzju1FVMxxKKftoSZyBwQ2sIMS95VQOXHc48mfVt3xfEi9uekrG9baIbDi +pUikIhdpLxmMMocBG9q9Fgywsy30mCOPWgyOnZIRnmdNjerrZK9ImgMwmfMWd1JL +M/9hmxj7uT+vKtMLOchHi+zaGNb4CM8ywwsiUXwp5KwxmPnd/jlSYFPl7FG7M1kB +eoMIAjZ8wJ5PmrcCw+0eCuXw1fgjwSf8Tvh9UdN9HrShOa4Tfo6u13I62ZTrnLq7 +oYWwmhTSD7k/KIJvr/q1fyWoh2oQMdp/i/ARrEnYV/WjkafXIxx4azFp98fVx8ZV +0N+oO4rSy284NSlFZr6YLA5WEbmScDxGKGj3zUYEQ8tELSfEyGVfdJSm8Pg6dXjZ +5q3muJC8kFH1GEKu+RqgVX7yFQQX/XdUzBTJaI4yY7oFJD1EjMVehHCgPuvy7XXO +lIj5rKtrlb9lZaiSv6u/nSWd3bYYDAdeUb6Qum2lmjZ2JToML67BtgKZpWRSZxMz +QpFy54AaY+620k+fMY5p03qSzN9qNMqO0lZIhX/WRq4Nr8dQx1ELgci1y1CJ6ShX +uQNCsHsMgrQlWWFubiBIZXJrbG90eiA8eWFubkB5YW5uaGVya2xvdHouY29tPokC +TgQTAQoAOBYhBNjaswg+oc/1suHT1mGvdTWJfkKwBQJcw4cQAhsDBQsJCAcDBRUK +CQgLBRYCAwEAAh4BAheAAAoJEGGvdTWJfkKwiDUQALO2enLQxukzoedGYr/4XIfA +GJ+/o5wijjppUHQj+IoL0/CMXJV5iJ2MVbg3ljgeZU/7RwFwNqWjeSV/TRG1w03L +CzaUp5680e0iZEixepjWfq/E6bhUUZd6RdKViZSt0gX0g/qEBQ5JdMeorZtA+Fid +fHbV0UK6mglWT962mD1Fr794yl3QGtDUDNEG9TgMUduRzfHXByN+Z+kbdgsvEjOK +4Tu9c2fFu3t3G0KMVCfMS9kPcneaqbR4Op6sa0GkdEzWG3SqPaGaacyL/t+9k6wx +/uZkiHIVX8RAMM5WlSXABOETYiK5Wti5986OjfYc4Z+/+9aMLuD+6qQP/uDCgWBn +CVBUqnNIChBfIjX28Dx2vpEG0od2/xbvRNBG0QgfcTsOrca+5vMYf6l95p9p5+H3 +BHoGyzn+RTYg1N8UNasOrS09GZTJUk/W3IZNPtSNw/Bc/VeH+jELR/HCmdqZyED9 +PeAwDPqs6qFemLViLfLZCt6o7D27pMlrNQU6szbJYKyGkVti+035sQq184i+tuh6 +TExdiGvHYN2F2u7Vvtf9TGdCN6/lafCd3y+CX/Aw5ls/kvbe1S+KhkAbaXBE6hT+ +L76w/d2lpKpPAPzJ37gseiT0Y+sELx54bXPqY1SOB93cIEmtFAXlx44ct0QnQKtZ +JILr2kjeOGNVemTsiiddtCpZYW5uIEhlcmtsb3R6IChnaXQpIDxnaXRAeWFubmhl +cmtsb3R6LmNvbT6JAk4EEwEKADgWIQTY2rMIPqHP9bLh09Zhr3U1iX5CsAUCXNv+ +SwIbAwULCQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBhr3U1iX5CsNjZD/0T7azH +XOKvt398JxT/xdKwP6+BK+x8f1ALH+YP3xNB4HvOrokuIjHI46cDpywU3foXhocb +MGW6+3g9HH+SMsg6LmDXs/n39bpo5StosB/re9EWa8vGl2wO+7kc+y6jE6DgS5AN +hFJAXtAWuz5k4+X25wQwEmY1UTp35nFAZB8NI41GGguDY3tST+vcrpzqNZWzi3oz +njKjBdq1ovR4FdgNc+rHTIp23Tp+hhdkuk0vdNo3l0w7IMhHSOuySqiRqYr4D78y +B4MBufyFSwRf3cVOOB+asb4pTSodPKUu0JS9103nOkC/WTCwQi0iV2MmY3U7iNwS +Ct4wzcX/jENdKWrcCLabkieEeJADseQ+Ge42rt51UlhaBIqBBx4YQHvCyspRXcAW +V/r8LrIdZ1DS6GkcZX0jl4A1p9SH4XNiTT4ltwAenEt8/3iuHZU/2PSwdkoWdlbm +YO8xrfML8B31227mAqKMhQZxdMbgwr5e0+1n4tVk8tGz9MbLk7NtlPNQfJSmB/QF +UDHZsuOciIpYGh4QZ6nEFfMcddk4Tdn7HtU3LYmVbXaq2LW7vhyNW8gpIKke5i3k +JRSadm/H1KM2wY8ymgA92aopZ3pXo4ETrxTzDS2tGuAUq3as3bL2x+NdG7Gdb6JD +49pgFhpNiUS8GvmkT9H0lGkNyK46/6lTA49Q07kCDQRcGhCCARAAollKKv4qqpDk +Un3DodOjF+wtLH7kY8WEvN5ntbHnQ06Ffz64B4d3D0Y8uB3JMENezV4rWD4HmXwC +Pbj8tnKcrrUFujbWsdEI0pm1QbYBDjuT7NKAAigl+8wrOkZGBrcYfFe8EcX8lbrx +DYyYDTIrtOYzjRkEOwC6UfYUM0EMA9HsPCTxEbidlqs4CDjYMivxblVBbjkDNNpU +ha1TLTsVwWrtEHplJvmQUUFRUN/2/FLvQGPbG+JwocM7QJv7JTNctYtBq/sAmbFn +j0XXl72lDhW9UnqxhVXVOXurmxKraQT2j2XWVYx1VCb5SONXQUjShO617jQUhz3W +evl/eAYTHfzSlOUs3pZGniKV6ByG7EPI2cjQgwrf6HF7EcOedhoHkdH6NG3E1+Ux +zyQayXdiCXyetLosjkVhKROwSDHWthXaAfZN9EFfeX928bZYyHdQvBy6CoUanv6M +kiGYES2uealbbYVSf+a0aaleFu0VSWdZ+w7S+665bwRz8VFae2Km/z9uGptjOS7z +6X9KG9Ad6+ChLvc9SpqCQxx6PIZd+255X3jcV5nSm5VSMWyZYqFn5769gS9sbs0I +HM5yzGXiPgq9tgiz8dWd7BfPj+LJWFPsQEjl99AkLD87NHqmOs2F0w8GueDiQlRD +mQeXE+M7ekWGY2VYdOxQC2fe5foer00AEQEAAYkCNgQYAQgAIBYhBNjaswg+oc/1 +suHT1mGvdTWJfkKwBQJcGhCCAhsMAAoJEGGvdTWJfkKwGzIP/jKOM5Yj1JrX3OMV +W3yT1XZP0avYzgDLM968hvDsqpTp1LsmQ4jczaUMxHjRqA9anaAtU4U/W1tRI4// +36Y06s19d1h0l7bDGJh2DHcmA9zOPQ0b2btKzfbk+m02VIvARbRY1dyFcQHSXJqd +cGDNd1SzDAbkB+ly+L29OyKsPDbm3Z3P0xucV3QJctrBi17gqxLUrCR+P4aRK/Pb +ZWGc/csUIEp1Qt8aJC5hSmv9NoH0VISgUk+/wBZ/LfRmLJy9ncJXnd5ml+FCFLec +W1IU0FwQF6/p+7nncfGljRqf+4sNYIvolcHdgF3D8i/bwxw1HwJVrZidcjPKQdPQ +9yQhtGnXrKTTeQzxazQMz/FNe2xBTtkQ1xfx99f32Kp9U6jKZtwwW+jINeaf+3lR +5TTftcMVnKUrHnZM+sXSJ3nE9UZQ8DldcptY72a2FFNVuf4MAtgx1sGmvrL47U+8 +GJtMm3gege5HIViJ+GA/KJuFIRjMYw32wHL8oQDN88WyC1L1NrytWBA1tEE1Myg2 +iRRDzc4dVOCfsQuvy8gdxZd0EzJE+yDGc0d/7NVSnYm0YkCU8GS8CVhStSR8N/uW ++SDP2+G9dOcPV23LZ/e2gsKGGakUWAaq/IcD/Npm+j9/FseT6Eh/8PVdBGkggrvV +heDJ+JXwjfmgIjjWntewJuV301rvuQSuBFxqzqMRDACxvKVXClAXEY+Kl74M7zfe +iYOc3dQ+IhQ+KarKSJNcJYLOQeJf14iY5P1cYSkJM51iiwQ9Fp0aoL2/QdJVHYB6 +0ZnK7Rv9VsCF3IJ44Vo317LHu3GsOySVRnFG0Obfnj39Pgfd1r1vm9/kNONfflak +3gVlgH4TVjZnTjA5Y2/ot0pTRTQdB/KCzSiT7lf/X3tX0O0d8vs6yNRuUfBI/rcQ +qUpPgtlFlUMEs2z4uQhujg9ozH1aubcRu+WhN6UFXKIFqY+FOVnUcHiYXumnINMF +OB6iap6bdrHfXPoKZdTqlNZQvtuSUJe30w6ojbPQXwCq5dkPvim5fahdev4BCzJH +RX5BvXE71iIL4CdI2jxjWFKvgNfnZUCTK/nN67Bo1t9bQrrgPkcxwHwXXy7O/Ig+ +b8d5+NNR9EDT1ts/k8WIXvwR2u/AZpNZ9jcGL+18TAYBSdOYp7D6Q0VRe7ieLr0u +G85RzEeoDuI/Gl+8ssZmq22a7qrgh1fXiZpNRYfSen8BAPvcdt99eXaEWntXD7h2 +DanpCgfZFLwTONLoqGCCgzP5C/9snsIxhbb79sDGnHlrI0jGkX9hxcV2rdf1atpi +quqEAkSLvO/4S+Xm1SAbT0fO0Qw/s68+pFs7YTiGmBZK+REH4qh8tD3LmT8rZDux +ZlRnG1JyEHf261CLJ7GqRtDgQ9tLF/ecHh/4+Y9CHCOxW/FRgZ2b7biUYmAZDPd8 +PY8TZjTcDJc7vwH32ZXDn8CRU0rJN0/xIF+K1mmWhkV9chBX/2rzdQ41Bb8qxj2b +k06HV+NRghxjGEHgkORFdEli+q4lmHH8hXQIGcCPQ4bljyZfJFHqqRsDPkyUk7i0 +CLQpcaVhGOzO9I/3UUlgKh1g2brsJXHb/duq2VBJ57y0TZS8zXRrSUkuvQIESu6G +EVj5LOTUbqxfAHyuYyyUAL0gCCbOVgg8xoZG71xjIbtn93knq64lblv8N4kQgKt3 +2m/5w2TG8v5O5sYu8lKPYLqdwtqbn+fs1x6PtZOo3rig/Iz03rzkzigUcA9QShB5 +xNjScw9YGrjpvmJWBpxUSjmFtscMAI2dwx9bTXrOdE6Vv2C48fb6Lun6JIY74A1E +qu1uw5k0FnyNX8b1IrPPF/x2w4BA+92MALFL2VnDNZdta/PBokCQ8L81TOSrWIla +0dcnIaYPadCnMXWOTxXwn0g3I+YpfMbqbYta1puLW+ncQRwDPdSekdTUACMMwKvS +DjhTIgaLyF5NKQBK13E8wdZtqARKqmwNPB1bOxhb9QoLq1+er1XuLAhlo+YWtFxp +5HbRIZz3CEatH70xii0jZQQz7dFRPkR0s9K6zcy9jKfX2upQz9yETLGNNT9ADfRd +HTOK2+n8fP+PYmO0pM29ZnvToYi1DmsE3JhJ1QpgX3obuS3RvEcleOvREQE+iFWY +wwioGtrEgdYcu5nWVM9sgjYoLq/0ZMBd//FAiSIGLwLUTzK4NUM9luwHAL8rkgo7 +v3WdE19w9t7tTqx8kzUMjKiJuPd8XJUgT5TBbfyZyHgJTuVyl4nlbbhgGgHLFKYn +WGLh4W3OSljcIuJblPCYzb9JhlrXSYkCrQQYAQgAIBYhBNjaswg+oc/1suHT1mGv +dTWJfkKwBQJcas6jAhsCAIEJEGGvdTWJfkKwdiAEGREIAB0WIQRzm091WfsDq1Qz +6eDKZU03VveUlgUCXGrOowAKCRDKZU03VveUlo9qAP97GQdXQumAFgWNd4tWIxIo +NFWsekmfQWsUmHGh11awYwEA45p80HWW0YK+ojEVkvW6TmkG9ETZzrPm6CuZAWRC +vPSp+A/+OvB85JtoUi826ShesBqPHxxQ1mM6WGqX0TaJS7WPB+QzcpgzVL14hqhY +/dPwYakoQdBN07LLPCHBaxiH7/1p9jE7dnOiEZ+iPXUW3CIGy9Egws+wZrVAe/Rl +OSw94A9YFJIBnQ6NaT7zR4KQMiL0amaGMv0gEzS9WxVYN5NAXv8VY1cbErzR5aHa +CDtFut71ifVRVdj+i+xMuCJq+ayUSi49b9PSt6wCQvm8EIIa682U+lxwktvB/o6X +4qemgHqGSJ2NSaD3EYshcqdWXGOleHM4+X/NAQacBt7L3wdpP9zlwOtIhWtAJT6x +X02kkpyD7GgwYvDOQAHzGcECmcttEZHjTYEF2HgqbBa86OCRBQjon531SZioPkil +6zqOAa08kfivDsnapTAFVcS5zegkXw0EkUHeCqW/togoeCoJ2MKDt5ZX3JNBAnSc +BDd9OIqXBkhTtzgg3hSFthRpqNE5nf0HlzTOWBVMI3By2CBdwDlZUIqikjBMYDRI +7C00AUj6u1LvorReJv1HOWBTQ0SegQipMFSJPoY18CfUPV9Ri1MxGVkDjVTU9+st +h0NkAv75nOZRx0fA8vVs54DpOfnaJwzPTFKnAjy0RJ72fVeQWc9e0gB+LJGRZAiR +QSO906GojK/jukvOaCV+ecJlISOAxy22ImjziRLrF22htGMfIZO5BA0EXoYZXxAQ +AIvAqbiddZCiMdpYHsiLX27IeGdsrJDGNuVP0TOWkM/iE6jgeshc0V6fDdL5MtnV +F6tkQyIfvU+9v1rEjPpOmzgYvl706jBUS8ZkX0r9MdELVdmTLdtROozh/M8WQ/ux +OVvwG4tfeNUWEZxOiNBsOR2jr/HjcYj8Ire9cYK9vRNzHmhZasx1ZKKaVJlx/wFB +lUUJF8SKX7uTUQpJB0L7dqMUqdf4vI7cbaOnfvYOnOWyxH6XGJHFJIyprLOxVR32 +y3EZs6HiYXwbnrywlZpikOQYnFai5gzO6NLIC0ONiE7J+9TraVHvzgeSYtKft5Sc +Ng6ChKlaFt1sFYbvyvOsAy2cbdNnZ2vX7rXEIn4TlTJLHd6tiuxFBSETXQ1cC7ue +LU9msSHzocrRqOTlkT1ZSdcXECmx3ijMyq7MohOqB3JCTB5oFlburevCSEDGeV2b +HbsyRdWoOdaLwV6bhODeFa1aaXjapOodiF6koZPd5pEKeXGMNhAlf8WGzLdNCt2/ +a1hQDgaTTFfg5vgxfPRJs5KHRrx641hdhO7qN8K3cdz7JZ1ifV5kfuPSxybxs0py +OxgButDU0urJ+RynK7FGs/zK8xnaOr2ms0e6OnAvVZuux5YQ1Y10WHI6OWVcw5hp +bJulp5oMELREe2ObnFWakAiQDEGXZ7jq8tcJbzBlyoSvAAMHD/9oEkKRUDFuHXwv +TERv3Aob8gxBen/sc8i3YADskggSzfxkA7oqD15Ec0MRJD1eD8+cVhUMDPrXpLDc +jC+yu1gMpmHNHl0FBUtisAzwV4k6iaQfZ3Fztx2S+LzL79P/ELLij7KvAj9Cnto+ +Iwn5mVka9NPJU3nYzNvJX1je/7gmnSZ39wRIJ0n/QO2NQKGrY+6V+AeApJCzsfCH +ui1mBVyGhmbF/yiF18QxC+HiLhK31ktFtrOSMl8PCVZxCQsNQu9OBBuXRI1lmGYB +Lv7ml58wP3Lga8Wejh2IkFKC5z0n4aoIJfWtqfMvQ74Qv30UimOHDjUL50mEZLLh +VX4rp37MWKbnHhUqZHGsVxJCw+iWedC/PwC05FMOmkE+va5rf8fYvPCsWV9W9L9t +UhhxXwxEOtWOZXMmPOi3v5yEDCY9Ic5ecJO62palqkzGyZ23FgOTcyz/RqKZr3/j +eyQWpxkiAapSjyDv2VrFkyf20b3Y6j5IPQc5HF40CQkaLGfD8frepqLY6FQfiHNZ +ybhV7SHE429Yvz2B/qBgTgrB48+gbYXLO8qxoCEHZJEJZBTvJ755kwTtmJcFxGgA +9mWjyjAeujS+ljiOZrIuATByJH/IJamKHca/LOv3+0qbaPYXpuy/WHY9HKFpXTk6 +sBVDCUnzPMcVzkTDavL9lT972vZ49IkCNgQYAQoAIBYhBNjaswg+oc/1suHT1mGv +dTWJfkKwBQJehhlfAhsMAAoJEGGvdTWJfkKwIDAP/0xHkWY1dOB1L46QL0S41B5m +TVlf5funz3xCB06KxaXaDva/AW22YfbyImAkcKwQEVpn1FKLbBszhBN90LOmezJG +Br98EP9ksmN+MCQ8szgja1Hw/7nVETbAgP68TsLgLNL/o0mOFR/nIwrMkuVNNNTS +5qvxMvarOYQJ4RE9oiWDzwTrJbCXz1BbFNDKrbHaBrqBEMZgrxlh67Tla1WgczQB +FX9h/aE638Y8KX3kdt2EeeAVTzXdNdPOn9mJzR7Er8O5MQ+1MWvHnatHApJlnD5S +B/JY3pto5Cl8T3nt76r8HcBJnHzpBlq8jGZ1/uUn79cuY0urCU5p+XpFcxnrpDgb +h1laWx7qOLzpfHlzaoxYhA0YgKACSMCRs7Ky4Tj78G2OWLg6qMVpKrK+x3FVFQPP +grWqysZz3QKDSPAf01cc27K6CL35UgQ49UutPocKkOCJTwpo1EPx85TnPFTEd2uX +etpt/UuVTAYy6Tmcz3WXNflk3lGlU3/XuY03rz2mtMHl5apDFcTIP4DMBYr8QqJa +hRxaa2dJYh65VLDMjtTZ03NLEfymE+FdLzw9npg8Z8rqg8yVNKd84QDNypBN7AWc +9+mYFQQBS6d58ptQWpmnPKYVF4MkJrEXe7pdBcJX8N6j4RRj7m4UP3zHGBmH8k0Q +NLSgZd0xh1L/SAooETiF +=4WJ1 +-----END PGP PUBLIC KEY BLOCK----- diff --git a/static/favicon.ico b/static/favicon.ico Binary files differnew file mode 100644 index 0000000..0896b9a --- /dev/null +++ b/static/favicon.ico diff --git a/static/favicon.jpg b/static/favicon.jpg Binary files differnew file mode 100644 index 0000000..2f6551f --- /dev/null +++ b/static/favicon.jpg diff --git a/static/favicon.png b/static/favicon.png Binary files differnew file mode 100644 index 0000000..ddb4147 --- /dev/null +++ b/static/favicon.png diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/design.aux b/static/images/2020-12-20-zettelkasten-in-pure-org/design.aux new file mode 100644 index 0000000..f23e546 --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/design.aux @@ -0,0 +1 @@ +\relax diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot-2.png b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot-2.png Binary files differnew file mode 100644 index 0000000..111dedd --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot-2.png diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot-3.png b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot-3.png Binary files differnew file mode 100644 index 0000000..e72168b --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot-3.png diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.jpg b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.jpg Binary files differnew file mode 100644 index 0000000..4765d47 --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.jpg diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.png b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.png Binary files differnew file mode 100644 index 0000000..8a815f3 --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.png diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-1.png b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-1.png Binary files differnew file mode 100644 index 0000000..fac333a --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-1.png diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-2.png b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-2.png Binary files differnew file mode 100644 index 0000000..032dd97 --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-2.png diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup.aux b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup.aux new file mode 100644 index 0000000..f23e546 --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup.aux @@ -0,0 +1 @@ +\relax diff --git a/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup.tex b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup.tex new file mode 100644 index 0000000..c50d471 --- /dev/null +++ b/static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup.tex @@ -0,0 +1,86 @@ +\documentclass[preview]{standalone} + +\usepackage{tikz} +\usepackage{fontspec} + +\setmainfont{Alegreya} + +\usetikzlibrary{shapes,calc,arrows.meta} + +\definecolor{hlscol}{HTML}{b3e2cd} +\definecolor{computingcol}{HTML}{fdcdac} +\definecolor{verificationcol}{HTML}{cbd5e8} + +\begin{document} + +\begin{tikzpicture} + \fill[hlscol,rounded corners=8pt] (0,1) rectangle ++(3,6); + \fill[computingcol,rounded corners=8pt] (3.5,1) rectangle ++(3,6); + \fill[verificationcol,rounded corners=8pt] (7,1) rectangle ++(3,6); + \node (hls) at (0.5,6.7) {HLS}; + \node (computing) at (4.5,6.7) {Computing}; + \node (verification) at (8,6.7) {Verification}; + + \node[draw,circle] (hlsa) at (0.5,6) {\footnotesize 1a}; + \node[draw,circle] (hlsb) at (0.5,5) {\footnotesize 1b}; + \node[draw,circle] (hlsc) at (0.5,4) {\footnotesize 1c}; + \node[draw,circle] (hlsd) at (0.5,3) {\footnotesize 1d}; + \node[draw,circle] (hlse) at (1.5,3) {\footnotesize 1b1}; + \node[draw,circle] (hlsf) at (1.5,2) {\footnotesize 1b2}; + \node[draw,circle] (hlsg) at (1.5,5) {\footnotesize 1a1}; + \node[draw,circle] (hlsh) at (1.5,4) {\footnotesize 1a2}; + \node[draw,circle] (hlsi) at (2.5,4) {\footnotesize 1a1a}; + \node[draw,circle] (hlsj) at (2.5,3) {\footnotesize 1a1b}; + + \draw[->] (hlsa) -> (hlsb); + \draw[->] (hlsb) -> (hlsc); + \draw[->] (hlsc) -> (hlsd); + \draw[->] (hlsb) -> (hlse); + \draw[->] (hlse) -> (hlsf); + \draw[->] (hlsa) -> (hlsg); + \draw[->] (hlsg) -> (hlsh); + \draw[->] (hlsg) -> (hlsi); + \draw[->] (hlsi) -> (hlsj); + + \node[draw,circle] (computinga) at (4,6) {\footnotesize 2a}; + \node[draw,circle] (computingb) at (4,5) {\footnotesize 2b}; + \node[draw,circle] (computingc) at (4,4) {\footnotesize 2c}; + \node[draw,circle] (computinge) at (5,4) {\footnotesize 2b1}; + \node[draw,circle] (computingf) at (5,3) {\footnotesize 2b2}; + \node[draw,circle] (computingg) at (5,2) {\footnotesize 2b3}; + \node[draw,circle] (computingh) at (6,2) {\footnotesize 2b2a}; + + \draw[->] (computinga) -> (computingb); + \draw[->] (computingb) -> (computingc); + \draw[->] (computingb) -> (computinge); + \draw[->] (computinge) -> (computingf); + \draw[->] (computingf) -> (computingg); + \draw[->] (computingf) -> (computingh); + + \node[draw,circle] (verificationa) at (7.5,6) {\footnotesize 3a}; + \node[draw,circle] (verificationb) at (7.5,5) {\footnotesize 3b}; + \node[draw,circle] (verificationc) at (7.5,4) {\footnotesize 3c}; + \node[draw,circle] (verificationd) at (7.5,3) {\footnotesize 3d}; + \node[draw,circle] (verificatione) at (7.5,2) {\footnotesize 3e}; + \node[draw,circle] (verificationf) at (8.5,2) {\footnotesize 3d1}; + \node[draw,circle] (verificationg) at (8.5,4) {\footnotesize 3b1}; + \node[draw,circle] (verificationh) at (8.5,3) {\footnotesize 3b2}; + + \draw[->] (verificationa) -> (verificationb); + \draw[->] (verificationb) -> (verificationc); + \draw[->] (verificationc) -> (verificationd); + \draw[->] (verificationd) -> (verificationf); + \draw[->] (verificationd) -> (verificatione); + \draw[->] (verificationb) -> (verificationg); + \draw[->] (verificationg) -> (verificationh); + + %\draw[->] (hlsh) -> (computinga); + %\draw[->] (hlsg) -> (computingb); + %\draw[->] (hlsi) -> (computingg); + %\draw[->] (computingf) -> (hlsj); + %\draw[->] (computingh) to [out=60,in=225] ($(computingh) + (0.8,1.3)$) to [out=45,in=210] (verificationg); + %\draw[->] (hlsd) -> (hlsh); + %\draw[->] (hlsg) to [out=20,in=160] (verificationb); +\end{tikzpicture} + +\end{document} diff --git a/static/images/A4Grid.jpg b/static/images/A4Grid.jpg Binary files differnew file mode 100644 index 0000000..e2b6288 --- /dev/null +++ b/static/images/A4Grid.jpg diff --git a/static/images/cut_hist_horiz.jpg b/static/images/cut_hist_horiz.jpg Binary files differnew file mode 100644 index 0000000..71a90e4 --- /dev/null +++ b/static/images/cut_hist_horiz.jpg diff --git a/static/images/cut_hist_vert.jpg b/static/images/cut_hist_vert.jpg Binary files differnew file mode 100644 index 0000000..1e4cd6e --- /dev/null +++ b/static/images/cut_hist_vert.jpg diff --git a/static/images/haskell-logo.png b/static/images/haskell-logo.png Binary files differnew file mode 100644 index 0000000..97c0937 --- /dev/null +++ b/static/images/haskell-logo.png diff --git a/static/images/mips_processor_pipeline.jpg b/static/images/mips_processor_pipeline.jpg Binary files differnew file mode 100644 index 0000000..8d5cb08 --- /dev/null +++ b/static/images/mips_processor_pipeline.jpg diff --git a/static/images/msr_research/project_silica.jpg b/static/images/msr_research/project_silica.jpg Binary files differnew file mode 100644 index 0000000..0c23320 --- /dev/null +++ b/static/images/msr_research/project_silica.jpg diff --git a/static/images/pitch_detect.jpg b/static/images/pitch_detect.jpg Binary files differnew file mode 100644 index 0000000..6b9b508 --- /dev/null +++ b/static/images/pitch_detect.jpg diff --git a/static/images/portrait.jpg b/static/images/portrait.jpg Binary files differnew file mode 100644 index 0000000..ce53897 --- /dev/null +++ b/static/images/portrait.jpg diff --git a/static/images/project_twinkle.jpg b/static/images/project_twinkle.jpg Binary files differnew file mode 100644 index 0000000..8a3fc6e --- /dev/null +++ b/static/images/project_twinkle.jpg diff --git a/static/images/realistic-graphics/final.jpg b/static/images/realistic-graphics/final.jpg Binary files differnew file mode 100644 index 0000000..6dab260 --- /dev/null +++ b/static/images/realistic-graphics/final.jpg diff --git a/static/images/realistic-graphics/grace_latlong.jpg b/static/images/realistic-graphics/grace_latlong.jpg Binary files differnew file mode 100644 index 0000000..4d1afb8 --- /dev/null +++ b/static/images/realistic-graphics/grace_latlong.jpg diff --git a/static/images/realistic-graphics/median_cut6.jpg b/static/images/realistic-graphics/median_cut6.jpg Binary files differnew file mode 100644 index 0000000..2e5df14 --- /dev/null +++ b/static/images/realistic-graphics/median_cut6.jpg diff --git a/static/images/realistic-graphics/median_cut_radiance6.jpg b/static/images/realistic-graphics/median_cut_radiance6.jpg Binary files differnew file mode 100644 index 0000000..9a64986 --- /dev/null +++ b/static/images/realistic-graphics/median_cut_radiance6.jpg diff --git a/static/images/realistic-graphics/normal.jpg b/static/images/realistic-graphics/normal.jpg Binary files differnew file mode 100644 index 0000000..13779e0 --- /dev/null +++ b/static/images/realistic-graphics/normal.jpg diff --git a/static/images/realistic-graphics/reflect.jpg b/static/images/realistic-graphics/reflect.jpg Binary files differnew file mode 100644 index 0000000..4e486cf --- /dev/null +++ b/static/images/realistic-graphics/reflect.jpg diff --git a/static/images/realistic-graphics/simple_sphere64.jpg b/static/images/realistic-graphics/simple_sphere64.jpg Binary files differnew file mode 100644 index 0000000..97e5a6d --- /dev/null +++ b/static/images/realistic-graphics/simple_sphere64.jpg diff --git a/static/images/realistic-graphics/urbanEM_latlong.jpg b/static/images/realistic-graphics/urbanEM_latlong.jpg Binary files differnew file mode 100644 index 0000000..bf33dc3 --- /dev/null +++ b/static/images/realistic-graphics/urbanEM_latlong.jpg diff --git a/static/papers/esrhls_fccm2021.pdf b/static/papers/esrhls_fccm2021.pdf Binary files differnew file mode 100644 index 0000000..0d14674 --- /dev/null +++ b/static/papers/esrhls_fccm2021.pdf diff --git a/static/papers/fubfst_fpga2020.pdf b/static/papers/fubfst_fpga2020.pdf Binary files differnew file mode 100644 index 0000000..cfa400b --- /dev/null +++ b/static/papers/fubfst_fpga2020.pdf diff --git a/static/papers/fubfst_fpga2020_bib.txt b/static/papers/fubfst_fpga2020_bib.txt new file mode 100644 index 0000000..104c1cd --- /dev/null +++ b/static/papers/fubfst_fpga2020_bib.txt @@ -0,0 +1,12 @@ +@inproceedings{herklotz20_findin_under_bugs_fpga_synth_tools, + author = {Herklotz, Yann and Wickerson, John}, + title = {Finding and Understanding Bugs in FPGA Synthesis Tools}, + booktitle = {ACM/SIGDA International Symposium on Field-Programmable Gate + Arrays}, + doi = {10.1145/3373087.3375310}, + year = 2020, + location = {Seaside, CA, USA}, + numpages = 11, + publisher = {ACM}, + series = {FPGA '20}, +} diff --git a/static/papers/fvhls_oopsla21.pdf b/static/papers/fvhls_oopsla21.pdf Binary files differnew file mode 100644 index 0000000..1b78c6b --- /dev/null +++ b/static/papers/fvhls_oopsla21.pdf diff --git a/static/papers/hlsspc_latte2021.pdf b/static/papers/hlsspc_latte2021.pdf Binary files differnew file mode 100644 index 0000000..db6fd67 --- /dev/null +++ b/static/papers/hlsspc_latte2021.pdf |
