Peter Collingbourne

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

2 Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly: Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328

2010

1 Peter Collingbourne, Paul H. J. Kelly: Inference of Session Types From Control Flow. Electr. Notes Theor. Comput. Sci. 238(6): 15-40 (2010)

	2011
2		Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly: Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328
	2010
1		Peter Collingbourne, Paul H. J. Kelly: Inference of Session Types From Control Flow. Electr. Notes Theor. Comput. Sci. 238(6): 15-40 (2010)

Coauthor Index

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