Crystal Chang Din

Bilde av Crystal Chang Din
English version of this page
Rom 8167
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

Hjemmeside

http://heim.ifi.uio.no/~crystald/

Faglige interesser

Jeg er interessert i formelle metoder, analyse og verifisering av programvaresystemer. Foreløpig satser jeg på å utvikle et "compositional reasoning system" for paralelle og distribuerte systemer.

Undervisning

INF4140 - Modeller for Parallellitet

INF9140 - Presentasjon: Symbolic CTL Model Checking

Bakgrunn

Project assistant, Jul 2009 - Dec 2009, SEFM forskergruppe,

Chalmers Tekniska Högskola, Sverige

M.Sc. i Software Engineering, Sep 2007 - Jun 2009,

Chalmers Tekniska Högskola, Sverige

B.Sc. i Computer Science, Sep 2005 - Jun 2008,

National Chiao Tung University, Taiwan

Emneord: formal methods, verification, concurrency, object-orientation

Publikasjoner

Din, Crystal Chang; Owe, Olaf & Bubel, Richard (2014). Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. MODELSWARD 2014, SCITEPRESS.

Din, Crystal Chang; Dovland, Johan & Owe, Olaf (2012). Compositional Reasoning about Shared Futures. SEFM 2012, LNCS 7504, pp. 94–108, 2012 [http://link.springer.com/chapter/10.1007/978-3-642-33826-7_7]

Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). An Approach to Compositional Reasoning about Concurrent Objects and Futures
. Research report 415. Department of Informatics, University of Oslo, Norway. Feb 2012. [Report]

Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. The Joural of Logic and Algebraic Programming. @ Elsevier 2012. [Link]

Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Research report 401. Department of Informatics, University of Oslo, Norway. Nov 2010. [Report]

Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, In Marina, Walden & Luigia, Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 26 - 27

Bubel, Richard; Din, Crystal Chang & Hähnle, Reiner (2010). Verification of Variable Software: an Experience Report
Pre-proceedings. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France, FoVeOOS 2010  (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.1149)

  • Kamburjan, Eduard; Din, Crystal Chang & Chen, Tzu-Chun (2016). Session-based compositional analysis for actor-based languages using futures. Lecture Notes in Computer Science.  ISSN 0302-9743.  10009 LNCS, s 296- 312 . doi: 10.1007/978-3-319-47846-3_19
  • Din, Crystal Chang & Owe, Olaf (2014). A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  83(5-6), s 360- 383 . doi: 10.1016/j.jlamp.2014.03.003
  • Din, Crystal Chang; Owe, Olaf & Bubel, Richard (2014). Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems, In Joaquim Filipe & R. Neves (ed.),  Proc. International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014.  SciTePress.  ISBN 978-989-8565-42-6.  Chapter.  s 480 - 487
  • Din, Crystal Chang; Bubel, Richard & Owe, Olaf (2013). A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems, In Tarmo Uustalu & Jüri Vain (ed.),  25th Nordic Workshop on Programming TheoryNWPT 2013, Tallinn, Estonia, 20–22 November 2013Abstracts.  Institute of Cybernetics at Tallinn University of Technology.  ISBN 978-9949-430-70-3.  abstract.  s 25 - 27
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 227- 256 . doi: 10.1016/j.jlap.2012.01.003
  • Din, Crystal Chang; Dovland, Johan & Owe, Olaf (2012). Compositional Reasoning about Shared Futures. Lecture Notes in Computer Science.  ISSN 0302-9743.  7504, s 94- 108 . doi: 10.1007/978-3-642-33826-7_7
  • Din, Crystal Chang & Owe, Olaf (2012). Soundness of a Reasoning System for Asynchronous Communication with Futures, In Uwe Egbert Wolter & Yngve Lamo (ed.),  24th Nordic Workshop on Programming Theory.  Universitetet i Bergen.  kapitt.
  • Din, Crystal Chang; Bubel, Richard & Hähnle, Reiner (2010). Verification of Variable Software: an Experience Report. Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France.  ISSN 2190-4782.
  • Din, Crystal Chang; Dovland, Johan; Owe, Olaf & Johnsen, Einar Broch (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  kapitt.  s 26 - 27

Se alle arbeider i Cristin

  • 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.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 13:50 - Sist endret 25. apr. 2016 11:51

Prosjekter