plclub(宾夕法尼亚大学的编程语言小组)介绍
主页: https://www.cis.upenn.edu/~plclub/
[plclub]
The programming languages group at the University of Pennsylvania has been a hub for understanding the essence of computation. Research topics include type theory, functional programming, formal verification, and logic.
宾夕法尼亚大学的编程语言小组一直是理解计算本质的中心。研究主题包括类型理论、函数编程、形式验证和逻辑。
[plclub]
The programming languages group at the University of Pennsylvania has been a hub for understanding the essence of computation. Research topics include type theory, functional programming, formal verification, and logic.
宾夕法尼亚大学的编程语言小组一直是理解计算本质的中心。研究主题包括类型理论、函数编程、形式验证和逻辑。
Keep in Touch (保持联系)
- [plclub] mailing list
- TYPES forum
- PEARL (Penn Automated Reasoning and Learning)
Check out [plclub] resources and tools on GitHub (https://github.com/plclub)
Courses
- CIS 500 : Software Foundations
- CIS 540 : Principles of Embedded Computation
- CIS 547 : Software Analysis
- CIS 552 : Advanced Programming
- CIS 670 : Rotating PL Seminar
- CIS 673 : Computer-Aided Verification
Related Groups at Penn
PLClub Discussion Group
We meet on Fridays, 12 - 1:30pm at Levine 307.
Rules
- Talk about PLClub! Anyone is welcome.
- If it's your first semester at PLClub, you have to PL.
- Lunch starts at 12:15pm.
- Talks start at 12:30pm.
- Talks go on as long as they have to, or until 1:30pm.
See full schedule here.
Research is better in a diverse community. We affirm and embrace our differences in race and ethnicity,
gender expression, sexual orientation,
and other personal characteristics.
We expect our members to make PLClub a safe and welcoming place for all.
People of PLClub(他们个人的网站,包括github上的项目)
Faculty
Benjamin Pierce Mayur Naik Osbert Bastani Rajeev Alur
Ph.D. Students
Elizabeth Dinella Halley Young Haoxian Chen Harrison Goldstein Irene Yoon Jessica Shi
Jiani Huang Joey Velez-Ginorio Joseph Cutler Kishor Jothimurugan Konstantinos Kallas Lawrence Dunn
Eleftherios Ioannidis Lei Shi Li-Yao Xia Lucas Silver Nick Rioux Omar Navarro Leija
Pardis Pashakhanloo Paul He Phillip Hilliard Pritam Choudhury Shaan Vaidya
Stephen Mell Steve Hsu Yao Li Yishuai Li Yiyun Liu Ziyang Li
Alumni(校友)
- Yuepeng Wang - Postdoc, 2021. Simon Fraser U.
- Hengchu Zhang - Ph.D, 2021. Hudson River Trading
- Antoine Voizard - Masters, 2021.
- Yannick Zakowski - Postdoc, 2020. Inria
- Xujie Si - Ph.D., 2020. McGill University
- Sulekha Kulkarni - Ph.D., 2020. Microsoft
- Solomon Maina - Masters, 2020.
- Luan Viet Nguyen - Postdoc, 2020. University of Dayton
- Filip Niksic - Postdoc, 2020. Google
- Anthony Canino - Postdoc, 2020. Micro Focus
- Antal Spector-Zabusky - Ph.D., 2020. Jane Street
- Kihong Heo - Postdoc, 2019. KAIST
- Joachim Breitner - Postdoc, 2019. DFINITY
- Brian Heath - Masters, 2019. Tortuga
- Woosuk Lee - Postdoc, 2018. Hanyang Univ.
- Robert Rand - Ph.D., 2018. U. Chicago
- Richard Zhang - Masters, 2018.
- Nimit Singhania - Ph.D., 2018. Google
- Leonidas Lampropoulos - Ph.D., 2018. U. Maryland
- Konstantinos Mamouras - Postdoc, 2018. Rice
- Jennifer Paykin - Ph.D., 2018. Galois
- Dong-Ho Lee - Masters, 2018. CEA List
- Christine Rizkallah - Postdoc, 2018. UNSW
- Xin Zhang - Ph.D., 2017. Peking U.
- Kenny Foner - Masters, 2017. Galois
- Justin Hsu - Ph.D., 2017. Cornell
- Daniel Winograd-Cort - Postdoc, 2017. Luminous Computing
- Arthur Azevedo de Amorim - Ph.D., 2017. Postdoc, CMU
- Arjun Radhakrishna - Postdoc, 2017. Microsoft
- Yifei Yuan - Ph.D., 2016. Postdoc, CMU
- William Mansky - Postdoc, 2016. UIC
- Salar Moarref - Ph.D., 2016. Uber
- Richard A. Eisenberg - Ph.D., 2016. Tweag I/O
- Mukund Raghothaman - Ph.D., 2016. USC
- Matthew Weaver - Undergrad, 2016. Princeton
- Dmitri Garbuzov - Masters, 2016.
- Dana Fisman - Postdoc, 2016. Ben Gurion Univ.
- Abhishek Udupa - Ph.D., 2016. Microsoft
- Vilhelm Sjöberg - Ph.D., 2015. CertiK
- Peter-Michael Osera - Ph.D., 2015. Grinnell College
- Loris D'Antoni - Ph.D., 2015. U. Wisconsin
- Christos Stergiou - Postdoc, 2015. Google
- Emilio Jesús Gallego Arias - Postdoc, 2014. MINES ParisTech
- Chris Casinghino - Ph.D., 2014. Draper Labs
- Brent Yorgey - Ph.D., 2014. Hendrix College
- Sela Mador-Haim - ABD, 2013. Coverity
- Michael Greenberg - Ph.D., 2013. Stevens Institute of Technology
- Marco Gaboardi - Postdoc, 2013. Boston University
- Karl Mazurak - Ph.D., 2013. Google
- Jianzhou Zhao - Ph.D., 2013. Facebook
- Hongbo (Bob) Zhang - Masters, 2013. Bloomberg
- Delphine Demange - Postdoc, 2013. Rennes 1
- Cătălin Hriţcu - Postdoc, 2013. Inria Paris
- Benoît Valiron - Postdoc, 2013. CentraleSupélec
- Benoît Montagu - Postdoc, 2013. Inria
- Jyotirmoy Deshmukh - Postdoc, 2012. USC
- Ashutosh Trivedi - Postdoc, 2012. U. Colorado, Boulder
- Aaron Bohannon - Ph.D., 2012. Google
- Pavol Cerný - Ph.D., 2009. TU Wien
- Nate Foster - Ph.D., 2009. Cornell
- Limin Jia - Postdoc, 2009. CMU
- Jeff Vaughan - Ph.D., 2009. Google
- Gera Weiss - Postdoc, 2009. Ben Guiron Univ.
- Aditya Kanade - Postdoc, 2009. IISc Bangalore
- Peng Li - Ph.D., 2008. Google
- Mikhail Bernadsky - Ph.D., 2008. Microsoft
- Dimitrios Vytiniotis - Ph.D., 2008. MSR Cambridge
- Alwyn Goodloe - PhD, 2008. NASA
- Wonhong Nam - Ph.D., 2007. Konkuk Univ.
- Swarat Chaudhury - Ph.D., 2007. Rice
- Stephen Tse - Ph.D., 2007.
- Sebastian Burckhard - Ph.D., 2007. MSR
- Geoffrey Washburn - Ph.D., 2007. LogicBlox
- Vladimir Gapeyev - Ph.D., 2006.
- Michael McDougall - Ph.D., 2005. Grammatech
- Michael Levin - Ph.D., 2005. Microsoft
- Arun Chandrasekharapuram - Masters, 2005.
- Madhusudan Parthasarathy - Postdoc, 2004. UIUC
- Jason Simas - Masters, 2004.
- Gunjan Gupta - Masters, 2004.
- Eijiro Sumii - Ph.D. @ Tokyo, 2004. Tohoku Univ.
- Zijiang Yang - Ph.D., 2003. Western Michigan
- Franjo Ivancic - Ph.D., 2003. Google
- Supratik Mukhopadhyay - Postdoc, 2002. Louisiana State Univ.
- Thao Dang - Postdoc, 2001. CNRS
- Salvatore La Torre - Ph.D., 2001. U. Salerno
- Minsu Kang - Masters, 2001.
- Haruo Hosoya - Ph.D. @ Tokyo, 2001. Tokyo Univ.
- Bow-Yaw Wang - Ph.D., 2001. Academia Sinica
- Radu Grosu - Postdoc, 2000. TU Vienna
- Himyanshu Anand - Masters, 2000.
- George Pappas - Postdoc, 2000. UPenn
- Atsushi Igarashi - Ph.D. @ Tokyo, 2000. Kyoto Univ.
- Arnabnil Bhattacharjee - Masters, 19












































浙公网安备 33010602011771号