-
61
Bridging boolean and quantitative synthesis using smoothed proof search
Published 2014Get full text
Get full text
Article -
62
Automated feedback generation for introductory programming assignments
Published 2014Get full text
Get full text
Article -
63
Faceted execution of policy-agnostic programs
Published 2014Get full text
Get full text
Get full text
Article -
64
Autotuning algorithmic choice for input sensitivity
Published 2015Get full text
Get full text
Article -
65
-
66
The SprayList: a scalable relaxed priority queue
Published 2016Get full text
Get full text
Get full text
Get full text
Article -
67
-
68
Program synthesis from polymorphic refinement types
Published 2017Get full text
Get full text
Get full text
Get full text
Article -
69
-
70
Automatic runtime error repair and containment via recovery shepherding
Published 2020Get full text
Article -
71
An Integrated Proof Language for Imperative Programs
Published 2010Get full text
Get full text
Article -
72
Dynamic Cache Contention Detection in Multi-threaded Applications
Published 2011Get full text
Get full text
Article -
73
-
74
-
75
-
76
-
77
-
78
-
79
-
80