Cristian Cadar

	2011
15		Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly: Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328
14		JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter Pietzuch: Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. ICCCN 2011: 1-8
13		Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser: Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071
12		Tristan O. R. Allwood, Cristian Cadar, Susan Eisenbach: High coverage testing of Haskell programs. ISSTA 2011: 375-385
	2010
11		Cristian Cadar, Peter Pietzuch, Alexander L. Wolf: Multiplicity computing: a vision of software engineering for next-generation computing platform applications. FoSER 2010: 81-86
	2008
10		Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro: Preventing Memory Error Exploits with WIT. IEEE Symposium on Security and Privacy 2008: 263-277
9		Cristian Cadar, Daniel Dunbar, Dawson R. Engler: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI 2008: 209-224
8		Peter Boonstoppel, Cristian Cadar, Dawson R. Engler: RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS 2008: 351-366
7		Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12(2): (2008)
	2006
6		Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: automatically generating inputs of death. ACM Conference on Computer and Communications Security 2006: 322-335
5		Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler: Automatically Generating Malicious Disks using Symbolic Execution. IEEE Symposium on Security and Privacy 2006: 243-257
	2005
4		Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen: Exploring the acceptability envelope. OOPSLA Companion 2005: 21-30
3		Cristian Cadar, Dawson R. Engler: Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN 2005: 2-23
	2004
2		Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu: A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). ACSAC 2004: 82-90
1		Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee: Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI 2004: 303-316

Coauthor Index

1	Periklis Akritidis	[10]
2	Tristan O. R. Allwood	[12]
3	William S. Beebee	[1]
4	Peter Boonstoppel	[8]
5	Miguel Castro	[10]
6	Peter Collingbourne	[15]
7	Manuel Costa	[10]
8	David L. Dill	[6] [7]
9	Daniel Dumitran	[1] [2]
10	Daniel Dunbar	[9]
11	Susan Eisenbach	[12]
12	Dawson R. Engler	[3] [5] [6] [7] [8] [9]
13	Vijay Ganesh	[6] [7]
14	Patrice Godefroid	[13]
15	Paul H. J. Kelly	[15]
16	Sarfraz Khurshid	[13]
17	Tudor Leu	[1] [2]
18	Tiejun Ma	[14]
19	Huu Hai Nguyen	[4]
20	Corina S. Pasareanu	[13]
21	Peter M. Pawlowski	[6] [7]
22	Peter R. Pietzuch (Peter Pietzuch)	[11] [14]
23	Costin Raiciu	[10]
24	Martin C. Rinard	[1] [2] [4]
25	Daniel M. Roy	[1] [2]
26	Can Sar	[5]
27	Koushik Sen	[13]
28	JaeSeung Song	[14]
29	Nikolai Tillmann	[13]
30	Paul Twohey	[5]
31	Willem Visser	[13]
32	Alexander L. Wolf	[11]
33	Junfeng Yang	[5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page