1![Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA](https://www.pdfsearch.io/img/c2d8f986d35e19a847a59c793af7e543.jpg) | Add to Reading ListSource URL: manticore.cs.uchicago.eduLanguage: English - Date: 2017-07-17 11:35:05
|
---|
2![Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab](https://www.pdfsearch.io/img/ed4f20c07b6044c3cb55bf764e5f80e8.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-14 06:12:20
|
---|
3![](/pdf-icon.png) | Add to Reading ListSource URL: www.urmc.rochester.edu- Date: 2017-10-11 10:47:01
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: www.sas.rochester.edu- Date: 2017-09-20 13:25:21
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: mag.rochester.edu- Date: 2016-12-12 16:52:12
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: www.cs.rochester.edu- Date: 2000-12-12 13:37:54
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: chem.chem.rochester.edu- Date: 2018-07-26 12:01:19
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: rochester.edu- Date: 2016-10-07 08:26:34
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: www.lle.rochester.edu- Date: 2014-07-08 11:27:26
|
---|