Start Search Over

Active Search Criteria:

Displaying all 8 items
sorted by

1 Make Parallel Programs Reliable with Stable Multithreading

Author(s):
Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng; Cui, Heming; Gallagher, John; Tsai, Chia-Che
Date:
2013
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:19678

2 Effective Dynamic Detection of Alias Analysis Errors

Author(s):
Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng
Date:
2013
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:19675

3 Concurrency Attacks

Author(s):
Yang, Junfeng; Cui, Ang; Stolfo, Salvatore; Sethumadhavan, Lakshminarasimhan
Date:
2012
Subject:
Computer science
Content Type:
Articles
Publisher:
USENIX
Permanent URL:
http://hdl.handle.net/10022/AC:P:14890

4 The SPARCHS Project: Hardware Support for Software Security

Author(s):
Sethumadhavan, Lakshminarasimhan; Stolfo, Salvatore; Keromytis, Angelos D.; Yang, Junfeng; August, David
Date:
2011
Subject:
Computer science
Content Type:
Articles
Publisher:
IEEE
Permanent URL:
http://hdl.handle.net/10022/AC:P:13953

5 The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security

Author(s):
Keromytis, Angelos D.; Stolfo, Salvatore; Yang, Junfeng; Stavrou, Angelos; Ghosh, Anup; Engler, Dawson; Dacier, Marc; Elder, Matthew; Kienzle, Darrell
Date:
2011
Subject:
Computer science
Content Type:
Articles
Publisher:
IEEE
Permanent URL:
http://hdl.handle.net/10022/AC:P:13952

6 Concurrency Attacks

Author(s):
Yang, Junfeng; Cui, Ang; Gallagher, John Martin; Stolfo, Salvatore; Sethumadhavan, Lakshminarasimhan
Date:
2011
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:10681

7 Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage

Author(s):
Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29607

8 A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains

Author(s):
Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng
Date:
2009
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:9306

Powered by the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.