- E-post
- crystal.din@uib.no
- Telefonnummer
- +47 55584296
- Besøksadresse
-
Thormøhlens gate 55
5006 Bergen - Rom: 406P1
- Postadresse
-
Postboks 7803
5020 Bergen
Følg meg
Forskergrupper
Forskning
Forskningsinteresser
Forskningsområdene mine er formelle metoder, programvareverifisering, og didaktikk.
Formidling
Gjesteredaktør
Jeg er gjesteredaktør for Nordic Workshop on Programming Theory (NWPT 2022) special issue.
Lokalt arrangør
Programleder
Jeg er FTfJP 2025 PC Chair.
Jeg er leder av NIK 2023, som er Norsk Informatikkkonferanse under NIKT.
Jeg er PhD Symposium Chair til iFM 2023.
Programkomiteen
Jeg var en del av programkomiteen til
- Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2024)
- Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2023)
- NWPT 2023
- NWPT 2022
- ICT Research School Annual Meeting 2022
- TheWebConf 2022
- UDIT 2021
Jeg var også medlem av ECOOP 2021 Artifact Evaluation Committee.
Jeg er en anmelder til journalen Formal Aspects of Computing.
Undervisning
INF113 Innføring i operativsystem
INF100 Innføring i programmering
Publikasjoner
2013
- Crystal Chang Din; Olaf Owe; Richard Bubel (2013). A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems. (ekstern lenke)
- Crystal Chang Din; Richard Bubel; Olaf Owe (2013). Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13. (ekstern lenke)
- Crystal Chang Din; Richard Bubel; Olaf Owe (2013). A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems. (ekstern lenke)
2014
- Crystal Chang Din; Olaf Owe (2014). Compositional and sound seasoning about active objects with shared futures. (ekstern lenke)
- Crystal Chang Din; Olaf Owe; Richard Bubel (2014). Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. (ekstern lenke)
- Crystal Chang Din; Olaf Owe (2014). A sound and complete reasoning system for asynchronous communication with shared futures. (ekstern lenke)
2010
- Crystal Chang Din; John Dovland; Einar Broch Johnsen et al. (2010). Observable behavior of distributed systems : component reasoning for concurrent objects. (ekstern lenke)
- Crystal Chang Din; Johan Dovland; Einar Broch Johnsen et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (ekstern lenke)
- Crystal Chang Din; Johan Dovland; Einar Broch Johnsen et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (ekstern lenke)
- Crystal Chang Din; Johan Dovland; Olaf Owe et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (ekstern lenke)
- Crystal Chang Din; Richard Bubel; Reiner Hähnle (2010). Verification of Variable Software: an Experience Report. (ekstern lenke)
2012
- Crystal Chang Din; Johan Dovland; Olaf Owe (2012). An approach to compositional reasoning about concurrent objects and futures. (ekstern lenke)
- Crystal Chang Din; Johan Dovland; Einar Broch Johnsen et al. (2012). Observable behavior of distributed systems: Component reasoning for concurrent objects. (ekstern lenke)
- Crystal Chang Din; Johan Dovland; Olaf Owe (2012). Compositional Reasoning about Shared Futures. (ekstern lenke)
- Crystal Chang Din; Olaf Owe (2012). Soundness of a Reasoning System for Asynchronous Communication with Futures. (ekstern lenke)
2015
- Crystal Chang Din; Silvia Lizeth Tapia Tarifa; Reiner Hähnle et al. (2015). History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. (ekstern lenke)
- Crystal Chang Din; Richard Bubel; Reiner Hähnle (2015). KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. (ekstern lenke)
- Richard Bubel; Crystal Chang Din; Reiner Hähnle et al. (2015). A Dynamic Logic with Traces and Coinduction. (ekstern lenke)
- Crystal Chang Din; Olaf Owe (2015). Compositional reasoning about active objects with shared futures. (ekstern lenke)
2017
- Frank de Boer; Vlad Serbanescu; Reiner Hähnle et al. (2017). A Survey of Active Object Languages. (ekstern lenke)
- Anastasia Gkolfi; Crystal Chang Din; Einar Broch Johnsen et al. (2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. (ekstern lenke)
- Crystal Chang Din; Reiner Hahnle; Einar Broch Johnsen et al. (2017). Locally abstract, globally concrete semantics of concurrent programming languages. (ekstern lenke)
2023
- Eduard Kamburjan; Crystal Chang Din (2023). Runtime Enforcement Using Knowledge Bases. (ekstern lenke)
- Ida Sandberg Motzfeldt; Ingrid Chieh Yu; Crystal Chang Din et al. (2023). Modular Soundness Checking of Feature Model Evolution Plans. (ekstern lenke)
- Eirik Halvard Sæther; Ingrid Chieh Yu; Crystal Chang Din (2023). Semantics-Based Version Control for Feature Model Evolution Plans. (ekstern lenke)
2021
2022
- Ole Jørgen Abusdal; Crystal Chang Din; Violet Ka I Pun et al. (2022). I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. (ekstern lenke)
- Eduard Kamburjan; Crystal Chang Din; Rudolf Schlatte et al. (2022). Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. (ekstern lenke)
- Ingrid Chieh Yu; Irina Pene; Crystal Chang Din et al. (2022). Subsurface Evaluation Through Multi-scenario Reasoning. (ekstern lenke)
2019
- Anastasia Gkolfi; Crystal Chang Din; Einar Broch Johnsen et al. (2019). Translating active objects into colored Petri nets for communication analysis. (ekstern lenke)
- Eduard Kamburjan; Crystal Chang Din; Reiner Hahnle et al. (2019). Asynchronous Cooperative Contracts for Cooperative Scheduling. (ekstern lenke)
- Crystal Chang Din; Leif Harald Karlsen; Irina Pene et al. (2019). Geological Multi-scenario Reasoning. (ekstern lenke)
2020
2018
- Crystal Chang Din; Einar Broch Johnsen; Olaf Owe et al. (2018). A modular reasoning system using uninterpreted predicates for code reuse. (ekstern lenke)
- Crystal Chang Din; Rudolf Schlatte; Tzu-Chun Chen (2018). Program Verification for Exception Handling on Active Objects Using Futures. (ekstern lenke)