Follow
Daniel Marino
Daniel Marino
Technical Director, NortonLifeLock Research Group
Verified email at nortonlifelock.com
Title
Cited by
Cited by
Year
LiteRace: Effective sampling for lightweight data-race detection
D Marino, M Musuvathi, S Narayanasamy
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
2972009
End-to-end sequential consistency
A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi
ACM SIGARCH Computer Architecture News 40 (3), 524-535, 2012
1112012
End-to-end sequential consistency
A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi
ACM SIGARCH Computer Architecture News 40 (3), 524-535, 2012
1112012
DRFx: A simple and efficient memory model for concurrent programming languages
D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
1062010
Tactical provenance analysis for endpoint detection and response systems
WU Hassan, A Bates, D Marino
2020 IEEE Symposium on Security and Privacy (SP), 1172-1189, 2020
1002020
Some vulnerabilities are different than others: Studying vulnerabilities and attack surfaces in the wild
K Nayak, D Marino, P Efstathopoulos, T Dumitraş
Research in Attacks, Intrusions and Defenses: 17th International Symposium …, 2014
1002014
A case for an SC-preserving compiler
D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy
ACM SIGPLAN Notices 46 (6), 199-210, 2011
922011
A generic type-and-effect system
D Marino, T Millstein
Proceedings of the 4th international workshop on Types in language design …, 2009
912009
Systems and methods for enforcing data-loss-prevention policies using mobile sensors
D Marino, D Shou, B McCorkendale
US Patent 8,925,037, 2014
782014
Fine-grained access control with object-sensitive roles
J Fischer, D Marino, R Majumdar, T Millstein
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
522009
JavaCOP: Declarative pluggable types for Java
S Markstrum, D Marino, M Esquivel, T Millstein, C Andreae, J Noble
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (2), 1-37, 2010
482010
Efficient processor support for DRFx, a memory model with exceptions
A Singh, D Marino, S Narayanasamy, T Millstein, M Musuvathi
Proceedings of the sixteenth international conference on Architectural …, 2011
452011
A data-centric approach to synchronization
J Dolby, C Hammer, D Marino, F Tip, M Vaziri, J Vitek
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-48, 2012
412012
Detecting deadlock in programs with data-centric synchronization
D Marino, C Hammer, J Dolby, M Vaziri, F Tip, J Vitek
2013 35th International Conference on Software Engineering (ICSE), 322-331, 2013
332013
Increased serum selenium levels are associated with reduced risk of advanced liver fibrosis and all-cause mortality in NAFLD patients: National Health and Nutrition Examination …
M Reja, M Makar, A Visaria, D Marino, V Rustgi
Annals of Hepatology 19 (6), 635-640, 2020
272020
Systems and methods for increasing security on computing systems that launch application containers
D Marino, P Efstathopoulos, M Zhang
US Patent 9,729,579, 2017
272017
Systems and methods for deploying applications included in application containers
S Sawhney, P Efstathopoulos, D Marino
US Patent 9,116,768, 2015
252015
Sampling techniques for dynamic data-race detection
M Musuvathi, D Marino, S Narayanasamy
US Patent 8,418,146, 2013
242013
The value of open-source clinical science in pandemic response: lessons from ISARIC
A Abbas, SA Abdukahil, NN Abdulkadir, R Abe, L Abel, L Absil, S Acharya, ...
The Lancet Infectious Diseases 21 (12), 1623-1624, 2021
192021
Harbormaster: Policy enforcement for containers
M Zhang, D Marino, P Efstathopoulos
2015 IEEE 7th International Conference on Cloud Computing Technology and …, 2015
182015
The system can't perform the operation now. Try again later.
Articles 1–20