Farchi, Eitan, Itai Segall, João M. Lourenço, and Diogo Sousa. "
Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe."
PADTAD'12: Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD. Minneapolis, MN, USA: ACM, 2012.
AbstractA set of methods defining an API (Application Programming Interface) are to be made thread safe; thus running any subset of these methods in parallel should not create races or deadlocks. Originally, the set of methods were not designed to be thread safe, so races and deadlocks are expected when running them in parallel. The number of possible interleavings when running methods from this API in parallel is huge, and this work focuses on the identification of the high level data races introduced by such interleavings. We propose an analysis that avoids the exhaustive exploration of all possible interleavings. For a concurrent program P, the closure of P, clos(P), is defined. Roughly speaking, we can say that the clos(P) is obtained by adding threads to P in such a way that high level data races resulting from running P in parallel to other programs are exposed statically. A set of methods representing the API is then modeled as a set of concurrent programs and their closure is analysed to identify high level data races. These high level data races are then inspected and removed to make the API thread safe. We illustrate the application of this methodology with a simple use case.
Romain, Charles, Vitor Rosa, Christophe Fliedel, Frederic Bier, Frederic Hild, Richard Welter, Samuel Dagorne, and Teresa Aviles. "
{Highly active zinc alkyl cations for the controlled and immortal ring-opening polymerization of epsilon-caprolactone}."
{DALTON TRANSACTIONS}. {41} (2012): {3377-3379}.
Abstract{Zinc alkyl cations supported by N,N-BIAN-type bidentate ligands were found to be highly active in the immortal ROP of epsilon-caprolactone to yield narrowly disperse and chain length-controlled poly(epsilon-caprolactone), whether in solution or bulk polymerization conditions.}
Li, Lidong, Patricia S. Lopes, Vitor Rosa, Claudia A. Figueira, Amelia M. N. D. A. Lemos, Teresa M. Duarte, Teresa Aviles, and Pedro T. Gomes. "
{Synthesis and structural characterisation of (aryl-BIAN)copper(I) complexes and their application as catalysts for the cycloaddition of azides and alkynes}."
{DALTON TRANSACTIONS}. {41} (2012): {5144-5154}.
Abstract{{A series of Ar-BIAN-based copper(I) complexes (where Ar-BIAN = bis(aryl) acenaphthenequinonediimine) were synthesised and characterised by H-1 and C-13 NMR spectroscopies, FT-IR spectroscopy, MALDI-TOF-MS spectrometry, cyclic voltammetry and single crystal X-ray diffraction. The bis-chelated complexes of general formula {[}Cu(Ar-BIAN)(2)]BF4 (where Ar = C6H5 (1), 4-iPrC(6)H(4) (3), 2-iPrC(6)H(4) (4)) were prepared by reaction of {[}Cu(NCMe)(4)]BF4 with two equivalents of the corresponding Ar-BIAN ligands, in dichloromethane, while the mono-chelated complexes of the type {[}Cu(Ar-BIAN)L2]BF4 (where Ar = 2,6-iPr(2)C(6)H(3)