- Author(s):
- Vovsha, Ilia; Salleb-Aouissi, Ansaf; Radeva, Axinia; Raja, Anita; Diab, Hatim; Tomar, Ashish; Rajan, Ashwath
- Date:
- 2013
- Subject:
- Obstetrics and gynecology, Bioinformatics, Biostatistics
- Content Type:
- Technical reports
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:20388
- 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):
- Salloum, Wael Sameer; Habash, Nizar Y.
- Date:
- 2012
- Subject:
- Artificial intelligence, Computer science
- Content Type:
- Technical reports
- Publisher:
- Center for Computational Learning Systems, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:14023
- 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
8 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
