Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Chung-chieh Shan
PDF
單 中 杰 Assistant Professor, Department of Computer Science and Center for Cognitive
Science
Rutgers, the State University of New Jersey
Email: ccshan@rutgers.edu , ccshan@post.harvard.edu [Cryptography]
Post: 110 Frelinghuysen Road , Piscataway, NJ 08854-8019, USA
Office: CoRE 306, +1 732 445 2003 (voice), +1 732 445 0537 (fax)
01:198:314, Principles of Programming Languages (Spring 2006)
16:198:530, Principles of Artificial Intelligence (Fall 2005)
Continuations: natural language meaning as computation, with Chris
Barker
European Summer School in Logic, Language and Information ; Nancy, France,
Aug 2004)
Advanced functional programming (Prof. Norman Ramsey , Harvard University,
Fall 2003)
Computational linguistics (Prof. Stuart M. Shieber , Harvard University, Fall
2002)
Natural language processing (Prof. Stuart M. Shieber , Harvard University, Spring
2001)
Randomness in computation (Prof. Michael O. Rabin, Harvard University, Fall
1998)
PhD in computer science expected 2005, Harvard University
Dissertation: “Linguistic side effects” ; advisor: Stuart M. Shieber
Apparently noncompositional phenomena in natural languages can be analyzed
like computational side effects in programming languages: anaphora can
be analyzed like state, intensionality can be analyzed like environment,
quantification can be analyzed like delimited control, and so on. We thus term
apparently noncompositional phenomena in natural languages linguistic side
effects . We put this new, general analogy to work in linguistics as well as
programming-language theory.
BA in mathematics 1999, cum laude in general studies, Harvard University
Axiomatizing Groenendijk’s logic of interrogation Balder D.
ten Cate and Chung-chieh Shan. In Questions and related topics , ed. Maria
Aloni , Alastair Butler, and Paul Dekker . Elsevier, in press.
Explaining crossover and superiority as left-to-right evaluation
Chung-chieh Shan and Chris Barker . Linguistics and Philosophy , in press.
Presented in 2004 at the ESSLLI workshops on syntax, semantics and
pragmatics of questions and on semantic approaches to binding theory .
Linguistic side effects In Direct compositionality , ed. Chris Barker and
Pauline Jacobson . Oxford University Press, in press. Presented since 2002
at the Universities of AZ, BC, CA San Diego, IL Urbana-Champaign,
PA, Rochester, UT, and VT; Boston, Brown, Cornell, Harvard, Indiana,
Rutgers, and Stanford Universities; City College of New York; MIT; logic and
computational linguistics workshop; New England programming languages
and systems symposium; Oregon Graduate Institute; direct compositionality
workshop.
A modal interpretation of the logic of interrogation Rani
Nelken and Chung-chieh Shan. Journal of Logic, Language and Information ,
to appear.
On the static and dynamic extents of delimited continuations
Dariusz Biernacki , Olivier Danvy , and Chung-chieh Shan. Science of
Computer Programming , in press.
Types as graphs: continuations in Type Logical Grammar Chris
Barker and Chung-chieh Shan. Journal of Logic, Language and Information ,
in press. Presented in 2004 at the New Jersey programming languages and
systems seminar , February 27. [Slides for talk]
On the dynamic extent of delimited continuations Dariusz Biernacki ,
Olivier Danvy , and Chung-chieh Shan. Report RS-05-13, BRICS .
Abbreviated version in Information Processing Letters 96(1):7–17, 2005.
Temporal versus non-temporal “when” Snippets 6 :14–15, 2002.
Against the division of labor in scope and binding Presented at the
Linguistic Society of America 79th annual meeting, 2005. [Short abstract] [Abstract] [Handout]
A computational interpretation of classical S4 modal logic
Presented at the New England programming languages and systems
symposium , June 6, 2003, and the 3rd intuitionistic modal logics and
applications workshop , June 30, 2005.
Functional pearl: backtracking, interleaving, and terminating monad transformers
Oleg Kiselyov , Chung-chieh Shan, Daniel P. Friedman , and Amr Sabry . Proceedings
of the International Conference on Functional Programming , 2005. [Code]
Binding alongside Hamblin alternatives calls for variable-free semantics
In Proceedings from Semantics and Linguistic Theory XIV , ed. Kazuha Watanabe
and Robert B. Young. Cornell University Press, 2004.
Delimited continuations in natural language: quantification and polarity sensitivity
In Proceedings of the 4th continuations workshop , ed. Hayo Thielecke , 55–64.
Technical report CSR-04-1, School of Computer Science , University of Birmingham ,
2004. [Slides for talk]
Functional pearl: implicit configurations—or, type classes reflect the values of types
Oleg Kiselyov and Chung-chieh Shan. Technical report TR-15-04, Division of
Engineering and Applied Sciences , Harvard University. Abbreviated version in Proceedings of the 2004 Haskell workshop , 33–44. Association for Computing
Machinery , 2004. [Slides for talk] [Literate Haskell source code]
A logic of interrogation should be internalized in a modal logic for knowledge
Rani Nelken and Chung-chieh Shan. In Proceedings from Semantics and
Linguistic Theory XIV , ed. Kazuha Watanabe and Robert B. Young, 197–211.
Cornell University Press, 2004.
Polarity sensitivity and evaluation order in type-logical grammar
In Proceedings of the 2004 human language technology conference of the North
American chapter of the ACL , ed. Susan Dumais, Daniel Marcu, and Salim
Roukos, 2:129–132. Association for Computational Linguistics , 2004.
Shift to control In Proceedings of the 5th workshop on Scheme and functional
programming , ed. Olin Shivers and Oscar Waddell , 99–107. Technical report 600, Computer Science Department , Indiana University , 2004. [Slides for talk]
A continuation semantics of interrogatives that accounts for Baker’s ambiguity
In Proceedings from Semantics and Linguistic Theory XII , ed. Brendan Jackson,
246–265. Cornell University Press, 2002.
The partition semantics of questions, syntactically Chung-chieh
Shan and Balder D. ten Cate . In Proceedings of the ESSLLI-2002 student
session , ed. Malvina Nissim , 255–269. 14th European Summer School in
Logic, Language and Information , 2002. (Best paper award.)
Question answering: from partitions to Prolog Balder D. ten Cate and
Chung-chieh Shan. In Proceedings of TABLEAUX 2002: Automated
reasoning with analytic tableaux and related methods , ed. Uwe Egly and
Christian G. Ferm üller , 251–265. Lecture notes in computer science
2381, Springer-Verlag, 2002. Also in Proceedings of NLULP-02: The
7th international workshop on natural language understanding and logic
programming , ed. Shuly Wintner . Datalogiske skrifter 92, Department of
Computer Science, Roskilde University , 2002.
A unified explanation for crossover and superiority in a theory of binding by predicate abstraction
Chung-chieh Shan and Chris Barker . North East Linguistic Society poster,
November 8–10, 2002.
Monads for natural language semantics In Proceedings of the ESSLLI-2001
student session , ed. Kristina Striegnitz , 285–298. 13th European Summer
School in Logic, Language and Information , 2001.
A variable-free dynamic semantics In Proceedings of the 13th Amsterdam
Colloquium , ed. Robert van Rooy and Martin Stokhof , 204–209. Institute for
Logic, Language and Computation , University of Amsterdam , 2001.
Fred: Artificial neural networks evolving in virtual worlds In Proceedings
of the international symposium on artificial neural networks . National Cheng-Kung
University, Taiwan, 1994.
Higher-order modules in System F ω and Haskell July 16, 2004.
Sexy types in action ACM SIGPLAN Notices 39(5):15–22, 2004.
Quantifier strengths predict scopal possibilities of Mandarin Chinese wh -indefinites
Presented at Harvard University linguistics, April 9, 2003.
From shift and reset to polarized linear logic 2003.
Markup optimisation by probabilistic parsing Chung-chieh Shan and
Dylan P. Thurston , 2001. First-place winner in the ACM International
Conference on Functional Programming programming contest .
Meanings of multiple- wh questions 2001.
Model selection for belief networks when learning with incomplete data
2001.
Random-self-reducibility in the polynomial hierarchy 1998.
Hierarchical distributed election protocols. Steve Chien and
Chung-chieh Shan, 1997.
McBride A Bib T E X bibliography style that follows the “Documentation Two”
specifications in the Chicago Manual of Style . 2002–2004.
longtable A modified version of L A T E X ’s longtable package that fixes many
bugs. 2003.
psbind A program that trims and reassembles pages in a PostScript document
for n -up printing. If you dislike how psnup leaves too much white space in its
output, this program is for you. 2001–2003.
Miss Protocol An ongoing advice column on computer technology. 2000–2003.
split-linguist A filter to split up digest messages from the LINGUIST mailing
list . 2001–2002.
A Haskell 98 implementation of Guy L. Steele, Jr., Building interpreters
by composing monads , in POPL ’94: Conference record of the annual ACM
symposium on principles of programming languages . 2001.
bif2bnt A Web service to convert Bayes nets from BIF format to BNT format .
2000.
fmt2 A program that reformats Chinese text in Big-5 encoding. It breaks lines
intelligently using an algorithm similar to that of T E X . 1998–2000.
The first movement of a sonatina in C major 1999.
Course Decision Assistant Geoffrey Mainland , Chung-chieh Shan, and Alex
Wong. An online searchable course catalog for Harvard University. 1996–1999.
Change my signature A Web service that lets anyone change the signature
file I use in my personal email messages and Usenet postings. 1997.
huhebi: the self-organizing narrative An early experiment in hypertext
collaboration. 1995.
The Microsoft conspiracy Chung-chieh Shan and Kaihsu Tai . An early
experiment in non-hypertext collaboration. Taipei: Informationist. 1995.
Miscellany Academic: academia advice , computational linguistics , computer
science , gesture recognition , interesting people , paper lookup , research ideas ,
terminology lookup , typesetting . Other: bicycle , comics recommendations ,
deaf people , digital piano selection advice, food recipe , midnight ambiance ,
Mandarin Chinese numeric phrase s and heart phrase s, September eleventh ,
sexual orientation , silicon wall clock , string collection (especially Rabinism
collection ), theatre accessibility , twelve days of the invasion.
Chief technology officer, Idiom Technologies (Waltham, MA), 1999–2000.
Research intern, Mitsubishi Electric Research Laboratory (Cambridge, MA),
summer 1998. (Mentor: Matthew Brand )
Research intern, Center for the Neural Basis of Cognition (Pittsburgh, PA),
summer 1997. (Mentor: Tai Sing Lee )
Software design engineer, Microsoft Corporation (Redmond, WA), summer
1996.