Daniel Marino

18 papers A* 7A 2C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Editorial: Machine learning for cybersecurity.
Frontiers Artif. Intell.
Chathurika S. Wickramasinghe, Daniel Marino, Daswin De Silva, Milos Manic
2020 A* conf
Tactical Provenance Analysis for Endpoint Detection and Response Systems.
SP
Wajih Ul Hassan, Adam Bates, Daniel Marino
2016 J jnl
DRF
ACM Trans. Program. Lang. Syst.
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2015 C conf
Harbormaster: Policy Enforcement for Containers.
CloudCom
Mingwei Zhang, Daniel Marino, Petros Efstathopoulos
2015 — conf
The Silently Shifting Semicolon.
SNAPL
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh
2014 A conf
Some Vulnerabilities Are Different Than Others - Studying Vulnerabilities and Attack Surfaces in the Wild.
RAID
Kartik Nayak, Daniel Marino, Petros Efstathopoulos, Tudor Dumitras
2013 J jnl
A Safety-First Approach to Memory Models.
IEEE Micro
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2013 A* conf
Detecting deadlock in programs with data-centric synchronization.
ICSE
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
2012 J jnl
A data-centric approach to synchronization.
ACM Trans. Program. Lang. Syst.
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
2012 A* conf
End-to-end sequential consistency.
ISCA
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2011 A* conf
A case for an SC-preserving compiler.
PLDI
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2011 A* conf
Efficient processor support for DRFx, a memory model with exceptions.
ASPLOS
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi
2010 A* conf
DRFX: a simple and efficient memory model for concurrent programming languages.
PLDI
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2010 J jnl
JavaCOP: Declarative pluggable types for java.
ACM Trans. Program. Lang. Syst.
Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble
2009 — conf
A generic type-and-effect system.
TLDI
Daniel Marino, Todd D. Millstein
2009 A conf
Fine-Grained Access Control with Object-Sensitive Roles.
ECOOP
Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein
2009 A* conf
LiteRace: effective sampling for lightweight data-race detection.
PLDI
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy
2007 — conf
Enforcing and validating user-defined programming disciplines.
PASTE
Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein