-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
115 lines (107 loc) · 8.2 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Chin Isradisaikul</title>
<meta http-equiv="content-type" content="text/html;charset=utf-8">
</head>
<body>
<img src="chin09.jpg" align=left alt="Photo of Me" title="Photo of Me">
Chinawat (Chin) Isradisaikul, Ph.D.<br>
ชินวัตร อิศราดิสัยกุล<br>
<a href="http://www.thaischolars.net/" target=_blank>Thai Scholars</a> <a href="http://ts47.thaischolars.net/" target=_blank>47</a><br>
E-mail: chinawat.i@cmu.ac.th<br>
Lecturer<br>
<a href="http://www.cpe.eng.cmu.ac.th/" target=_blank>Department of Computer Engineering</a><br>
<a href="http://www.cmu.ac.th/" target=_blank>Chiang Mai University</a><br>
<br>
<b>Contact Information</b> (2019-2020)<br>
Chinawat Isradisaikul<br>
Department of Computer Engineering<br>
Chiang Mai University<br>
239 Huay Kaew Road<br>
Tambon Suthep, Muang District<br>
Chiang Mai 50200 THAILAND<br>
<br>
<b>Office hours</b> (2019, first semester):
Mon/Thu 2:30-4pm, Room 412.54, Engineering's 30th Anniversary building, or <a href="https://chinawat.youcanbook.me/" target=_blank>by appointment</a>
<br><br>
<b>Links:</b>
<a href="teaching.html">Teaching</a> |
<a href="cv.pdf" target=_blank>CV</a> |
<a href="airports.html">Airports</a> |
<!--<a href="courses.html">Coursework</a> |-->
<a href="propics.html">Profile Pictures</a>
<br><br>
<b>About Me</b><br>
I am a lecturer in the Department of Computer Engineering at Chiang Mai University, Thailand.
I graduated from the <a href="http://www.cs.cornell.edu/" target=_blank>Department of Computer Science</a>, <a href="http://www.cornell.edu/" target=_blank>Cornell University</a>.
<a href="http://www.cs.cornell.edu/andru/" target=_blank>Andrew C. Myers</a> was my advisor.
I am part of Thai Scholars 47, the group of Thai students who won the Royal Thai Government's scholarships in 2004 to study abroad at the undergraduate level.
<!--The first place we spent our lives here in the States was Brewster Academy in Wolfeboro, New Hampshire.
Until 2010, I went back to Wolfeboro every summer to help run the Thai Scholar Orientation Program, the program I was a student in 2004, as a Thai TA.
Until 2014, every winter I went to <a href="http://www.stonypointcenter.org/" target=_blank>Stony Point Center</a>, a conference center in Rockland County just west of the Hudson, to help each class of new Thai Scholars finish their college applications.-->
<br><br>
<b>About the Photo</b><br>
Date taken: June 14, 2014<br>
Place: Christ Church, Oxford, United Kingdom<br>
Description: This was my first time in the UK. A train ride from Edinburgh, where <a href="http://conferences.inf.ed.ac.uk/pldi2014/" target=_blank>PLDI 2014</a> conference took place, brought me to Oxford to visit a long-time friend since my undergraduate career. A perk of having friends studying at Oxford is that I can enter places such as <a href="http://www.chch.ox.ac.uk/" target=_blank>Christ Church</a> for free. This entire journey featured four cancelled flights and a missed train connection, but it was a happy ending.
<br><br>
<b>Research Interests</b><br>
Building software correctly is hard.
Programming language design that introduces new language features and increases expressiveness can prevent bugs, but new language features require new compilers.
Without good support for extending existing compilers, new language features face an obstacle from being used in practice.
I work on design patterns that enable extensibility in a compiler framework implemented in popular languages such as Java.
Implemented correctly, these design patterns can go even further so that independently developed language features can be <em>composed</em> into a new programming language at almost no costs.
I have also worked on program verification and programming language design itself.
<br><br>
<b>Publications</b><br>
<ul>
<li>Chinawat Isradisaikul and Andrew C. Myers. Finding Counterexamples from Parsing Conflicts. In <i>Proceedings of the 36<sup>th</sup> ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI)</i>, pp 555-564, 2015.
[<a href="papers/pldi66-isradisaikul.pdf" target=_blank>PDF</a> |
<a href="papers/chin-pldi15-slides.pdf" target=_blank>Slides</a> |
<a href="https://github.com/polyglot-compiler/polyglot/tree/master/tools/java_cup" target=_blank>Software</a> |
<a href="papers/2737961.bib" target=_blank>BibTeX</a> |
<a href="http://dx.doi.org/10.1145/2737924.2737961" target=_blank>DOI</a>]
</li>
<li>Chinawat Isradisaikul and Andrew C. Myers. Reconciling Exhaustive Pattern Matching with Objects. In <i>Proceedings of the 34<sup>th</sup> ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI)</i>, pp. 343-354, 2013. <b><i>Distinguished Paper Award</i></b>
[<a href="papers/pldi13-p343-isradisaikul.pdf" target=_blank>PDF</a> |
<a href="papers/chin-pldi13-slides.pdf" target=_blank>Slides</a> |
<a href="http://hdl.handle.net/1813/33123" target=_blank>Technical Report</a> |
<a href="papers/2462194.bib" target=_blank>BibTeX</a> |
<a href="http://dx.doi.org/10.1145/2491956.2462194" target=_blank>DOI</a>]
</li>
</ul>
My <a href="http://www.oakland.edu/enp/" target=_blank>Erdös number</a> is at most 4.
(Chin Isradisaikul
← <a href="http://www.cs.cornell.edu/andru/" target=_blank>Andrew C. Myers</a>
← <a href="http://www.cs.cornell.edu/~kozen/" target=_blank>Dexter Kozen</a>
← <a href="http://www.math.lsa.umich.edu/~ablass/" target=_blank>Andreas Blass</a>
← <a href="http://en.wikipedia.org/wiki/Paul_Erd%C5%91s" target=_blank>Paul Erdös</a>)
<br><br>
<b>Other Interests</b><br>
<!-- - Mathematics (it goes together with computer science, you know): My focus should be on Discrete Mathematics and Number Theory, but we'll see...<br>-->
- Trains: I have been in touch, in rides, and in love with trains since my childhood. I have been in the front cab of several trains, looking ahead to the track in front. Now I rarely have a chance to do that anymore because I have grown up. Nonetheless, I still love riding trains, whether it be the <a href="http://www.railway.co.th/english/index.asp" target=_blank>State Railway of Thailand</a> or <a href="http://www.amtrak.com/" target=_blank>Amtrak</a>. In fact, any rail transportations catch my attention:
<a href="http://www.mbta.com/" target=_blank>Boston T</a>,
<a href="http://www.wmata.com/" target=_blank>DC Metro</a>,
<a href="http://www.septa.org/" target=_blank>SEPTA</a>,
<a href="http://www.bart.gov/" target=_blank>BART</a>,
<a href="http://www.caltrain.com/" target=_blank>CalTrain</a>,
<a href="http://www.njtransit.com/" target=_blank>NJ Transit</a>,
<a href="http://www.mta.info/" target=_blank>NYC Subway</a>,
<a href="http://www.vta.org/" target=_blank>VTA Light Rail</a>,
<a href="http://www.soundtransit.org/Rider-Guide/Link-light-rail" target=_blank>SoundTransit Link light rail</a>,
<a href="http://trimet.org/max/" target=_blank>TriMet MAX Light Rail</a>,
<a href="http://www.rideuta.com/" target=_blank>UTA FrontRunner & Trax</a>,
<a href="http://www.panynj.gov/airports/ewr-airtrain.html" target=_blank>EWR AirTrain</a>,
San Francisco Cable Car--Muni, SFO AirTrain, ORD Monorail, PIT People Mover. My interest is about signaling and scheduling.<br>
- Planes: I need to admit that I was afraid of flying until I came to the States. My first flight was too short, and I felt nauseous! But it got better. Now, I still fly as necessary, but I became interested in listening to the communication between the FAA and captains on a <a href="http://www.united.com/" target=_blank>United flight</a>. Try it on Channel 9. You know your plane is gonna turn before it really does! You know where you are in the sky! You know how high you are from the sea level!<br>
- Directions: I have a weird habit of remembering directions of where I go. I have a pretty good sense of directions (better between sunrise and sunset, best with a map).<br>
<br>
<p align=right>
<a href="http://validator.w3.org/check?uri=referer"><img
src="https://www.w3.org/Icons/valid-html401"
alt="Valid HTML 4.01 Transitional" height="31" width="88" border=0></a><br>
Updated: 08/04/2019
</p>
</body>
</html>