Daniel Marino

According to our database, Daniel Marino authored at least 17 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Tactical Provenance Analysis for Endpoint Detection and Response Systems.

Wajih Ul Hassan, Adam Bates, Daniel Marino

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2016

DRF<i>x</i>: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

ACM Trans. Program. Lang. Syst., 2016

2015

The Silently Shifting Semicolon.

Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Harbormaster: Policy Enforcement for Containers.

Mingwei Zhang, Daniel Marino, Petros Efstathopoulos

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

2014

Some Vulnerabilities Are Different Than Others - Studying Vulnerabilities and Attack Surfaces in the Wild.

Kartik Nayak, Daniel Marino, Petros Efstathopoulos, Tudor Dumitras

Proceedings of the Research in Attacks, Intrusions and Defenses, 2014

2013

A Safety-First Approach to Memory Models.

Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi

IEEE Micro, 2013

Detecting deadlock in programs with data-centric synchronization.

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

A data-centric approach to synchronization.

Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek

ACM Trans. Program. Lang. Syst., 2012

End-to-end sequential consistency.

Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

2011

A case for an SC-preserving compiler.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Efficient processor support for DRFx, a memory model with exceptions.

Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

JavaCOP: Declarative pluggable types for java.

Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble

ACM Trans. Program. Lang. Syst., 2010

DRFX: a simple and efficient memory model for concurrent programming languages.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

A generic type-and-effect system.

Daniel Marino, Todd D. Millstein

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

LiteRace: effective sampling for lightweight data-race detection.

Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Fine-Grained Access Control with Object-Sensitive Roles.

Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein

Proceedings of the ECOOP 2009, 2009

2007

Enforcing and validating user-defined programming disciplines.

Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007