Publications

All Publications

1. Don't Sweat Interaction Trees: Proof-Guided Local Variable Lifting for Interaction Trees

   Authors: Yiming Lin, Ian Kariniemi, Yao Li

   17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026

   DOI: 10.4230/LIPIcs.ITP.2026.17 | View Publication | Cite

2. Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming

   Authors: Nicholas Coltharp, Steven Libby, Laura Israel, Yao Li

   18th International Symposium on Functional and Logic Programming (FLOPS), May 26-28, 2026, Tsukuba, Japan

   DOI: 10.1007/978-981-92-0184-6_5 | View Publication | Cite

3. The Memorist Tale: Every Thunk Every Cost All At Once

   Authors: Xing Li, Yao Li, Peter Schachte, Christine Rizkallah

   Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I

   DOI: 10.1007/978-3-032-22720-1_17 | Cite

4. SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation

   Authors: Sina Bagheri Nezhad, Yao Li, Ameeta Agrawal

   Findings of the Association for Computational Linguistics: EACL 2026, Rabat, Morocco, March 24-29, 2026

   View Publication | Cite

5. Enhancing Translation Validation of Compiler Transformations with Large Language Models

   Authors: Yanzhao Wang, Fei Xie

   Int. J. Softw. Eng. Knowl. Eng., (2025), Volume 35, Issue 1

   DOI: 10.1142/S0218194024500475 | View Publication | Cite

6. Freer Arrows and Why You Need Them in Haskell

   Authors: Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li

   Proceedings of the 18th ACM SIGPLAN International Haskell Symposium (Haskell ’25), October 12–18, 2025, Singapore, Singapore

   DOI: 10.1145/3759164.3759352 | View Publication | Cite

7. A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

   Authors: Barış Bayazıt, Yao Li, Xujie Si

   Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages (LMPL ’25), October 12–18, 2025, Singapore, Singapore

   DOI: 10.1145/3759425.3763391 | View Publication | Cite

8. SECOMP: Formally Secure Compilation of Compartmentalized C Programs

   Authors: Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach

   Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024

   DOI: 10.1145/3658644.3670288 | View Publication | Cite

9. Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model

   Authors: Andrew Tolmach, Chris Chhak, Sean Noble Anderson

   15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia

   DOI: 10.4230/LIPICS.ITP.2024.36 | View Publication | Cite

10. A Systematic Translation Validation Framework for MLIR-Based Compilers

    Authors: Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang

    Int. J. Softw. Eng. Knowl. Eng., (2024), Volume 34, Issue 10

    DOI: 10.1142/S021819402450030X | View Publication | Cite

11. Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

    Authors: Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li

    Proc. ACM Program. Lang., (2024), Volume 8, Issue ICFP

    DOI: 10.1145/3674626 | View Publication | Cite

12. Eelco Visser: The Oregon Connection

    Authors: Andrew Tolmach

    Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands

    DOI: 10.4230/OASICS.EVCS.2023.27 | View Publication | Cite

13. Formalizing Stack Safety as a Security Property

    Authors: Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach

    36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023

    DOI: 10.1109/CSF57540.2023.00037 | View Publication | Cite

14. Flexible Runtime Security Enforcement with Tagged C

    Authors: Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach

    Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

    DOI: 10.1007/978-3-031-44267-4_12 | View Publication | Cite

15. An Equivalence Checking Framework for Agile Hardware Design

    Authors: Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang

    Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023

    DOI: 10.1145/3566097.3567843 | View Publication | Cite

16. An Automated Verification Framework for HalideIR-Based Compiler Transformations

    Authors: Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang

    Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023

    DOI: 10.23919/DATE56975.2023.10137308 | View Publication | Cite

17. Program adverbs and Tlön embeddings

    Authors: Yao Li, Stephanie Weirich

    Proc. ACM Program. Lang., (2022), Volume 6, Issue ICFP

    DOI: 10.1145/3547632 | View Publication | Cite

18. Towards formally verified compilation of tag-based policy enforcement

    Authors: Chris Chhak, Andrew Tolmach, Sean Noble Anderson

    CPP ‘21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021

    DOI: 10.1145/3437992.3439929 | View Publication | Cite

19. Concolic Execution of NMap Scripts for Honeyfarm Generation

    Authors: Zhe Li, Bo Chen, Wu-chang Feng, Fei Xie

    MTD@CCS 2021: Proceedings of the 8th ACM Workshop on Moving Target Defense, Virtual Event, Republic of Korea, 15 November 2021

    DOI: 10.1145/3474370.3485660 | View Publication | Cite

20. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

    Authors: Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich

    J. Funct. Program., (2021), Volume 31

    DOI: 10.1017/S0956796820000283 | View Publication | Cite

21. Reasoning about the garden of forking paths

    Authors: Yao Li, Li-yao Xia, Stephanie Weirich

    Proc. ACM Program. Lang., (2021), Volume 5, Issue ICFP

    DOI: 10.1145/3473585 | View Publication | Cite

22. Verifying an HTTP Key-Value Server with Interaction Trees and VST

    Authors: Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic

    12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)

    DOI: 10.4230/LIPICS.ITP.2021.32 | View Publication | Cite

23. Partial type constructors: or, making ad hoc datatypes less ad hoc

    Authors: Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg

    Proc. ACM Program. Lang., (2020), Volume 4, Issue POPL

    DOI: 10.1145/3371108 | View Publication | Cite

24. Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

    Authors: Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel

    Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

    DOI: 10.1007/978-3-030-63618-0_7 | View Publication | Cite

25. Scopes and Frames Improve Meta-Interpreter Specialization

    Authors: Vlad A. Vergu, Andrew Tolmach, Eelco Visser

    33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom

    DOI: 10.4230/LIPICS.ECOOP.2019.4 | View Publication | Cite

26. End-to-End Concolic Testing for Hardware/Software Co-Validation

    Authors: Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie

    15th IEEE International Conference on Embedded Software and Systems, ICESS 2019, Las Vegas, NV, USA, June 2-3, 2019

    DOI: 10.1109/ICESS.2019.8782476 | View Publication | Cite

27. A scala based framework for developing acceleration systems with FPGAs

    Authors: Yanqiang Liu, Yao Li, Zhengwei Qi, Haibing Guan

    J. Syst. Archit., (2019), Volume 98

    DOI: 10.1016/J.SYSARC.2019.08.001 | View Publication | Cite

28. From C to interaction trees: specifying, verifying, and testing a networked server

    Authors: Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic

    Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019

    DOI: 10.1145/3293880.3294106 | View Publication | Cite

29. MIL, a Monadic Intermediate Language for Implementing Functional Languages

    Authors: Mark P. Jones, Justin Bailey, Theodore R. Cooper

    Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018

    DOI: 10.1145/3310232.3310238 | View Publication | Cite

30. Intrinsically-typed definitional interpreters for imperative languages

    Authors: Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser

    Proc. ACM Program. Lang., (2018), Volume 2, Issue POPL

    DOI: 10.1145/3158104 | View Publication | Cite

31. When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

    Authors: Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach

    Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018

    DOI: 10.1145/3243734.3243745 | View Publication | Cite

32. CRETE: A Versatile Binary-Level Concolic Testing Framework

    Authors: Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie

    Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    DOI: 10.1007/978-3-319-89363-1_16 | View Publication | Cite

33. Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

    Authors: Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich

    Proc. ACM Program. Lang., (2018), Volume 2, Issue ICFP

    DOI: 10.1145/3236784 | View Publication | Cite

34. Scala Based FPGA Design Flow (Abstract Only)

    Authors: Yanqiang Liu, Yao Li, Weilun Xiong, Meng Lai, Cheng Chen, Zhengwei Qi, Haibing Guan

    Proceedings of the 2017 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA 2017, Monterey, CA, USA, February 22-24, 2017

    View Publication | Cite

35. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

    Authors: Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

    Dagstuhl Artifacts Ser., (2016), Volume 2, Issue 1

    DOI: 10.4230/DARTS.2.1.10 | View Publication | Cite

36. A verified information-flow architecture

    Authors: Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach

    J. Comput. Secur., (2016), Volume 24, Issue 6

    DOI: 10.3233/JCS-15784 | View Publication | Cite

37. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

    Authors: Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

    30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy

    DOI: 10.4230/LIPICS.ECOOP.2016.20 | View Publication | Cite

38. A constraint language for static semantic analysis based on scope graphs

    Authors: Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

    Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016

    DOI: 10.1145/2847538.2847543 | View Publication | Cite

39. Validating scheduling transformation for behavioral synthesis

    Authors: Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

    2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016

    View Publication | Cite

40. AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses

    Authors: Yudi Zheng, Andrea Rosà, Luca Salucci, Yao Li, Haiyang Sun, Omar Javed, Lubomír Bulej, Lydia Y. Chen, Zhengwei Qi, Walter Binder

    IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1

    DOI: 10.1109/SANER.2016.70 | View Publication | Cite

41. A Theory of Name Resolution

    Authors: Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

    Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings

    DOI: 10.1007/978-3-662-46669-8_9 | View Publication | Cite

42. Micro-Policies: Formally Verified, Tag-Based Security Monitors

    Authors: Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

    2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015

    DOI: 10.1109/SP.2015.55 | View Publication | Cite

43. Suppl: A Flexible Language for Policies

    Authors: Robert Dockins, Andrew Tolmach

    Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings

    DOI: 10.1007/978-3-319-12736-1_10 | View Publication | Cite

44. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

    Authors: Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat

    Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SPLASH ‘14, Portland, OR, USA, October 20-24, 2014

    DOI: 10.1145/2661136.2661149 | View Publication | Cite

45. A verified information-flow architecture

    Authors: Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach

    The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ‘14, San Diego, CA, USA, January 20-21, 2014

    DOI: 10.1145/2535838.2535839 | View Publication | Cite

46. Scalable Certification Framework for Behavioral Synthesis Front-End

    Authors: Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

    The 51st Annual Design Automation Conference 2014, DAC ‘14, San Francisco, CA, USA, June 1-5, 2014

    DOI: 10.1145/2593069.2593209 | View Publication | Cite

47. Equivalence checking for function pipelining in behavioral synthesis

    Authors: Kecheng Hao, Sandip Ray, Fei Xie

    Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014

    DOI: 10.7873/DATE.2014.163 | View Publication | Cite

48. Mechanical Certification of Loop Pipelining Transformations: A Preview

    Authors: Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

    Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

    DOI: 10.1007/978-3-319-08970-6_37 | View Publication | Cite

49. Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

    Authors: Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

    Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014

    DOI: 10.4204/EPTCS.152.10 | View Publication | Cite

50. ScalaHDL: Express and test hardware designs in a Scala DSL

    Authors: Yao Li, Antonio Roldao Lopes, Zhouyun Xu, Zhengwei Qi, Haibing Guan

    32nd IEEE International Conference on Computer Design, ICCD 2014, Seoul, South Korea, October 19-22, 2014

    DOI: 10.1109/ICCD.2014.6974732 | View Publication | Cite

51. Solving the snake cube puzzle in Haskell

    Authors: Mark P. Jones

    J. Funct. Program., (2013), Volume 23, Issue 2

    DOI: 10.1017/S0956796813000014 | View Publication | Cite

52. Handling design and implementation optimizations in equivalence checking for behavioral synthesis

    Authors: Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie

    The 50th Annual Design Automation Conference 2013, DAC ‘13, Austin, TX, USA, May 29 - June 07, 2013

    DOI: 10.1145/2463209.2488878 | View Publication | Cite

53. Equivalence checking for compiler transformations in behavioral synthesis

    Authors: Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie

    2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013

    DOI: 10.1109/ICCD.2013.6657090 | View Publication | Cite

54. Equivalence checking for behaviorally synthesized pipelines

    Authors: Kecheng Hao, Sandip Ray, Fei Xie

    The 49th Annual Design Automation Conference 2012, DAC ‘12, San Francisco, CA, USA, June 3-7, 2012

    DOI: 10.1145/2228360.2228423 | View Publication | Cite

55. Instance chains: type class programming without overlapping instances

    Authors: J. Garrett Morris, Mark P. Jones

    Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010

    DOI: 10.1145/1863543.1863596 | View Publication | Cite

56. A certified framework for compiling and executing garbage-collected languages

    Authors: Andrew McCreight, Tim Chevalier, Andrew P. Tolmach

    Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010

    DOI: 10.1145/1863543.1863584 | View Publication | Cite

57. Optimizing equivalence checking for behavioral synthesis

    Authors: Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang

    Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010

    DOI: 10.1109/DATE.2010.5457049 | View Publication | Cite

58. Achieving information flow security through monadic control of effects

    Authors: William L. Harrison, James Hook

    J. Comput. Secur., (2009), Volume 17, Issue 5

    DOI: 10.3233/JCS-2009-0356 | View Publication | Cite

59. Formal Verification for High-Assurance Behavioral Synthesis

    Authors: Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang

    Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

    DOI: 10.1007/978-3-642-04761-9_25 | View Publication | Cite

60. Fast perfect weighted resampling

    Authors: Bart Massey

    Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA

    DOI: 10.1109/ICASSP.2008.4518395 | View Publication | Cite

61. Language and program design for functional dependencies

    Authors: Mark P. Jones, Iavor S. Diatchki

    Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008

    DOI: 10.1145/1411286.1411298 | View Publication | Cite

62. Experience report: playing the DSL card

    Authors: Mark P. Jones

    Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008

    DOI: 10.1145/1411204.1411219 | View Publication | Cite

63. Polymorphism and page tables: systems programming from a functional programmer's perspective

    Authors: Mark P. Jones

    Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008

    DOI: 10.1145/1411204.1411207 | View Publication | Cite

64. Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation

    Authors: Yan Chen, Fei Xie, Jin Yang

    Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008

    DOI: 10.1145/1391469.1391508 | View Publication | Cite

65. Writing systems software in a functional language: an experience report

    Authors: Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach

    Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007

    DOI: 10.1145/1376789.1376791 | View Publication | Cite

66. Lightweight concurrency primitives for GHC

    Authors: Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach

    Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007

    DOI: 10.1145/1291201.1291217 | View Publication | Cite

67. Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

    Authors: Yan Chen, Yujing He, Fei Xie, Jin Yang

    Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings

    DOI: 10.1109/FAMCAD.2007.11 | View Publication | Cite

68. In the News

    Authors: Laurianne McLaughlin, Barton C. Massey

    IEEE Softw., (2006), Volume 23, Issue 1

    DOI: 10.1109/MS.2006.18 | View Publication | Cite

69. In the News

    Authors: Greg Goth, Bart Massey

    IEEE Softw., (2006), Volume 23, Issue 6

    DOI: 10.1109/MS.2006.167 | View Publication | Cite

70. Strongly typed memory areas programming systems-level data structures in a functional language

    Authors: Iavor S. Diatchki, Mark P. Jones

    Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006

    DOI: 10.1145/1159842.1159851 | View Publication | Cite

71. Maximal Models of Assertion Graph in GSTE

    Authors: Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie

    Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

    DOI: 10.1007/11750321_64 | View Publication | Cite

72. Longitudinal analysis of long-timescale open source repository data

    Authors: Bart Massey

    ACM SIGSOFT Softw. Eng. Notes, (2005), Volume 30, Issue 4

    DOI: 10.1145/1082983.1083167 | View Publication | Cite

73. In the News

    Authors: Greg Goth, Barton C. Massey

    IEEE Softw., (2005), Volume 22, Issue 6

    DOI: 10.1109/MS.2005.157 | View Publication | Cite

74. Search-based Job Scheduling for Parallel Computer Workloads

    Authors: Sangsuree Vasupongayya, Su-Hui Chiang, Bart Massey

    2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26 - 30, 2005, Boston, Massachusetts, USA

    DOI: 10.1109/CLUSTR.2005.347037 | View Publication | Cite

75. Longitudinal analysis of long-timescale open source repository data

    Authors: Bart Massey

    Proceedings of the 2005 workshop on Predictor models in software engineering, PROMISE ‘05, St. Louis, Missouri, USA, May 15, 2005

    DOI: 10.1145/1083165.1083167 | View Publication | Cite

76. Ourmon and Network Monitoring Performance

    Authors: James R. Binkley, Bart Massey

    Proceedings of the FREENIX Track: 2005 USENIX Annual Technical Conference, April 10-15, 2005, Anaheim, CA, USA

    View Publication | Cite

77. Achieving Information Flow Security through Precise Control of Effects

    Authors: William L. Harrison, James Hook

    18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France

    DOI: 10.1109/CSFW.2005.6 | View Publication | Cite

78. A principled approach to operating system construction in Haskell

    Authors: Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach

    Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005

    DOI: 10.1145/1086365.1086380 | View Publication | Cite

79. High-level views on low-level representations

    Authors: Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie

    Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005

    DOI: 10.1145/1086365.1086387 | View Publication | Cite

80. Operating system construction in Haskell

    Authors: Rebekah Leslie, Mark P. Jones

    Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005

    DOI: 10.1145/1095810.1118589 | View Publication | Cite

81. Certifying Temporal Properties for Compiled C Programs

    Authors: Songtao Xia, James Hook

    Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings

    DOI: 10.1007/978-3-540-24622-0_15 | View Publication | Cite

82. Composing fractals

    Authors: Mark P. Jones

    J. Funct. Program., (2004), Volume 14, Issue 6

    DOI: 10.1017/S0956796804005167 | View Publication | Cite

83. Implementing functional logic languages using multiple threads and stores

    Authors: Andrew P. Tolmach, Sergio Antoy, Marius Nita

    Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004

    DOI: 10.1145/1016850.1016865 | View Publication | Cite

84. A Virtual Machine for Functional Logic Computations

    Authors: Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach

    Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

    DOI: 10.1007/11431664_7 | View Publication | Cite

85. Learning Spam: Simple Techniques For Freely-Available Software

    Authors: Bart Massey, Mick Thomure, Raya Budrevich, Scott Long

    Proceedings of the FREENIX Track: 2003 USENIX Annual Technical Conference, June 9-14, 2003, San Antonio, Texas, USA

    View Publication | Cite

86. Free Software and High-Power Rocketry: The Portland State Aerospace Society

    Authors: James Perkins, Andrew Greenberg, Jamey Sharp, David Cassard, Bart Massey

    Proceedings of the FREENIX Track: 2003 USENIX Annual Technical Conference, June 9-14, 2003, San Antonio, Texas, USA

    View Publication | Cite

87. Experience with Abstraction-carrying Code

    Authors: Songtao Xia, James Hook

    2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003

    DOI: 10.1016/S1571-0661(05)80005-2 | View Publication | Cite

88. A monadic semantics for core Curry

    Authors: Andrew P. Tolmach, Sergio Antoy

    12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003

    DOI: 10.1016/S1571-0661(04)80691-1 | View Publication | Cite

89. XCL: An Xlib Compatibility Layer for XCB

    Authors: Jamey Sharp, Bart Massey

    Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, June 10-15, 2002, Monterey, California, USA

    View Publication | Cite

90. X Meets Z: Verifying Correctness in the Presence of POSIX Threads

    Authors: Bart Massey, Robert T. Bauer

    Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, June 10-15, 2002, Monterey, California, USA

    View Publication | Cite

91. Fine Control of Demand in Haskell

    Authors: William L. Harrison, Tim Sheard, James Hook

    Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings

    DOI: 10.1007/3-540-45442-X_6 | View Publication | Cite

92. A formal specification of the Haskell 98 module system

    Authors: Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren

    Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002

    DOI: 10.1145/581690.581692 | View Publication | Cite

93. Reactive Objects

    Authors: Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black

    5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002

    DOI: 10.1109/ISORC.2002.1003682 | View Publication | Cite

94. Regular Realization of Symmetric Functions Using Reversible Logic

    Authors: Marek A. Perkowski, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi, Bart Massey, Pawel Kerntopf, Andrzej Buller, Lech Józwiak, Alan J. Coppola

    Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 4-6 September 2001, Warsaw, Poland

    DOI: 10.1109/DSD.2001.952289 | View Publication | Cite

95. An Implementation of Narrowing Strategies

    Authors: Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner

    Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy

    DOI: 10.1145/773184.773206 | View Publication | Cite

96. Nickle: Language Principles and Pragmatics

    Authors: Bart Massey, Keith Packard

    Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, June 25-30, 2001, Boston, Massachusetts, USA

    View Publication | Cite

97. XCB: An X Protocol C Binding

    Authors: Bart Massey

    XFree86 Technical Conference 2001, Oakland, California, USA, November 8-9, 2001

    View Publication | Cite

98. Improving the Efficiency of Non-Deterministic Computations

    Authors: Sergio Antoy, Pascual Julián Iranzo, Bart Massey

    International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers

    DOI: 10.1016/S1571-0661(04)80347-5 | View Publication | Cite

99. Modular lazy search for Constraint Satisfaction Problems

    Authors: Thomas Nordin, Andrew P. Tolmach

    J. Funct. Program., (2001), Volume 11, Issue 5

    DOI: 10.1017/S0956796801004051 | View Publication | Cite

100. Type Classes with Functional Dependencies

     Authors: Mark P. Jones

     Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings

     DOI: 10.1007/3-540-46425-5_15 | View Publication | Cite

101. Integrating Programming, Properties, and Validation

     Authors: Mark P. Jones

     Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings

     DOI: 10.1007/10722010_1 | View Publication | Cite

102. Worldwide Aeronautical Route Planner

     Authors: Charles B. McVey, David P. Clements, Barton C. Massey, Andrew J. Parkes

     Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18-22, 1999, Orlando, Florida, USA

     View Publication | Cite

103. Client-Side Web Scripting with HaskellScript

     Authors: Erik Meijer, Daan Leijen, James Hook

     Practical Aspects of Declarative Languages, First International Workshop, PADL ‘99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings

     DOI: 10.1007/3-540-49201-1_14 | View Publication | Cite

104. Typed Higher-Order Narrowing without Higher-Order Strategies

     Authors: Sergio Antoy, Andrew P. Tolmach

     Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings

     DOI: 10.1007/10705424_22 | View Publication | Cite

105. Haskell as an Automation Controller

     Authors: Daan Leijen, Erik Meijer, James Hook

     Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures

     DOI: 10.1007/10704973_7 | View Publication | Cite

106. From ML to Ada: Strongly-Typed Language Interoperability via Source Translation

     Authors: Andrew P. Tolmach, Dino Oliva

     J. Funct. Program., (1998), Volume 8, Issue 4

     DOI: 10.1017/S0956796898003086 | View Publication | Cite

107. Building Program Optimizers with Rewriting Strategies

     Authors: Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach

     Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP ‘98), Baltimore, Maryland, USA, September 27-29, 1998

     DOI: 10.1145/289423.289425 | View Publication | Cite

108. Bridging the Gulf: A Common Intermediate Language for ML and Haskell

     Authors: Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach

     POPL ‘98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998

     DOI: 10.1145/268946.268951 | View Publication | Cite

109. Optimizing ML Using a Hierarchy of Monadic Types

     Authors: Andrew P. Tolmach

     Types in Compilation, Second International Workshop, TIC ‘98, Kyoto, Japan, March 25-27, 1998, Proceedings

     DOI: 10.1007/BFB0055514 | View Publication | Cite

110. Type-Driven Defunctionalization

     Authors: Jeffrey M. Bell, Françoise Bellegarde, James Hook

     Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP ‘97), Amsterdam, The Netherlands, June 9-11, 1997

     DOI: 10.1145/258948.258953 | View Publication | Cite

111. First-class Polymorphism with Type Inference

     Authors: Mark P. Jones

     Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997

     DOI: 10.1145/263699.263765 | View Publication | Cite

112. Experience with the Super Monaco Optimizing Compiler

     Authors: Evan Tick, Barton C. Massey, James S. Larson

     J. Log. Program., (1996), Volume 29, Issue 1-3

     DOI: 10.1016/S0743-1066(96)00051-9 | View Publication | Cite

113. A Common Intermediate Language and Its Use in Partitioning Concurrent Declarative Programs

     Authors: Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick

     New Gener. Comput., (1996), Volume 14, Issue 3

     DOI: 10.1007/BF03037485 | View Publication | Cite

114. A Software Engineering Experiment in Software Component Generation

     Authors: Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton

     18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings

     View Publication | Cite

115. Contention-Free Communication Scheduling on 2D Meshes

     Authors: Andreas Eberhard, Jingke Li

     Proceedings of the 1996 International Conference on Parallel Processing, ICCP 1996, Bloomingdale, IL, USA, August 12-16, 1996. Volume 1: Architecture

     DOI: 10.1109/ICPP.1996.537142 | View Publication | Cite

116. Using Parameterized Signatures to Express Modular Structure

     Authors: Mark P. Jones

     Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996

     DOI: 10.1145/237721.237731 | View Publication | Cite

117. Super Monaco: Its Portable and Efficient Parallel Runtime System

     Authors: James S. Larson, Barton C. Massey, Evan Tick

     Euro-Par ‘95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings

     DOI: 10.1007/BFB0020490 | View Publication | Cite

118. Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions

     Authors: Barton C. Massey, Evan Tick

     Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings

     DOI: 10.1007/BFB0026822 | View Publication | Cite

119. Teaching Software Quality and Leadership: Experiences and Successes

     Authors: Judy Bamberger, James Hook

     2nd Asia-Pacific Software Engineering Conference (APSEC ‘95), December 6-9, 1995, Brisbane, Queensland, Australia

     DOI: 10.1109/APSEC.1995.496982 | View Publication | Cite

120. Calculating Software Generators from Solution Specifications

     Authors: Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou

     TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings

     DOI: 10.1007/3-540-59293-8_219 | View Publication | Cite

121. A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism

     Authors: Mark P. Jones

     J. Funct. Program., (1995), Volume 5, Issue 1

     DOI: 10.1017/S0956796800001210 | View Publication | Cite

122. Dictionary-Free Overloading by Partial Evaluation

     Authors: Mark P. Jones

     LISP Symb. Comput., (1995), Volume 8, Issue 3

     Cite

123. Functional Programming with Overloading and Higher-Order Polymorphism

     Authors: Mark P. Jones

     Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text

     DOI: 10.1007/3-540-59451-5_4 | View Publication | Cite

124. Using Types to Parse Natural Language

     Authors: Mark P. Jones, Paul Hudak, Sebastian Shaumyan

     Functional Programming, Glasgow, UK, 1995

     Cite

125. Simplifying and Improving Qualified Types

     Authors: Mark P. Jones

     Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995

     DOI: 10.1145/224164.224198 | View Publication | Cite

126. Programming with Constructor Classes (Abstract)

     Authors: Mark P. Jones

     Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings

     DOI: 10.1007/BFB0026811 | View Publication | Cite

127. Monad Transformers and Modular Interpreters

     Authors: Sheng Liang, Paul Hudak, Mark P. Jones

     Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995

     DOI: 10.1145/199448.199528 | View Publication | Cite

128. A Debugger for Standard ML

     Authors: Andrew P. Tolmach, Andrew W. Appel

     J. Funct. Program., (1995), Volume 5, Issue 2

     DOI: 10.1017/S0956796800001313 | View Publication | Cite

129. The Diadora Principle: Efficient Execution of Concurrent Logic and Related Languages

     Authors: Bart Massey, Evan Tick

     27th Annual Hawaii International Conference on System Sciences (HICSS-27), January 4-7, 1994, Maui, Hawaii, USA

     DOI: 10.1109/HICSS.1994.323244 | View Publication | Cite

130. Compilation of Concurrent Declarative Languages

     Authors: Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick

     Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994

     View Publication | Cite

131. Demand-Driven Dataflow for Concurrent Committed-Choice Code

     Authors: Barton C. Massey, Evan Tick

     Parallel Architectures and Compilation Techniques, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'94, Montréal, Canada, 24-26 August, 1994

     View Publication | Cite

132. Optimizing Clause Matching Automata in Committed-Choice Languages

     Authors: Bart Massey, Evan Tick

     First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994

     Cite

133. Mode Analysis of Arrays and Array Comprehensions

     Authors: Barton C. Massey, Evan Tick

     ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994

     View Publication | Cite

134. Substitution: A Formal Methods Case Study Using Monads and Transformations

     Authors: Françoise Bellegarde, James Hook

     Sci. Comput. Program., (1994), Volume 23, Issue 2-3

     DOI: 10.1016/0167-6423(94)00022-0 | View Publication | Cite

135. Software design for reliability and reuse: a proof-of-concept demonstration

     Authors: Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou

     Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA

     DOI: 10.1145/197694.197740 | View Publication | Cite

136. A Theory of Qualified Types

     Authors: Mark P. Jones

     Sci. Comput. Program., (1994), Volume 22, Issue 3

     DOI: 10.1016/0167-6423(94)00005-0 | View Publication | Cite

137. Dictionary-Free Overloading by Partial Evaluation

     Authors: Mark P. Jones

     PEPM'94 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Walt Disney World Vilage, Orlando, Florida, USA, 25 June 1994, Proceedings. Technical Report 94/9

     Cite

138. ML Typing, Explicit Polymorphism and Qualified Types

     Authors: Mark P. Jones

     Theoretical Aspects of Computer Software, International Conference TACS ‘94, Sendai, Japan, April 19-22, 1994, Proceedings

     DOI: 10.1007/3-540-57887-0_90 | View Publication | Cite

139. Tag-Free Garbage Collection Using Explicit Type Parameters

     Authors: Andrew P. Tolmach

     Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994

     DOI: 10.1145/182409.182411 | View Publication | Cite

140. Concurrent Logic Programs a la Mode

     Authors: Evan Tick, Bart Massey, Ferenc Rakoczi, Putthi Tulayathun

     Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems

     Cite

141. Sequentialization of Parallel Logic Programs with Mode Analysis

     Authors: Barton C. Massey, Evan Tick

     Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings

     DOI: 10.1007/3-540-56944-8_54 | View Publication | Cite

142. Static Single Assignment for Explicitely Parallel Programs

     Authors: Harini Srinivasan, James Hook, Michael Wolfe

     Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993

     DOI: 10.1145/158511.158644 | View Publication | Cite

143. Monads, Indexes and Transformations

     Authors: Françoise Bellegarde, James Hook

     TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings

     DOI: 10.1007/3-540-56610-4_73 | View Publication | Cite

144. A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism

     Authors: Mark P. Jones

     Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993

     DOI: 10.1145/165180.165190 | View Publication | Cite

145. Implementing Type Classes

     Authors: John Peterson, Mark P. Jones

     Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993

     DOI: 10.1145/155090.155112 | View Publication | Cite

146. Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey

     Authors: J. Gregory Morrisett, Andrew P. Tolmach

     Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), San Diego, California, USA, May 19-22, 1993

     DOI: 10.1145/155332.155353 | View Publication | Cite

147. Computing with Lattices: An Application of Type Classes

     Authors: Mark P. Jones

     J. Funct. Program., (1992), Volume 2, Issue 4

     DOI: 10.1017/S0956796800000514 | View Publication | Cite

148. A Theory of Qualified Types

     Authors: Mark P. Jones

     ESOP ‘92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings

     DOI: 10.1007/3-540-55253-7_17 | View Publication | Cite

149. Programming with Constructor Classes (Preliminary Summary)

     Authors: Mark P. Jones

     Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992

     DOI: 10.1007/978-1-4471-3215-8_11 | View Publication | Cite

150. The Data Alignment Phase in Compiling Programs for Distrubuted-Memory Machines

     Authors: Jingke Li, Marina C. Chen

     J. Parallel Distributed Comput., (1991), Volume 13, Issue 2

     DOI: 10.1016/0743-7315(91)90090-V | View Publication | Cite

151. Compiling Communication-Efficient Programs for Massively Parallel Machines

     Authors: Jingke Li, Marina C. Chen

     IEEE Trans. Parallel Distributed Syst., (1991), Volume 2, Issue 3

     DOI: 10.1109/71.86111 | View Publication | Cite

152. Debuggable Concurrency Extensions for Standard ML

     Authors: Andrew P. Tolmach, Andrew W. Appel

     Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California, USA, May 20-21, 1991

     DOI: 10.1145/122759.122770 | View Publication | Cite

153. The Romulus Proof Checker

     Authors: Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger

     10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings

     DOI: 10.1007/3-540-52885-7_125 | View Publication | Cite

154. Generating explicit communication from shared-memory program references

     Authors: Jingke Li, Marina C. Chen

     Proceedings Supercomputing ‘90, New York, NY, USA, November 12-16, 1990

     DOI: 10.1109/SUPERC.1990.130112 | View Publication | Cite

155. Debugging Standard ML Without Reverse Engineering

     Authors: Andrew P. Tolmach, Andrew W. Appel

     Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990

     DOI: 10.1145/91556.91564 | View Publication | Cite

156. Abstract Types & Dependence in Programming Languages

     Authors: James Hook

     Cite

157. Compiling parallel programs by optimizing performance

     Authors: Marina C. Chen, Young-il Choo, Jingke Li

     J. Supercomput., (1988), Volume 2, Issue 2

     DOI: 10.1007/BF00128176 | View Publication | Cite

158. Crystal: from functional description to efficient parallel code

     Authors: Marina C. Chen, Young-il Choo, Jingke Li

     Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications - Architecture, Software, Computer Systems, and General Issues, C^3P, Pasadena, California, USA, January 19-20, 1988

     DOI: 10.1145/62297.62345 | View Publication | Cite