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