​
Login / Signup
Edgar Pek
Publication Activity (10 Years)
Years Active: 2006-2017
Publications (10 Years): 3
Top Topics
Predicate Logic
Formal Proofs
Efficient Data Structures
Top Venues
ICST
CoRR
PLDI
SOAP@PLDI
</>
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)