Anita Lungu
Department of Computer Science
Duke University
Levine Science Research Center D311
Research Drive
Durham, NC 27708
phone: 919 660 6584
|
|
Anita Lungu
|
Department of Computer Science
phone: 919 660 6584 |
Research Graduate Work Personal
I am a PhD graduate student in the Computer Science department at Duke University, where I work under the supervision of my adviser Dr. Daniel Sorin. My research is in computer architecture and I received my Masters' degree in this area in May 2007. I am part of the Duke Computer Architecture group.
CV: pdf (last updated October 2008)
My research interest is in computer architecture with a particular focus on verification-aware processor design. More specifically, I investigate the impact of microarchitectural design decisions on formal verification effort and look at specific trade-offs between formal verification effort and other established metrics such as performance or power. The high level goal of this work is to make processor verification less difficult by raising verification awareness in the early stages of design.
I am a member of the FaultFinder project.
Anita Lungu, Pradip Bose, Dan Sorin, Steven German, and Geert Janssen. "Multicore Power Management: Ensuring Robustness via Early-Stage Formal Verification." To appear in 3rd Workshop on Dependable Architectures (WDA-3), November 2008. pdf
Anita Lungu and Daniel J. Sorin. "Verification-Aware Microprocessor Design." Sixteenth International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2007. pdf, slides.
Anita Lungu. "Mobile Distributed Solution for Delivery Automaton: Design and Particularities." Proceedings of International Symposium on Systems Theory (SINTES11), 2003, Craiova, Romania, pages 426-429.
Marin Lungu, Constantin Pistol and Anita Lungu. "Object-Based Remote Resource Access Framework" Proceedings of European Simulation and Modeling Conference (ESMc'2003), 2003 Naples, Italy, pages 107-111.
 |
Summer Intern, IBM T.J. Watson Research Center, mentors Dr. Pradip Bose, Dr. Alper Buyuktosunoglu, Summer 2008 |
|
Summer Intern, IBM T.J. Watson Research Center, mentors Dr. Pradip Bose, Dr. Steven German, and Dr. Geert Janssen, Summer 2007 |
|
Research Assistant, Duke University, working with Dr. Daniel Sorin, Summer 2006 - Present |
|
Summer Intern, RENCI (Renaissance Computing Institute), mentor Dr. Daniel Reed, Summer 2006 |
|
Research Assistant, Duke University, working with Dr. Daniel Reed, Fall 2004 - Summer 2006 |
|
Teaching Assistant, Duke University, Advanced Computer Architecture I, Fall 2005 |
CompSci 220 - Advanced Computer Architecture I
CompSci 221 - Advanced Computer Architecture II
CompSci 230 - Design and Analysis of Algorithms
CompSci 296 - Federated Distributed Systems
CompSci 230 - Operating Systems
CompSci 250 - Numerical Analysis
CompSci 196S - Critical Analysis of Visual Representations
Inch_Inl 300 - Study in Information and Library Science
I am originally from Romania, where I completed my undergraduate in Computer Science (University of Craiova). I also went to high-school in Craiova at "Colegiul National Fratii Buzesti". My big brother :) is Dragos, he is an information security consultant.