J. Chen

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
Biology, Medicine
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

N. Swamy, J. Chen, R. Chugh
Computer Science
ESOP
20 March 2010

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

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

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

We present F*, a full-fledged design and implementation of a new dependently typed language for secure distributed programming. Expand

Wnt2 secreted by tumour fibroblasts promotes tumour progression in oesophageal cancer by activation of the Wnt/β-catenin signalling pathway

L. Fu, C. Zhang, +8 authors X. Guan
Biology, Medicine
Gut
14 June 2011

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

An efficient anonymous communication protocol for wireless sensor networks

J. Chen, Xiaojiang Du, B. Fang
Computer Science
Wirel. Commun. Mob. Comput.
1 October 2012

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

Hyperglycemia induces differential change in oxidative stress at gene expression and functional levels in HUVEC and HMVEC

H. Patel, J. Chen, K. Das, M. Kavdia
Medicine
Cardiovascular Diabetology
5 October 2013

BackgroundEndothelial dysfunction precedes pathogenesis of vascular complications in diabetes. In recent years, the mechanisms of endothelial dysfunction were investigated to outline strategies for… Expand

SIRT6 Overexpression Potentiates Apoptosis Evasion in Hepatocellular Carcinoma via BCL2-Associated X Protein–Dependent Apoptotic Pathway

Long-kuan Ran, Y. Chen, +9 authors J. Chen
Biology, Medicine
Clinical Cancer Research
9 February 2016

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 adjacent… Expand

Recommended Authors