21984 search results - page 90 / 4397 » C |
187
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
109
Voted
IACR
2011
14 years 3 months ago
2011
Grand Cru, a candidate cipher algorithm of NESSIE project, is based on the strategy of multiple layered security and derived from AES-128. This algorithm was not selected for secon...
134
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...
133
Voted
ACL
2012
13 years 6 months ago
2012
This paper describes Movie-DiC a Movie Dialogue Corpus recently collected for research and development purposes. The collected dataset comprises 132,229 dialogues containing a tot...
152
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Design of high performance Web servers has become a recent research thrust to meet the increasing demand of networkbased services. In this paper, we propose a new Web server archi...