Concepedia

Mark S. Miller

MS

15

Publications

819

Citations

13

H-Index

1985

Active since

Affiliations

Google (United States)(Current)

Hewlett-Packard (United States)

University of California, Berkeley

Vrije Universiteit Brussel

Palo Alto Research Center

Mark S. Miller is an author at Google (United States) specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceSoftware EngineeringProgram AnalysisSoftware AnalysisData SecurityFormal MethodsSoftware DesignInformation SecuritySystem Software

Publications per year

1985–2015

15

Publications

15

ASSESSING INFLUENTIAL DIMENSIONS OF REINFORCERS ON CHOICE IN STUDENTS WITH SERIOUS EMOTIONAL DISTURBANCE

Nancy A. Neef, Doran Shade, Mark S. Miller · Journal of Applied Behavior Analysis · 1994 · 235 citations

Behavioral Decision Making, Response Dimensions, Affective Variable +20

Automated Analysis of Security-Critical JavaScript APIs

Ankur Taly, Úlfar Erlingsson, John C. Mitchell et al. · 2011 · 106 citations

Engineering, Information Security, Software Engineering +16

Concurrency among strangers: programming in E as plan coordination

Mark S. Miller, Eric Dean Tribble, Jonathan Shapiro · 2005 · 102 citations

Plan Coordination, Engineering, Social Computing +6

Tom Van Cutsem, Mark S. Miller · 2010 · 78 citations

Engineering, Program Analysis, Language Interoperability +13

Polaris

Marc Stiegler, Alan H. Karp, Ka-Ping Yee et al. · Communications of the ACM · 2006 · 64 citations

Least Authority, Software Security, Engineering +12

Rows per page

1–5 of 15