| ../ |
07-May-2023 19:00 | - |
| CPV-TDSC.pdf |
02-Dec-2014 03:11 | 264K |
| bain:2011:domain-extended.pdf |
16-Jan-2015 11:02 | 428K |
| bain:2011:domain.bib |
02-Dec-2014 03:11 | 404B |
| bain:2011:domain.pdf |
02-Dec-2014 03:10 | 440K |
| bos:2010:accelerating.bib |
07-Dec-2014 12:28 | 1.3K |
| bos:2010:performance.bib |
09-Dec-2014 22:42 | 337B |
| bos:2010:performance.pdf |
02-Dec-2014 03:10 | 185K |
| buiras:2013:a-library-extended.pdf |
02-Dec-2014 03:10 | 395K |
| buiras:2013:a-library.bib |
02-Dec-2014 03:11 | 365B |
| buiras:2013:a-library.pdf |
02-Dec-2014 03:10 | 479K |
| buiras:2014:on-dynamic.bib |
18-Dec-2014 22:27 | 303B |
| buiras:2014:on-dynamic.pdf |
02-Dec-2014 03:10 | 267K |
| dalal:2008:a-hardware.bib |
02-Dec-2014 03:11 | 348B |
| dalal:2008:a-hardware.pdf |
02-Dec-2014 03:10 | 227K |
| dalal:2008:low.bib |
02-Dec-2014 03:11 | 387B |
| dalal:2008:low.pdf |
02-Dec-2014 03:10 | 160K |
| giffin:2012:hails-slides.pdf |
02-Dec-2014 03:10 | 3.1M |
| giffin:2012:hails.bib |
02-Dec-2014 03:11 | 504B |
| giffin:2012:hails.pdf |
02-Dec-2014 03:10 | 648K |
| giffin:2014:security.bib |
19-Dec-2014 07:18 | 455B |
| giffin:2014:security.pdf |
02-Dec-2014 03:11 | 48.1K |
| harwayne-gidansky:2009:fpga.bib |
02-Dec-2014 03:11 | 328B |
| harwayne-gidansky:2009:fpga.pdf |
02-Dec-2014 03:10 | 993K |
| heule:2015:ifc-inside-extended.pdf |
16-Jan-2015 15:36 | 407K |
| heule:2015:ifc-inside.bib |
16-Jan-2015 10:41 | 380B |
| heule:2015:ifc-inside.pdf |
16-Jan-2015 15:36 | 332K |
| heule:2015:the-most-slides.pdf |
24-May-2015 19:26 | 1.9M |
| heule:2015:the-most.bib |
16-Oct-2015 00:17 | 313B |
| heule:2015:the-most.pdf |
21-Apr-2015 10:27 | 111K |
| khazaei:2010:improved.bib |
02-Dec-2014 03:11 | 381B |
| khazaei:2010:improved.pdf |
02-Dec-2014 03:10 | 196K |
| levy:2014:making.bib |
02-Dec-2014 03:11 | 262B |
| levy:2014:making.pdf |
02-Dec-2014 03:10 | 74.1K |
| mitchell:2012:information.bib |
02-Dec-2014 03:11 | 335B |
| mitchell:2012:information.pdf |
02-Dec-2014 03:10 | 481K |
| osvik:2010:fast.bib |
02-Dec-2014 03:11 | 315B |
| osvik:2010:fast.pdf |
02-Dec-2014 03:10 | 193K |
| stefan.bib |
02-Dec-2014 03:11 | 6.7K |
| stefan:2008:on-parallelizing.bib |
02-Dec-2014 03:11 | 333B |
| stefan:2008:on-parallelizing.pdf |
02-Dec-2014 03:10 | 182K |
| stefan:2008:on-the-parallelization.bib |
02-Dec-2014 03:11 | 323B |
| stefan:2008:on-the-parallelization.pdf |
02-Dec-2014 03:10 | 174K |
| stefan:2009:hardware.bib |
02-Dec-2014 03:11 | 302B |
| stefan:2009:hardware.pdf |
02-Dec-2014 03:10 | 381K |
| stefan:2010:keystroke.bib |
02-Dec-2014 03:11 | 368B |
| stefan:2010:keystroke.pdf |
02-Dec-2014 03:10 | 411K |
| stefan:2011:analysis.bib |
02-Dec-2014 03:11 | 277B |
| stefan:2011:analysis.pdf |
02-Dec-2014 03:10 | 1.4M |
| stefan:2011:dclabels-slides.pdf |
02-Dec-2014 03:10 | 2.0M |
| stefan:2011:dclabels.bib |
02-Dec-2014 03:11 | 317B |
| stefan:2011:dclabels.pdf |
02-Dec-2014 03:10 | 445K |
| stefan:2011:flexible-slides.pdf |
02-Dec-2014 03:10 | 1.4M |
| stefan:2011:flexible.bib |
02-Dec-2014 03:11 | 316B |
| stefan:2011:flexible.pdf |
02-Dec-2014 03:10 | 238K |
| stefan:2011:ocap.bib |
02-Dec-2014 03:11 | 286B |
| stefan:2011:ocap.pdf |
02-Dec-2014 03:10 | 241K |
| stefan:2011:robust.bib |
02-Dec-2014 03:11 | 334B |
| stefan:2011:robust.pdf |
02-Dec-2014 03:11 | 1.1M |
| stefan:2012:addressing-slides-clean.pdf |
02-Dec-2014 03:10 | 4.3M |
| stefan:2012:addressing-slides.pdf |
02-Dec-2014 03:10 | 3.4M |
| stefan:2012:addressing.bib |
02-Dec-2014 03:11 | 484B |
| stefan:2012:addressing.pdf |
02-Dec-2014 03:10 | 322K |
| stefan:2012:arxiv-flexible.bib |
02-Dec-2014 03:11 | 302B |
| stefan:2012:arxiv-flexible.pdf |
02-Dec-2014 03:10 | 352K |
| stefan:2012:flexible.bib |
29-Dec-2014 15:11 | 420B |
| stefan:2012:flexible.pdf |
16-Oct-2015 00:16 | 396K |
| stefan:2013:eliminating-slides.pdf |
02-Dec-2014 03:10 | 5.1M |
| stefan:2013:eliminating.bib |
02-Dec-2014 03:11 | 424B |
| stefan:2013:eliminating.pdf |
02-Dec-2014 03:10 | 247K |
| stefan:2014:building-haskell-slides.pdf |
04-Dec-2014 21:22 | 12.6M |
| stefan:2014:building-haskell.bib |
02-Dec-2014 03:11 | 421B |
| stefan:2014:building-haskell.pdf |
04-Dec-2014 21:22 | 76.3K |
| stefan:2014:building-plas-slides.pdf |
04-Dec-2014 21:24 | 757K |
| stefan:2014:building-plas.bib |
02-Dec-2014 03:11 | 393B |
| stefan:2014:building-plas.pdf |
04-Dec-2014 21:22 | 71.2K |
| stefan:2014:protecting-slides.pdf |
02-Dec-2014 03:10 | 7.3M |
| stefan:2014:protecting.bib |
02-Dec-2014 03:11 | 502B |
| stefan:2014:protecting.pdf |
02-Dec-2014 03:10 | 328K |
| stefan:mozilla-2013.pdf |
02-Dec-2014 03:11 | 1.6M |
| xu:2011:data.bib |
02-Dec-2014 03:11 | 354B |
| xu:2011:data.pdf |
02-Dec-2014 03:10 | 264K |
| yang:2013:towards-slides.pdf |
02-Dec-2014 03:10 | 3.4M |
| yang:2013:towards.bib |
02-Dec-2014 03:11 | 342B |
| yang:2013:towards.pdf |
02-Dec-2014 03:10 | 113K |