Scaling Up Discrete Simulations
Event details
| Date | 04.07.2018 |
| Hour | 16:00 › 18:00 |
| Speaker | Sachin Basil John |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. George Candea
Thesis advisor: Prof. Christoph Koch
Co-examiner: Prof. Rachid Guerraoui
Abstract
Simulations have an important role in the modern world. They help us to model complex systems around us and understand their behavior. It has many applications in diverse fields varying from physics and biology to economics and engineering. Most common simulations are based on mathematical models and involve solving differential equations periodically and updating state variables and outputs. In this thesis, I am looking at discrete event simulations where events occur in discrete units of time, and these events update the state and output of the simulation. This thesis aims to design a Domain Specific Language to program these events in a narrative style and then define optimizations that result in an efficient execution of sim programs and thereby achieve better scaling.
Background papers
Quantum Databases, by Roy, S., et al.
Coordination Avoidance in Database Systems, by Bailis, P. et al.
The Escrow Transactional Method, by O'Neil, P.
Exam president: Prof. George Candea
Thesis advisor: Prof. Christoph Koch
Co-examiner: Prof. Rachid Guerraoui
Abstract
Simulations have an important role in the modern world. They help us to model complex systems around us and understand their behavior. It has many applications in diverse fields varying from physics and biology to economics and engineering. Most common simulations are based on mathematical models and involve solving differential equations periodically and updating state variables and outputs. In this thesis, I am looking at discrete event simulations where events occur in discrete units of time, and these events update the state and output of the simulation. This thesis aims to design a Domain Specific Language to program these events in a narrative style and then define optimizations that result in an efficient execution of sim programs and thereby achieve better scaling.
Background papers
Quantum Databases, by Roy, S., et al.
Coordination Avoidance in Database Systems, by Bailis, P. et al.
The Escrow Transactional Method, by O'Neil, P.
Practical information
- General public
- Free
Contact
- EDIC - [email protected]