Robert A. Cochran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2002–2017
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | NSDI | A System to Verify Network Behavior of Known Cryptographic Clients. | Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton |
| 2015 | POPL | Program Boosting: Program Synthesis via Crowd-Sourcing. | Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes |
| 2013 | NDSS | Toward Online Verification of Client Behavior in Distributed Applications. | Robert A. Cochran, Michael K. Reiter |
| 2010 | NDSS | Server-side Verification of Client Behavior in Online Games. | Darrell Bethea, Robert A. Cochran, Michael K. Reiter |
| 2002 | CLUSTER | Disaster Tolerant Wolfpack Geo-Clusters. | Richard S. Wilkins, Xing Du, Robert A. Cochran, Matthias Popp |