Stephanie Weirich - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Stephanie Weirich' as author, editor, or advisor:

Language-based verification will change the worldSheard, Tim , Stump, Aaron, Weirich, Stephanie. In Proceedings of the FSE/SDP workshop on Future of software engineering research. 2010: 343-348 [doi]
A Dependent Dependency CalculusPritam Choudhury, Harley Eades III, Stephanie Weirich. ESOP 2022: 403-430 [doi]
Verified ROS-Based Deployment of Platform-Independent Control SystemsWenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee. NFM 2015: 248-262 [doi]
Dependently Typed Programming (NII Shonan Meeting 2011-3)Shin-Cheng Mu, Conor McBride, Stephanie Weirich. shonan-reports, 2011, 2011. [doi]
Contracts made manifestMichael Greenberg, Benjamin C. Pierce, Stephanie Weirich. JFP, 22(3):225-274, 2012. [doi]
The influence of dependent types (keynote)Stephanie Weirich. POPL 2017: 1 [doi]
An existential crisis resolved: type inference for first-class existential typesRichard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee. PACMPL, 5(ICFP):1-29, 2021. [doi]
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich. dagstuhl-reports, 6(3):59-77, 2016. [doi]
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIStephanie Weirich, editor, Volume 14577 of Lecture Notes in Computer Science, Springer, 2024. [doi]
Haskell Symposium Program Chair s ReportStephanie Weirich. haskell 2009: [doi]
Parametricity, type equality, and higher-order polymorphismDimitrios Vytiniotis, Stephanie Weirich. JFP, 20(2):175-210, 2010. [doi]
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011Stephanie Weirich, Derek Dreyer, editors, ACM, 2011.
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IStephanie Weirich, editor, Volume 14576 of Lecture Notes in Computer Science, Springer, 2024. [doi]
Programming with TypesStephanie Weirich. PhD thesis, Cornell University, USA, 2002.
Editorial - Special issue dedicated to ICFP 2010Umut A. Acar, James Cheney, Stephanie Weirich. JFP, 22(4-5):379-381, 2012. [doi]
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. SIGPLAN, 38(9):249-262, 2003. [doi]
Arity-generic datatype-generic programming: (abstract only)Stephanie Weirich, Chris Casinghino. SIGPLAN, 44(11):7, 2009. [doi]
Abstracting SyntaxBrian Aydemir, Stephan A. Zdancewic, Stephanie Weirich. Technical Report MS-CIS-09-06, 2009.
Program adverbs and Tlön embeddingsYao Li 0004, Stephanie Weirich. PACMPL, 6(ICFP):312-342, 2022. [doi]
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009Stephanie Weirich, editor, ACM, 2009.
Reasoning about the garden of forking pathsYao Li, Li-yao Xia, Stephanie Weirich. PACMPL, 5(ICFP):1-28, 2021. [doi]
Giving Haskell a promotionBrent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães. tldi 2012: 53-66 [doi]
PrefaceBenjamin C. Pierce, Stephanie Weirich. JAR, 49(3):301-302, 2012. [doi]
Wobbly types: type inference for generalised algebraic data typesSimon L. Peyton Jones, Geoffrey Washburn, Stephanie Weirich. Technical Report MS-CIS-05-26, 2004.
Depending on typesStephanie Weirich. ICFP 2014: 241 [doi]
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Stephanie Weirich. PACMPL, 2(ICFP), 2018. [doi]
Generative type abstraction and type-level computationStephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic. POPL 2011: 227-240 [doi]
A specification for dependent types in HaskellStephanie Weirich, Antoine Voizard, Pedro Henrique Avezedo de Amorim, Richard A. Eisenberg. PACMPL, 1(ICFP), 2017. [doi]
Towards synthesis of platform-aware attack-resilient control systems: extended abstractMiroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee. hicons 2013: 75-76 [doi]
Type SystemsStephanie Weirich. In Teofilo F. Gonzalez, Jorge Diaz-Herrera, Allen Tucker, editors, Computing Handbook, Third Edition: Computer Science and Software Engineering. CRC Press, 2014.
Arity-generic datatype-generic programmingStephanie Weirich, Chris Casinghino. plpv 2010: 15-26 [doi]
How to write a good research paperStephanie Weirich. POPL 2015: 5 [doi]
A graded dependent type system with a usage-aware semanticsPritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich. PACMPL, 5(POPL):1-32, 2021. [doi]
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell codeJoachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Joshua Cohen, Stephanie Weirich. JFP, 31, 2021. [doi]
Language-based verification will change the worldTim Sheard, Aaron Stump, Stephanie Weirich. FSE 2010: 343-348 [doi]
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013Stephanie Weirich, editor, ACM, 2013. [doi]
Eta-Equivalence in Core Dependent HaskellAnastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich. TYPES 2020: [doi]
Dependently-Typed Programming in GHCStephanie Weirich. FLOPS 2012: 3 [doi]
Combining proofs and programs in a dependently typed languageChris Casinghino, Vilhelm Sjöberg, Stephanie Weirich. POPL 2014: 33-46 [doi]
Total Haskell is reasonable CoqAntal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich. CPP 2018: 14-27 [doi]
Dependently-Typed Programming with Logical Equality ReflectionYiyun Liu, Stephanie Weirich. PACMPL, 7(ICFP):649-685, August 2023. [doi]
Internalizing Indistinguishability with Dependent TypesYiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich. PACMPL, 8(POPL):1298-1325, January 2024. [doi]
Generic Programming with Dependent TypesStephanie Weirich, Chris Casinghino. ssgip 2012: 217-258 [doi]
A role for dependent types in HaskellStephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg. PACMPL, 3(ICFP), 2019. [doi]
Needle & Knot: Binder Boilerplate Tied UpSteven Keuchel, Stephanie Weirich, Tom Schrijvers. ESOP 2016: 419-445 [doi]
Combining Proofs and ProgramsStephanie Weirich. tlca 2011: 9 [doi]
Safe zero-cost coercions for HaskellJoachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich. JFP, 26, 2016. [doi]
How to give a good research talkStephanie Weirich. POPL 2015: 13 [doi]
Binders unboundStephanie Weirich, Brent A. Yorgey, Tim Sheard. ICFP 2011: 333-345 [doi]
Equational reasoning about programs with general recursion and call-by-value semanticsGarrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn. plpv 2012: 15-26 [doi]
Combining Proofs and ProgramsStephanie Weirich. RTA 2011: 9-9 [doi]
Nourishing the future of the field: the programming language mentoring workshop 2012Kathleen Fisher, Ronald Garcia, Stephanie Weirich. SIGPLAN, 47(4a):14-15, 2012. [doi]
Termination Casts: A Flexible Approach to Termination with General RecursionAaron Stump, Vilhelm Sjöberg, Stephanie Weirich. itp 2012: 83-99 [doi]
Programming up to CongruenceVilhelm Sjöberg, Stephanie Weirich. POPL 2015: 369-382 [doi]
An Existential Crisis Resolved: Type inference for first-class existential types Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee. 2021.
Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010Paul Hudak, Stephanie Weirich, editors, ACM, 2010.
Dependent types and program equivalenceLimin Jia, Jianzhou Zhao, Vilhelm SjÃ¶berg, Stephanie Weirich. POPL 2010: 275-286 [doi]

runs on WebDSL