Publications

  1. 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

  2. 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

  3. 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

  4. 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

  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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  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

  15. 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

  17. 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

  18. 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

  20. 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

  21. 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)

  22. 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

  23. 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

  25. 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

  26. 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

  28. 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

  29. 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

  30. 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

  31. 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

  32. 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

  33. 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

  34. 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

  35. 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

  36. 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

  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

  38. 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

  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

  40. 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

  41. 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

  42. 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

  43. 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

  44. 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

  45. 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

  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

  47. 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

  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

  50. 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

  51. 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

  54. 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

  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

  58. 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

  62. 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

  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

  64. 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

  65. 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

  66. 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

  69. 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

  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

  71. 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

  72. 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

  73. 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

  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

  78. 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

  79. 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

  80. 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

  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

  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

  84. 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

  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

  87. 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

  88. 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

  89. 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

  90. 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

  91. 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

  92. 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

  93. 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

  94. 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

  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

  97. 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

  98. XCB: An X Protocol C Binding

    Authors: Bart Massey

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

  99. 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

  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

  101. 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

  102. 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

  103. 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

  104. 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

  105. 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

  107. 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

  109. 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

  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

  111. 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

  112. 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

  113. 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

  115. 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

  118. 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

  119. Dictionary-Free Overloading by Partial Evaluation

    Authors: Mark P. Jones

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

  120. 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

  121. 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

  122. 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

  123. 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

  124. 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

  125. 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

  127. Using Types to Parse Natural Language

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

    Functional Programming, Glasgow, UK, 1995

  129. 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

  130. 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

  131. 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

  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

  134. 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

  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

  138. 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

  139. 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

  140. Concurrent Logic Programs empha 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

  141. 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

  142. 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

  143. 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

  144. 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

  145. 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

  150. 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

  152. 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

  155. Abstract Types & Dependence in Programming Languages

    Authors: James Hook

  157. 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(³)P, Pasadena, California, USA, January 19-20, 1988