BibSonomy :: author  ::

bookmarks

publications

(100)

• Genetic Programming Applied to Compiler Heuristic Optimization
  Mark Stephenson and Una-May O'Reilly and Martin C. Martin and Saman Amarasinghe Genetic Programming, Proceedings of EuroGP'2003 238--253 (2003)
  to algorithms, genetic programming by brazovayeye and 1 other person on 2008-06-19 17:46:40
  | URL | BibTeX  
• Liquid types.
  Patrick M. Rondon and Ming Kawaguchi and Ranjit Jhala PLDI 159-169 (2008)
  to dblp by dblp on 2008-06-18 00:00:00
  | URL | BibTeX  
• Race directed random testing of concurrent programs.
  Koushik Sen PLDI 11-21 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Full functional verification of linked data structures.
  Karen Zee and Viktor Kuncak and Martin C. Rinard PLDI 349-361 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Foundations of the C++ concurrency memory model.
  Hans-Juergen Boehm and Sarita V. Adve PLDI 68-78 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance.
  Stephen M. Blackburn and Kathryn S. McKinley PLDI 22-32 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Fair stateless model checking.
  Madanlal Musuvathi and Shaz Qadeer PLDI 362-371 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Type-preserving compilation for large-scale optimizing object-oriented compilers.
  Juan Chen and Chris Hawblitzel and Frances Perry and Mike Emmi and Jeremy Condit and Derrick Coetzee and Polyvios Pratikaki PLDI 183-192 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Deriving linearizable fine-grained concurrent objects.
  Martin T. Vechev and Eran Yahav PLDI 125-135 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Program analysis as constraint solving.
  Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan PLDI 281-292 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX