Index of /~deian/pubs/
../ 07-May-2023 19:00 -
CPV-TDSC.pdf 02-Dec-2014 03:11 270055
bain:2011:domain-extended.pdf 16-Jan-2015 11:02 437983
bain:2011:domain.bib 02-Dec-2014 03:11 404
bain:2011:domain.pdf 02-Dec-2014 03:10 450410
bos:2010:accelerating.bib 07-Dec-2014 12:28 1289
bos:2010:performance.bib 09-Dec-2014 22:42 337
bos:2010:performance.pdf 02-Dec-2014 03:10 188997
buiras:2013:a-library-extended.pdf 02-Dec-2014 03:10 404277
buiras:2013:a-library.bib 02-Dec-2014 03:11 365
buiras:2013:a-library.pdf 02-Dec-2014 03:10 489962
buiras:2014:on-dynamic.bib 18-Dec-2014 22:27 303
buiras:2014:on-dynamic.pdf 02-Dec-2014 03:10 273763
dalal:2008:a-hardware.bib 02-Dec-2014 03:11 348
dalal:2008:a-hardware.pdf 02-Dec-2014 03:10 232154
dalal:2008:low.bib 02-Dec-2014 03:11 387
dalal:2008:low.pdf 02-Dec-2014 03:10 164218
giffin:2012:hails-slides.pdf 02-Dec-2014 03:10 3258495
giffin:2012:hails.bib 02-Dec-2014 03:11 504
giffin:2012:hails.pdf 02-Dec-2014 03:10 663694
giffin:2014:security.bib 19-Dec-2014 07:18 455
giffin:2014:security.pdf 02-Dec-2014 03:11 49296
harwayne-gidansky:2009:fpga.bib 02-Dec-2014 03:11 328
harwayne-gidansky:2009:fpga.pdf 02-Dec-2014 03:10 1016780
heule:2015:ifc-inside-extended.pdf 16-Jan-2015 15:36 416985
heule:2015:ifc-inside.bib 16-Jan-2015 10:41 380
heule:2015:ifc-inside.pdf 16-Jan-2015 15:36 340426
heule:2015:the-most-slides.pdf 24-May-2015 19:26 1964900
heule:2015:the-most.bib 16-Oct-2015 00:17 313
heule:2015:the-most.pdf 21-Apr-2015 10:27 113822
khazaei:2010:improved.bib 02-Dec-2014 03:11 381
khazaei:2010:improved.pdf 02-Dec-2014 03:10 200300
levy:2014:making.bib 02-Dec-2014 03:11 262
levy:2014:making.pdf 02-Dec-2014 03:10 75842
mitchell:2012:information.bib 02-Dec-2014 03:11 335
mitchell:2012:information.pdf 02-Dec-2014 03:10 492774
osvik:2010:fast.bib 02-Dec-2014 03:11 315
osvik:2010:fast.pdf 02-Dec-2014 03:10 197462
stefan.bib 02-Dec-2014 03:11 6854
stefan:2008:on-parallelizing.bib 02-Dec-2014 03:11 333
stefan:2008:on-parallelizing.pdf 02-Dec-2014 03:10 186098
stefan:2008:on-the-parallelization.bib 02-Dec-2014 03:11 323
stefan:2008:on-the-parallelization.pdf 02-Dec-2014 03:10 177733
stefan:2009:hardware.bib 02-Dec-2014 03:11 302
stefan:2009:hardware.pdf 02-Dec-2014 03:10 390116
stefan:2010:keystroke.bib 02-Dec-2014 03:11 368
stefan:2010:keystroke.pdf 02-Dec-2014 03:10 421029
stefan:2011:analysis.bib 02-Dec-2014 03:11 277
stefan:2011:analysis.pdf 02-Dec-2014 03:10 1457570
stefan:2011:dclabels-slides.pdf 02-Dec-2014 03:10 2148256
stefan:2011:dclabels.bib 02-Dec-2014 03:11 317
stefan:2011:dclabels.pdf 02-Dec-2014 03:10 456007
stefan:2011:flexible-slides.pdf 02-Dec-2014 03:10 1428518
stefan:2011:flexible.bib 02-Dec-2014 03:11 316
stefan:2011:flexible.pdf 02-Dec-2014 03:10 244163
stefan:2011:ocap.bib 02-Dec-2014 03:11 286
stefan:2011:ocap.pdf 02-Dec-2014 03:10 246450
stefan:2011:robust.bib 02-Dec-2014 03:11 334
stefan:2011:robust.pdf 02-Dec-2014 03:11 1180196
stefan:2012:addressing-slides-clean.pdf 02-Dec-2014 03:10 4469216
stefan:2012:addressing-slides.pdf 02-Dec-2014 03:10 3614850
stefan:2012:addressing.bib 02-Dec-2014 03:11 484
stefan:2012:addressing.pdf 02-Dec-2014 03:10 330082
stefan:2012:arxiv-flexible.bib 02-Dec-2014 03:11 302
stefan:2012:arxiv-flexible.pdf 02-Dec-2014 03:10 360519
stefan:2012:flexible.bib 29-Dec-2014 15:11 420
stefan:2012:flexible.pdf 16-Oct-2015 00:16 405017
stefan:2013:eliminating-slides.pdf 02-Dec-2014 03:10 5338804
stefan:2013:eliminating.bib 02-Dec-2014 03:11 424
stefan:2013:eliminating.pdf 02-Dec-2014 03:10 252805
stefan:2014:building-haskell-slides.pdf 04-Dec-2014 21:22 13198734
stefan:2014:building-haskell.bib 02-Dec-2014 03:11 421
stefan:2014:building-haskell.pdf 04-Dec-2014 21:22 78151
stefan:2014:building-plas-slides.pdf 04-Dec-2014 21:24 774668
stefan:2014:building-plas.bib 02-Dec-2014 03:11 393
stefan:2014:building-plas.pdf 04-Dec-2014 21:22 72921
stefan:2014:protecting-slides.pdf 02-Dec-2014 03:10 7630948
stefan:2014:protecting.bib 02-Dec-2014 03:11 502
stefan:2014:protecting.pdf 02-Dec-2014 03:10 336166
stefan:mozilla-2013.pdf 02-Dec-2014 03:11 1698767
xu:2011:data.bib 02-Dec-2014 03:11 354
xu:2011:data.pdf 02-Dec-2014 03:10 270055
yang:2013:towards-slides.pdf 02-Dec-2014 03:10 3560214
yang:2013:towards.bib 02-Dec-2014 03:11 342
yang:2013:towards.pdf 02-Dec-2014 03:10 115580