Erik Meijer

99 papers A* 4A 18B 2C 3Journal 45Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
Guardians of the Agents.
Commun. ACM
Erik Meijer
2025 J jnl
D
IEEE Trans. Software Eng.
Jiannan Wang, Hung Viet Pham, Qi Li, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer
2025 J jnl
From Function Frustrations to Framework Flexibility: Fixing tool calls with indirection.
ACM Queue
Erik Meijer
2025 J jnl
Guardians of the Agents: Formal verification of AI workflows.
ACM Queue
Erik Meijer
2025 J jnl
Program Merge: What's Deep Learning Got to Do with It?
Commun. ACM
Shuvendu K. Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Meijer, Terry Coatta
2025 J jnl
Unleashing the Power of End-User Programmable AI: Creating an AI-first program Synthesis framework.
ACM Queue
Erik Meijer
2024 A conf
CEDAR: Continuous Testing of Deep Learning Libraries.
SANER
Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer
2024 J jnl
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.
ACM Queue
Shuvendu K. Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Meijer, Terry Coatta
2024 J jnl
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.
ACM Queue
Erik Meijer
2022 A* conf
Gradient Descent: The Ultimate Optimizer.
NeurIPS
Kartik Chandra, Audrey Xie, Jonathan Ragan-Kelley, Erik Meijer
2021 J jnl
AI in Software Engineering at Facebook.
IEEE Softw.
Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer
2021 A conf
Accelerating Metropolis-Hastings with Lightweight Inference Compilation.
AISTATS
Feynman T. Liang, Nimar S. Arora, Nazanin Khosravani Tehrani, Yucen Lily Li, Michael Tingley, Erik Meijer
2021 J jnl
Coarsening Optimization for Differentiable Programming.
CoRR
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang
2021 J jnl
Coarsening optimization for differentiable programming.
Proc. ACM Program. Lang.
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang
2021 J jnl
DIFF: a relational interface for large-scale data explanation.
VLDB J.
Firas Abuzaid, Peter Kraft, Sahaana Suri, Edward Gan, Eric Xu, Atul Shenoy, Asvin Ananthanarayan, John Sheu, Erik Meijer, Xi Wu, Jeffrey F. Naughton, Peter Bailis, Matei Zaharia
2021 A conf
Facebook's Cyber-Cyber and Cyber-Physical Digital Twins.
EASE
John Ahlgren, Kinga Bojarczuk, Sophia Drossopoulou, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Simon M. M. Lucas, Erik Meijer, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou
2021 J jnl
Localized Uncertainty Attacks.
CoRR
Ousmane Amadou Dia, Theofanis Karaletsos, Caner Hazirbas, Cristian Canton-Ferrer, Ilknur Kaynar Kabul, Erik Meijer
2021 A conf
Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation System.
ESEM
Kinga Bojarczuk, Natalija Gucevska, Simon M. M. Lucas, Inna Dvortsova, Mark Harman, Erik Meijer, Silvia Sapora, Johann George, Maria Lomeli, Rubmary Rojas
2021 — conf
Testing Web Enabled Simulation at Scale Using Metamorphic Testing.
ICSE (SEIP)
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2021 — conf
What It Would Take to Use Mutation Testing in Industry - A Study at Facebook.
ICSE (SEIP)
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
2020 J jnl
Accelerating Metropolis-Hastings with Lightweight Inference Compilation.
CoRR
Feynman T. Liang, Nimar S. Arora, Nazanin Khosravani Tehrani, Yucen Lily Li, Michael Tingley, Erik Meijer
2020 — conf
Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference.
PGM
Nazanin Khosravani Tehrani, Nimar S. Arora, Yucen Lily Li, Kinjal Divesh Shah, David Noursi, Michael Tingley, Narjes Torabi, Sepehr Masouleh, Eric Lippert, Erik Meijer
2020 J jnl
Newtonian Monte Carlo: single-site MCMC meets second-order gradient methods.
CoRR
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
2020 J jnl
Ownership at Large - Open Problems and Challenges in Ownership Management.
CoRR
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Shan He, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2020 A conf
Ownership at Large: Open Problems and Challenges in Ownership Management.
ICPC
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Shan He, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2020 J jnl
PPL Bench: Evaluation Framework For Probabilistic Programming Languages.
CoRR
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
2020 A conf
Scaffle: bug localization on millions of files.
ISSTA
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
2020 — conf
WES: Agent-based User Interaction Simulation on Real Infrastructure.
ICSE (Workshops)
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2020 J jnl
WES: Agent-based User Interaction Simulation on Real Infrastructure.
CoRR
John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lämmel, Erik Meijer, Silvia Sapora, Justin Spahr-Summers
2020 J jnl
What It Would Take to Use Mutation Testing in Industry-A Study at Facebook.
CoRR
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
2019 J jnl
Gradient Descent: The Ultimate Optimizer.
CoRR
Kartik Chandra, Erik Meijer, Samantha Andow, Emilio Arroyo-Fang, Irene Dea, Johann George, Melissa Grueter, Basil Hosmer, Steffi Stumpos, Alanna Tempest, Shannon Yang
2019 J jnl
SysML: The New Frontier of Machine Learning Systems.
CoRR
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, Alexandros G. Dimakis, Pradeep Dubey, Charles Elkan, Grigori Fursin, Gregory R. Ganger, Lise Getoor, Phillip B. Gibbons, Garth A. Gibson, Joseph E. Gonzalez, Justin Gottschlich, Song Han, Kim M. Hazelwood, Furong Huang, Martin Jaggi, Kevin Jamieson, Michael I. Jordan, Gauri Joshi, Rania Khalaf, Jason Knight, Jakub Konecný, Tim Kraska, Arun Kumar, Anastasios Kyrillidis, Jing Li, Samuel Madden, H. Brendan McMahan, Erik Meijer, Ioannis Mitliagkas, Rajat Monga, Derek Gordon Murray, Dimitris S. Papailiopoulos, Gennady Pekhimenko, Theodoros Rekatsinas, Afshin Rostamizadeh, Christopher Ré, Christopher De Sa, Hanie Sedghi, Siddhartha Sen, Virginia Smith, Alex Smola, Dawn Song, Evan Randall Sparks, Ion Stoica, Vivienne Sze, Madeleine Udell, Joaquin Vanschoren, Shivaram Venkataraman, Rashmi Vinayak, Markus Weimer, Andrew Gordon Wilson, Eric P. Xing, Matei Zaharia, Ce Zhang, Ameet Talwalkar
2018 — conf
Behind every great deep learning framework is an even greater programming languages concept (keynote).
ESEC/SIGSOFT FSE
Erik Meijer
2018 J jnl
DIFF: A Relational Interface for Large-Scale Data Explanation.
Proc. VLDB Endow.
Firas Abuzaid, Peter Kraft, Sahaana Suri, Edward Gan, Eric Xu, Atul Shenoy, Asvin Anathanaraya, John Sheu, Erik Meijer, Xi Wu, Jeffrey F. Naughton, Peter Bailis, Matei Zaharia
2018 A* conf
Debugging data flows in reactive programs.
ICSE
Herman Banken, Erik Meijer, Georgios Gousios
2017 J jnl
Conversations with technology leaders: Erik Meijer.
Commun. ACM
Kate Matsudaira, Erik Meijer
2017 J jnl
Making Money Using Math.
ACM Queue
Erik Meijer
2017 J jnl
Making money using math.
Commun. ACM
Erik Meijer
2015 J jnl
Spicing Up Dart with Side Effects.
ACM Queue
Erik Meijer, Kevin Millikin, Gilad Bracha
2014 J jnl
The Curse of the Excluded Middle.
ACM Queue
Erik Meijer
2014 J jnl
The Responsive Enterprise: Embracing the Hacker Way.
ACM Queue
Erik Meijer, Vikram Kapoor
2014 J jnl
The curse of the excluded middle.
Commun. ACM
Erik Meijer
2014 J jnl
The responsive enterprise: embracing the hacker way.
Commun. ACM
Erik Meijer, Vikram Kapoor
2013 J jnl
The Story of the Teapot in DHTML.
ACM Queue
Brian Beckman, Erik Meijer
2013 J jnl
The story of the teapot in DHTML.
Commun. ACM
Brian Beckman, Erik Meijer
2012 J jnl
All Your Database Are Belong to Us.
ACM Queue
Erik Meijer
2012 J jnl
All your database are belong to us.
Commun. ACM
Erik Meijer
2012 A conf
Pause 'n' Play: Formalizing Asynchronous C#.
ECOOP
Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen
2012 J jnl
Your Mouse is a Database.
ACM Queue
Erik Meijer
2012 J jnl
Your mouse is a database.
Commun. ACM
Erik Meijer
2011 A conf
A Co-relational Model of Data for Large Shared Data Banks.
ECOOP
Erik Meijer
2011 J jnl
A co-relational model of data for large shared data banks.
Commun. ACM
Erik Meijer, Gavin M. Bierman
2011 J jnl
The World According to LINQ.
ACM Queue
Erik Meijer
2011 J jnl
The world according to LINQ.
Commun. ACM
Erik Meijer
2010 — conf
10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.
Relationships, Objects, Roles, and Queries in Modern Programming Languages
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip
2010 — conf
10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.
Relationships, Objects, Roles, and Queries in Modern Programming Languages
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip
2010 A conf
Adding Dynamic Types to C
ECOOP
Gavin M. Bierman, Erik Meijer, Mads Torgersen
2010 — ed.
Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010
Relationships, Objects, Roles, and Queries in Modern Programming Languages
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip
2008 B conf
Fundamentalist functional programming.
GPCE
Erik Meijer
2008 — conf
Relationships and associations in object-oriented languages.
OOPSLA Companion
Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip
2007 A conf
Confessions of a used programming language salesman.
OOPSLA
Erik Meijer
2007 — conf
Democratizing the cloud.
OOPSLA Companion
Erik Meijer
2007 A conf
Lost in translation: formalizing proposed extensions to c#.
OOPSLA
Gavin M. Bierman, Erik Meijer, Mads Torgersen
2007 — conf
Visual Basic.
OOPSLA Companion
Erik Meijer
2006 — conf
LINQ: reconciling object, relations and XML in the .NET framework.
SIGMOD Conference
Erik Meijer, Brian Beckman, Gavin M. Bierman
2006 — conf
Objects and databases: state of the union in 2006.
OOPSLA Companion
William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig
2006 — conf
Revealing the X/O Impedance Mismatch - (Changing Lead into Gold).
SSDGP
Ralf Lämmel, Erik Meijer
2006 — conf
There is no impedance mismatch: (language integrated query in visual basic 9).
OOPSLA Companion
Erik Meijer
2006 — conf
XML Support in Visual Basic 9.
PLAN-X
Erik Meijer, Brian Beckman
2005 — conf
Mappings Make Data Processing Go 'Round.
GTTSE
Ralf Lämmel, Erik Meijer
2005 A conf
The Essence of Data Access in C
ECOOP
Gavin M. Bierman, Erik Meijer, Wolfram Schulte
2004 J jnl
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
CoRR
Riccardo Pucella, Erik Meijer, Dino Oliva
2004 J jnl
Implementing functional languages on object-oriented virtual machines.
IEE Proc. Softw.
Nigel Perry, Erik Meijer
2002 J jnl
Overcoming independent extensibility challenges.
Commun. ACM
Erik Meijer, Clemens A. Szyperski
2001 A conf
Scripting .NET Using Mondrian.
ECOOP
Erik Meijer, Nigel Perry, Arjan van Yzendoorn
2001 A* conf
Type-indexed rows.
POPL
Mark Shields, Erik Meijer
2000 C conf
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier.
Haskell
Erik Meijer, Danny van Velzen
2000 A* conf
Implicit Parameters: Dynamic Scoping with Static Types.
POPL
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
2000 C conf
Lambada, Haskell as a Better Java.
Haskell
Erik Meijer, Sigbjørn Finne
2000 J jnl
Server side web scripting in Haskell.
J. Funct. Program.
Erik Meijer
1999 A conf
Calling Hell From Heaven and Heaven From Hell.
ICFP
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
1999 C conf
Client-Side Web Scripting with HaskellScript.
PADL
Erik Meijer, Daan Leijen, James Hook
1999 — conf
Domain specific embedded compilers.
DSL
Daan Leijen, Erik Meijer
1998 A conf
H/Direct: A Binary Foreign Language Interface for Haskell.
ICFP
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
1998 — conf
Haskell as an Automation Controller.
Advanced Functional Programming
Daan Leijen, Erik Meijer, James Hook
1998 J jnl
Monadic Parsing in Haskell.
J. Funct. Program.
Graham Hutton, Erik Meijer
1998 B conf
Scripting COM components in Haskell.
ICSR
Simon Peyton Jones, Erik Meijer, Daan Leijen
1997 A conf
Structuring Graphical Paradigms in TkGofer.
ICFP
Koen Claessen, Ton Vullinghs, Erik Meijer
1996 — ed.
Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text
Advanced Functional Programming
John Launchbury, Erik Meijer, Tim Sheard
1996 J jnl
Back to Basics: Deriving Representation Changers Functionally.
J. Funct. Program.
Graham Hutton, Erik Meijer
1995 — ed.
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text
Advanced Functional Programming
Johan Jeuring, Erik Meijer
1995 — conf
Bananas in Space: Extending Fold and Unfold to Exponential Types.
FPCA
Erik Meijer, Graham Hutton
1995 — conf
Merging Monads and Folds for Functional Programming.
Advanced Functional Programming
Erik Meijer, Johan Jeuring
1995 — conf
Shortcut Deforestation in Calculational Form.
FPCA
Akihiko Takano, Erik Meijer
1994 A conf
On the expressive power of Constructor Classes.
Functional Programming
Luc Duponcheel, Erik Meijer
1992 A conf
Hazard Algebra and the Design of Asynchronous Automata.
Functional Programming
Erik Meijer
1991 — conf
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.
FPCA
Erik Meijer, Maarten M. Fokkinga, Ross Paterson
1991 — conf
More Advice on Proving a Compiler Correct: Improve a Correct Compiler.
Declarative Programming
Erik Meijer
1986 — conf
Petri net models for the lambda-calculus.
European Workshop on Applications and Theory of Petri Nets
Erik Meijer