Erik Meijer

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 27

Top Topics

Metropolis Hastings

Interactive Image Segmentation

Top Venues

Publications

Kartik Chandra, Audrey Xie, Jonathan Ragan-Kelley, Erik Meijer
Gradient Descent: The Ultimate Optimizer. NeurIPS (2022)
Ousmane Amadou Dia, Theofanis Karaletsos, Caner Hazirbas, Cristian Canton-Ferrer, Ilknur Kaynar Kabul, Erik Meijer
Localized Uncertainty Attacks. CoRR (2021)
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 (2021)
Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer
AI in Software Engineering at Facebook. IEEE Softw. 38 (4) (2021)
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)
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)
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)
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)
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)
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) (2021)
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) (2021)
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)
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 (2020)
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 (2020)
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)
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 (2020)
Feynman T. Liang, Nimar S. Arora, Nazanin Khosravani Tehrani, Yucen Lily Li, Michael Tingley, Erik Meijer
Accelerating Metropolis-Hastings with Lightweight Inference Compilation. CoRR (2020)
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 (2020)
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)
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Scaffle: bug localization on millions of files. ISSTA (2020)
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 (2020)
Alexander Ratner, Dan Alistarh, Gustavo Alonso, David G. Andersen, Peter Bailis, Sarah Bird, Nicholas Carlini, Bryan Catanzaro, Eric 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 R. 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 (2019)
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 (2019)
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) (2018)
Erik Meijer
Making money using math. Commun. ACM 60 (5) (2017)
Erik Meijer
Making Money Using Math. ACM Queue 15 (1) (2017)
Kate Matsudaira, Erik Meijer
Conversations with technology leaders: Erik Meijer. Commun. ACM 60 (6) (2017)
Erik Meijer, Kevin Millikin, Gilad Bracha
Spicing Up Dart with Side Effects. ACM Queue 13 (3) (2015)
Erik Meijer
The Curse of the Excluded Middle. ACM Queue 12 (4) (2014)
Erik Meijer, Vikram Kapoor
The responsive enterprise: embracing the hacker way. Commun. ACM 57 (12) (2014)
Erik Meijer, Vikram Kapoor
The Responsive Enterprise: Embracing the Hacker Way. ACM Queue 12 (10) (2014)
Erik Meijer
The curse of the excluded middle. Commun. ACM 57 (6) (2014)
Brian Beckman, Erik Meijer
The Story of the Teapot in DHTML. ACM Queue 11 (2) (2013)
Brian Beckman, Erik Meijer
The story of the teapot in DHTML. Commun. ACM 56 (3) (2013)
Erik Meijer
Your Mouse is a Database. ACM Queue 10 (3) (2012)
Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen
Pause 'n' Play: Formalizing Asynchronous C#. ECOOP (2012)
Erik Meijer
Your mouse is a database. Commun. ACM 55 (5) (2012)
Erik Meijer
All your database are belong to us. Commun. ACM 55 (9) (2012)
Erik Meijer
All Your Database Are Belong to Us. ACM Queue 10 (7) (2012)
Erik Meijer
A Co-relational Model of Data for Large Shared Data Banks. ECOOP (2011)
Erik Meijer, Gavin M. Bierman
A co-relational model of data for large shared data banks. Commun. ACM 54 (4) (2011)
Erik Meijer
The world according to LINQ. Commun. ACM 54 (10) (2011)
Erik Meijer
The World According to LINQ. ACM Queue 9 (8) (2011)
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)
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)
Gavin M. Bierman, Erik Meijer, Mads Torgersen
. ECOOP (2010)
Erik Meijer
Fundamentalist functional programming. GPCE (2008)
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)
Erik Meijer
Visual Basic. OOPSLA Companion (2007)
Erik Meijer
Confessions of a used programming language salesman. OOPSLA (2007)
Gavin M. Bierman, Erik Meijer, Mads Torgersen
Lost in translation: formalizing proposed extensions to c#. OOPSLA (2007)
Erik Meijer
Democratizing the cloud. OOPSLA Companion (2007)
Erik Meijer, Brian Beckman
XML Support in Visual Basic 9. PLAN-X (2006)
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)
Ralf Lämmel, Erik Meijer
Revealing the X/O Impedance Mismatch - (Changing Lead into Gold). SSDGP (2006)
Erik Meijer, Brian Beckman, Gavin M. Bierman
LINQ: reconciling object, relations and XML in the .NET framework. SIGMOD Conference (2006)
Erik Meijer
There is no impedance mismatch: (language integrated query in visual basic 9). OOPSLA Companion (2006)
Gavin M. Bierman, Erik Meijer, Wolfram Schulte
. ECOOP (2005)
Ralf Lämmel, Erik Meijer
Mappings Make Data Processing Go 'Round. GTTSE (2005)
Nigel Perry, Erik Meijer
Implementing functional languages on object-oriented virtual machines. IEE Proc. Softw. 151 (1) (2004)
Riccardo Pucella, Erik Meijer, Dino Oliva
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel CoRR (2004)
Erik Meijer, Clemens A. Szyperski
Overcoming independent extensibility challenges. Commun. ACM 45 (10) (2002)
Erik Meijer, Nigel Perry, Arjan van Yzendoorn
Scripting .NET Using Mondrian. ECOOP (2001)
Mark Shields, Erik Meijer
Type-indexed rows. POPL (2001)
Erik Meijer, Sigbjørn Finne
Lambada, Haskell as a Better Java. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
Implicit Parameters: Dynamic Scoping with Static Types. POPL (2000)
Erik Meijer
Server side web scripting in Haskell. J. Funct. Program. 10 (1) (2000)
Erik Meijer, Danny van Velzen
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Erik Meijer, Daan Leijen, James Hook
Client-Side Web Scripting with HaskellScript. PADL (1999)
Daan Leijen, Erik Meijer
Domain specific embedded compilers. DSL (1999)
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
Calling Hell From Heaven and Heaven From Hell. ICFP (1999)
Graham Hutton, Erik Meijer
Monadic Parsing in Haskell. J. Funct. Program. 8 (4) (1998)
Simon Peyton Jones, Erik Meijer, Daan Leijen
Scripting COM components in Haskell. ICSR (1998)
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
H/Direct: A Binary Foreign Language Interface for Haskell. ICFP (1998)
Daan Leijen, Erik Meijer, James Hook
Haskell as an Automation Controller. Advanced Functional Programming (1998)
Koen Claessen, Ton Vullinghs, Erik Meijer
Structuring Graphical Paradigms in TkGofer. ICFP (1997)
Graham Hutton, Erik Meijer
Back to Basics: Deriving Representation Changers Functionally. J. Funct. Program. 6 (1) (1996)
Erik Meijer, Johan Jeuring
Merging Monads and Folds for Functional Programming. Advanced Functional Programming (1995)
Erik Meijer, Graham Hutton
Bananas in Space: Extending Fold and Unfold to Exponential Types. FPCA (1995)
Akihiko Takano, Erik Meijer
Shortcut Deforestation in Calculational Form. FPCA (1995)
Luc Duponcheel, Erik Meijer
On the expressive power of Constructor Classes. Functional Programming (1994)
Erik Meijer
Hazard Algebra and the Design of Asynchronous Automata. Functional Programming (1992)
Erik Meijer, Maarten M. Fokkinga, Ross Paterson
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. FPCA (1991)
Erik Meijer
More Advice on Proving a Compiler Correct: Improve a Correct Compiler. Declarative Programming (1991)
Erik Meijer
Petri net models for the lambda-calculus. European Workshop on Applications and Theory of Petri Nets (1986)