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

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

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

Source URL: files.sri.inf.ethz.ch

Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems

Source URL: dream.inf.ed.ac.uk

• Abstract data types
• Queue
• Double-ended queue
• Dequeue
• Statistical theory
• Probability and statistics
• Economy

Resource disaggregation for the 99% Irina Calciu, Aasheesh Kolli, Jayneel Gandhi, Stanko Novakovic, Marcos K. Aguilera, Rajesh Venkatasubramanian, Pratap Subrahmanyam

Source URL: workshops.inf.ed.ac.uk

• Computing
• Central processing unit
• Pool
• System resource
• Thread

Learning a Static Analyzer from Data Pavol Bielik Veselin Raychev

Source URL: files.sri.inf.ethz.ch

• Machine learning
• Training
• test
• and validation sets
• Validity
• Electronic test equipment
• Data
• Laboratory equipment
• Measuring instruments

PDF Document

Source URL: people.inf.ethz.ch

PDF Document

Source URL: homepages.inf.ed.ac.uk

PDF Document

Source URL: events.inf.ed.ac.uk

PDF Document

Source URL: www.mpi-inf.mpg.de

PDF Document

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