• 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
  • 105
  • 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
  • 136
  • 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
  • 201
  • 13
  • PDF
Enforcing Stateful Authorization and Information Flow Policies in Fine
TLDR
This paper presents Fine, a new source-level security-typed language that, through the use of a simple module system and dependent, refinement, and affine types, checks the enforcement of dynamic security policies applied to real software. Expand
  • 82
  • 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
  • 144
  • 10
Secure distributed programming with value-dependent types
TLDR
We present F*, a full-fledged design and implementation of a new dependently typed language for secure distributed programming. Expand
  • 137
  • 8
  • PDF
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
  • 97
  • 7
  • PDF
An efficient anonymous communication protocol for wireless sensor networks
TLDR
We propose an efficient anonymous communication protocol for sensor networks that can achieve all the anonymities while having small overheads on computation, storage, and communication. Expand
  • 27
  • 7
  • PDF
Hyperglycemia induces differential change in oxidative stress at gene expression and functional levels in HUVEC and HMVEC
BackgroundEndothelial dysfunction precedes pathogenesis of vascular complications in diabetes. In recent years, the mechanisms of endothelial dysfunction were investigated to outline strategies forExpand
  • 111
  • 6
SIRT6 Overexpression Potentiates Apoptosis Evasion in Hepatocellular Carcinoma via BCL2-Associated X Protein–Dependent Apoptotic Pathway
Purpose: To characterize the functional role of SIRT6 in hepatocellular carcinoma (HCC). Experimental Design: The expression of SIRT6 in 60 paired paraffin-embedded HCC tissues and adjacentExpand
  • 60
  • 6
  • PDF