Benjamin Sherman

Kami: a platform for high-level parametric hardware specification and its modular verification

Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman et al. · Proceedings of the ACM on Programming Languages · 2017 · 92 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +19

<i>Ab initio</i>simulations of hot dense methane during shock experiments

Benjamin Sherman, Hugh F. Wilson, D. S. Weeraratne et al. · Physical Review B · 2012 · 44 citations · Full text

Discovery of Novel Ligands for Mouse Olfactory Receptor MOR42-3 Using an In Silico Screening Approach and In Vitro Validation

Selvan Bavan, Benjamin Sherman, Charles W. Luetje et al. · PLoS ONE · 2014 · 39 citations · Full text

Olfactory Receptors, Sensory Systems, Social Sciences +19

Home field advantage, not group size, predicts outcomes of intergroup conflicts in a social bird

Meghan J. Strong, Benjamin Sherman, Christina Riehl · Animal Behaviour · 2017 · 34 citations

Breeding Behavior, Coexistence, Behavioral Sciences +10

Trace types and denotational semantics for sound programmable inference in probabilistic languages

Alexander K. Lew, Marco Cusumano-Towner, Benjamin Sherman et al. · Proceedings of the ACM on Programming Languages · 2019 · 29 citations · Full text

Engineering, Probabilistic Computation, Semantics +24