DOCSLIB.ORG

Guided Abstraction Refinement

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Guided Abstraction Refinement Hoogle+: Program Synthesis by Type-Guided Abstraction Refnement Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova University of California San Diego Outline 01 Problem: Component-Based Synthesis Running example Previous solution: SyPet 02 Challenge: Polymorphism Search space explosion 03 Solution: Type-Guided Abstraction Refnement Abstraction Refnement Evaluation 04 Hoogle+: More Features Outline 01 Problem: Component-Based Synthesis Running example Previous solution: SyPet 02 Challenge: Polymorphism Search space explosion 03 Solution: Type-Guided Abstraction Refnement Abstraction Refnement Evaluation 04 Hoogle+: More Features Component-Based Synthesis Example Default value List of optional values Desired result ‘a' [ Nothing, Just ‘b', Nothing, Just ‘c', Just ‘d'] ‘b’ 0 [ Nothing, Nothing, Nothing, Nothing ] 0 d: a xs: [Maybe a] a Component-Based Synthesis Example Default value List of optional values Desired result ‘a' [ Nothing, Just ‘b', Nothing, Just ‘c', Just ‘d'] ‘b’ 0 [ Nothing, Nothing, Nothing, Nothing ] 0 d: a xs: [Maybe a] a Component-Based Synthesis Example Here is a DEMO video Component-Based Synthesis Example Solution: \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) catMaybes [ Nothing, Just ‘b', Nothing, Just ‘c', Just ‘d'] [ ‘b', ‘c', ‘d' ] ‘a’ fromMaybe ‘b’ listToMaybe Just ‘b’ Component-Based Synthesis Example d: Int -> xs: [Maybe Int] -> Int ? Solution: \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) Outline 01 Problem: Component-Based Synthesis Running example Previous solution: SyPet 02 Challenge: Polymorphism Search space explosion 03 Solution: Type-Guided Abstraction Refnement Abstraction Refnement Evaluation 04 Hoogle+: More Features Component-Based Synthesis Synthesis to the rescue ?? Type Query Synthesizer Result Program Components Feng et al. POPL ’17 Previous Solution Petri net-Based Search fromMaybe :: a -> Maybe a -> a fromMaybe Types Goal type Components Tokens Feng et al. POPL ’17 Previous Solution Petri net-Based Search fromMaybe :: a -> Maybe a -> a a fromMaybe Types Goal type Maybe a Components Tokens Feng et al. POPL ’17 Previous Solution Petri net-Based Search fromMaybe :: a -> Maybe a -> a a fromMaybe Types Goal type Maybe a Components Tokens Feng et al. POPL ’17 Previous Solution Petri net-Based Search Type Query d: a -> xs: [Maybe a] -> a a head [a] fromMaybe listToMaybe catMaybes Types Goal type Maybe a head [Maybe a] Components Tokens Feng et al. POPL ’17 Previous Solution Petri net-Based Search Type Query d: a -> xs: [Maybe a] -> a a head [a] fromMaybe listToMaybe catMaybes Maybe a head [Maybe a] Feng et al. POPL ’17 Previous Solution Petri net-Based Search Type Query d: a -> xs: [Maybe a] -> a catMaybes xs a head [a] fromMaybe listToMaybe catMaybes Maybe a head [Maybe a] Feng et al. POPL ’17 Previous Solution Petri net-Based Search Type Query d: a -> xs: [Maybe a] -> a listToMaybe (catMaybes xs) a head [a] fromMaybe listToMaybe catMaybes Maybe a head [Maybe a] Feng et al. POPL ’17 Previous Solution Petri net-Based Search Type Query d: a -> xs: [Maybe a] -> a SOLUTION: \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) a head [a] fromMaybe listToMaybe catMaybes Maybe a head [Maybe a] Outline 01 Problem: Component-Based Synthesis Running example Previous solution: SyPet 02 Challenge: Polymorphism Search space explosion 03 Solution: Type-Guided Abstraction Refnement Abstraction Refnement Evaluation 04 Hoogle+: More Features Challenge Polymorphic components a head [a] fromMaybe :: a -> Maybe a -> a fromMaybe listToMaybe catMaybes fromMaybe :: ∀α. α -> Maybe α -> α Maybe a head [Maybe a] Challenge Polymorphic components fromMaybe :: ∀α. α -> Maybe α -> α a fromMaybe … Maybe (Maybe (Maybe a)) fromMaybe Maybe (Maybe a) Maybe a fromMaybe Challenge Polymorphic components Maybe (Maybe a) fromMaybe fromMaybe … Maybe (Maybe (Maybe a)) fromMaybe May head listToMaybe Maybe a Maybe [a] Maybe [[a]] a a listToMaybe [Maybe a] head catMaybes listToMaybe listToMaybe [a] [[a]] head head … [[[a]]] Challenge Polymorphic components Maybe (Maybe a) fromMaybe fromMaybe … Maybe (Maybe (Maybe a)) fromMaybe May head listToMaybe Maybe a Maybe [a] Maybe [[a]] a a listToMaybe Infnite[Maybe a]graph! head catMaybes listToMaybe listToMaybe [a] [[a]] head head … [[[a]]] Outline 01 Problem: Component-Based Synthesis Running example Previous solution: SyPet 02 Challenge: Polymorphism Search space explosion 03 Solution: Type-Guided Abstraction Refnement Abstraction Refnement Evaluation 04 Hoogle+: More Features Type-Guided Abstraction Refnement Abstract types τ [τ] Int [a] [Maybe a] a [[a]] Maybe τ Maybe a Maybe (Maybe a) Type-Guided Abstraction Refnement Abstract petri net Maybe (Maybe a) fromMaybe fromMaybe … Maybe (Maybe (Maybe a)) fromMaybe May head listToMaybe Maybe a Maybe [a] Maybe [[a]] a a listToMaybe [Maybe a] head catMaybes listToMaybe listToMaybe [a] [[a]] head head … [[[a]]] Type-Guided Abstraction Refnement Abstract petri net Maybe (Maybe a) fromMaybe fromMaybe … Maybe (Maybe (Maybe a)) fromMaybe τ head listToMaybe Maybe a Maybe [a] Maybe [[a]] a a listToMaybe [Maybe a] head catMaybes listToMaybe listToMaybe [a] [[a]] head head … [[[a]]] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net head fromMaybe τ / listToMaybe / catMaybes fromMaybe fromMaybe listToMaybe / catMaybes / head a [Maybe a] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net SOLUTION: \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) τ head fromMaybe / listToMaybe / catMaybes fromMaybe fromMaybe listToMaybe / catMaybes / head a [Maybe a] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net SOLUTION: \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) τ head fromMaybe / listToMaybe / catMaybes fromMaybe fromMaybe listToMaybe catMaybes / head a [Maybe a] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net SOLUTION: \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) τ head fromMaybe listToMaybe / catMaybes fromMaybe fromMaybe listToMaybe catMaybes / head a [Maybe a] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net SOLUTION: \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) τ head fromMaybe listToMaybe / catMaybes fromMaybe fromMaybe listToMaybe catMaybes / head a [Maybe a] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net τ head fromMaybe / listToMaybe / catMaybes fromMaybe fromMaybe listToMaybe catMaybes / head a [Maybe a] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net SOLUTION: \d xs -> fromMaybe d (catMaybes xs) τ head fromMaybe / listToMaybe / catMaybes fromMaybe fromMaybe listToMaybe catMaybes / head a [Maybe a] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net d: Int -> xs: [Maybe Int] -> Int Solution: \d xs -> fromMaybe d (catMaybes xs) Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net Spurious Program: \d xs -> fromMaybe d (catMaybes xs) fromMaybe catMaybes :: . [Maybe ] -> [ ] xs :: [Maybe a] d catMaybes [a] ∀α α α catMaybes xs :: [a] xs [Maybe a] AST of the program Type checking of the program Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Abstract petri net Spurious Program: \d xs -> fromMaybe d (catMaybes xs) fromMaybe ⊥ fromMaybe :: ∀α. α -> Maybe α -> α d catMaybes a [a] Type Error! τ xs [Maybe a] [a] Maybe a AST of the program Type checking of the program Type-Guided Abstraction Refnement TyGAR Workfow Initial Type Check OK Result Abstraction Checker Program Path Query Type Abstract Type Error Reachability Components New No Path Abstraction Refnement Outline 01 Problem: Component-Based Synthesis Running example Previous solution: SyPet 02 Challenge: Polymorphism Search space explosion 03 Solution: Type-Guided Abstraction Refnement Abstraction Refnement Evaluation 04 Hoogle+: More Features Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Type abstraction refnement Spurious Program: \d xs -> fromMaybe d (catMaybes xs) fromMaybe ⊥ fromMaybe :: ∀α. α -> Maybe α -> α d catMaybes a [a] τ [τ] xs [Maybe a] [a] Maybe a AST of the program Type checking of the program Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Refned abstract petri net listToMaybe listToMaybe fromMaybe /head /head a Spurious Program: fromMaybe fromMaybe \d xs -> fromMaybe d (catMaybes xs) τ listToMaybe fromMaybe catMaybes /head [Maybe a] catMaybes [τ] catMaybes Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Refned abstract petri net listToMaybe listToMaybe fromMaybe /head /head a Spurious Program: fromMaybe fromMaybe \d xs -> fromMaybe d (catMaybes xs) τ listToMaybe fromMaybe catMaybes /head [Maybe a] catMaybes catMaybes [τ] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Refned abstract petri net listToMaybe listToMaybe fromMaybe /head /head a Spurious Program: fromMaybe fromMaybe \d xs -> fromMaybe d (catMaybes xs) τ listToMaybe fromMaybe catMaybes /head [Maybe a] catMaybes catMaybes [τ] Type Query Type-Guided Abstraction Refnement d: a -> xs: [Maybe a] -> a Refned abstract petri net listToMaybe listToMaybe fromMaybe /head /head a Solution: fromMaybe fromMaybe \d xs -> fromMaybe d (listToMaybe (catMaybes xs)) τ listToMaybe fromMaybe catMaybes /head [Maybe a] catMaybes catMaybes [τ] Type Query Type-Guided Abstraction Refnement d: a
Load more

Recommended publications
  • Kūnqǔ in Practice: a Case Study
    KŪNQǓ IN PRACTICE: A CASE STUDY A DISSERTATION SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAWAI‘I AT MĀNOA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN THEATRE OCTOBER 2019 By Ju-Hua Wei Dissertation Committee: Elizabeth A. Wichmann-Walczak, Chairperson Lurana Donnels O’Malley Kirstin A. Pauka Cathryn H. Clayton Shana J. Brown Keywords: kunqu, kunju, opera, performance, text, music, creation, practice, Wei Liangfu © 2019, Ju-Hua Wei ii ACKNOWLEDGEMENTS I wish to express my gratitude to the individuals who helped me in completion of my dissertation and on my journey of exploring the world of theatre and music: Shén Fúqìng 沈福庆 (1933-2013), for being a thoughtful teacher and a father figure. He taught me the spirit of jīngjù and demonstrated the ultimate fine art of jīngjù music and singing. He was an inspiration to all of us who learned from him. And to his spouse, Zhāng Qìnglán 张庆兰, for her motherly love during my jīngjù research in Nánjīng 南京. Sūn Jiàn’ān 孙建安, for being a great mentor to me, bringing me along on all occasions, introducing me to the production team which initiated the project for my dissertation, attending the kūnqǔ performances in which he was involved, meeting his kūnqǔ expert friends, listening to his music lessons, and more; anything which he thought might benefit my understanding of all aspects of kūnqǔ. I am grateful for all his support and his profound knowledge of kūnqǔ music composition. Wichmann-Walczak, Elizabeth, for her years of endeavor producing jīngjù productions in the US.
    [Show full text]
  • Downloaded from Brill.Com09/28/2021 09:41:18AM Via Free Access 102 M
    Asian Medicine 7 (2012) 101–127 brill.com/asme Palpable Access to the Divine: Daoist Medieval Massage, Visualisation and Internal Sensation1 Michael Stanley-Baker Abstract This paper examines convergent discourses of cure, health and transcendence in fourth century Daoist scriptures. The therapeutic massages, inner awareness and visualisation practices described here are from a collection of revelations which became the founding documents for Shangqing (Upper Clarity) Daoism, one of the most influential sects of its time. Although formal theories organised these practices so that salvation superseded curing, in practice they were used together. This blending was achieved through a series of textual features and synæsthesic practices intended to address existential and bodily crises simultaneously. This paper shows how therapeutic inter- ests were fundamental to soteriology, and how salvation informed therapy, thus drawing atten- tion to the entanglements of religion and medicine in early medieval China. Keywords Massage, synæsthesia, visualisation, Daoism, body gods, soteriology The primary sources for this paper are the scriptures of the Shangqing 上清 (Upper Clarity), an early Daoist school which rose to prominence as the fam- ily religion of the imperial family. The soteriological goal was to join an elite class of divine being in the Shangqing heaven, the Perfected (zhen 真), who were superior to Transcendents (xianren 仙). Their teachings emerged at a watershed point in the development of Daoism, the indigenous religion of 1 I am grateful for the insightful criticisms and comments on draughts of this paper from Robert Campany, Jennifer Cash, Charles Chase, Terry Kleeman, Vivienne Lo, Johnathan Pettit, Pierce Salguero, and Nathan Sivin.
    [Show full text]
  • SSA1208 / GES1005 – Everyday Life of Chinese Singaporeans: Past and Present
    SSA1208 / GES1005 – Everyday Life of Chinese Singaporeans: Past and Present Group Essay Ho Lim Keng Temple Prepared By: Tutorial [D5] Chew Si Hui (A0130382R) Kwek Yee Ying (A0130679Y) Lye Pei Xuan (A0146673X) Soh Rolynn (A0130650W) Submission Date: 31th March 2017 1 Content Page 1. Introduction to Ho Lim Keng Temple 3 2. Exterior & Courtyard 3 3. Second Level 3 4. Interior & Main Hall 4 5. Main Gods 4 6. Secondary Gods 5 7. Our Views 6 8. Experiences Encountered during our Temple Visit 7 9. References 8 10. Appendix 8 2 1. Introduction to Ho Lim Keng Temple Ho Lim Keng Temple is a Taoist temple and is managed by common surname association, Xu (许) Clan. Chinese clan associations are benevolent organizations of popular origin found among overseas Chinese communities for individuals with the same surname. This social practice arose several centuries ago in China. As its old location was acquisited by the government for redevelopment plans, they had moved to a new location on Outram Hill. Under the leadership of 许木泰宗长 and other leaders, along with the clan's enthusiastic response, the clan managed to raise a total of more than $124,000, and attained their fundraising goal for the reconstruction of the temple. Reconstruction works commenced in 1973 and was completed in 1975. Ho Lim Keng Temple was advocated by the Xu Clan in 1961, with a board of directors to manage internal affairs. In 1966, Ho Lim Keng Temple applied to the Registrar of Societies and was approved on February 28, 1967 and then was published in the Government Gazette on March 3.
    [Show full text]
  • Dissertation Zheng
    A Dissertation entitled Role of Extracellular Polymeric Substances (EPS) on Biofilm Disinfection in a Model Drinking Water Distribution System by Zheng Xue Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Doctor of Philosophy Degree in Civil Engineering _________________________________________ Dr. Youngwoo Seo, Committee Chair _________________________________________ Dr. Ashok Kumar, Committee Member _________________________________________ Dr. Cyndee L. Gruden, Committee Member _________________________________________ Dr. Dong-Shik Kim, Committee Member _________________________________________ Dr. Jeffrey G. Szabo, Committee Member _________________________________________ Dr. Patricia Komuniecki, Dean College of Graduate Studies The University of Toledo December 2012 Copyright 2012, Zheng Xue This document is copyrighted material. Under copyright law, no parts of this document may be reproduced without the expressed permission of the author. An Abstract of Role of Extracellular Polymeric Substances (EPS) on Biofilm Disinfection in a Model Drinking Water Distribution System by Zheng Xue Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Doctor of Philosophy Degree in Civil Engineering The University of Toledo December 2012 Biofilms are undesirable but ubiquitous in drinking water systems. This study investigated the role of extracellular polymeric substances (EPS) in the biofilm life cycle, including planktonic cells, attached biofilm, detached biofilm clusters
    [Show full text]
  • The Significance and Inheritance of Huang Di Culture
    ISSN 1799-2591 Theory and Practice in Language Studies, Vol. 8, No. 12, pp. 1698-1703, December 2018 DOI: http://dx.doi.org/10.17507/tpls.0812.17 The Significance and Inheritance of Huang Di Culture Donghui Chen Henan Academy of Social Sciences, Zhengzhou, Henan, China Abstract—Huang Di culture is an important source of Chinese culture. It is not mechanical, still and solidified but melting, extensible, creative, pioneering and vigorous. It is the root of Chinese culture and a cultural system that keeps pace with the times. Its influence is enduring and universal. It has rich connotations including the “Root” Culture, the “Harmony” Culture, the “Golden Mean” Culture, the “Governance” Culture. All these have a great significance for the times and the realization of the Great Chinese Dream, therefore, it is necessary to combine the inheritance of Huang Di culture with its innovation, constantly absorb the fresh blood of the times with a confident, open and creative attitude, give Huang Di culture a rich connotation of the times, tap the factors in Huang Di culture that fit the development of the modern times to advance the progress of the country and society, and make Huang Di culture still full of vitality in the contemporary era. Index Terms—Huang Di, Huang Di culture, Chinese culture I. INTRODUCTION Huang Di, being considered the ancestor of all Han Chinese in Chinese mythology, is a legendary emperor and cultural hero. His victory in the war against Emperor Chi You is viewed as the establishment of the Han Chinese nationality. He has made great many accomplishments in agriculture, medicine, arithmetic, calendar, Chinese characters and arts, among which, his invention of the principles of Traditional Chinese medicine, Huang Di Nei Jing, has been seen as one of the greatest contributions to Chinese medicine.
    [Show full text]
  • Land-Price Dynamics and Macroeconomic Fluctuations
    NBER WORKING PAPER SERIES LAND-PRICE DYNAMICS AND MACROECONOMIC FLUCTUATIONS Zheng Liu Pengfei Wang Tao Zha Working Paper 17045 http://www.nber.org/papers/w17045 NATIONAL BUREAU OF ECONOMIC RESEARCH 1050 Massachusetts Avenue Cambridge, MA 02138 May 2011 For helpful discussions, we thank Susanto Basu, Larry Christiano, Russell Cooper, Morris Davis, Steve Durlauf, Marty Eichenbaum, John Fernald, Kris Gerardi, Mark Gertler, Simon Gilchrist, Mike Golosov, Pat Higgins, Matteo Iacoviello, Nobu Kiyotaki, Dirk Krueger, Junior Maih, Jim Nason, Lee Ohanian, Alberto Oritz-Bolanos, Richard Rogerson, Julio Rotemberg, Tom Sargent, Frank Schorfheide, Mark Spiegel, Harald Uhlig, Dan Waggoner, Carl Walsh, John Williams, and seminar participates at Federal Reserve Banks of Atlanta and San Francisco, the 2009 NBER Summer Workshop on Impulse and Propagation Mechanisms, University of Pennsylvania, University of Wisconsin, Georgetown University, UCLA, UCSD, UC Riverside, UC Santa Cruz, UC Davis, USC, the European University Institute, Banque de France, Bank of New Zealand Conference on Twenty Years of Inflation Targeting. We thank David Lang, Jacob Smith, and Diego Vilan for research assistance and Anita Todd and Sam Zuckerman for editorial assistance. Pengfei Wang acknowledges the financial support from Hong Kong Research Grant Council (project \#643908). The views expressed herein are those of the authors and do not necessarily reflect the views of the Federal Reserve Banks of Atlanta and San Francisco, the Federal Reserve System, or the National Bureau of Economic Research. NBER working papers are circulated for discussion and comment purposes. They have not been peer- reviewed or been subject to the review by the NBER Board of Directors that accompanies official NBER publications.
    [Show full text]
  • Interpreting Zheng Chenggong: the Politics of Dramatizing
    , - 'I ., . UN1VERSIlY OF HAWAII UBRARY 3~31 INTERPRETING ZHENG CHENGGONG: THE POLITICS OF DRAMATIZING A HISTORICAL FIGURE IN JAPAN, CHINA, AND TAIWAN (1700-1963) A THESIS SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAW AI'I IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF ARTS IN THEATRE AUGUST 2007 By Chong Wang Thesis Committee: Julie A. Iezzi, Chairperson Lurana D. O'Malley Elizabeth Wichmann-Walczak · - ii .' --, L-' ~ J HAWN CB5 \ .H3 \ no. YI,\ © Copyright 2007 By Chong Wang We certity that we have read this thesis and that, in our opinion, it is satisfactory in scope and quality as a thesis for the degree of Master of Arts in Theatre. TIIESIS COMMITTEE Chairperson iii ACKNOWLEDGEMENTS I want to give my wannest thanks to my family for their strong support. I also want to give my since're thanks to Dr. Julie Iezzi for her careful guidance and tremendous patience during each stage of the writing process. Finally, I want to thank my proofreaders, Takenouchi Kaori and Vance McCoy, without whom this thesis could not have been completed. - . iv ABSTRACT Zheng Chenggong (1624 - 1662) was sired by Chinese merchant-pirate in Hirado, Nagasaki Prefecture, Japan. A general at the end of the Chinese Ming Dynasty, he was a prominent leader of the movement opposing the Manchu Qing Dynasty, and in recovering Taiwan from Dutch colonial occupation in 1661. Honored as a hero in Japan, China, and Taiwan, he has been dramatized in many plays in various theatre forms in Japan (since about 1700), China (since 1906), and Taiwan (since the 1920s).
    [Show full text]
  • Social Mobility in China, 1645-2012: a Surname Study Yu (Max) Hao and Gregory Clark, University of California, Davis [email protected], [email protected] 11/6/2012
    Social Mobility in China, 1645-2012: A Surname Study Yu (Max) Hao and Gregory Clark, University of California, Davis [email protected], [email protected] 11/6/2012 The dragon begets dragon, the phoenix begets phoenix, and the son of the rat digs holes in the ground (traditional saying). This paper estimates the rate of intergenerational social mobility in Late Imperial, Republican and Communist China by examining the changing social status of originally elite surnames over time. It finds much lower rates of mobility in all eras than previous studies have suggested, though there is some increase in mobility in the Republican and Communist eras. But even in the Communist era social mobility rates are much lower than are conventionally estimated for China, Scandinavia, the UK or USA. These findings are consistent with the hypotheses of Campbell and Lee (2011) of the importance of kin networks in the intergenerational transmission of status. But we argue more likely it reflects mainly a systematic tendency of standard mobility studies to overestimate rates of social mobility. This paper estimates intergenerational social mobility rates in China across three eras: the Late Imperial Era, 1644-1911, the Republican Era, 1912-49 and the Communist Era, 1949-2012. Was the economic stagnation of the late Qing era associated with low intergenerational mobility rates? Did the short lived Republic achieve greater social mobility after the demise of the centuries long Imperial exam system, and the creation of modern Westernized education? The exam system was abolished in 1905, just before the advent of the Republic. Exam titles brought high status, but taking the traditional exams required huge investment in a form of “human capital” that was unsuitable to modern growth (Yuchtman 2010).
    [Show full text]
  • 中国人的姓名 王海敏 Wang Hai Min
    中国人的姓名 王海敏 Wang Hai min last name first name Haimin Wang 王海敏 Chinese People’s Names Two parts Last name First name 姚明 Yao Ming Last First name name Jackie Chan 成龙 cheng long Last First name name Bruce Lee 李小龙 li xiao long Last First name name The surname has roughly several origins as follows: 1. the creatures worshipped in remote antiquity . 龙long, 马ma, 牛niu, 羊yang, 2. ancient states’ names 赵zhao, 宋song, 秦qin, 吴wu, 周zhou 韩han，郑zheng, 陈chen 3. an ancient official titles 司马sima, 司徒situ 4. the profession. 陶tao，钱qian, 张zhang 5. the location and scene in residential places 江jiang，柳 liu 6.the rank or title of nobility 王wang，李li • Most are one-character surnames, but some are compound surname made up of two of more characters. • 3500Chinese surnames • 100 commonly used surnames • The three most common are 张zhang, 王wang and 李li What does my name mean? first name strong beautiful lively courageous pure gentle intelligent 1.A person has an infant name and an official one. 2.In the past,the given names were arranged in the order of the seniority in the family hierarchy. 3.It’s the Chinese people’s wish to give their children a name which sounds good and meaningful. Project:Search on-Line www.Mandarinintools.com/chinesename.html Find Chinese Names for yourself, your brother, sisters, mom and dad, or even your grandparents. Find meanings of these names. ----What is your name? 你叫什么名字？ ni jiao shen me ming zi? ------ 我叫王海敏 wo jiao Wang Hai min ------ What is your last name? 你姓什么? ni xing shen me? （你贵姓？）ni gui xing? ------ 我姓 王，王海敏。 wo xing wang, Wang Hai min ----- What is your nationality? 你是哪国人？ ni shi na guo ren? ----- I am chinese/American 我是中国人/美国人 Wo shi zhong guo ren/mei guo ren 百家 姓 bai jia xing 赵(zhào) 钱(qián) 孙(sūn) 李(lǐ) 周(zhōu) 吴(wú) 郑(zhèng) 王(wán 冯(féng) 陈(chén) 褚(chǔ) 卫(wèi) 蒋(jiǎng) 沈(shěn) 韩(hán) 杨(yáng) 朱(zhū) 秦(qín) 尤(yóu) 许(xǔ) 何(hé) 吕(lǚ) 施(shī) 张(zhāng).
    [Show full text]
  • Chinese Zheng and Identity Politics in Taiwan A
    CHINESE ZHENG AND IDENTITY POLITICS IN TAIWAN A DISSERTATION SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAWAI‘I AT MĀNOA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN MUSIC DECEMBER 2018 By Yi-Chieh Lai Dissertation Committee: Frederick Lau, Chairperson Byong Won Lee R. Anderson Sutton Chet-Yeng Loong Cathryn H. Clayton Acknowledgement The completion of this dissertation would not have been possible without the support of many individuals. First of all, I would like to express my deep gratitude to my advisor, Dr. Frederick Lau, for his professional guidelines and mentoring that helped build up my academic skills. I am also indebted to my committee, Dr. Byong Won Lee, Dr. Anderson Sutton, Dr. Chet- Yeng Loong, and Dr. Cathryn Clayton. Thank you for your patience and providing valuable advice. I am also grateful to Emeritus Professor Barbara Smith and Dr. Fred Blake for their intellectual comments and support of my doctoral studies. I would like to thank all of my interviewees from my fieldwork, in particular my zheng teachers—Prof. Wang Ruei-yu, Prof. Chang Li-chiung, Prof. Chen I-yu, Prof. Rao Ningxin, and Prof. Zhou Wang—and Prof. Sun Wenyan, Prof. Fan Wei-tsu, Prof. Li Meng, and Prof. Rao Shuhang. Thank you for your trust and sharing your insights with me. My doctoral study and fieldwork could not have been completed without financial support from several institutions. I would like to first thank the Studying Abroad Scholarship of the Ministry of Education, Taiwan and the East-West Center Graduate Degree Fellowship funded by Gary Lin.
    [Show full text]
  • Ideophones in Middle Chinese
    KU LEUVEN FACULTY OF ARTS BLIJDE INKOMSTSTRAAT 21 BOX 3301 3000 LEUVEN, BELGIË ! Ideophones in Middle Chinese: A Typological Study of a Tang Dynasty Poetic Corpus Thomas'Van'Hoey' ' Presented(in(fulfilment(of(the(requirements(for(the(degree(of(( Master(of(Arts(in(Linguistics( ( Supervisor:(prof.(dr.(Jean=Christophe(Verstraete((promotor)( ( ( Academic(year(2014=2015 149(431(characters Abstract (English) Ideophones in Middle Chinese: A Typological Study of a Tang Dynasty Poetic Corpus Thomas Van Hoey This M.A. thesis investigates ideophones in Tang dynasty (618-907 AD) Middle Chinese (Sinitic, Sino- Tibetan) from a typological perspective. Ideophones are defined as a set of words that are phonologically and morphologically marked and depict some form of sensory image (Dingemanse 2011b). Middle Chinese has a large body of ideophones, whose domains range from the depiction of sound, movement, visual and other external senses to the depiction of internal senses (cf. Dingemanse 2012a). There is some work on modern variants of Sinitic languages (cf. Mok 2001; Bodomo 2006; de Sousa 2008; de Sousa 2011; Meng 2012; Wu 2014), but so far, there is no encompassing study of ideophones of a stage in the historical development of Sinitic languages. The purpose of this study is to develop a descriptive model for ideophones in Middle Chinese, which is compatible with what we know about them cross-linguistically. The main research question of this study is “what are the phonological, morphological, semantic and syntactic features of ideophones in Middle Chinese?” This question is studied in terms of three parameters, viz. the parameters of form, of meaning and of use.
    [Show full text]
  • English Versions of Chinese Authors' Names in Biomedical Journals
    Dialogue English Versions of Chinese Authors’ Names in Biomedical Journals: Observations and Recommendations The English language is widely used inter- In English transliteration, two-syllable Forms of Chinese Authors’ Names nationally for academic purposes. Most of given names sometimes are spelled as two in Biomedical Journals the world’s leading life-science journals are words (Jian Hua), sometimes as one word We recently reviewed forms of Chinese published in English. A growing number (Jianhua), and sometimes hyphenated authors’ names accompanying English- of Chinese biomedical journals publish (Jian-Hua). language articles or abstracts in various abstracts or full papers in this language. Occasionally Chinese surnames are Chinese and Western biomedical journals. We have studied how Chinese authors’ two syllables (for example, Ou-Yang, Mu- We found considerable inconsistency even names are presented in English in bio- Rong, Si-Ma, and Si-Tu). Editors who are within the same journal or issue. The forms medical journals. There is considerable relatively unfamiliar with Chinese names were in the following categories: inconsistency. This inconsistency causes may mistake these compound surnames for • Surname in all capital letters followed by confusion, for example, in distinguishing given names. hyphenated or closed-up given name, for surnames from given names and thus cit- China has 56 ethnic groups. Names example, ing names properly in reference lists. of minority group members can differ KE Zhi-Yong (Chinese Journal of In the current article we begin by pre- considerably from those of Hans, who Contemporary Pediatrics) senting as background some features of constitute most of the Chinese population. GUO Liang-Qian (Chinese Chinese names.
    [Show full text]