Edgar Pek

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 3

Top Topics

Predicate Logic

Efficient Data Structures

Top Venues

Publications

Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
Efficient Incrementalized Runtime Checking of Linear Measures on Lists. ICST (2017)
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan
Inferring Formal Properties of Production Key-Value Stores. CoRR (2017)
Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu
Runtime Verification at Work: A Tutorial. RV (2016)
Edgar Pek, P. Madhusudan
Explicit and symbolic techniques for fast and scalable points-to analysis. SOAP@PLDI (2014)
Edgar Pek, Xiaokang Qiu, P. Madhusudan
Natural proofs for data structure manipulation in C using separation logic. PLDI (2014)
Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan
Verifying security invariants in ExpressOS. ASPLOS (2013)
Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich
The OpenSMT Solver. TACAS (2010)
Roberto Bruttomesso, Edgar Pek, Natasha Sharygina
A flexible schema for generating explanations in lazy theory propagation. MEMOCODE (2010)
Nikola Bogunovic, Edgar Pek
Model Checking Procedures for Infinite State Systems. ECBS (2006)