Erik Meijer

According to our database, Erik Meijer authored at least 78 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

ACM Queue, 2024

CEDAR: Continuous Testing of Deep Learning Libraries.

Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer

Proceedings of the IEEE International Conference on Software Analysis, 2024

2022

Gradient Descent: The Ultimate Optimizer.

Kartik Chandra, Audrey Xie, Jonathan Ragan-Kelley, Erik Meijer

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

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, Xi Wu, Jeffrey F. Naughton, Peter Bailis, Matei Zaharia

VLDB J., 2021

AI in Software Engineering at Facebook.

Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer

IEEE Softw., 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, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang

Proc. ACM Program. Lang., 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, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang

CoRR, 2021

Localized Uncertainty Attacks.

Ousmane Amadou Dia, Theofanis Karaletsos, Caner Hazirbas, Cristian Canton-Ferrer, Ilknur Kaynar Kabul, Erik Meijer

CoRR, 2021

What It Would Take to Use Mutation Testing in Industry - A Study at Facebook.

Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 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, Silvia Sapora, Justin Spahr-Summers

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 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, Silvia Sapora, Johann George, Maria Lomeli, Rubmary Rojas

Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 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, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

Accelerating Metropolis-Hastings with Lightweight Inference Compilation.

Feynman T. Liang, Nimar S. Arora, Nazanin Khosravani Tehrani, Yucen Lily Li, Michael Tingley, Erik Meijer

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

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

CoRR, 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

CoRR, 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

Proceedings of the International Conference on Probabilistic Graphical Models, 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, Silvia Sapora, Justin Spahr-Summers

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Scaffle: bug localization on millions of files.

Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

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, Silvia Sapora, Justin Spahr-Summers

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2019

Gradient Descent: The Ultimate Optimizer.

Kartik Chandra, Erik Meijer, Samantha Andow, Emilio Arroyo-Fang, Irene Dea, Johann George, Melissa Grueter, Basil Hosmer, Steffi Stumpos, Alanna Tempest, Shannon Yang

CoRR, 2019

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, 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 G. 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

CoRR, 2019

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, Xi Wu, Jeffrey F. Naughton, Peter Bailis, Matei Zaharia

Proc. VLDB Endow., 2018

Behind every great deep learning framework is an even greater programming languages concept (keynote).

Erik Meijer

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Debugging data flows in reactive programs.

Herman Banken, Erik Meijer, Georgios Gousios

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Making Money Using Math.

Erik Meijer

ACM Queue, 2017

Conversations with technology leaders: Erik Meijer.

Kate Matsudaira, Erik Meijer

Commun. ACM, 2017

2015

Spicing Up Dart with Side Effects.

Erik Meijer, Kevin Millikin, Gilad Bracha

ACM Queue, 2015

2014

The Responsive Enterprise: Embracing the Hacker Way.

Erik Meijer, Vikram Kapoor

ACM Queue, 2014

The Curse of the Excluded Middle.

Erik Meijer

ACM Queue, 2014

2013

The Story of the Teapot in DHTML.

Brian Beckman, Erik Meijer

ACM Queue, 2013

2012

All Your Database Are Belong to Us.

Erik Meijer

ACM Queue, 2012

Your Mouse is a Database.

Erik Meijer

ACM Queue, 2012

Pause 'n' Play: Formalizing Asynchronous C#.

Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

The World According to LINQ.

Erik Meijer

ACM Queue, 2011

A co-relational model of data for large shared data banks.

Erik Meijer, Gavin M. Bierman

Commun. ACM, 2011

A Co-relational Model of Data for Large Shared Data Banks.

Erik Meijer

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Adding Dynamic Types to C^#.

Gavin M. Bierman, Erik Meijer, Mads Torgersen

Proceedings of the ECOOP 2010, 2010

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip

Proceedings of the Relationships, Objects, 2010

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip

Proceedings of the Relationships, Objects, 2010

2008

Relationships and associations in object-oriented languages.

Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Fundamentalist functional programming.

Erik Meijer

Proceedings of the Generative Programming and Component Engineering, 2008

2007

Visual Basic.

Erik Meijer

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Democratizing the cloud.

Erik Meijer

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Confessions of a used programming language salesman.

Erik Meijer

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Lost in translation: formalizing proposed extensions to c#.

Gavin M. Bierman, Erik Meijer, Mads Torgersen

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Revealing the X/O Impedance Mismatch - (Changing Lead into Gold).

Ralf Lämmel, Erik Meijer

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

LINQ: reconciling object, relations and XML in the .NET framework.

Erik Meijer, Brian Beckman, Gavin M. Bierman

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

XML Support in Visual Basic 9.

Erik Meijer, Brian Beckman

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

There is no impedance mismatch: (language integrated query in visual basic 9).

Erik Meijer

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Objects and databases: state of the union in 2006.

William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Mappings Make Data Processing Go 'Round.

Ralf Lämmel, Erik Meijer

Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

The Essence of Data Access in C<i>omega</i>.

Gavin M. Bierman, Erik Meijer, Wolfram Schulte

Proceedings of the ECOOP 2005, 2005

2004

Implementing functional languages on object-oriented virtual machines.

Nigel Perry, Erik Meijer

IEE Proc. Softw., 2004

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel

Riccardo Pucella, Erik Meijer, Dino Oliva

CoRR, 2004

2002

Overcoming independent extensibility challenges.

Erik Meijer, Clemens A. Szyperski

Commun. ACM, 2002

2001

Type-indexed rows.

Mark Shields, Erik Meijer

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Scripting .NET Using Mondrian.

Erik Meijer, Nigel Perry, Arjan van Yzendoorn

Proceedings of the ECOOP 2001, 2001

2000

Server side web scripting in Haskell.

Erik Meijer

J. Funct. Program., 2000

Haskell Server Pages - Functional Programming and the Battle for the Middle Tier.

Erik Meijer, Danny van Velzen

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

Lambada, Haskell as a Better Java.

Erik Meijer, Sigbjørn Finne

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

Implicit Parameters: Dynamic Scoping with Static Types.

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields

Proceedings of the POPL 2000, 2000

1999

Client-Side Web Scripting with HaskellScript.

Erik Meijer, Daan Leijen, James Hook

Proceedings of the Practical Aspects of Declarative Languages, 1999

Calling Hell From Heaven and Heaven From Hell.

Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Domain specific embedded compilers.

Daan Leijen, Erik Meijer

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998

Monadic Parsing in Haskell.

Graham Hutton, Erik Meijer

J. Funct. Program., 1998

Scripting COM components in Haskell.

Simon Peyton Jones, Erik Meijer, Daan Leijen

Proceedings of the Fifth International Conference on Software Reuse, 1998

H/Direct: A Binary Foreign Language Interface for Haskell.

Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Haskell as an Automation Controller.

Daan Leijen, Erik Meijer, James Hook

Proceedings of the Advanced Functional Programming, 1998

1997

Structuring Graphical Paradigms in TkGofer.

Koen Claessen, Ton Vullinghs, Erik Meijer

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

Back to Basics: Deriving Representation Changers Functionally.

Graham Hutton, Erik Meijer

J. Funct. Program., 1996

1995

Shortcut Deforestation in Calculational Form.

Akihiko Takano, Erik Meijer

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Bananas in Space: Extending Fold and Unfold to Exponential Types.

Erik Meijer, Graham Hutton

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Merging Monads and Folds for Functional Programming.

Erik Meijer, Johan Jeuring

Proceedings of the Advanced Functional Programming, 1995

1994

On the expressive power of Constructor Classes.

Luc Duponcheel, Erik Meijer

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

1992

Hazard Algebra and the Design of Asynchronous Automata.

Erik Meijer

Proceedings of the Functional Programming, 1992

1991

More Advice on Proving a Compiler Correct: Improve a Correct Compiler.

Erik Meijer

Proceedings of the Declarative Programming, 1991

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.

Erik Meijer, Maarten M. Fokkinga, Ross Paterson

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1986

Petri net models for the lambda-calculus.

Erik Meijer

Proceedings of the Advances in Petri Nets 1987, 1986