Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Fully abstract compilation to JavaScript
- C. Fournet, N. Swamy, J. Chen, Pierre-Évariste Dagand, P. Strub, B. Livshits
- Computer Science
- POPL
- 23 January 2013
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 ad… Expand
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 have… Expand
Interactions of Methicillin Resistant Staphylococcus aureus USA300 and Pseudomonas aeruginosa in Polymicrobial Wound Infection
- Irena Pastar, A. G. Nusbaum, +7 authors S. C. Davis
- Medicine, Biology
- PloS one
- 22 February 2013
Understanding the pathology resulting from Staphylococcus aureus and Pseudomonas aeruginosa polymicrobial wound infections is of great importance due to their ubiquitous nature, increasing… Expand
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 to… Expand
Molecular Phylogenetic and Expression Analysis of the Complete WRKY Transcription Factor Family in Maize
- K. Wei, J. Chen, Y. Chen, L. Wu, Dao-xin Xie
- Biology, Medicine
- DNA research : an international journal for rapid…
- 24 January 2012
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 the… Expand
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 from… Expand
Secure distributed programming with value-dependent types
- N. Swamy, J. Chen, C. Fournet, P. Strub, K. Bhargavan, Jean Yang
- Computer Science
- ICFP '11
- 19 September 2011
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 program… Expand
An efficient anonymous communication protocol for wireless sensor networks
- J. Chen, Xiaojiang Du, B. Fang
- Computer Science
- Wirel. Commun. Mob. Comput.
- 1 October 2012
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 sensor… Expand
Gradual typing embedded securely in JavaScript
- N. Swamy, C. Fournet, +4 authors G. Bierman
- Computer Science
- POPL '14
- 11 January 2014
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 as… Expand
Adeno-associated virus-targeted disruption of the CFTR gene in cloned ferrets.
- X. Sun, Z. Yan, +8 authors J. Engelhardt
- Biology, Medicine
- The Journal of clinical investigation
- 1 April 2008
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 to… Expand