McKinley, Todd O.
10  results:
Search for persons X
?
2

Debugging probabilistic programs:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,
 
?
3

Expressing and verifying probabilistic assertions:

, In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Sampson, Adrian ; Panchekha, Pavel ; Mytkowicz, Todd... - p. 112-122 , 2014
 
?
4

Uncertain«italic toggle="yes">T : a first-order type for..:

, In: Proceedings of the 19th international conference on Architectural support for programming languages and operating systems,
 
?
5

The latency, accuracy, and battery (LAB) abstraction : p..:

, In: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications,
Kansal, Aman ; Saponas, Scott ; Brush, A.J. Bernheim... - p. 661-676 , 2013
 
?
 
?
10

Contributors:

, In: Clinical Respiratory Medicine,
 
1-10