Daniel Marino

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 4

Top Topics

Buffer Overflow

Policy Enforcement

Endpoint Detection

Top Venues

ACM Trans. Program. Lang. Syst.

IEEE Symposium on Security and Privacy

Publications

Wajih Ul Hassan, Adam Bates, Daniel Marino
Tactical Provenance Analysis for Endpoint Detection and Response Systems. IEEE Symposium on Security and Privacy (2020)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. ACM Trans. Program. Lang. Syst. 38 (4) (2016)
Mingwei Zhang, Daniel Marino, Petros Efstathopoulos
Harbormaster: Policy Enforcement for Containers. CloudCom (2015)
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh
The Silently Shifting Semicolon. SNAPL (2015)
Kartik Nayak, Daniel Marino, Petros Efstathopoulos, Tudor Dumitras
Some Vulnerabilities Are Different Than Others - Studying Vulnerabilities and Attack Surfaces in the Wild. RAID (2014)
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
Detecting deadlock in programs with data-centric synchronization. ICSE (2013)
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
A Safety-First Approach to Memory Models. IEEE Micro 33 (3) (2013)
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34 (1) (2012)
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
End-to-end sequential consistency. ISCA (2012)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
A case for an SC-preserving compiler. PLDI (2011)
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi
Efficient processor support for DRFx, a memory model with exceptions. ASPLOS (2011)
Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble
JavaCOP: Declarative pluggable types for java. ACM Trans. Program. Lang. Syst. 32 (2) (2010)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
DRFX: a simple and efficient memory model for concurrent programming languages. PLDI (2010)
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy
LiteRace: effective sampling for lightweight data-race detection. PLDI (2009)
Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein
Fine-Grained Access Control with Object-Sensitive Roles. ECOOP (2009)
Daniel Marino, Todd D. Millstein
A generic type-and-effect system. TLDI (2009)
Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein
Enforcing and validating user-defined programming disciplines. PASTE (2007)