Meng Wang

Available identifiers

zbMath Open wang.meng.1WikidataQ111670020 ScholiaQ111670020MaRDI QIDQ988190

List of research outcomes

Publication	Date of Publication	Type
\textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches	2024-03-11	Paper
Ownership guided C to Rust translation	2024-02-01	Paper
Contract lenses: Reasoning about bidirectional programs via calculation	2023-12-11	Paper
Applicative bidirectional programming with lenses	2017-05-10	Paper
Combining syntactic and semantic bidirectionalization	2015-03-05	Paper
Incremental updates for efficient bidirectional transformations	2015-03-05	Paper
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins	2014-02-27	Paper
FliPpr: a prettier invertible printing system	2013-08-05	Paper
Side-effect localization for lazy, purely functional languages via aspects	2013-01-08	Paper
Physics and computation of aero-optics	2012-09-07	Paper
Type-directed weaving of aspects for polymorphically typed functional languages	2010-08-26	Paper
Gradual refinement. Blending pattern matching with data abstraction	2010-07-26	Paper
On the computation of space-time correlations by large-eddy simulation	2010-04-22	Paper
Dynamic wall modeling for large-eddy simulation of complex turbulent flows	2010-04-22	Paper
Suppression of vortex-shedding noise via derivative-free shape optimization	2010-04-22	Paper
Time correlations of pressure in isotropic turbulence	2010-03-18	Paper
A predictive wall model for large-eddy simulation based on optimal control techniques	2010-03-18	Paper
Computational study of optical distortions by separated shear layers and turbulent wakes	2009-10-13	Paper
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages	2009-03-03	Paper
Resolution requirements for aero-optical simulations	2008-10-22	Paper
Large-eddy simulation analysis of mechanisms for viscous losses in a turbomachinery tip-clearance flow	2007-09-26	Paper
Trailing-edge noise reduction using derivative-free optimization and large-eddy simulation	2007-03-08	Paper
A methodology for high performance computation of fully inhomogeneous turbulent flows	2007-02-09	Paper
COMPUTATIONAL PREDICTION OF FLOW-GENERATED SOUND	2006-09-13	Paper
Analysis of stability and accuracy of finite-difference schemes on a skewed mesh	2006-04-28	Paper
Optimal aeroacoustic shape design using the surrogate management framework	2005-12-08	Paper
Combustion instability due to the nonlinear interaction between sound and flame	2004-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4953421	1999-01-01	Paper
Computation of quadrupole noise using acoustic analogy	1998-11-15	Paper
Sound radiation during local laminar breakdown in a low-Mach-number boundary layer	1998-02-25	Paper

Research outcomes over time

This page was built for person: Meng Wang