- 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
2023
- Kamburjan, Eduard; Din, Crystal Chang (2023). Runtime Enforcement Using Knowledge Bases. (ekstern lenke)
- Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang et al. (2023). Modular Soundness Checking of Feature Model Evolution Plans. (ekstern lenke)
- Sæther, Eirik Halvard; Yu, Ingrid Chieh; Din, Crystal Chang (2023). Semantics-Based Version Control for Feature Model Evolution Plans. (ekstern lenke)
2022
- Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I et al. (2022). I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. (ekstern lenke)
- Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf et al. (2022). Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. (ekstern lenke)
- Yu, Ingrid Chieh; Pene, Irina; Din, Crystal Chang et al. (2022). Subsurface Evaluation Through Multi-scenario Reasoning. (ekstern lenke)
2021
2020
2019
- Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch et al. (2019). Translating active objects into colored Petri nets for communication analysis. (ekstern lenke)
- Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner et al. (2019). Asynchronous Cooperative Contracts for Cooperative Scheduling. (ekstern lenke)
- Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina et al. (2019). Geological Multi-scenario Reasoning. (ekstern lenke)
2018
- Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf et al. (2018). A modular reasoning system using uninterpreted predicates for code reuse. (ekstern lenke)
- Din, Crystal Chang; Schlatte, Rudolf; Chen, Tzu-Chun (2018). Program Verification for Exception Handling on Active Objects Using Futures. (ekstern lenke)
2017
- Boer, Frank de; Serbanescu, Vlad; Hähnle, Reiner et al. (2017). A Survey of Active Object Languages. (ekstern lenke)
- Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch et al. (2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. (ekstern lenke)
- Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch et al. (2017). Locally abstract, globally concrete semantics of concurrent programming languages. (ekstern lenke)
2015
- Din, Crystal Chang; Tarifa, Silvia Lizeth Tapia; Hähnle, Reiner et al. (2015). History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. (ekstern lenke)
- Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner (2015). KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. (ekstern lenke)
- Bubel, Richard; Din, Crystal Chang; Hähnle, Reiner et al. (2015). A Dynamic Logic with Traces and Coinduction. (ekstern lenke)
- Din, Crystal Chang; Owe, Olaf (2015). Compositional reasoning about active objects with shared futures. (ekstern lenke)
2014
- Din, Crystal Chang; Owe, Olaf; Bubel, Richard (2014). Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. (ekstern lenke)
- Din, Crystal Chang; Owe, Olaf (2014). A sound and complete reasoning system for asynchronous communication with shared futures. (ekstern lenke)
2013
- Din, Crystal Chang; Bubel, Richard; Owe, Olaf (2013). Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13. (ekstern lenke)
- Din, Crystal Chang; Bubel, Richard; Owe, Olaf (2013). A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems. (ekstern lenke)
2012
- Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch et al. (2012). Observable behavior of distributed systems: Component reasoning for concurrent objects. (ekstern lenke)
- Din, Crystal Chang; Dovland, Johan; Owe, Olaf (2012). Compositional Reasoning about Shared Futures. (ekstern lenke)
- Din, Crystal Chang; Owe, Olaf (2012). Soundness of a Reasoning System for Asynchronous Communication with Futures. (ekstern lenke)
2010
- Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (ekstern lenke)
- Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (ekstern lenke)
- Din, Crystal Chang; Dovland, Johan; Owe, Olaf et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (ekstern lenke)
- Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner (2010). Verification of Variable Software: an Experience Report. (ekstern lenke)