Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
xu_thesis.pdf | 2005-12-02 12:12 | 694K | ||
xman.pdf | 2005-12-02 12:12 | 84K | ||
xkerninst-blackberry.ps | 2004-03-27 20:08 | 487K | ||
what-are-races.pdf | 2010-03-23 16:45 | 1.1M | ||
welton_diogenes.pdf | 2019-08-27 12:44 | 887K | ||
welton_autocorrect_orig.pdf | 2020-04-21 10:57 | 1.0M | ||
welton_autocorrect.pdf | 2020-05-09 22:43 | 1.1M | ||
welton-unobvious.pdf | 2017-05-18 16:29 | 685K | ||
welton-mrscan-datareduct.pdf | 2017-09-15 16:47 | 755K | ||
welton-dissertation.pdf | 2020-05-11 20:40 | 1.7M | ||
visualize.pdf | 2008-04-01 11:30 | 25K | ||
typestate.pdf | 2005-12-02 12:12 | 72K | ||
threads.pdf | 2005-12-02 12:12 | 126K | ||
tamches_thesis.pdf | 2005-12-02 12:12 | 1.3M | ||
statecomp2006.pdf | 2015-12-01 09:01 | 98K | ||
sigcomm89-cohrs.pdf | 2013-04-12 03:44 | 1.5M | ||
safety.pdf | 2005-12-02 12:12 | 93K | ||
rocks.pdf | 2005-12-02 12:12 | 102K | ||
ppopp97.pdf | 2005-12-02 12:12 | 235K | ||
pointer-split.pdf | 2010-01-20 14:16 | 13K | ||
paradynJ.pdf | 2005-12-02 12:12 | 62K | ||
overview.pdf | 2005-12-02 12:12 | 96K | ||
nips07-abs.pdf | 2007-12-28 14:04 | 140K | ||
newhall_thesis.pdf | 2005-12-02 12:12 | 1.6M | ||
netzer_thesis.ps | 2004-03-27 20:08 | 782K | ||
netzer_thesis.pdf | 2005-12-02 12:12 | 351K | ||
netzer-sc92.pdf | 2015-05-22 08:25 | 86K | ||
multiapp.ps | 2005-12-02 12:01 | 613K | ||
multiapp.pdf | 2015-12-01 08:32 | 48K | ||
mrnet.pdf | 2005-12-02 12:12 | 144K | ||
metrics.ps | 2005-12-02 12:01 | 251K | ||
metrics.pdf | 2007-08-21 04:42 | 62K | ||
mdl.pdf | 2005-12-02 12:12 | 62K | ||
kerninst.pdf | 2005-12-02 12:11 | 140K | ||
kerninst-blackberry.pdf | 2005-12-02 12:12 | 124K | ||
karavanic_thesis.pdf | 2005-12-02 12:12 | 561K | ||
javaperf.pdf | 2005-12-02 12:12 | 202K | ||
ips2.ps | 2005-12-02 12:01 | 147K | ||
ipath.pdf | 2005-12-02 12:12 | 70K | ||
hijack.pdf | 2005-12-02 12:12 | 83K | ||
gui.pdf | 2005-12-02 12:12 | 110K | ||
fuzz2020.pdf | 2020-08-14 12:55 | 536K | ||
fuzz.ps.fz | 2004-03-27 20:08 | 148K | ||
fuzz.ps | 2004-03-27 20:08 | 140K | ||
fuzz.pdf | 2005-12-02 12:12 | 89K | ||
fuzz-revisited.ps | 2004-03-27 20:08 | 224K | ||
fuzz-revisited.pdf | 2006-02-09 11:41 | 66K | ||
fuzz-nt.ps | 2004-03-27 20:08 | 267K | ||
fuzz-nt.pdf | 2005-12-02 12:12 | 107K | ||
espt2013_submission_2.pdf | 2013-11-11 12:04 | 66K | ||
eichenhofer2020.pdf | 2020-07-15 13:32 | 3.1M | ||
dynopt.pdf | 2005-12-02 12:12 | 180K | ||
dyn-security.pdf | 2005-12-02 12:12 | 83K | ||
diogenes-sc2019.pdf | 2019-08-27 12:23 | 887K | ||
diagnosis.pdf | 2005-12-02 12:12 | 98K | ||
detecting.pdf | 2019-01-09 17:55 | 95K | ||
demosmp.pdf | 2011-01-03 15:13 | 44K | ||
deepstart.pdf | 2005-12-02 12:12 | 153K | ||
deepstart-ep.ps | 2004-03-27 20:08 | 255K | ||
deepstart-ep.pdf | 2005-12-02 12:12 | 83K | ||
crosswalk.pdf | 2005-12-02 12:12 | 82K | ||
callgraphpc.pdf | 2005-12-02 12:12 | 128K | ||
bypasslicense.pdf | 2015-12-01 09:09 | 127K | ||
breakpoint.ps | 2004-03-27 20:08 | 88K | ||
breakpoint.pdf | 2005-12-02 12:12 | 39K | ||
Zandy99Process.ps | 2004-03-27 20:08 | 203K | ||
Zandy99Process.pdf | 2004-03-27 20:08 | 83K | ||
Zandy04Dissertation.ps | 2004-04-18 19:21 | 2.3M | ||
Zandy04Dissertation.pdf | 2004-04-18 19:21 | 645K | ||
Zandy03Checkpoints.ps | 2004-03-27 20:08 | 282K | ||
Zandy03Checkpoints.pdf | 2004-03-27 20:08 | 110K | ||
Zandy02Reliable.ps | 2004-03-27 20:08 | 405K | ||
Zandy02Reliable.pdf | 2004-03-27 20:08 | 102K | ||
Xu99Dynamic.ps | 2004-03-27 20:08 | 567K | ||
Xu99Dynamic.pdf | 2004-03-27 20:08 | 126K | ||
Xu97Shared.ps | 2004-03-27 20:08 | 761K | ||
Xu97Shared.pdf | 2004-03-27 20:08 | 235K | ||
Xu01Typestate.ps | 2004-03-27 20:08 | 313K | ||
Xu01Typestate.pdf | 2004-03-27 20:08 | 72K | ||
Xu00Safety.ps | 2004-03-27 20:08 | 391K | ||
Xu00Safety.pdf | 2004-03-27 20:08 | 93K | ||
Xu00Dissertation.ps | 2004-03-27 20:08 | 2.0M | ||
Xu00Dissertation.pdf | 2004-03-27 20:08 | 694K | ||
XOS-OSR-apr1981.pdf | 2011-01-03 15:46 | 708K | ||
Wisconsin-PTI80-1.pdf | 2018-10-19 10:29 | 258K | ||
Williams15Dyninst.pdf | 2015-12-18 13:05 | 183K | ||
WiSA-Summary2007.pdf | 2010-02-23 18:18 | 165K | ||
Welton15MrScan.pdf | 2015-03-04 11:58 | 1.3M | ||
Welton14MrScan.pdf | 2014-11-17 11:38 | 287K | ||
Welton13MrScan.pdf | 2013-08-15 00:56 | 1.8M | ||
WeakMemRaces-ISCA1991.pdf | 2011-01-03 14:56 | 1.1M | ||
WORKS10.pdf | 2011-01-04 15:47 | 1.1M | ||
Upconn-IEEESoftware1988.pdf | 2011-01-03 14:37 | 655K | ||
Upcalls-ICDCS1988.pdf | 2011-01-03 14:39 | 881K | ||
TeachingSoftwareSecurity-IEEE-S+P-6.pdf | 2022-01-26 15:35 | 642K | ||
Tamches99Using.ps | 2004-03-27 20:08 | 487K | ||
Tamches99Using.pdf | 2004-03-27 20:08 | 124K | ||
Tamches99FineGrained.ps | 2004-03-27 20:08 | 409K | ||
Tamches99FineGrained.pdf.old | 2004-03-27 20:08 | 108K | ||
Tamches99FineGrained.pdf | 2005-11-28 15:50 | 140K | ||
Tamches01Dynamic.ps | 2004-03-27 20:08 | 349K | ||
Tamches01Dynamic.pdf | 2004-03-27 20:08 | 180K | ||
Tamches01Dissertation.ps | 2004-03-27 20:08 | 2.3M | ||
Tamches01Dissertation.pdf | 2004-03-27 20:08 | 1.3M | ||
TSP-ICPP1986.pdf | 2011-01-03 15:08 | 598K | ||
TSE_2021-02-0065.R2.pdf | 2022-02-17 16:56 | 2.0M | ||
TR1260.pdf | 2019-01-09 16:41 | 636K | ||
TDP_report_2003.pdf | 2005-12-02 12:12 | 749K | ||
Switchboard-RDSDS1987.pdf | 2011-01-03 15:11 | 33K | ||
Roundy12Packers.pdf | 2012-03-08 16:42 | 518K | ||
Roundy12Dissertation.pdf | 2013-04-04 13:47 | 1.5M | ||
Roundy12-Packers.pdf | 2014-02-10 09:59 | 2.9M | ||
Roundy10Malware.pdf | 2012-02-06 15:25 | 636K | ||
Roth06DPC.ps | 2006-02-02 10:40 | 4.1M | ||
Roth06DPC.pdf | 2006-02-02 10:40 | 434K | ||
Roth05Dissertation.ps | 2005-09-23 12:50 | 4.5M | ||
Roth05Dissertation.pdf | 2005-09-23 12:49 | 824K | ||
Roth04Benchmarking.ps | 2004-03-27 20:08 | 720K | ||
Roth04Benchmarking.pdf | 2004-03-27 20:08 | 147K | ||
Roth03MRNet.ps | 2004-03-27 20:08 | 478K | ||
Roth03MRNet.pdf | 2004-03-27 20:08 | 144K | ||
Roth02DeepStart.ps | 2004-03-27 20:08 | 1.2M | ||
Roth02DeepStart.pdf | 2004-03-27 20:08 | 153K | ||
Rosenblum11Toolchain.pdf | 2011-05-26 17:22 | 362K | ||
Rosenblum11Dissertation.pdf | 2011-08-09 09:47 | 6.1M | ||
Rosenblum11Authorship.pdf | 2011-04-14 21:40 | 480K | ||
Rosenblum10prov.pdf | 2010-04-02 10:36 | 185K | ||
Rosenblum08cspm.ps | 2008-06-06 13:05 | 404K | ||
Rosenblum08cspm.pdf | 2008-06-06 13:05 | 164K | ||
Rosenblum08aaai.pdf | 2008-04-15 08:49 | 181K | ||
Ravipati07SymtabAPI.ps | 2007-06-08 16:33 | 509K | ||
Ravipati07SymtabAPI.pdf | 2007-06-08 16:33 | 101K | ||
RaceComplexity-ICPP1989pdf | 2011-01-03 14:41 | 46K | ||
RaceAccuracy-PPOPP1991.pdf | 2011-01-03 14:58 | 1.3M | ||
READ_ME | 2004-03-27 20:08 | 14K | ||
Paging-SC1994.pdf | 2011-01-03 15:03 | 305K | ||
Ordille-1993.pdf | 2017-09-15 13:11 | 933K | ||
Ordille-1993-SIGMOD.pdf | 2017-09-15 13:13 | 620K | ||
Ordille-1992.pdf | 2017-09-13 09:39 | 290K | ||
Nomenclator-SIGCOMM1991.pdf | 2011-01-03 14:54 | 1.2M | ||
Newhll99Performance.ps | 2004-03-27 20:08 | 308K | ||
Newhll99Performance.pdf | 2004-03-27 20:08 | 62K | ||
Newhall99Performance.ps | 2004-03-27 20:08 | 308K | ||
Newhall99Performance.pdf | 2004-03-27 20:08 | 62K | ||
Newhall99Dissertation.ps | 2004-03-27 20:08 | 1.4M | ||
Newhall99Dissertation.pdf | 2004-03-27 20:08 | 1.6M | ||
Newhall98Performance.ps | 2005-12-02 12:35 | 1.5M | ||
Newhall98Performance.pdf | 2004-03-27 20:08 | 202K | ||
Netman-apr1991.pdf | 2011-01-03 15:01 | 68K | ||
Nataraj08TAUoverMRNet.pdf | 2008-04-29 13:48 | 918K | ||
Nataraj08SweetSpots.pdf | 2008-04-29 13:47 | 744K | ||
Mirgorodskiy08DistDiagnosis.ps | 2008-08-25 22:45 | 479K | ||
Mirgorodskiy08DistDiagnosis.pdf | 2008-08-25 22:45 | 239K | ||
Mirgorodskiy06ProblemDiagnosis.ps | 2006-07-28 11:23 | 356K | ||
Mirgorodskiy06ProblemDiagnosis.pdf | 2006-07-28 11:23 | 200K | ||
Mirgorodskiy06Dissertation.ps | 2007-05-04 08:57 | 3.5M | ||
Mirgorodskiy06Dissertation.pdf | 2007-05-04 08:57 | 1.2M | ||
Mirgorodskiy04SelfProp.ps | 2004-10-24 21:51 | 781K | ||
Mirgorodskiy04SelfProp.pdf | 2004-10-24 21:51 | 253K | ||
Mirgorodskiy03CrossWalk.ps | 2004-05-05 15:41 | 282K | ||
Mirgorodskiy03CrossWalk.pdf | 2004-05-05 15:46 | 105K | ||
Miller_1987.pdf | 2017-09-13 14:06 | 973K | ||
Miller95Paradyn.ps | 2004-03-27 20:08 | 575K | ||
Miller95Paradyn.pdf | 2004-03-27 20:08 | 96K | ||
Miller94Paradyn.ps | 2004-03-27 20:08 | 3.0M | ||
Miller94Paradyn.pdf | 2005-12-02 11:58 | 293K | ||
Miller09ScalableDebugging.pdf | 2009-09-30 15:21 | 851K | ||
Miller03TDP.ps | 2004-03-27 20:08 | 4.2M | ||
Miller03TDP.pdf | 2004-03-27 20:08 | 749K | ||
Miller01Playing.ps | 2004-03-27 20:08 | 1.9M | ||
Miller01Playing.pdf | 2004-03-27 20:08 | 83K | ||
Migration-SOSP1983.pdf | 2011-01-03 15:06 | 830K | ||
Metrics-PPOPP1991.pdf | 2011-01-03 14:57 | 1.2M | ||
Meng18Dissertation.pdf | 2018-09-27 10:45 | 729K | ||
Meng18Adversarial.pdf | 2018-09-27 14:39 | 455K | ||
Meng17MultiToolchain.pdf | 2018-02-09 08:02 | 214K | ||
Meng16MultiAuthor.pdf | 2017-06-23 10:35 | 316K | ||
Meng16FSE-SRC.pdf | 2016-11-10 09:56 | 165K | ||
Meng15Parsing.pdf | 2016-06-27 07:36 | 422K | ||
Meng13Authorship.pdf | 2013-07-12 15:29 | 299K | ||
MRNet.pdf | 2005-12-02 12:12 | 112K | ||
MRNet-Benchmarking.pdf | 2005-12-02 12:12 | 147K | ||
LinuxSched-SPE2007.pdf | 2011-01-03 13:20 | 190K | ||
Lee08ScalingSTAT.pdf | 2008-07-15 15:54 | 310K | ||
Lee07STATBench.pdf | 2007-10-26 14:27 | 271K | ||
LIBI-2012.pdf | 2017-09-15 13:25 | 1.1M | ||
Kupsch_et_al-2016-Software__Practice_and_Experience.pdf | 2016-05-24 15:20 | 4.4M | ||
Kunchithapadam96Integrating.ps | 2004-03-27 20:08 | 278K | ||
Kunchithapadam96Integrating.pdf | 2005-12-02 11:58 | 135K | ||
Kunchithapadam95Optimizing.ps | 2004-03-27 20:08 | 361K | ||
Kunchithapadam95Optimizing.pdf | 2005-12-02 11:58 | 52K | ||
Karavanic99Improving.ps | 2004-03-27 20:08 | 286K | ||
Karavanic99Improving.pdf | 2004-03-27 20:08 | 98K | ||
Karavanic99Dissertation.ps | 2004-03-27 20:08 | 11M | ||
Karavanic99Dissertation.pdf | 2004-03-27 20:08 | 561K | ||
Karavanic97Integrated.ps | 2004-03-27 20:08 | 1.3M | ||
Karavanic97Integrated.pdf | 2005-12-02 11:58 | 762K | ||
Karavanic97Experiment.ps | 2004-03-27 20:08 | 331K | ||
Karavanic97Experiment.pdf | 2004-03-27 20:08 | 84K | ||
JayFleece.pdf | 2018-03-16 13:39 | 266K | ||
Jacobson14ROPStop.pdf | 2013-12-05 09:52 | 334K | ||
Jacobson13ROPStopPosterAbstract.pdf | 2013-08-28 09:55 | 74K | ||
Jacobson12ROPStop.pdf | 2013-12-05 09:52 | 334K | ||
Jacobson11Unstrip.pdf | 2012-01-30 10:26 | 271K | ||
Jacobson10LightweightMRNet.pdf | 2010-11-12 14:36 | 137K | ||
Irvin_Dissertation.ps | 2004-03-27 20:08 | 1.2M | ||
Irvin_Dissertation.pdf | 2005-12-02 11:57 | 664K | ||
Irvin96Mechanisms.ps | 2004-03-27 20:08 | 168K | ||
Irvin96Mechanisms.pdf | 2005-12-02 11:57 | 81K | ||
Irvin96Mapping.ps | 2004-03-27 20:08 | 442K | ||
Irvin96Mapping.pdf | 2005-12-02 11:57 | 195K | ||
Irvin95Dissertation.ps | 2004-03-27 20:08 | 1.2M | ||
Irvin95Dissertation.pdf | 2005-12-02 11:57 | 664K | ||
Irvin94Performance.ps | 2004-03-27 20:08 | 489K | ||
Irvin94Performance.pdf | 2005-12-02 11:57 | 237K | ||
ISPEC2013-Serrano.pdf | 2013-09-04 13:14 | 1.1M | ||
IPS2-IEEEPDS-apr1990.pdf | 2011-01-03 14:49 | 1.2M | ||
IPS-IEEETSE-dec1989.pdf | 2011-01-03 14:45 | 1.5M | ||
IBERGRID-2011.pdf | 2011-06-03 08:32 | 679K | ||
Hollingsworth97MDL.ps | 2004-03-27 20:08 | 216K | ||
Hollingsworth97MDL.pdf | 2004-03-27 20:08 | 62K | ||
Hollingsworth96Adaptive.ps | 2004-03-27 20:08 | 148K | ||
Hollingsworth96Adaptive.pdf | 2005-12-02 11:56 | 66K | ||
Hollingsworth94Dynamic.ps | 2004-03-27 20:08 | 212K | ||
Hollingsworth94Dynamic.pdf | 2005-12-02 11:56 | 65K | ||
Hollingsworth94Dissertation.ps | 2004-03-27 20:08 | 1.6M | ||
Hollingsworth94Dissertation.pdf | 2005-12-02 11:56 | 605K | ||
Hollingsworth93Dynamic.ps | 2004-03-27 20:08 | 299K | ||
Hollingsworth93Dynamic.pdf | 2005-12-02 11:56 | 83K | ||
Harris05WBIA.ps | 2006-03-23 09:34 | 542K | ||
Harris05WBIA.pdf | 2006-03-23 09:32 | 72K | ||
Fuzz-MacOS.pdf | 2010-05-20 08:25 | 62K | ||
Frydman-Jun2014.pdf | 2014-06-19 20:33 | 1.8M | ||
Flowback-TOPLAS-oct1991.pdf | 2011-01-03 14:51 | 2.6M | ||
FGFS-IPDPS13-Ahn-validated.pdf | 2013-02-04 13:53 | 1.1M | ||
ETC_2016_Heymann_Miller.pdf | 2016-07-20 12:09 | 249K | ||
Delphi99.pdf | 2016-01-27 09:09 | 253K | ||
DREGS-EUUG1986.pdf | 2011-01-03 15:32 | 1.0M | ||
DPM-IEEETC-Feb1988.pdf | 2011-01-03 14:24 | 766K | ||
CritPath-ICDCS1988.pdf | 2011-01-03 14:33 | 654K | ||
Collins05HPCC.ps | 2008-08-06 08:54 | 335K | ||
Collins05HPCC.pdf | 2008-08-06 08:54 | 133K | ||
Choi-PLDI1988.pdf | 2011-01-03 14:30 | 1.2M | ||
Cain00Callgraph.ps | 2004-03-27 20:08 | 347K | ||
Cain00Callgraph.pdf | 2004-03-27 20:08 | 128K | ||
CLAM-OOPSLA1987.pdf | 2011-01-03 14:14 | 1.0M | ||
Brim12Dissertation.pdf | 2012-12-03 16:08 | 1.6M | ||
Brim11FinalNamespace_12pg.pdf | 2011-02-11 12:56 | 479K | ||
Brim11FinalNamespace.pdf | 2011-03-28 10:23 | 356K | ||
Brim10MRNetXT.pdf | 2010-05-12 15:23 | 154K | ||
Brim09GroupFile.pdf | 2009-08-26 14:34 | 422K | ||
Breakpoints-ICDCS1988.pdf | 2011-01-03 14:34 | 620K | ||
Bernat12Editing.pdf | 2012-08-31 11:25 | 652K | ||
Bernat12Dissertation.pdf | 2012-04-30 22:04 | 2.2M | ||
Bernat11Sensitivity.pdf | 2012-01-30 10:37 | 475K | ||
Bernat11AWAT.pdf | 2012-01-30 10:35 | 728K | ||
Bernat04Incremental.ps | 2005-02-22 13:26 | 246K | ||
Bernat04Incremental.pdf | 2005-02-22 13:26 | 61K | ||
Arnold10IPDPS.pdf | 2010-02-02 10:22 | 519K | ||
Arnold09StateCompensation.pdf | 2009-01-12 22:30 | 624K | ||
Arnold08Dissertation.pdf | 2009-10-01 09:26 | 1.6M | ||
Arnold06TBONs.ps | 2006-01-24 09:27 | 548K | ||
Arnold06TBONs.pdf | 2006-01-24 09:27 | 243K | ||
Arnold06STAT.pdf | 2006-10-17 14:45 | 610K | ||
Ahn08LaunchMON.pdf | 2008-04-29 16:16 | 463K | ||
ABSTRACTS | 2004-03-27 20:08 | 80K | ||
2024-10-RegisterAvailabilityAnalysisOfMIOpenKernels.pdf | 2024-10-16 11:40 | 1.3M | ||
2023-SpanL.pdf | 2024-11-04 14:50 | 16M | ||
2022-09-NMIOTC-Ransomware.pdf | 2022-12-12 12:58 | 743K | ||
2021-11-Dagstuhl-21441-Adaptive.pdf | 2022-03-30 04:48 | 2.8M | ||
2018-TransSecurity.pdf | 2018-10-17 10:38 | 3.9M | ||
2017-NATO-NMIOTC-4.pdf | 2017-09-18 13:05 | 1.4M | ||
1992-wrapping.pdf | 2016-01-22 15:13 | 152K | ||
1988-02-IEEETC-dpm.pdf | 2015-12-28 14:06 | 1.8M | ||