On the Complexity and Performance of Parsing with Derivatives

Current algorithms for context-free parsing inflict a trade-off between ease of understanding, ease of implementation, theoretical complexity, and practical performance. No algorithm achieves all of these properties simultaneously. Might et al. (2011) introduced parsing with derivatives, which handles arbitrary context-free grammars while being both easy to understand and simple to implement. Despite much initial enthusiasm and a multitude of independent implementations, its worst-case complexity has never been proven to be better than exponential. In fact, high-level arguments claiming it is fundamentally exponential have been advanced and even accepted as part of the folklore. Performance ended up being sluggish in practice, and this sluggishness was taken as informal evidence of exponentiality. In this paper, we reexamine the performance of parsing with derivatives. We have discovered that it is not exponential but, in fact, cubic. Moreover, simple (though perhaps not obvious) modifications to the implementation by Might et al. (2011) lead to an implementation that is not only easy to understand but also highly performant in practice.Comment: 13 pages; 12 figures; implementation at http://bitbucket.org/ucombinator/parsing-with-derivatives/ ; published in PLDI '16, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 13 - 17, 2016, Santa Barbara, CA, US

Comprehensive experimental analysis of nonlinear dynamics in an optically-injected semiconductor laser

We present the first comprehensive experimental study, to our knowledge, of the routes between nonlinear dynamics induced in a semiconductor laser under external optical injection based on an analysis of time-averaged measurements of the optical and RF spectra and phasors of real-time series of the laser output. The different means of analysis are compared for several types of routes and the benefits of each are discussed in terms of the identification and mapping of the nonlinear dynamics. Finally, the results are presented in a novel audio/video format that describes the evolution of the dynamics with the injection parameters. © 2011 Author(s)

Pushdown Control-Flow Analysis for Free

Traditional control-flow analysis (CFA) for higher-order languages, whether implemented by constraint-solving or abstract interpretation, introduces spurious connections between callers and callees. Two distinct invocations of a function will necessarily pollute one another's return-flow. Recently, three distinct approaches have been published which provide perfect call-stack precision in a computable manner: CFA2, PDCFA, and AAC. Unfortunately, CFA2 and PDCFA are difficult to implement and require significant engineering effort. Furthermore, all three are computationally expensive; for a monovariant analysis, CFA2 is in $O(2^n)$, PDCFA is in $O(n^6)$, and AAC is in $O(n^9 log n)$. In this paper, we describe a new technique that builds on these but is both straightforward to implement and computationally inexpensive. The crucial insight is an unusual state-dependent allocation strategy for the addresses of continuation. Our technique imposes only a constant-factor overhead on the underlying analysis and, with monovariance, costs only O(n3) in the worst case. This paper presents the intuitions behind this development, a proof of the precision of this analysis, and benchmarks demonstrating its efficacy.Comment: in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 201

An Improved Progressive Lossy-to-Lossless Coding Method for Arbitrarily-Sampled Image Data

Abstract—A method for the progressive lossy-to-lossless coding of arbitrarily-sampled image data is proposed. Through experimental results, the proposed method is demonstrated to have a rate-distortion performance that is vastly superior to that of the state-of-the-art image-tree (IT) coding scheme. In particular, at intermediate rates (i.e., in progressive decoding scenarios),theproposedmethodyieldsimagereconstructionswith a peak-signal-to-noise ratio that is much higher (sometimes by several dB) than the IT scheme, while simultaneously achieving a slightly lower lossless rate. I

Polarization and time-resolved dynamics of a 1550-nm VCSEL subject to orthogonally polarized optical injection

We report a first experimental study of the simultaneous temporal and polarization-resolved dynamics of a 1550-nm vertical-cavity surface-emitting laser (VCSEL) subject to orthogonally polarized optical injection. A novel technique is used to reveal the behavior of both polarizations at the VCSEL's output. In general, the same type of dynamics can be seen in both polarizations of the fundamental transverse mode but with unequal intensity/modulation depth. We show that both polarizations exhibit period one and chaotic dynamics and reveal antiphase dynamics. These results offer promise for the development of dual-channel, anticorrelated periodic and chaotic-signal generators with a single VCSEL for use as oscillators or chaotic sources in present and future optical networks

Formation and structural chemistry of the unusual cyanide-bridged dinuclear species [Ru-2(NN)(2)(CN)(7)](3-)(NN=2,2 '-bipyridine or 1,10-phenanthroline)

Crystallisation of simple cyanoruthenate complex anions [Ru(NN)(CN)(4)](2) (NN = 2,2'-bipyridine or 1,10-phenanthroline) in the presence of Lewis-acidic cations such as Ln(III) or guanidinium cations results, in addition to the expected [Ru(NN)(CN)(4)](2) salts, in the formation of small amounts of salts of the dinuclear species [Ru-2(NN)(2)(CN)(7)](3). These cyanide-bridged anions have arisen from the combination of two monomer units [Ru(NN)(CN)(4)](2) following the loss of one cyanide, presumably as HCN. The crystal structures of [Nd(H2O)(5.5)][Ru-2(bipy)(2)(CN)(7)] center dot 11H(2)O and [Pr(H2O)(6)][Ru-2(phen)(2)(CN)(7)] center dot 9H(2)O show that the cyanoruthenate anions form Ru-CN-Ln bridges to the Ln(III) cations, resulting in infinite coordination polymers consisting of fused Ru(2)Ln(2)(mu-CN)(4) squares and Ru(4)Ln(2)(mu-CN)(6) hexagons, which alternate to form a one-dimensional chain. In [CH6N3](3)[Ru-2(bipy)(2)(CN)(7)] center dot 2H(2)O in contrast the discrete complex anions are involved in an extensive network of hydrogen-bonding involving terminal cyanide ligands, water molecules, and guanidinium cations. In the [Ru-2(NN)(2)(CN)(7)](3) anions themselves the two NN ligands are approximately eclipsed, lying on the same side of the central Ru-CN-Ru axis, such that their peripheries are in close contact. Consequently, when NN = 4,4'-Bu-t(2)-2,2'-bipyridine the steric bulk of the t-butyl groups prevents the formation of the dinuclear anions, and the only product is the simple salt of the monomer, [CH6N3](2)[Ru((t)Bu(2)bipy)(CN)(4)] center dot 2H(2)O. We demonstrated by electrospray mass spectrometry that the dinuclear by-product [Ru-2(phen)(2)(CN)(7)](3) could be formed in significant amounts during the synthesis of monomeric [Ru(phen)(CN)(4)](2) if the reaction time was too long or the medium too acidic. In the solid state the luminescence properties of [Ru-2(bipy)(2)(CN)(7)](3) (as its guanidinium salt) are comparable to those of monomeric [Ru(bipy)(CN)(4)](2), with a (MLCT)-M-3 emission at 581 nm

A Simulation Study Of The Impact Of Forecast Recovery For Control Charts Applied To ARMA Processes

Forecast-based schemes are often used to monitor autocorrelated processes, but the resulting forecast recovery has a significant effect on the performance of control charts. This article describes forecast recovery for autocorrelated processes, and the resulting simulation study is used to explain the performance of control charts applied to forecast errors

Optically-pumped dilute nitride spin-VCSEL

We report the first room temperature optical spin-injection of a dilute nitride 1300 nm vertical-cavity surface-emitting laser (VCSEL) under continuous-wave optical pumping. We also present a novel experimental protocol for the investigation of optical spin-injection with a fiber setup. The experimental results indicate that the VCSEL polarization can be controlled by the pump polarization, and the measured behavior is in excellent agreement with theoretical predictions using the spin flip model. The ability to control the polarization of a long-wavelength VCSEL at room temperature emitting at the wavelength of 1.3 μm opens up a new exciting research avenue for novel uses in disparate fields of technology ranging from spintronics to optical telecommunication networks. © 2012 Optical Society of America