Search for Author All Reviews
	Park, Daejun     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Semantics-based program verifiers for all languages Stefănescu A., Park D., Yuwen S., Li Y., Roşu G.  OOPSLA 2016 (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Amsterdam, Netherlands, Nov 2-4, 2016) 74-91, 2016.  Type: Proceedings Programming is hard. Verifying correctness of a program is harder. Building an automated tool for program verification is harder still: there are very few tools that can perform verification of non-trivial programs written in real-worl...... Jul 20 2017     Global sparse analysis framework Oh H., Heo K., Lee W., Lee W., Park D., Kang J., Yi K. ACM Transactions on Programming Languages and Systems 36(3): 1-44, 2014.  Type: Article High-profile bugs have increased the urgency of designing good program analysis frameworks that can detect such bugs before the programs are released into the wild. Luckily, we possess a great framework for the systematic design of ana...... Mar 11 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy