Muhammad Uzair Khan

Publications:-

• First Class Futures: Specification and Implementation of Update Strategies.  Author's version (pdf)
  Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, and Eugenio Zimeo -  CoreGRID@Europar 2010, Ischia, Italy.


• A Framework for Reasoning on Component Composition. Author's version (pdf)
  Ludovic Henrio, Florian Kammüller, and Muhammad Uzair Khan - FMCO 2009, Springer (2010).

• Asynchronous Components  with Futures:  Semantics and Proofs in Isabelle/HOL. Author's version (pdf)
  Ludovic Henrio and Muhammad Uzair Khan - FESCA 2010 - ENTCS.


• First Class Futures : a Study of Update Strategies. Author's version (pdf)
  Muhammad Uzair Khan and Ludovic Henrio - Research  Report- RR-7113, INRIA 2009.


• Update Strategies for Transparent First Class Futures
  Muhammad Uzair Khan and Ludovic Henrio - 19th Doctoral Symposium, DS-ECOOP '09, Genova Italy 2009.


• Evaluation and implementation of  update strategies for first class futures
  Muhammad Uzair Khan  - SAFA workshop, INRIA-Sophia Antipolis.

Talks / Presentations:-

• 02/2010 : Asynchronous component with futures: Semantics and Proofs in Isabelle/HOL, Journee du pole COMRED,                      Sophia Antipolis, France.
  


• 07/2009 : Update strategies for transparent first class futures, 19th Doctoral Symposium, ECOOP '09, Genova, Italy. 


• 02/2009 : Update strategies for transparent first class futures, Seminar Croise, Indes-Oasis, INRIA-Sophia Antipolis.


• 12/2008 : Evaluation and implementation of update strategies for first class futures , SAFA workshop, INRIA-Sophia                 Antipolis.

Posters:-

• First Class Futures in ProActive 
  Muhammad Uzair Khan, summer school, RESCOM '09.