Tal Cohen

Google Research

• Home
• Publications
• Tech Talks
• University Relations
• About Google Research
• Work at Google

Other Google Resources

• Google Code
• Google Labs
• Google Scholar

Publications

• Guarded Program Transformations Using JTL, Tal Cohen, Joseph (Yossi) Gil, Itay Maman, TOOLS EUROPE 2008 (LNBIP 11), pp. 100-120 (to appear).