Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(5)
Zhong Shao (邵中)
4
Xinyu Feng (冯新宇)
2
Gang Tan
2
Alexander Vaynberg
2
Ying-Chao Zhao
1
Conferences
(2)
PLDI
1
APLAS
1
Journals
(3)
JCO
1
NGC
1
SIGPLAN
1
Keywords
(23)
Embed
Subscribe
Academic
Authors
Hongxu Cai
Hongxu Cai,Google Inc.,Programming Languages,Algorithms & Theory,Scientific Computing
Edit
Hongxu Cai
Google Inc.
Publications:
5
|
Citations:
26
Fields:
Programming Languages
,
Algorithms & Theory
,
Scientific Computing
View FAQ about top research areas and Fields of study
Collaborated with
5 co-authors
from 2005 to 2011
|
Cited by
59 authors
Cumulative
Annual
Sort by:
Publications
(5)
BibTeX
|
RIS
|
RefWorks
Download
Weak Updates and Separation Logic
Gang Tan
,
Zhong Shao
,
Xinyu Feng
,
Hongxu Cai
Journal:
New Generation Computing - NGC
, vol. 29, no. 1, pp. 3-29, 2011
Weak updates and separation logic
(
Citations: 2
)
Gang Tan
,
Zhong Shao
,
Xinyu Feng
,
Hongxu Cai
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 178-193, 2009
Certified self-modifying code
(
Citations: 22
)
Hongxu Cai
,
Zhong Shao
,
Alexander Vaynberg
Conference:
SIGPLAN Conference on Programming Language Design and Implementation - PLDI
, pp. 66-77, 2007
Certified self-modifying code
Hongxu Cai
,
Zhong Shao
,
Alexander Vaynberg
Journal:
Sigplan Notices - SIGPLAN
, vol. 42, no. 6, pp. 66-77, 2007
On Approximation Ratios of Minimum-Energy Multicast Routing in Wireless Networks
(
Citations: 2
)
Hongxu Cai
,
Yingchao Zhao
Journal:
Journal of Combinatorial Optimization - JCO
, vol. 9, no. 3, pp. 243-262, 2005
Sort by:
Citations
(26 times by 26 publications)
A kripke logical relation between ML and assembly
(
Citations: 1
)
Chung-Kil Hur
,
Derek Dreyer
Journal:
Sigplan Notices - SIGPLAN
, pp. 133-146, 2011
Runtime Programming through Model-Preserving, Scalable Runtime Patches
(
Citations: 1
)
Christoph M. Kirsch
,
Luis Lopes
,
Eduardo R. B. Marques
,
Ana Sokolova
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 77-86, 2011
Weak Updates and Separation Logic
Gang Tan
,
Zhong Shao
,
Xinyu Feng
,
Hongxu Cai
Journal:
New Generation Computing - NGC
, vol. 29, no. 1, pp. 3-29, 2011
Proposal of a High-Level Language for Writing Self Modifying Programs
Salvador Ramos Bernardino da Silva
,
Joao Jose Neto
Journal:
IEEE Latin America Transactions - IEEE LAT AM TRANS
, vol. 9, no. 2, pp. 192-198, 2011
Verified just-in-time compiler on x86
(
Citations: 9
)
Magnus O. Myreen
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 107-118, 2010
Comments