Neil Mitchell

25 papers A* 1A 2B 1C 4Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Code Improvement Practices at Meta.
CoRR
Audris Mockus, Peter C. Rigby, Rui Abreu, Anatoly Akkerman, Yogesh Bhootada, Payal Bhuptani, Gurnit Ghardhora, Lan Hoang Dao, Chris Hawley, Renzhi He, Sagar Krishnamoorthy, Sergei Krauze, Jianmin Li, Anton Lunov, Dragos Martac, François Morin, Neil Mitchell, Venus Montes, Maher Saba, Matt Steiner, Andrea Valori, Shanchao Wang, Nachiappan Nagappan
2025 A* conf
Metrics Driven Reengineering and Continuous Code Improvement at Meta.
ASE
Audris Mockus, Peter C. Rigby, Rui Abreu, Anatoly Akkerman, Yogesh Bhootada, Payal Bhuptani, Gurnit Ghardhora, Lan Hoang Dao, Chris Hawley, Renzhi He, Sagar Krishnamoorthy, Sergei Krauze, Jianmin Li, Anton Lunov, Dragos Martac, François Morin, Neil Mitchell, Venus Montes, Maher Saba, Matt Steiner, Andrea Valori, Shanchao Wang, Nachiappan Nagappan
2023 J jnl
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows.
CoRR
Alexander Bernauer, Sofia Faro, Rémy Haemmerle, Martin Huschenbett, Moritz Kiefer, Andreas Lochbihler, Jussi Mäki, Francesco Mazzoli, Simon Meier, Neil Mitchell, Ratko G. Veprek
2022 J jnl
Forward Build Systems, Formally.
CoRR
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
2022 B conf
Forward build systems, formally.
CPP
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
2020 J jnl
Build Scripts with Perfect Dependencies.
CoRR
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
2020 J jnl
Build scripts with perfect dependencies.
Proc. ACM Program. Lang.
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
2020 J jnl
Build systems à la carte: Theory and practice.
J. Funct. Program.
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
2020 — conf
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE.
IFL
Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman
2018 J jnl
Build systems à la carte.
Proc. ACM Program. Lang.
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
2017 J jnl
HOLCF-Prelude.
Arch. Formal Proofs
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
2016 C conf
Non-recursive make considered harmful: build systems at scale.
Haskell
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow
2013 J jnl
Certified HLints with Isabelle/HOLCF-Prelude.
CoRR
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
2013 J jnl
Leaking space.
Commun. ACM
Neil Mitchell
2012 A conf
Shake before building: replacing make with haskell.
ICFP
Neil Mitchell
2010 A conf
Rethinking supercompilation.
ICFP
Neil Mitchell
2010 J jnl
The influences of critical incidents and lifecycle dynamics on innovation implementation constructs in SMEs: a longitudinal study.
Int. J. Technol. Manag.
Rodney McAdam, Neil Mitchell
2009 — conf
Deriving a Relationship from a Single Example.
AAIP
Neil Mitchell
2009 C conf
Losing functions without gaining data: another look at defunctionalisation.
Haskell
Neil Mitchell, Colin Runciman
2008 C conf
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.
Haskell
Neil Mitchell, Colin Runciman
2008 — —
Transformation and analysis of functional programs.
Neil Mitchell
2007 — conf
A Supercompiler for Core Haskell.
IFL
Neil Mitchell, Colin Runciman
2007 J jnl
Reconceptualising quality models to achieve innovation objectives.
Int. J. Technol. Manag.
Rodney McAdam, Neil Mitchell
2007 C conf
Uniform boilerplate and list processing.
Haskell
Neil Mitchell, Colin Runciman
2005 — conf
A static checker for safe pattern matching in Haskell.
Trends in Functional Programming
Neil Mitchell, Colin Runciman