Curriculum Vitae Lingkui Meng E-mail: Phone/Fax: Current Appointments PostDoc, MEXT Project of Integrated Research on Chemical Synthesis, Nagoya

Source URL: jointproject-cscri.rcms.nagoya-u.ac.jp

Stereoselective Synthesis of 2,5 Substituted Tetrahydrofurans Hemaka Rajapakse Evans Group Afternoon Seminar Tuesday, December 8th 1998 • Tetrahydrofuran Containing Natural Products and Biosynthesis • Oxidative Cycli

Source URL: evans.rc.fas.harvard.edu

This is a draft document. Please do not reproduce any part of this document without the permission of the author REDIAL PROJECT National Synthesis Report – Belgium (Draft)

Source URL: euredial.eu

Fall 2003 BMICS 426 Notes L-1 AUTOMATIC SYNTHESIS OF CONTROLLERS

Source URL: www.genetic-programming.com

Synthesis, Tubular Scaffolding, and Photocontrolling the Helix-Coil Transition in Phenylene Ethynylene Foldamers

Source URL: www.hechtlab.de

Network-Wide Configuration Synthesis Ahmed El-Hassany(B) , Petar Tsankov, Laurent Vanbever, and Martin Vechev ETH Z¨ urich, Z¨ urich, Switzerland

Source URL: www.vanbever.eu

• Computing
• Internet architecture
• Network architecture
• Internet
• Internet Standards
• Internet protocols
• Routing protocols
• Computer networking
• Datalog
• Open Shortest Path First
• Router
• Forwarding plane

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: www.sri.inf.ethz.ch

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

Java Byte Code Synthesis for Reconfigurable Computing Platforms Christophe Dubach Computer Science, master thesis Processor Architecture Laboratory

Source URL: homepages.inf.ed.ac.uk

Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of Washington

Source URL: homes.cs.washington.edu

Proactive Synthesis of Recursive Tree-to-String Functions from Examples∗† Mikaël Mayer1 , Jad Hamza1 , and Viktor Kunčak1 1 EPFL IC IINFCOM LARA, INR 318, Station 14, CH-1015 Lausanne

Source URL: lara.epfl.ch