Eran - PDFSEARCH.IO - Document Search Engine

Eran
Results: 305

#	Item
211	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-17 10:02:32 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
212	Automatic Synthesis of Deterministic Concurrency Veselin Raychev (ETH Zurich) Martin Vechev (ETH Zurich) Eran Yahav (Technion) Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-07-15 05:03:33 Thread Synchronization Abstract interpretation Concurrency Communication Concurrent computing
213	Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-07-08 18:07:14 Sheaf Mathematics Computing Concurrency control Linearizability Transaction processing
214	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
215	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-06-27 16:34:36 Computing Logic in computer science Computer memory Memory barrier Abstraction Abstract interpretation Algorithm Formal verification Parallel computing Mathematics Theoretical computer science Applied mathematics
216	Chameleon: Adaptive Selection of Collections Ohad Shacham Martin Vechev Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:46 Memory management Cross-platform software Data types Primitive types C++ Garbage collection C dynamic memory allocation C Garbage Computing Software engineering Computer programming
217	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:26 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
218	Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Garbage collection Automatic memory management Reference counting Pointer Logarithm Algorithm Software engineering Memory management Mathematics Computing
219	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-22 14:23:31 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function FO Mathematical logic Logic Mathematics
220	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:30:20 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability