![]() | ![]() |
| 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) | |
| 1 | Cristian Cadar | [2] |
| 2 | Paul H. J. Kelly | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page