Cunha, Jácome, João P. Fernandes, Hugo Ribeiro, and João Saraiva. "
Towards a Catalog of Spreadsheet Smells."
Proceedings of the 12th International Conference on Computational Science and Its Applications - Volume Part IV. ICCSA'12. Berlin, Heidelberg: Springer-Verlag, 2012. 202-216.
AbstractSpreadsheets are considered to be the most widely used programming language in the world, and reports have shown that 90% of real-world spreadsheets contain errors. In this work, we try to identify spreadsheet smells, a concept adapted from software, which consists of a surface indication that usually corresponds to a deeper problem. Our smells have been integrated in a tool, and were computed for a large spreadsheet repository. Finally, the analysis of the results we obtained led to the refinement of our initial catalog.
Cunha, Jácome, João Paulo Fernandes, Jorge Mendes, and João Saraiva. "
Towards an Evaluation of Bidirectional Model-driven Spreadsheets."
User evaluation for Software Engineering Researchers. USER' 12. ACM Digital Library, 2012. 25-28.
AbstractSpreadsheets are widely recognized as popular programming systems with a huge number of spreadsheets being created every day. Also, spreadsheets are often used in the decision processes of profit-oriented companies. While this illustrates their practical importance, studies have shown that up to 90% of real-world spreadsheets contain errors. In order to improve the productivity of spreadsheet end-users, the software engineering community has proposed to employ model-driven approaches to spreadsheet development. In this paper we describe the evaluation of a bidirectional model-driven spreadsheet environment. In this environment, models and data instances are kept in conformity, even after an update on any of these artifacts. We describe the issues of an empirical study we plan to conduct, based on our previous experience with end-user studies. Our goal is to assess if this model-driven spreadsheet development framework does in fact contribute to improve the productivity of spreadsheet users.
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.
Graham, Lisa M., Vandana Gupta, Georgia Schafer, Delyth M. Reid, Matti Kimberg, Kevin M. Dennehy, William G. Hornsell, Reto Guler, Maria A. Campanero-Rhodes, Angelina S. Palma, Ten Feizi, Stella K. Kim, Peter Sobieszczuk, Janet A. Willment, and Gordon D. Brown. "
The C-type Lectin Receptor CLECSF8 (CLEC4D) Is Expressed by Myeloid Cells and Triggers Cellular Activation through Syk Kinase."
Journal of Biological Chemistry. 287 (2012): 25964-25974.
Abstractn/a