diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2011-07-21 15:29:16 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2011-07-21 15:29:16 +0000 |
| commit | 525566420dd20baa306a567311ab7e8bdabe330c (patch) | |
| tree | b9e35b8ab03b2dcbb418b83d3ad45db1de4d2a41 | |
| parent | b640fcf217c848ad051977018c6dc8f3a5a37e1f (diff) | |
| download | klee-525566420dd20baa306a567311ab7e8bdabe330c.tar.gz | |
Add our EuroSys paper to the publications list
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135677 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | www/Publications.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/www/Publications.html b/www/Publications.html index c57f5458..ddf8c948 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -160,6 +160,21 @@ <br><br> </li> --> + + <li> + <a href="http://www.doc.ic.ac.uk/~pcc03/eurosys11klee.pdf"> + <em> + Symbolic Crosschecking of Floating-Point and SIMD Code + </em> + </a> + <br> + Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly + <br> + ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2011) + <br> + April 10-13, 2011, Salzburg, Austria + <br><br> + </li> </ol> </div> </body> |