Dawson Engler
Stanford University
Associate Professor
Department of Computer Science
Department of Electrical Engineering
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’
*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
How to Build Static Checking Systems Using Orders of Magnitude Less Code
2016/03 ASPLOS Top-tier Conference 20 citations
Papers for author ‘Dawson Engler’: 5
Number of published Top-tier Conference by year
*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
How to Build Static Checking Systems Using Orders of Magnitude Less Code
2016/03 ASPLOS Top-tier Conference 20 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar