- Author(s):
- Wu, Leon Li; Kaiser, Gail E.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:14722
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.; Solomon, David M.; Winter, Rebecca Lynn; Boulanger, Albert; Anderson, Roger N.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:13213
- Author(s):
- Wu, Leon Li
- 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:13134
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj
- 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:13133
- Author(s):
- Wu, Leon Li; Xie, Boyi; Kaiser, Gail E.; Passonneau, Rebecca
- 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:13132
6 Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.
- 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:13131
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Anderson, Roger N.
- 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:12174
- Author(s):
- Solomon, David M.; Winter, Rebecca Lynn; Boulanger, Albert G.; Anderson, Roger N.; Wu, Leon Li
- Date:
- 2011
- Subject:
- Environmental science, Applied mathematics
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:12171
- Author(s):
- Wu, Leon Li; Teravainen, Timothy Kaleva; Kaiser, Gail E.; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia
- 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:10670
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.
- Date:
- 2010
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:10526
