- Author(s):
- Cossairt, Oliver S.; Gupta, Mohit; Nayar, Shree K.
- 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:14292
- Author(s):
- Hasan, Sahar
- 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:14291
- Author(s):
- Deshpande, Neil Ashish; Edwards, Stephen A.
- 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:14249
- 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
28 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):
- Zhou, Changyin; Nayar, Shree K.
- 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:13017
- Author(s):
- Yu, Xinnan; Ji, Rongrong; Tsai, Ming-Hen; Ye, Guangnan; Chang, Shih-Fu
- Date:
- 2012
- Subject:
- Computer science, Information science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:12994
