Differences between version 31 and revision by previous author of SootUsers.

Other diffs: Previous Major Revision, Previous Revision

Newer page: version 31 Last edited on December 22, 2013 9:29 am. by WikiWord
Older page: version 30 Last edited on March 27, 2013 5:59 pm. by PhilPrattSzeliga
@@ -323,4 +323,10 @@
  o Project homepage: http://www.cse.iitb.ac.in/infolab/dbridge/ 
  * Rootbeer: The Rootbeer GPU Compiler uses soot to convert Java Bytecode to CUDA C and execute on a Graphics Processing Unit. 
  o http://rbcompiler.com/ 
+ * Zhoulai Fu has used Soot in  
+ o his PhD work (http://tel.archives-ouvertes.fr/tel-00918593/en),  
+ o the research on combining static heap and numeric analysis (http://hal.inria.fr/hal-00809826/en, to appear in VMCAI’14), and  
+ o for implementing an aggressive memory model beyond the strong/weak update paradigme (http://hal.inria.fr/hal-00921702/en, to appear in ESOP’14 & poster at POPL’14)