Petri net models for the lambda-calculus. - Erik Meijer 001 (European Workshop on Applications and Theory of Petri Nets, 1986)

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. - Erik Meijer 001; Maarten M. Fokkinga; Ross Paterson (FPCA, 1991)

More Advice on Proving a Compiler Correct: Improve a Correct Compiler. - Erik Meijer 001 (Declarative Programming, 1991)

Hazard Algebra and the Design of Asynchronous Automata. - Erik Meijer 001 (Functional Programming, 1992)

On the expressive power of Constructor Classes. - Luc Duponcheel; Erik Meijer 001 (Functional Programming, 1994)

Merging Monads and Folds for Functional Programming. - Erik Meijer 001; Johan Jeuring (Advanced Functional Programming, 1995)

Bananas in Space: Extending Fold and Unfold to Exponential Types. - Erik Meijer 001; Graham Hutton (FPCA, 1995)

Shortcut Deforestation in Calculational Form. - Akihiko Takano; Erik Meijer 001 (FPCA, 1995)

Back to Basics: Deriving Representation Changers Functionally. - Graham Hutton; Erik Meijer 001 (J. Funct. Program., 1996)

Structuring Graphical Paradigms in TkGofer. - Koen Claessen; Ton Vullinghs; Erik Meijer 001 (ICFP, 1997)

Haskell as an Automation Controller. - Daan Leijen; Erik Meijer 001; James Hook (Advanced Functional Programming, 1998)

H/Direct: A Binary Foreign Language Interface for Haskell. - Sigbjørn Finne; Daan Leijen; Erik Meijer 001; Simon L. Peyton Jones (ICFP, 1998)

Scripting COM components in Haskell. - Simon Peyton Jones; Erik Meijer 001; Daan Leijen (ICSR, 1998)

Monadic Parsing in Haskell. - Graham Hutton; Erik Meijer 001 (J. Funct. Program., 1998)

Domain specific embedded compilers. - Daan Leijen; Erik Meijer 001 (DSL, 1999)

Calling Hell From Heaven and Heaven From Hell. - Sigbjørn Finne; Daan Leijen; Erik Meijer 001; Simon L. Peyton Jones (ICFP, 1999)

Client-Side Web Scripting with HaskellScript. - Erik Meijer 001; Daan Leijen; James Hook (PADL, 1999)

Implicit Parameters: Dynamic Scoping with Static Types. - Jeffrey R. Lewis; John Launchbury; Erik Meijer 001; Mark Shields (POPL, 2000)

Lambada, Haskell as a Better Java. - Erik Meijer 001; Sigbjørn Finne (Haskell, 2000)

Haskell Server Pages - Functional Programming and the Battle for the Middle Tier. - Erik Meijer 001; Danny van Velzen (Haskell, 2000)

Server side web scripting in Haskell. - Erik Meijer 001 (J. Funct. Program., 2000)

Scripting .NET Using Mondrian. - Erik Meijer 001; Nigel Perry; Arjan van Yzendoorn (ECOOP, 2001)

Type-indexed rows. - Mark Shields; Erik Meijer 001 (POPL, 2001)

Overcoming independent extensibility challenges. - Erik Meijer 001; Clemens A. Szyperski (Commun. ACM, 2002)

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel - Riccardo Pucella; Erik Meijer 001; Dino Oliva (CoRR, 2004)

Implementing functional languages on object-oriented virtual machines. - Nigel Perry; Erik Meijer 001 (IEE Proc. Softw., 2004)

The Essence of Data Access in Comega. - Gavin M. Bierman; Erik Meijer 001; Wolfram Schulte (ECOOP, 2005)

Mappings Make Data Processing Go 'Round. - Ralf Lämmel; Erik Meijer 001 (GTTSE, 2005)

Objects and databases: state of the union in 2006. - William R. Cook; Robert Greene; Patrick Linskey; Erik Meijer 001; Ken Rugg; Craig Russell; Bob Walker; Christof Wittig (OOPSLA Companion, 2006)

There is no impedance mismatch: (language integrated query in visual basic 9). - Erik Meijer 001 (OOPSLA Companion, 2006)

XML Support in Visual Basic 9. - Erik Meijer 001; Brian Beckman (PLAN-X, 2006)

LINQ: reconciling object, relations and XML in the .NET framework. - Erik Meijer 001; Brian Beckman; Gavin M. Bierman (SIGMOD Conference, 2006)

Revealing the X/O Impedance Mismatch - (Changing Lead into Gold). - Ralf Lämmel; Erik Meijer 001 (SSDGP, 2006)

Lost in translation: formalizing proposed extensions to c#. - Gavin M. Bierman; Erik Meijer 001; Mads Torgersen (OOPSLA, 2007)

Confessions of a used programming language salesman. - Erik Meijer 001 (OOPSLA, 2007)

Democratizing the cloud. - Erik Meijer 001 (OOPSLA Companion, 2007)

Visual Basic. - Erik Meijer 001 (OOPSLA Companion, 2007)

Fundamentalist functional programming. - Erik Meijer 001 (GPCE, 2008)

Relationships and associations in object-oriented languages. - Stephen Nelson; Stephanie Balzer; Gavin M. Bierman; Erik Meijer 001; James Noble 001; David J. Pearce 001; Jiri Soukup; Frank Tip (OOPSLA Companion, 2008)

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages. - Guido Boella; Erik Meijer 001; David J. Pearce 001; Friedrich Steimann; Frank Tip (Relationships, Objects, Roles, and Queries in Modern Programming Languages, 2010)

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages. - Guido Boella; Erik Meijer 001; David J. Pearce 001; Friedrich Steimann; Frank Tip (Relationships, Objects, Roles, and Queries in Modern Programming Languages, 2010)

Adding Dynamic Types to C#. - Gavin M. Bierman; Erik Meijer 001; Mads Torgersen (ECOOP, 2010)

A Co-relational Model of Data for Large Shared Data Banks. - Erik Meijer 001 (ECOOP, 2011)

A co-relational model of data for large shared data banks. - Erik Meijer 001; Gavin M. Bierman (Commun. ACM, 2011)

The World According to LINQ. - Erik Meijer 001 (ACM Queue, 2011)

Pause 'n' Play: Formalizing Asynchronous C#. - Gavin M. Bierman; Claudio V. Russo; Geoffrey Mainland; Erik Meijer 001; Mads Torgersen (ECOOP, 2012)

Your Mouse is a Database. - Erik Meijer 001 (ACM Queue, 2012)

All Your Database Are Belong to Us. - Erik Meijer 001 (ACM Queue, 2012)

The Story of the Teapot in DHTML. - Brian Beckman; Erik Meijer 001 (ACM Queue, 2013)

The Curse of the Excluded Middle. - Erik Meijer 001 (ACM Queue, 2014)

The Responsive Enterprise: Embracing the Hacker Way. - Erik Meijer 001; Vikram Kapoor (ACM Queue, 2014)

Spicing Up Dart with Side Effects. - Erik Meijer 001; Kevin Millikin; Gilad Bracha (ACM Queue, 2015)

Conversations with technology leaders: Erik Meijer. - Kate Matsudaira; Erik Meijer 001 (Commun. ACM, 2017)

Making Money Using Math. - Erik Meijer 001 (ACM Queue, 2017)

Debugging data flows in reactive programs. - Herman Banken; Erik Meijer 001; Georgios Gousios (ICSE, 2018)

Behind every great deep learning framework is an even greater programming languages concept (keynote). - Erik Meijer 001 (ESEC/SIGSOFT FSE, 2018)

DIFF: A Relational Interface for Large-Scale Data Explanation. - Firas Abuzaid; Peter Kraft; Sahaana Suri; Edward Gan; Eric Xu; Atul Shenoy; Asvin Anathanaraya; John Sheu; Erik Meijer 001; Xi Wu 001; Jeffrey F. Naughton; Peter Bailis; et al. (Proc. VLDB Endow., 2018)

SysML: The New Frontier of Machine Learning Systems. - Alexander Ratner; Dan Alistarh; Gustavo Alonso; David G. Andersen; Peter Bailis; Sarah Bird; Nicholas Carlini; Bryan Catanzaro; Eric S. Chung; Bill Dally; Jeff Dean; Inderjit S. Dhillon; et al. (CoRR, 2019)

Gradient Descent: The Ultimate Optimizer. - Kartik Chandra; Erik Meijer 001; Samantha Andow; Emilio Arroyo-Fang; Irene Dea; Johann George; Melissa Grueter; Basil Hosmer; Steffi Stumpos; Alanna Tempest; Shannon Yang (CoRR, 2019)

WES: Agent-based User Interaction Simulation on Real Infrastructure. - John Ahlgren; Maria Eugenia Berezin; Kinga Bojarczuk; Elena Dulskyte; Inna Dvortsova; Johann George; Natalija Gucevska; Mark Harman; Ralf Lämmel; Erik Meijer 001; Silvia Sapora; Justin Spahr-Summers (ICSE (Workshops), 2020)

Scaffle: bug localization on millions of files. - Michael Pradel; Vijayaraghavan Murali; Rebecca Qian; Mateusz Machalica; Erik Meijer 001; Satish Chandra 001 (ISSTA, 2020)

Ownership at Large: Open Problems and Challenges in Ownership Management. - John Ahlgren; Maria Eugenia Berezin; Kinga Bojarczuk; Elena Dulskyte; Inna Dvortsova; Johann George; Natalija Gucevska; Mark Harman; Shan He; Ralf Lämmel; Erik Meijer 001; Silvia Sapora; et al. (ICPC, 2020)

Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference. - Nazanin Khosravani Tehrani; Nimar S. Arora; Yucen Lily Li; Kinjal Divesh Shah; David Noursi; Michael Tingley; Narjes Torabi; Sepehr Masouleh; Eric Lippert; Erik Meijer 001 (PGM, 2020)

Newtonian Monte Carlo: single-site MCMC meets second-order gradient methods. - Nimar S. Arora; Nazanin Khosravani Tehrani; Kinjal Divesh Shah; Michael Tingley; Yucen Lily Li; Narjes Torabi; David Noursi; Sepehr Akhavan-Masouleh; Eric Lippert; Erik Meijer 001 (CoRR, 2020)

PPL Bench: Evaluation Framework For Probabilistic Programming Languages. - Sourabh Kulkarni; Kinjal Divesh Shah; Nimar S. Arora; Xiaoyan Wang; Yucen Lily Li; Nazanin Khosravani Tehrani; Michael Tingley; David Noursi; Narjes Torabi; Sepehr Akhavan-Masouleh; Eric Lippert; Erik Meijer 001 (CoRR, 2020)

Accelerating Metropolis-Hastings with Lightweight Inference Compilation. - Feynman T. Liang; Nimar S. Arora; Nazanin Khosravani Tehrani; Yucen Lily Li; Michael Tingley; Erik Meijer 001 (AISTATS, 2021)

Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. - John Ahlgren; Kinga Bojarczuk; Sophia Drossopoulou; Inna Dvortsova; Johann George; Natalija Gucevska; Mark Harman; Maria Lomeli; Simon M. M. Lucas; Erik Meijer 001; Steve Omohundro; Rubmary Rojas; et al. (EASE, 2021)

Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation System. - Kinga Bojarczuk; Natalija Gucevska; Simon M. M. Lucas; Inna Dvortsova; Mark Harman; Erik Meijer 001; Silvia Sapora; Johann George; Maria Lomeli; Rubmary Rojas (ESEM, 2021)

Testing Web Enabled Simulation at Scale Using Metamorphic Testing. - John Ahlgren; Maria Eugenia Berezin; Kinga Bojarczuk; Elena Dulskyte; Inna Dvortsova; Johann George; Natalija Gucevska; Mark Harman; Maria Lomeli; Erik Meijer 001; Silvia Sapora; Justin Spahr-Summers (ICSE (SEIP), 2021)

What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. - Moritz Beller; Chu-Pan Wong; Johannes Bader 001; Andrew Scott; Mateusz Machalica; Satish Chandra 001; Erik Meijer 001 (ICSE (SEIP), 2021)

Localized Uncertainty Attacks. - Ousmane Amadou Dia; Theofanis Karaletsos; Caner Hazirbas; Cristian Canton-Ferrer; Ilknur Kaynar Kabul; Erik Meijer 001 (CoRR, 2021)

Coarsening Optimization for Differentiable Programming. - Xipeng Shen; Guoqiang Zhang; Irene Dea; Samantha Andow; Emilio Arroyo-Fang; Neal Gafter; Johann George; Melissa Grueter; Erik Meijer 001; Steffi Stumpos; Alanna Tempest; Christy Warden; et al. (CoRR, 2021)

Coarsening optimization for differentiable programming. - Xipeng Shen; Guoqiang Zhang; Irene Dea; Samantha Andow; Emilio Arroyo-Fang; Neal Gafter; Johann George; Melissa Grueter; Erik Meijer 001; Olin Grigsby Shivers; Steffi Stumpos; Alanna Tempest; et al. (Proc. ACM Program. Lang., 2021)

AI in Software Engineering at Facebook. - Johannes Bader 001; Sonia Seohyun Kim; Frank Sifei Luan; Satish Chandra 001; Erik Meijer 001 (IEEE Softw., 2021)

DIFF: a relational interface for large-scale data explanation. - Firas Abuzaid; Peter Kraft; Sahaana Suri; Edward Gan; Eric Xu; Atul Shenoy; Asvin Ananthanarayan; John Sheu; Erik Meijer 001; Xi Wu 001; Jeffrey F. Naughton; Peter Bailis; et al. (VLDB J., 2021)

Gradient Descent: The Ultimate Optimizer. - Kartik Chandra; Audrey Xie; Jonathan Ragan-Kelley; Erik Meijer 001 (NeurIPS, 2022)

CEDAR: Continuous Testing of Deep Learning Libraries. - Danning Xie; Jiannan Wang 002; Hung Viet Pham; Lin Tan 001; Yu Guo; Adnan Aziz; Erik Meijer 001 (SANER, 2024)

Program Merge: What's Deep Learning Got to Do with It?: A discussion with Shuvendu Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Meijer and Terry Coatta. - Shuvendu K. Lahiri; Alexey Svyatkovskiy; Christian Bird; Erik Meijer 001; Terry Coatta (ACM Queue, 2024)

Virtual Machinations: Using Large Language Models as Neural Computers: LLMs can function not only as databases, but also as dynamic, end-user programmable neural computers. - Erik Meijer 001 (ACM Queue, 2024)

From Function Frustrations to Framework Flexibility: Fixing tool calls with indirection. - Erik Meijer 001 (ACM Queue, 2025)

Unleashing the Power of End-User Programmable AI: Creating an AI-first program Synthesis framework. - Erik Meijer 001 (ACM Queue, 2025)

D3: Differential Testing of Distributed Deep Learning With Model Generation. - Jiannan Wang 002; Hung Viet Pham; Qi Li; Lin Tan 001; Yu Guo; Adnan Aziz; Erik Meijer 001 (IEEE Trans. Software Eng., 2025)