John Feser
BASIS International (United States)(US)
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Distributed systems and fault tolerance
Most-Cited Works
- → Synthesizing data structure transformations from input-output examples(2015)255 cited
- → Query optimization for dynamic imputation(2017)42 cited
- → DDSCAT Convert: A Target Generation Tool(2016)9 cited
- → Differentiable Functional Program Interpreters(2016)6 cited
- Neural Functional Programming(2016)
- → Inductive Program Synthesis Guided by Observational Program Similarity(2023)3 cited
- → DDSCAT Discrete Dipole Approximation(2014)1 cited
- → Pattern Formation in Bacterial Populations(2014)1 cited
- → DDSCAT File Conversion Tool(2013)