Milo M. K. Martin

Computer Networks and Communications · 2002–2013

A researcher in the Science corpus: 7 papers; trusts 5 researchers and is trusted by 5 researchers here, as inferred from the citation graph.

Subfields

• Computer Networks and Communications — 29 citations into it; #7,037 of 9,886 by trust here, #3,753 by citations
• Artificial Intelligence — 26 citations into it; #25,536 of 35,345 by trust here, #9,870 by citations
• Hardware and Architecture — 25 citations into it; #668 of 1,551 by trust here, #298 by citations
• Electrical and Electronic Engineering — 10 citations into it; #11,816 of 16,539 by trust here, #9,402 by citations

Whom Milo M. K. Martin trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Leslie Lamport
2. Sudhakar Yalamanchili
3. Emery D. Berger
4. Chris Lattner
5. Miguel Oom Temudo de Castro
6. Nicholas Nethercote
7. Armando Solar-Lezama

Who trusts Milo M. K. Martin overall

1. Jichuan Chang
2. G. Sohi
3. Daniel Sánchez
4. Ping Zhou
5. Kevin E. Moore
6. Da-Wei Zhou
7. Volodymyr Kuznetsov
8. Jason E. Miller
9. Christos Kozyrakis
10. László Szekeres

Papers from Milo M. K. Martin's perspective

Ordered by how strongly the researchers Milo M. K. Martin trusts endorse each paper. Same corpus, a different order for every researcher.

1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
2. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
3. Securing software by enforcing data-flow integrity (USENIX Symposium on Operating Systems Design and Implementation)
4. Satisfiability Modulo Theories
5. Synthesis of loop-free programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. Preventing Memory Error Exploits with WIT (IEEE Symposium on Security and Privacy)
7. EXE: automatically generating inputs of death
8. SoftBound: highly compatible and complete spatial memory safety for c
9. Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Programming by sketching for bit-streaming programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Syntax-guided synthesis (2013) — 909 citations
• CETS: compiler enforced temporal safety for C (2010) — 421 citations
• SafetyNet: improving the availability of shared memory multiprocessors with global checkpoint/recovery (2002) — 371 citations
• Token Coherence: decoupling performance and correctness (2003) — 312 citations
• Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically (2010) — 315 citations
• SoftBound: highly compatible and complete spatial memory safety for c (2009) — 697 citations
• Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset (2005) — 1,665 citations