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 | 308 | 2009 |
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 | 213 | 2020 |
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 | 123 | 2012 |
Some vulnerabilities are different than others: Studying vulnerabilities and attack surfaces in the wild K Nayak, D Marino, P Efstathopoulos, T Dumitraş International Workshop on Recent Advances in Intrusion Detection, 426-446, 2014 | 114 | 2014 |
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 | 106 | 2010 |
A generic type-and-effect system D Marino, T Millstein Proceedings of the 4th international workshop on Types in language design …, 2009 | 101 | 2009 |
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 | 97 | 2011 |
Systems and methods for enforcing data-loss-prevention policies using mobile sensors D Marino, D Shou, B McCorkendale US Patent 8,925,037, 2014 | 80 | 2014 |
Fine-grained access control with object-sensitive roles J Fischer, D Marino, R Majumdar, T Millstein European Conference on Object-Oriented Programming, 173-194, 2009 | 56 | 2009 |
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 | 50 | 2010 |
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 | 47 | 2012 |
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 | 44 | 2011 |
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 | 35 | 2013 |
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 | 31 | 2017 |
Systems and methods for deploying applications included in application containers S Sawhney, P Efstathopoulos, D Marino US Patent 9,116,768, 2015 | 28 | 2015 |
Sampling techniques for dynamic data-race detection M Musuvathi, D Marino, S Narayanasamy US Patent 8,418,146, 2013 | 25 | 2013 |
Harbormaster: Policy enforcement for containers M Zhang, D Marino, P Efstathopoulos 2015 IEEE 7th International Conference on Cloud Computing Technology and …, 2015 | 24 | 2015 |
Systems and methods for detecting malware using file clustering A Tamersoy, KA Roundy, D Marino US Patent 9,185,119, 2015 | 19 | 2015 |
The silently shifting semicolon D Marino, T Millstein, M Musuvathi, S Narayanasamy, A Singh 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015 | 11 | 2015 |
Decrypting network traffic on a middlebox device using a trusted execution environment Y Sun, D Marino, SK Nanda, S Shintre, BT Witten, RA Frederick, Q Li US Patent 10,447,663, 2019 | 10 | 2019 |