• Publications
  • Influence
Fully abstract compilation to JavaScript
Many tools allow programmers to develop applications in high-level languages and deploy them in web browsers via compilation to JavaScript. While practical and widely used, these compilers are adExpand
  • 103
  • 16
  • PDF
Genome-Wide Analysis of bZIP-Encoding Genes in Maize
  • Kaifa Wei, J. Chen, +6 authors D. Xie
  • Biology, Medicine
  • DNA research : an international journal for rapid…
  • 26 October 2012
In plants, basic leucine zipper (bZIP) proteins regulate numerous biological processes such as seed maturation, flower and vascular development, stress signalling and pathogen defence. We haveExpand
  • 135
  • 15
  • PDF
Interactions of Methicillin Resistant Staphylococcus aureus USA300 and Pseudomonas aeruginosa in Polymicrobial Wound Infection
Understanding the pathology resulting from Staphylococcus aureus and Pseudomonas aeruginosa polymicrobial wound infections is of great importance due to their ubiquitous nature, increasingExpand
  • 185
  • 13
  • PDF
Enforcing Stateful Authorization and Information Flow Policies in Fine
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language has the ability toExpand
  • 80
  • 11
  • PDF
Molecular Phylogenetic and Expression Analysis of the Complete WRKY Transcription Factor Family in Maize
The WRKY transcription factors function in plant growth and development, and response to the biotic and abiotic stresses. Although many studies have focused on the functional identification of theExpand
  • 137
  • 9
Wnt2 secreted by tumour fibroblasts promotes tumour progression in oesophageal cancer by activation of the Wnt/β-catenin signalling pathway
Objectives Interaction between neoplastic and stromal cells plays an important role in tumour progression. It was recently found that WNT2 was frequently overexpressed in fibroblasts isolated fromExpand
  • 89
  • 7
  • PDF
Secure distributed programming with value-dependent types
Distributed applications are difficult to program reliably and securely. Dependently typed functional languages promise to prevent broad classes of errors and vulnerabilities, and to enable programExpand
  • 131
  • 7
  • PDF
An efficient anonymous communication protocol for wireless sensor networks
Anonymous communication is very important for many wireless sensor networks, because it can be used to hide the identity of important nodes, such as the base station and a source node. In sensorExpand
  • 26
  • 7
  • PDF
Gradual typing embedded securely in JavaScript
JavaScript's flexible semantics makes writing correct code hard and writing secure code extremely difficult. To address the former problem, various forms of gradual typing have been proposed, such asExpand
  • 62
  • 6
  • PDF
Adeno-associated virus-targeted disruption of the CFTR gene in cloned ferrets.
Somatic cell gene targeting combined with nuclear transfer cloning presents tremendous potential for the creation of new, large-animal models of human diseases. Mouse disease models often fail toExpand
  • 125
  • 5
  • PDF