Dawson Engler

Stanford University

Associate Professor

Department of Computer Science

Department of Electrical Engineering

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Programming language#Code (cryptography)#Software bug#Symbolic execution#JavaScript#Correctness#Linux kernel#Symbolic trajectory evaluation#Concolic testing

conference information

Papers relevant to ‘Computer science’: 5

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Under-constrained symbolic execution: correctness checking for real code

    2015/08 SECURITY Top-tier Conference 165 citations

    David A. Ramos, Dawson R. Engler

  • How to Build Static Checking Systems Using Orders of Magnitude Less Code

    2016/03 ASPLOS Top-tier Conference 20 citations

    Fraser Brown, Andres Nötzli, Dawson R. Engler

    DOI : 10.1145/2872362.2872364

How can I correct errors in PhD.GO?


Papers for author ‘Dawson Engler’: 5

Number of published Top-tier Conference by year

012342015201620172020
Top-tier Conference 5

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Under-constrained symbolic execution: correctness checking for real code

    2015/08 SECURITY Top-tier Conference 165 citations

    David A. Ramos, Dawson R. Engler

  • How to Build Static Checking Systems Using Orders of Magnitude Less Code

    2016/03 ASPLOS Top-tier Conference 20 citations

    Fraser Brown, Andres Nötzli, Dawson R. Engler

    DOI : 10.1145/2872362.2872364

How can I correct errors in PhD.GO?