Hide menu

TDDD65 6 hp /Introduction to the Theory of Computation

Articles used for the Written Assignments


You will use two articles (paper 1-2) for the summary. For the critical review you will use the articles used for the summary together with two additional articles (paper 3-4).

Group A: Eva Blomqvist

Group members: Hampus Engström, Liang Cao, Asif Khan

E-mail address for final submissions: evabl45.liu@analys.urkund.se

Articles for summary
Paper 1: C. Bizer, T. Heath, and T. Berners-Lee (2009) Linked Data - The Story So Far in Int. J. Semantic Web Inf. Syst., vol. 5, no. 3, pp. 1-22. (Available here.)

Paper 2: F. Maali, R. Cyganiak and V. Peristeras (2012) A Publishing Pipeline for Linked Government Data in The Semantic Web: Research and Applications, 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012, Proceedings, LNCS vol. 7295, Springer Berlin/Heidelberg, pp. 778-792. (Available here.)

Additional articles for critical review
Paper 3: S. Bechhofer, I. Buchan et. al. (2011) Why linked data is not enough for scientists in Future Generation Computer Systems, ISSN 0167-739X, In Press - Available online 19 August 2011. (Available here.)

Paper 4: H. Halpin, P. J. Hayes, J. P. McCusker, D. L. McGuinness and H. S. Thompson. (2010) When owl:sameAs Isn’t the Same: An Analysis of Identity in Linked Data in The Semantic Web – ISWC 2010, 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. LNCS, vol. 6496, Springer Berlin/Heidelberg, pp.305-320. (Available here.)

Group B: Fang Wei-Kleiner

Group members: Antoine Rozo, Özgür Faruk Kofali

E-mail address for final submissions: fanwe69.liu@analys.urkund.se

Articles for summary
Paper 1: G. DeCandia, D. Hastorun et. al. (2007). Dynamo: amazon's highly available key-value store. In Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (SOSP '07). ACM, New York, NY, USA. (Available here.)

Paper 2: J. Dean and S. Ghemawat. (2004). Mapreduce: Simplified data processing on large clusters. In 6th Symposium on Operating System Design and Implementation (OSDI '04), San Francisco, California, USA. (Available here.)

Additional articles for critical review:
Paper 3: S. Blanas, J. M. Patel et. al. (2010). A comparison of join algorithms for log processing in Mapreduce. In Proceedings of the 2010 ACM SIGMOD International Conference on Management of data (SIGMOD '10). ACM, New York, NY, USA. (Available here.)

Paper 4: G. Malewicz, M. H. Austern et. al. (2010). Pregel: a system for large-scale graph processing. In Proceedings of the 2010 ACM SIGMOD International Conference on Management of data (SIGMOD '10). ACM, New York, NY, USA. (Available here.)

Group C: Ahmed Rezine

Group members: Farooq Ahmad, Piotr Wilczynski

E-mail address for final submissions: ahmed.rezine@analys.urkund.se

Articles for summary
Paper 1: V. D'Silva, D. Kroening, G. Weissenbacher. A Survey of Automated Techniques for Formal Software Verification in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2008, Vol 27, No. 7, pp. 1165--1178. (Available here.)

Paper 2: A. Biere. Tutorial on Model Checking: Modelling and Verification in Computer Science In Proc. 3rd Intl. Conf. on Algebraic Biology (AB’08), 2008, volume 5147 of LNCS, pp. 16-21. (Available here.)

Additional articles for critical review
Paper 3: Z. Manna and A. Pnueli. An exercise in the verification of multiprocess programs. In W.H.J. Feijen, A.J.M van Gasteren, D. Gries, and J. Misra, editors, Beauty is Our Business, pages 289–301. Springer-Verlag, 1990. (Available here.)

Paper 4: N. Rungta , E. G. Mercer, Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, p.1-10, July 19-20, 2009, Chicago, Illinois. (Available here.)

Group D: Unmesh Bordoloi

Group members: Adam Shih, Diana Falkowska

E-mail address for final submissions: unmdu17.liu@analys.urkund.se

Articles for summary
Paper 1: R. E. Gonzalez, Xtensa: a configurable and extensible processor. Micro, IEEE, vol.20, no.2, pp.60-70, Mar/Apr 2000. (Available here).

Paper 2: P. Yu, T. Mitra, Characterizing embedded applications for instruction-set extensible processors. Design Automation Conference, 2004. Proceedings. 41st , vol., no., pp.723-728, 7-11 July 2004 (Available here).

Additional articles for critical review
Paper 3: A. K. Verma, P. Brisk and P. Ienne. 2007. Rethinking custom ISE identification: a new processor-agnostic method. In Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems (CASES '07). ACM, New York, NY, USA, 125-134. (Available here).

Paper 4: T. Li, Z. Sun, W. Jigang and X. Lu. 2009. Fast enumeration of maximal valid subgraphs for custom-instruction identification. In Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems (CASES '09). ACM, New York, NY, USA, 29-36. (Available here).

Group E: Oleg Sysoev

Group members: Yonglin Zhuo, Andreea Boccancea, Isak Hietala, Martin Arvidsson, Sowmya Krishnaraj, Jithu Viswanath, Awais Khan, Eric Paulsson, Roger Karlsson

E-mail address for final submissions: olesy12.liu@analys.urkund.se

Articles for summary
Paper 1: T. Fawcett, F. Provost. (1997). Adaptive Fraud Detection in Data Mining and Knowledge Discovery, Springer Netherlands, vol. 1, no. 3, pp. 291-316. (Available here.)

Paper 2: E. Wegman. (1995). Huge data sets and the frontiers of computational feasibility in Journal of Computational and Graphical Statistics, vol. 4, no. 4, pp. 281–295. (Available here.)

Additional articles for critical review:
Paper 3: Wagenmakers, E. J., Lee, M., Lodewyckx, T., & Iverson, G. J. (2008). Bayesian versus frequentist inference. In Bayesian evaluation of informative hypotheses (pp. 181-207). Springer New York. (Available here.)

Paper 4: M. DeRosa. (2004). Data Mining and Data Analysis for Counterterrorism, Center for Strategic and International Studies. (Available here.)


Page responsible: Christer Bäckström
Last updated: 2013-10-10