McMillan), In Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Hana Chockler, Georg Weissenbacher, eds.), Springer, volume 10981, 2018. Learning Abstractions for Program Synthesis ( Xinyu Wang and Greg Anderson and Isil Dillig and Kenneth L. McMillan and Andreas Podelski and Mooly Sagiv and Sharon Shoham), In 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - Novem(Nikolaj Bjørner, Arie Gurfinkel, eds.), IEEE, 2018. Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems ( Oded Padon and Jochen Hoenicke and Kenneth L.
Wilcox and Doug Woos), In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, 2018. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Modularity for decidability of deductive verification with applications to distributed systems ( Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon), In Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings (Andreas Podelski, ed.), Springer, volume 11002, 2018. ĭeductive Verification in Decidable Fragments with Ivy ( Kenneth L. McMillan and Jordan Torf), In Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings, 2018. P\^5 : Planner-less Proofs of Probabilistic Parameterized Protocols ( Lenore D. McMillan), Chapter in Handbook of Model Checking., 2018. Interpolation and Model Checking ( Kenneth L. ACM Special Interest Group on Data Communication (SIGCOMM’19), ACM, 2019. įormal specification and testing of QUIC ( Kenneth L. Zuck), In IEEE Secure Development Conference (SecDev 2019), 2019. Ken McMillan's Publications 121 results 2019Ĭompositional Testing of Network Protocols ( K.