Computer Science Graduate Research Seminar

Organizers: CS Graduate Student Association and faculty (contact: Jianhua Ruan).
Time: 1:00-2:15 pm, Tue / Wed (as posted below)
Place: NPB 3.108, CS Conference Room

Previous Seminars

Schedule for Fall 2017

Seminar information

9/26 A: "OLTP Through the Looking Glass, and What We Found There" by David Holland

Abstract: Today's Relational DBMS runs on assumptions and hardware from the 1970s. OLTP performance can be enhanced by an order-of-magnitude by refactoring the legacy DBMS software architecture to adapt and take advantage of advances in 21st Century computer hardware architecture.

Reference: Harizopoulos, S., Abadi, D. J., Madden, S., & Stonebraker, M. (2008). OLTP through the looking glass, and what we found there. In Sigmod'08 (p. 981-992). New York, New York, USA: ACM Press.

9/26 B: "iReplayer: In-situ Replaying Errors of Multithreaded Programs" by Hongyu Liu

Abstract: Reproducing errors of multithreaded programs is very challenging due to many intrinsic non-deterministic factors. Existing RnR systems achieve significant progress for the performance overhead, but none targets the in-situ setting, in which the replay occurs within the same process as the recording process. Also, most of them cannot achieve the identical replay, which may prevent the reproduce of some errors. This paper presents iReplayer, which targets to in-situ identically replay errors for multithreaded programs. The novel in-situ replay of iReplayer makes it more likely to reproduce errors, eliminates the need of replaying from the beginning of executions, and allows for directly employing common debugging tools for diagnosis, without extra steps to setup the replaying environment. iReplayer involved substantial engineering effort to improve its performance and support highly identical replay. Currently, iReplayer only incurs around 3% performance overhead and is scalable, which allows it to be always enabled in production environment. iReplayer is a drop-in library that runs entirely inside the user space, and does not require hardware modification, customized OS, or program modifications. iReplayer enables a range of possibilities, and this paper presents three examples: two automatic tools for detecting buffer overflows and use-after-free bugs, and one debugging tool that is integrated with GDB.

Back to top

10/11: "Correctness and Performance Debugging of Multithreaded programs Using Machine Learning" by Mohammad Mejbah ul Alam (Muzahid lab)

Abstract: The cost of substantial performance bene?ts in multithreaded programs is increasing programming complexity. Debugging multithreaded program is hard and prone to error. This talk will present design and implementation of two debugging approaches for multithreaded programs: ACT [1] and AutoCon. ACT overcomes the dif?culty of reproducing concurrency bugs in multithreaded programs. It implements hardware assisted machine learning for detecting bugs on the ?y. AutoCon is a neural network based solution for detecting performance regression due to cache contention. It implements anomaly based detection using hardware performance counters. This approach reduces the need for domain expertise and exhausted searching in diagnosing performance issues in multithreaded programs.

Reference: M. M. U. Alam and A. Muzahid. Production-run software failure diagnosis via adaptive communication tracking. In Proceedings of the 43rd International Symposium on Computer Architecture, ISCA '16, pages 354-366, Piscataway, NJ, USA, 2016. IEEE Press.

Back to top

10/24 A: "Inferring Ontology Fragments from Semantic Typing of Lexical Variants " by Mitra Bokaei Hosseini

Abstract:

10/24 B: "UILeak: Detecting Privacy-Policy Violations on User Input Data for Android Applications" by Xue Qin

Abstract:

Back to top

Questions and Comments?

Please send emails to jianhua.ruan@utsa.edu.