diff --git a/index.html b/index.html index 9108576..1a67b8d 100644 --- a/index.html +++ b/index.html @@ -31,11 +31,6 @@ if (route == 'demo') { showCodeExample(1); } - } else if (route == "paper") { - let link = document.createElement('a'); - link.href = 'assets/pdf/bugsynth.pdf'; - link.download = 'paper.pdf'; - link.click(); } else { document.getElementById('content').innerHTML = '

Error loading page.

'; } @@ -44,9 +39,12 @@ } } - // Default route - loadPage('demo'); - loadPage('people'); + // Load each files in order + (async () => { + await loadPage('demo'); + await loadPage('people'); + await loadPage('paper'); + })() }); diff --git a/page/demo.html b/page/demo.html index b5c1b8d..fb21d99 100644 --- a/page/demo.html +++ b/page/demo.html @@ -48,12 +48,4 @@

Video Demo

- - -
-

Figure

-
- Demo Figure -
- \ No newline at end of file diff --git a/page/paper.html b/page/paper.html new file mode 100644 index 0000000..c0f1cab --- /dev/null +++ b/page/paper.html @@ -0,0 +1,12 @@ +
+
+
+ +
+

Paper

+ [Full pdf] +

This paper presents BugSynth, a tool that automatically generates buggy programs by combining language models and program verification techniques. While error benchmarks are becoming increasingly important for evaluating error detectors and addressing the issue of insufficient training data for language models, existing methods for constructing these benchmarks have some limitations. BugSynth automatically generates programs with clearly defined locations of division-by-zero bugs without requiring the original program. Experimental results show that BugSynth achieved a 51% success rate in generation, and it was confirmed that the benchmarks constructed are of similar difficulty to those created by humans when evaluating static analyzers.

+
+
+ + \ No newline at end of file