From f03aba072649c049aeb8b37e3c946b1e07fa34a8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 2 Sep 2021 11:29:05 +0200 Subject: Add initial files --- layouts/partials/footer.html | 25 +++++++++ layouts/partials/head.html | 30 +++++++++++ layouts/partials/header.html | 9 ++++ layouts/partials/news.html | 9 ++++ layouts/partials/papers.html | 54 +++++++++++++++++++ layouts/partials/papers_other.html | 35 ++++++++++++ layouts/partials/photos.html | 108 +++++++++++++++++++++++++++++++++++++ 7 files changed, 270 insertions(+) create mode 100644 layouts/partials/footer.html create mode 100644 layouts/partials/head.html create mode 100644 layouts/partials/header.html create mode 100644 layouts/partials/news.html create mode 100644 layouts/partials/papers.html create mode 100644 layouts/partials/papers_other.html create mode 100644 layouts/partials/photos.html (limited to 'layouts/partials') diff --git a/layouts/partials/footer.html b/layouts/partials/footer.html new file mode 100644 index 0000000..b42e2d8 --- /dev/null +++ b/layouts/partials/footer.html @@ -0,0 +1,25 @@ + +{{ if .Site.Params.katex }} + + +{{ end }} diff --git a/layouts/partials/head.html b/layouts/partials/head.html new file mode 100644 index 0000000..1891408 --- /dev/null +++ b/layouts/partials/head.html @@ -0,0 +1,30 @@ + + + + + {{ if not .IsHome }}{{ with .Title }}{{ . }} | {{ end }}{{ end }}{{ .Site.Title }} + + {{ template "_internal/opengraph.html" . }} + {{ template "_internal/twitter_cards.html" . }} + + + + + {{ if .Site.Params.katex }} + + {{ end }} + + + + + + + + diff --git a/layouts/partials/header.html b/layouts/partials/header.html new file mode 100644 index 0000000..079cbde --- /dev/null +++ b/layouts/partials/header.html @@ -0,0 +1,9 @@ +
+ + +
diff --git a/layouts/partials/news.html b/layouts/partials/news.html new file mode 100644 index 0000000..22c80b2 --- /dev/null +++ b/layouts/partials/news.html @@ -0,0 +1,9 @@ + + + {{ range $.Site.Data.news }} + {{ range first 5 . }} + + {{ end }} + {{ end }} + +
{{ .date.Format "2006-01-02" }}{{ safeHTML .event }}
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html new file mode 100644 index 0000000..ed212fa --- /dev/null +++ b/layouts/partials/papers.html @@ -0,0 +1,54 @@ + + + + +
+ +
+OOPSLA '21 +
+
+Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. + Formal verification of high-level synthesis. + volume 5, New York, NY, USA, 11 2021. Association for Computing + Machinery.
+ pdf  + +
+ + +
+FCCM '21 +
+
+Yann Herklotz, Zewei Du, Nadesh Ramanathan, and John Wickerson. + An empirical study of the reliability of high-level synthesis tools. + In 29th IEEE Annual Int. Symp. on Field-Programmable Custom + Computing Machines, 2021.
+[ DOI | +artifact | +pdf ] + +
+ + +
+FPGA '20 +
+
+Yann Herklotz and John Wickerson. + Finding and understanding bugs in FPGA synthesis tools. + In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays, + 2020.
+[ DOI | +artifact | +blog | +pdf | +poster | +slides ] + +
+
diff --git a/layouts/partials/papers_other.html b/layouts/partials/papers_other.html new file mode 100644 index 0000000..82b8448 --- /dev/null +++ b/layouts/partials/papers_other.html @@ -0,0 +1,35 @@ + + + + +
+ +
+LATTE '21 +
+
+Yann Herklotz and John Wickerson. + High-level synthesis tools should be proven correct. + In Workshop on Languages, Tools, and Techniques for Accelerator + Design, 2021.
+ pdf  + +
+ + +
+FPGA '21 +
+
+Zewei Du, Yann Herklotz, Nadesh Ramanathan, and John Wickerson. + Fuzzing high-level synthesis tools. + In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays, + 2021.
+[ DOI | +slides ] + +
+
diff --git a/layouts/partials/photos.html b/layouts/partials/photos.html new file mode 100644 index 0000000..7b998ad --- /dev/null +++ b/layouts/partials/photos.html @@ -0,0 +1,108 @@ +
+
+
+Floating Bread +Sunset over Golden Gate +Electricity in the Sky +Milford Sound +Stars at Mt. Cook +Ship +Heineken +
+
+Curvy Street +Towering Redwoods +Golden Gate +In the park +Yellow car in Manly +Leiden bridge +
+
+Classic Red Light +Cold Prison +Turquoise House +Curious fish +Shadow in the woods +Manly - North Head +Waterloo Graffiti +Bike +
+
+Road in Redwood Forest +Greenery +Waterfall +Tasman ice lake +Sydney bridge +Vintage car +Cathedral +
+
+
+
+
+Floating Bread +Road in Redwood Forest +Cold Prison +Sunset over Golden Gate +Turquoise House +Electricity in the Sky +Curious fish +Waterfall +Tasman ice lake +Yellow car in Manly +Manly - North Head +Waterloo Graffiti +Vintage car +Cathedral +Heineken +
+
+Curvy Street +Classic Red Light +Towering Redwoods +Golden Gate +Greenery +In the park +Milford Sound +Shadow in the woods +Stars at Mt. Cook +Sydney bridge +Leiden bridge +Ship +Bike +
+
+
+
+
+Floating Bread +Curvy Street +Classic Red Light +Road in Redwood Forest +Towering Redwoods +Cold Prison +Sunset over Golden Gate +Golden Gate +Turquoise House +Greenery +Electricity in the Sky +In the park +Curious fish +Waterfall +Milford Sound +Shadow in the woods +Tasman ice lake +Stars at Mt. Cook +Yellow car in Manly +Manly - North Head +Sydney bridge +Leiden bridge +Waterloo Graffiti +Vintage car +Ship +Bike +Cathedral +Heineken +
+
+
-- cgit