Earthlearningidea - http://www.earthlearningidea.com/ La “gran idea del suelo” de Darwin Cómo descubrió Darwin la manera en que se forma el suelo Darwin creía que la respuesta eran “los gusanos” y construyó

Source URL: www.earthlearningidea.com

Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research

Source URL: www.srl.inf.ethz.ch

• Concurrency
• Linearizability
• Algorithm
• Tree traversal
• Mutual exclusion
• Non-blocking algorithm
• Concurrent data structure
• Parallel computing
• Priority queue
• Concurrency control
• Computing
• Data management

Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav

Source URL: www.srl.inf.ethz.ch

• Science
• Computational linguistics
• Natural language processing
• N-gram
• Language model
• Statistical machine translation
• Data model
• Application programming interface
• Object-oriented programming
• Statistical natural language processing
• Programming paradigms
• Linguistics

Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav

Source URL: www.srl.inf.ethz.ch

• Computer hardware
• Memory barrier
• Algorithm
• Memory ordering
• Linearizability
• Parallel computing
• Memory
• Fence
• Linear programming
• Computing
• Computer memory
• Computer architecture

Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement,

Source URL: www.srl.inf.ethz.ch

• Concurrency
• Theoretical computer science
• Computer programming
• Algorithm
• Mathematical logic
• Non-blocking algorithm
• Linearizability
• Concurrent data structure
• Actor model
• Computing
• Concurrency control
• Concurrent computing

Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c

Source URL: www.srl.inf.ethz.ch

• Automata theory
• Transition
• Observability
• Models of computation

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems MATTHEW ARNOLD and MARTIN VECHEV, IBM Research ERAN YAHAV, Technion and IBM Research Coping with software defects that occur in the post-deployment st

Source URL: www.srl.inf.ethz.ch

• Software optimization
• Cross-platform software
• Java
• Virtual machine
• Profiling
• VM
• Objective-C
• BitTorrent
• Class
• Computing
• Software engineering
• Computer programming

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: www.srl.inf.ethz.ch

• Circular buffer
• Software engineering
• Data buffer
• Thread
• Abstract interpretation
• Parallel computing
• Variable
• Function
• Computer memory
• Mathematics
• Computing

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Source URL: www.srl.inf.ethz.ch

• Transaction processing
• Dynamical systems
• Mathematics
• Concurrent data structure
• Linearization
• Algorithm
• Parallel computing
• Model checking
• Concurrency
• Concurrency control
• Computing
• Linearizability

CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav

Source URL: www.srl.inf.ethz.ch

• Concurrency control
• Applied mathematics
• Garbage collection
• Linearizability
• Algorithm
• Mutator method
• Reference counting
• Lock
• Time complexity
• Computing
• Theoretical computer science
• Memory management