default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDErik Meijer 0001
Person information
- affiliation: Facebook, Menlo Park, CA, USA
- affiliation (former): Applied Duality Inc
- affiliation (former): Microsoft Research
Other persons with the same name
- Erik Meijer 0002
![[0000-0001-7959-4670]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-7959-4670")
— Rand Corporation, Santa Monica, CA, USA (and 1 more) - Erik Meijer 0004 — Leiden University, Leiden Academic Centre of Drug Research, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2025
[j29]Jiannan Wang, Hung Viet Pham, Qi Li, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer:
D3: Differential Testing of Distributed Deep Learning With Model Generation. IEEE Trans. Software Eng. 51(1): 38-52 (2025)- 2024
- [j28]Erik Meijer:
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 22(3): 70 (2024) - [j27]Shuvendu K. Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Meijer, Terry Coatta:
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 22(4): 50 (2024) - 2021
- [j26]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:
Coarsening optimization for differentiable programming. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j25]Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer:
AI in Software Engineering at Facebook. IEEE Softw. 38(4): 52-61 (2021) - [j24]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:
DIFF: a relational interface for large-scale data explanation. VLDB J. 30(1): 45-70 (2021) - 2018
- [j23]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:
DIFF: A Relational Interface for Large-Scale Data Explanation. Proc. VLDB Endow. 12(4): 419-432 (2018) - 2017
- [j22]Erik Meijer:
Making money using math. Commun. ACM 60(5): 36-42 (2017) - [j21]Kate Matsudaira, Erik Meijer:
Conversations with technology leaders: Erik Meijer. Commun. ACM 60(6): 51-54 (2017) - [j20]Erik Meijer:
Making Money Using Math. ACM Queue 15(1): 10 (2017) - 2015
- [j19]Erik Meijer, Kevin Millikin, Gilad Bracha:
Spicing Up Dart with Side Effects. ACM Queue 13(3): 40 (2015) - 2014
- [j18]Erik Meijer:
The curse of the excluded middle. Commun. ACM 57(6): 50-55 (2014) - [j17]Erik Meijer, Vikram Kapoor:
The responsive enterprise: embracing the hacker way. Commun. ACM 57(12): 38-43 (2014) - [j16]Erik Meijer:
The Curse of the Excluded Middle. ACM Queue 12(4): 20-29 (2014) - [j15]Erik Meijer, Vikram Kapoor:
The Responsive Enterprise: Embracing the Hacker Way. ACM Queue 12(10): 10-18 (2014) - 2013
- [j14]Brian Beckman, Erik Meijer:
The story of the teapot in DHTML. Commun. ACM 56(3): 50-55 (2013) - [j13]Brian Beckman, Erik Meijer:
The Story of the Teapot in DHTML. ACM Queue 11(2): 10 (2013) - 2012
- [j12]Erik Meijer:
Your mouse is a database. Commun. ACM 55(5): 66-73 (2012) - [j11]Erik Meijer:
All your database are belong to us. Commun. ACM 55(9): 54-60 (2012) - [j10]Erik Meijer:
Your Mouse is a Database. ACM Queue 10(3): 20 (2012) - [j9]Erik Meijer:
All Your Database Are Belong to Us. ACM Queue 10(7): 40 (2012) - 2011
- [j8]Erik Meijer, Gavin M. Bierman:
A co-relational model of data for large shared data banks. Commun. ACM 54(4): 49-58 (2011) - [j7]Erik Meijer:
The world according to LINQ. Commun. ACM 54(10): 45-51 (2011) - [j6]Erik Meijer:
The World According to LINQ. ACM Queue 9(8): 60 (2011) - 2004
- [j5]Nigel Perry, Erik Meijer:
Implementing functional languages on object-oriented virtual machines. IEE Proc. Softw. 151(1): 1-9 (2004) - 2002
- [j4]Erik Meijer, Clemens A. Szyperski:
Overcoming independent extensibility challenges. Commun. ACM 45(10): 41-44 (2002) - 2000
- [j3]Erik Meijer:
Server side web scripting in Haskell. J. Funct. Program. 10(1): 1-18 (2000) - 1998
- [j2]Graham Hutton, Erik Meijer:
Monadic Parsing in Haskell. J. Funct. Program. 8(4): 437-444 (1998) - 1996
- [j1]Graham Hutton, Erik Meijer:
Back to Basics: Deriving Representation Changers Functionally. J. Funct. Program. 6(1): 181-188 (1996)
Conference and Workshop Papers
- 2024
- [c49]Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer:
CEDAR: Continuous Testing of Deep Learning Libraries. SANER 2024: 371-382 - 2022
- [c48]Kartik Chandra, Audrey Xie, Jonathan Ragan-Kelley, Erik Meijer:
Gradient Descent: The Ultimate Optimizer. NeurIPS 2022 - 2021
- [c47]Feynman T. Liang, Nimar S. Arora, Nazanin Khosravani Tehrani, Yucen Lily Li, Michael Tingley, Erik Meijer:
Accelerating Metropolis-Hastings with Lightweight Inference Compilation. AISTATS 2021: 181-189 - [c46]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:
Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. EASE 2021: 1-9 - [c45]Kinga Bojarczuk, Natalija Gucevska, Simon M. M. Lucas, Inna Dvortsova, Mark Harman, Erik Meijer, Silvia Sapora, Johann George, Maria Lomeli, Rubmary Rojas:
Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation System. ESEM 2021: 2:1-2:10 - [c44]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:
Testing Web Enabled Simulation at Scale Using Metamorphic Testing. ICSE (SEIP) 2021: 140-149 - [c43]Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer:
What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. ICSE (SEIP) 2021: 268-277 - 2020
- [c42]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:
WES: Agent-based User Interaction Simulation on Real Infrastructure. ICSE (Workshops) 2020: 276-284 - [c41]Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra:
Scaffle: bug localization on millions of files. ISSTA 2020: 225-236 - [c40]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:
Ownership at Large: Open Problems and Challenges in Ownership Management. ICPC 2020: 406-410 - [c39]Nazanin Khosravani Tehrani, Nimar S. Arora, Yucen Lily Li, Kinjal Divesh Shah, David Noursi, Michael Tingley, Narjes Torabi, Sepehr Masouleh, Eric Lippert, Erik Meijer:
Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference. PGM 2020: 485-496 - 2018
- [c38]Herman Banken, Erik Meijer, Georgios Gousios:
Debugging data flows in reactive programs. ICSE 2018: 752-763 - [c37]Erik Meijer:
Behind every great deep learning framework is an even greater programming languages concept (keynote). ESEC/SIGSOFT FSE 2018: 1 - 2012
- [c36]Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen:
Pause 'n' Play: Formalizing Asynchronous C#. ECOOP 2012: 233-257 - 2011
- [c35]Erik Meijer:
A Co-relational Model of Data for Large Shared Data Banks. ECOOP 2011: 1 - 2010
- [c34]Gavin M. Bierman, Erik Meijer, Mads Torgersen:
Adding Dynamic Types to C#. ECOOP 2010: 76-100 - 2008
- [c33]Erik Meijer:
Fundamentalist functional programming. GPCE 2008: 99-100 - [c32]Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip:
Relationships and associations in object-oriented languages. OOPSLA Companion 2008: 855-856 - 2007
- [c31]Gavin M. Bierman, Erik Meijer, Mads Torgersen:
Lost in translation: formalizing proposed extensions to c#. OOPSLA 2007: 479-498 - [c30]Erik Meijer:
Confessions of a used programming language salesman. OOPSLA 2007: 677-694 - [c29]Erik Meijer:
Democratizing the cloud. OOPSLA Companion 2007: 858-859 - [c28]Erik Meijer:
Visual Basic. OOPSLA Companion 2007: 860-861 - 2006
- [c27]Erik Meijer:
There is no impedance mismatch: (language integrated query in visual basic 9). OOPSLA Companion 2006: 710-711 - [c26]William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig:
Objects and databases: state of the union in 2006. OOPSLA Companion 2006: 926-928 - [c25]Erik Meijer, Brian Beckman:
XML Support in Visual Basic 9. PLAN-X 2006: 86 - [c24]Erik Meijer, Brian Beckman, Gavin M. Bierman:
LINQ: reconciling object, relations and XML in the .NET framework. SIGMOD Conference 2006: 706 - [c23]Ralf Lämmel, Erik Meijer:
Revealing the X/O Impedance Mismatch - (Changing Lead into Gold). SSDGP 2006: 285-367 - 2005
- [c22]Gavin M. Bierman, Erik Meijer, Wolfram Schulte:
The Essence of Data Access in Comega. ECOOP 2005: 287-311 - [c21]Ralf Lämmel, Erik Meijer:
Mappings Make Data Processing Go 'Round. GTTSE 2005: 169-218 - 2001
- [c20]Erik Meijer, Nigel Perry, Arjan van Yzendoorn:
Scripting .NET Using Mondrian. ECOOP 2001: 150-164 - [c19]Mark Shields, Erik Meijer:
Type-indexed rows. POPL 2001: 261-275 - 2000
- [c18]Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields:
Implicit Parameters: Dynamic Scoping with Static Types. POPL 2000: 108-118 - [c17]Erik Meijer, Danny van Velzen:
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier. Haskell 2000: 74 - [c16]Erik Meijer, Sigbjørn Finne:
Lambada, Haskell as a Better Java. Haskell 2000: 91-119 - 1999
- [c15]Daan Leijen, Erik Meijer:
Domain specific embedded compilers. DSL 1999: 109-122 - [c14]Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones:
Calling Hell From Heaven and Heaven From Hell. ICFP 1999: 114-125 - [c13]Erik Meijer, Daan Leijen, James Hook:
Client-Side Web Scripting with HaskellScript. PADL 1999: 196-210 - 1998
- [c12]Daan Leijen, Erik Meijer, James Hook:
Haskell as an Automation Controller. Advanced Functional Programming 1998: 268-289 - [c11]Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones:
H/Direct: A Binary Foreign Language Interface for Haskell. ICFP 1998: 153-162 - [c10]Simon Peyton Jones, Erik Meijer, Daan Leijen:
Scripting COM components in Haskell. ICSR 1998: 224-233 - 1997
- [c9]Koen Claessen, Ton Vullinghs, Erik Meijer:
Structuring Graphical Paradigms in TkGofer. ICFP 1997: 251-262 - 1995
- [c8]Erik Meijer, Johan Jeuring:
Merging Monads and Folds for Functional Programming. Advanced Functional Programming 1995: 228-266 - [c7]Akihiko Takano, Erik Meijer:
Shortcut Deforestation in Calculational Form. FPCA 1995: 306-313 - [c6]Erik Meijer, Graham Hutton:
Bananas in Space: Extending Fold and Unfold to Exponential Types. FPCA 1995: 324-333 - 1994
- [c5]Luc Duponcheel, Erik Meijer:
On the expressive power of Constructor Classes. Functional Programming 1994: 29-49 - 1992
- [c4]Erik Meijer:
Hazard Algebra and the Design of Asynchronous Automata. Functional Programming 1992: 166-177 - 1991
- [c3]Erik Meijer, Maarten M. Fokkinga, Ross Paterson:
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. FPCA 1991: 124-144 - [c2]Erik Meijer:
More Advice on Proving a Compiler Correct: Improve a Correct Compiler. Declarative Programming 1991: 255-273 - 1986
- [c1]Erik Meijer:
Petri net models for the lambda-calculus. European Workshop on Applications and Theory of Petri Nets 1986: 162-180
Editorship
- 2010
- [e3]Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 1996
- [e2]John Launchbury, Erik Meijer, Tim Sheard:
Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text. Lecture Notes in Computer Science 1129, Springer 1996, ISBN 3-540-61628-4 [contents] - 1995
- [e1]Johan Jeuring, Erik Meijer:
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text. Lecture Notes in Computer Science 925, Springer 1995, ISBN 3-540-59451-5 [contents]
Informal and Other Publications
- 2021
- [i13]Ousmane Amadou Dia, Theofanis Karaletsos, Caner Hazirbas, Cristian Canton-Ferrer, Ilknur Kaynar Kabul, Erik Meijer:
Localized Uncertainty Attacks. CoRR abs/2106.09222 (2021) - [i12]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:
Coarsening Optimization for Differentiable Programming. CoRR abs/2110.02307 (2021) - 2020
- [i11]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:
Newtonian Monte Carlo: single-site MCMC meets second-order gradient methods. CoRR abs/2001.05567 (2020) - [i10]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:
WES: Agent-based User Interaction Simulation on Real Infrastructure. CoRR abs/2004.05363 (2020) - [i9]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:
Ownership at Large - Open Problems and Challenges in Ownership Management. CoRR abs/2004.07352 (2020) - [i8]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:
PPL Bench: Evaluation Framework For Probabilistic Programming Languages. CoRR abs/2010.08886 (2020) - [i7]Feynman T. Liang, Nimar S. Arora, Nazanin Khosravani Tehrani, Yucen Lily Li, Michael Tingley, Erik Meijer:
Accelerating Metropolis-Hastings with Lightweight Inference Compilation. CoRR abs/2010.12128 (2020) - [i6]Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer:
What It Would Take to Use Mutation Testing in Industry-A Study at Facebook. CoRR abs/2010.13464 (2020) - 2019
- [i5]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:
SysML: The New Frontier of Machine Learning Systems. CoRR abs/1904.03257 (2019) - [i4]Kartik Chandra, Erik Meijer, Samantha Andow, Emilio Arroyo-Fang, Irene Dea, Johann George, Melissa Grueter, Basil Hosmer, Steffi Stumpos, Alanna Tempest, Shannon Yang:
Gradient Descent: The Ultimate Optimizer. CoRR abs/1909.13371 (2019) - 2010
- [i3]Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages 2010 - [i2]Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages 2010 - 2004
- [i1]Riccardo Pucella, Erik Meijer, Dino Oliva:
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel. CoRR cs.PL/0405082 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-17 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
