Edgar Pek

According to our database, Edgar Pek authored at least 10 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Inferring Formal Properties of Production Key-Value Stores.

Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan

CoRR, 2017

Efficient Incrementalized Runtime Checking of Linear Measures on Lists.

Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Runtime Verification at Work: A Tutorial.

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Automated deductive verification of systems software

Edgar Pek

PhD thesis, 2015

2014

Natural proofs for data structure manipulation in C using separation logic.

Edgar Pek, Xiaokang Qiu, P. Madhusudan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Explicit and symbolic techniques for fast and scalable points-to analysis.

Edgar Pek, P. Madhusudan

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014

2013

Verifying security invariants in ExpressOS.

Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2010

The OpenSMT Solver.

Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A flexible schema for generating explanations in lazy theory propagation.

Roberto Bruttomesso, Edgar Pek, Natasha Sharygina

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2006

Model Checking Procedures for Infinite State Systems.

Nikola Bogunovic, Edgar Pek

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006