جستجوی استاد راهنمای دانشگاهی

Jonathan Bellمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages
• Continuous Integration
• +۵ مورد دیگر

Jonathan Bell is an Associate Professor at Northeastern University in the Khoury College of Computer Sciences , with prior appointments at George Mason University. His research spans Software Engineering , Program Analysis , and Ethics of Artificial Intelligence . PhD in Computer Science from Columbia University (2011) Recipient of the 2020 Dahl-Nygaard Junior Researcher Prize and NSF CAREER award His research focuses on: Resolving flaky tests in Continuous Integration systems Advancing dynamic taint tracking (e.g., Phosphor ) Formalizing software supply chain vulnerabilities Addressing ethical dimensions in automated decision-making Recent publications span flaky test prediction, semantic versioning analysis, and ethics of opaque AI systems. He co-founded the Clowdr open source project and a related startup. Awards include: 2020 Dahl-Nygaard Junior Researcher Prize 2025 NSF CAREER award 2019 GMU Teacher of Distinction award He advises PhD students like Liam DeVoe and Katherine Hough, and serves on committees for conferences such as ICSE , PLDI , and ASE . Contact: j.bell@northeastern.edu | jon@jonbell.net

Alexandre Bartelمشاهده پروفایل

استاد

• software security
• software engineering
• system security
• +۵ مورد دیگر

Alexandre Bartel is a Professor in the Department of Computing Science at Umeå University, Sweden, specializing in software security and software engineering. His research focuses on system security and analysis of permission-based software stacks, particularly Android. With numerous publications in top-tier security and software engineering conferences and journals, Bartel has established himself as a leading researcher in vulnerability analysis and software security. Bartel's research interests primarily center around software security, with a particular emphasis on Java and Android ecosystems. His work delves into vulnerability analysis, deserialization attacks, control flow integrity, and security mechanisms for complex software systems. He investigates how to verify security properties through efficient algorithms and examines existing software layers from a security perspective. His research bridges theoretical security concepts with practical implementation challenges in real-world systems. Analysis of Bartel's recent publications reveals a strong focus on Java deserialization vulnerabilities, control flow integrity mechanisms, and Android security. His work demonstrates a consistent trajectory from fundamental vulnerability analysis to developing practical security solutions and benchmarks. The research spans both theoretical frameworks and empirical evaluations, with significant contributions to understanding long-term security adoption patterns and developing tools for vulnerability detection. Scientific Awards: Most influential Paper ICSE N-10 Award for IccTA: Detecting Inter-Component Privacy Leaks in Android Apps Bartel actively contributes to the academic community through service roles, having served on program committees for major conferences including ASE, ESEC/FSE, ICSE, and FSE. His research has practical implications for software developers and security practitioners, particularly in the areas of vulnerability detection and security mechanism implementation. While specific grant information isn't detailed in the provided materials, his extensive publication record suggests successful funding for his research initiatives. Though not explicitly detailed in the provided information, Bartel's research likely involves collaboration with students and researchers on projects related to software security analysis. His work on benchmarks like Gleipner and CONFUZZION suggests involvement in developing tools and resources for the security research community.

Jonathan Bellمشاهده پروفایل

دانشیار

• Software Testing
• Software Engineering
• Program Analysis
• +۶ مورد دیگر

Jonathan Bell is an Associate Professor in Software Engineering and Software Systems at Northeastern University's Khoury College of Computer Sciences. Previously, he was faculty at George Mason University where he received a university-wide Teacher of Distinction award. Bell directs research that makes it easier for developers to create reliable and secure software by improving software testing and program analysis. His research spans several key areas in software engineering: flaky tests, fuzzing, software supply chain analysis, and continuous integration. Bell's work on accelerating software testing earned an ACM SIGSOFT Distinguished Paper Award (ICSE '14), and his contributions to the object-oriented programming community were recognized with the 2020 Dahl-Nygaard Junior Researcher Prize. His program analysis research has resulted in widely adopted runtime systems including the Phosphor taint tracking system and CROCHET checkpoint/rollback tool. His recent publications reveal a consistent focus on practical software engineering problems with empirical validation. His work increasingly addresses the challenges of modern software supply chains and dependency management, building on his earlier foundational work in testing and program analysis. The trend shows progression from specific testing problems to broader software ecosystem challenges. ACM SIGSOFT Distinguished Paper Award (ICSE '14 - Unit Test Virtualization with VMVM) Dahl-Nygaard Junior Researcher Prize (2020) NSF CAREER award recipient Teacher of Distinction award from George Mason University Bell actively serves the software engineering community through program committee work for major conferences (ICSE, ASE, FSE, ISSTA), co-organizing mentoring workshops, and contributing to open source projects. He co-founded the Clowdr open source project during the pandemic to support virtual academic conferences and subsequently co-founded a startup around it. His research has been funded by the NSA and NSF, and he serves on the Computing Research Association's Education Board.

Guowei Yangمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Machine Learning
• Programming Languages
• +۱ مورد دیگر

Dr. Guowei Yang is a Senior Lecturer at the School of Electrical Engineering and Computer Science , The University of Queensland, Australia. He transitioned to this role in 2021 after serving as a tenured Associate Professor at Texas State University's Department of Computer Science. His research focuses on the intersection of Software Engineering Machine Learning Programming Languages Cybersecurity with an emphasis on system reliability and security. His recent publications (2022-2025) analyze: Android API compatibility challenges Symbolic execution optimizations Fuzzing techniques for JVM security Moving target defense strategies Automated patch generation Constraint classification in code analysis He leads a research group seeking students with backgrounds in software engineering, formal methods, and AI. Current funding includes a 2023-2026 Oracle Corporation grant for DevSecOps analysis. Dr. Yang supervises multiple PhD and Master's projects, often as principal advisor, focusing on topics like deep learning testing, IoT analysis, and DevSecOps integration.

Benoit Baudryمشاهده پروفایل

استاد

• Software Engineering
• Software Testing
• Blockchain Technology
• +۴ مورد دیگر

Benoit Baudry is a Professor in Software Technology at KTH Royal Institute of Technology (KTH) within the Digital Futures Faculty and Division of Theoretical Computer Science. He also holds a professorship at Université de Montréal. His research focuses on software diversity, testing, and reliable web-based applications, emphasizing experimental approaches using large-scale open-source systems. He leads the CHAINS project (supported by SSF) and holds a Wallenberg AI, Autonomous Systems and Software Program (WASP) research chair. Previously, he directed the CASTOR software research center (2018–2022) and led the DiverSE group at INRIA Rennes, France. Research Interests Baudry's work spans software supply chain security, blockchain node reliability, and production monitoring for test suite improvement. He explores techniques like N-version design for blockchain nodes, binary diversification for WebAssembly, and coverage-based debloating of Java dependencies. His methods emphasize collaboration with industry and empirical validation of software systems. Grants & Projects - CHAINS project (SSF-funded) - WASP research chair - Former leadership of CASTOR and DiverSE groups. Labs & Collaborations Affiliated with Digital Futures, a cross-disciplinary center at KTH collaborating with Stockholm University and RISE. His work addresses societal challenges via digital technology innovation.

Artur Boronatمشاهده پروفایل

دانشیار

• Model-Driven Engineering (MDE)
• Agile Software Development
• Cloud Computing
• +۵ مورد دیگر

Artur Boronat is an Associate Professor at the School of Computing and Mathematical Sciences, University of Leicester, UK. He holds a BSc in Computer Science (2002), a Master's (DEA, 2004), and a Doctor Cum Laude in Computer Science (2007) from the Technical University of València. He has been a visiting researcher at UIUC (USA) and UPC (Spain). His research focuses on Model-Driven Engineering (MDE), Agile Cloud Automation, AI integration in MDE, and healthcare applications. Key contributions include tools like EMF-Syncer and YAMTL, and leadership in projects like P-STEP (ESA-funded) and MDENet (EPSRC network). Professional Roles: Director of Undergraduate Programmes (2018–2023), Convenor of Agile Cloud Automation modules, Co-chair of FASE 2025 and TTC 2023. Active in program committees for STAF, MoDELS, and ECMA conferences. Research Themes: Agile MDE for cloud systems using JVM Domain-Specific Languages (DSLs) with model-driven design AI/ML-driven formal methods for software evolution Healthcare platforms (e.g., P-STEP for personalized exercise) Awards: Senior Fellow of the Higher Education Academy, European Doctorate in Computer Science. H-index: 14 (Scopus), 20 (Google Scholar). Grants: Innovate UK (2018–2019), ESA P-STEP (2021–2023), EPSRC MDENet seedcorn funding.

• Software Engineering
• Formal Methods
• Software Testing
• +۵ مورد دیگر

Milos Gligoric is an Associate Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin. His research focuses on software engineering and formal methods, particularly in software testing (test generation and regression testing), proof engineering, systems-supported software engineering, and software engineering for scientific computing. He holds a Ph.D. from the University of Illinois at Urbana-Champaign (2015) and M.Sc./B.Sc. degrees from the University of Belgrade. Research Interests: Improving software quality and developer productivity through automated testing techniques, compiler optimizations, and formal verification methods. Recent work explores applications of large language models in test generation and code evolution. Publication Trends: Recent articles (2023-2025) show strong emphasis on LLM applications for test generation, JIT compiler testing, Python/C++ performance optimization, parallel computing, and innovative testing tools. Work frequently appears at top venues like ICSE, FSE, ISSTA, and OOPSLA. Scientific Awards: ACM SIGSOFT Outstanding Doctoral Dissertation Award David J. Kuck Outstanding PhD Thesis Award Multiple ACM SIGSOFT Distinguished Paper Awards Best Paper Award nominations (ICST 2012, ICS 2021) New Ideas and Emerging Results Distinguished Paper Award Research Support & Advising: Funded by Army Futures Command, Cisco, DOE, Google, Huawei, NSF, Runtime Verification, and Samsung. Mentors 7 PhD students and has graduated 12 PhD/MS students. Maintains industry collaborations with DBT (part-time contractor), Katana Graph, and Samsung. Labs & Tools: Leads UT Austin's software engineering research group. Developed multiple open-source tools including Ekstazi (regression test selection), mCoq (mutation analysis for Coq), Roosterize (lemma suggestion for Coq), and JAttack (JIT compiler testing).

Rohan Padhyeمشاهده پروفایل

استادیار

• Software Engineering
• Programming Languages
• Systems
• +۶ مورد دیگر

Rohan Padhye is an Assistant Professor at the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science . He leads the PASTA Lab and is affiliate faculty at CyLab . Ph.D. in Computer Science from UC Berkeley Master's degree in Computer Science from IIT Bombay His research spans software engineering, programming languages, systems, and security . He develops techniques for automated bug detection using dynamic program analysis and coverage-guided fuzz testing. His work includes tools like ChocoPy for compilers education and Fray for concurrency testing. Recent publications focus on: date/time bugs in Python, LLM-generated property-based tests , exception dependency analysis , and distributed system fuzzing . He has received multiple NSF grants and Amazon Research Awards . 2025: NSF Grant for Practical Controlled Concurrency Testing 2025: Amazon Research Award for property-based testing 2022: Goldwater Scholarship for John Billos (PASTA Lab member) He advises PhD students including Ao Li and Vasudev Vikram, and has mentored numerous undergraduate researchers through the REUSE program . His group's work is funded by NSF, CyLab, and Amazon .

Alex Nicolauمشاهده پروفایل

استاد

• Parallelizing Compilers
• High-Performance Java
• Power-aware Computing
• +۳ مورد دیگر

Alex Nicolau is a Professor of Computer Science at the University of California, Irvine within the Donald Bren School of Information and Computer Sciences and an IEEE Fellow. He serves as Editor for PeerJ Computer Science and leads research at the Center for Embedded Computer Systems, focusing on high-performance computing systems and compiler-driven hardware optimization. His research spans Parallelizing Compilers , High-Performance Java , Power-aware Computing , and Reconfigurable Computing , with current projects including Julius C (divide-and-conquer algorithm modeling), EXPRESS (retargetable compiler framework), FORGE (distributed embedded systems optimization), SPARK (C-to-VHDL synthesis), and CoReComp (reconfigurable architecture compilers). These initiatives address critical challenges in energy efficiency, hardware-software co-design, and performance optimization for embedded platforms. Recent publications (2003-2004) reveal concentrated efforts on mobile energy efficiency and reconfigurable systems, with recurring themes of power management in multimedia streaming, task partitioning for watermarking algorithms, and network topology exploration in mesh architectures. His work demonstrates a cohesive vision bridging theoretical compiler advances with practical hardware implementations. His professional recognition includes: IEEE Fellow Professor Nicolau has mentored over 20 Ph.D. students to completion, including current advisees Weiyu Tang and Radu Cornea, and alumni like Sumit Gupta and Joseph Hummel who now lead industry and academic research. His editorial leadership as Editor-in-Chief of the International Journal of Parallel Programming and program committee roles for ICS and LCTES conferences reflect his significant contributions to the field. Based at UC Irvine's Center for Embedded Computer Systems (CECS 204), he directs a research ecosystem focused on compiler-driven hardware adaptation, with ongoing exploration into dynamic resource management and energy-aware system design for next-generation computing platforms.

Diomidis Spinellisمشاهده پروفایل

استاد

• Software engineering
• IT security
• Computing systems
• +۳ مورد دیگر

Diomidis Spinellis is Professor of Software Engineering in the Department of Management Science and Technology at the Athens University of Economics and Business, Greece, where he heads the Business Analytics Laboratory (BALab). He also holds a position as Professor of Software Analytics in the Department of Software Technology at the Delft University of Technology. His academic career spans multiple prestigious institutions and research domains. Spinellis's research interests center on software engineering, IT security, and computing systems. He has made significant contributions through his work on code quality, software tools, program comprehension, and debugging methodologies. His research bridges theoretical foundations with practical applications, evident in his development of widely-used open-source tools and his contributions to operating systems like Apple's macOS and BSD Unix. His scholarly output includes over 300 technical papers with more than 10,500 citations, demonstrating substantial impact across the software engineering community. His publications span diverse topics including software analytics, program comprehension, debugging techniques, and open-source software quality. Among his notable recognitions are two award-winning, widely-translated books: Code Reading and Code Quality: The Open Source Perspective , followed by Effective Debugging: 66 Specific Ways to Debug Software and Systems in 2016. His work has been influential in both academic and industry settings. IEEE Software editorial board member for a decade Editor-in-Chief of IEEE Software for four years Elected member of IEEE Computer Society Board of Governors (2013-2015) Senior member of ACM and IEEE Spinellis actively contributes to the software engineering community through tool development (CScout, UMLGraph, dgsh), conference leadership roles, and mentoring activities. His professional service includes program committee memberships across major software engineering conferences including ICSE, ESEC/FSE, and ASE.

Guowei Yangمشاهده پروفایل

دانشیار

• Software Engineering
• Machine Learning Systems
• Programming Languages
• +۵ مورد دیگر

Guowei Yang is a Senior Lecturer (equivalent to U.S. Associate Professor) at the School of Electrical Engineering and Computer Science, Faculty of Engineering, Architecture and Information Technology, University of Queensland. His research bridges software engineering, machine learning, and programming languages, focusing on enhancing software and ML system reliability/security. Dr. Yang leads projects in symbolic execution, fuzzing techniques, Android app testing, and LLM-based tool development. Research Interests: Core interests include software testing automation, Android ecosystem analysis, ML system robustness, and symbolic execution optimization. His work emphasizes practical tools for API compatibility detection, security patch generation, and fuzzing efficiency. Recent projects leverage large language models for document-guided testing and dynamic vulnerability detection. Professional Service: Dr. Yang actively contributes to top-tier conferences as a program committee member (ICSE, FSE, ASE, ISSTA) and organizer (DSN 2024 Local Chair, TAIC PART Co-Chair). He mentors through Google Summer of Code and NSF Research Experiences for Undergraduates programs, and reviews for journals including IEEE TSE and ACM TOSEM.

Kee Kimمشاهده پروفایل

دانشیار

• Edge Computing
• Cloud Computing
• Machine Learning
• +۳ مورد دیگر

In Kee Kim is an Associate Professor at the University of Georgia, specializing in interdisciplinary research at the intersection of computing systems, edge computing, and health informatics. His work focuses on optimizing resource utilization in distributed systems, advancing cybersecurity in smart environments, and analyzing behavioral trends through social media platforms. He holds dual appointments in advanced computing and engineering disciplines. Kim's research portfolio includes groundbreaking contributions to cloud and edge computing resource management, with notable work on predictive modeling for workload forecasting, energy-efficient IoT systems, and secure smart home architectures. His recent studies explore the societal implications of online behavior, including analyzing self-harm trends on platforms like Reddit and Instagram. His technical innovations span multiple domains: from developing systems like CloudBruno for cloud workload prediction to creating low-cost environmental monitoring frameworks for coastal ecosystems. He also pioneered tools like CNT for genomic workflow automation and Edgefaasbench for edge benchmarking. His cybersecurity investigations into smart home vulnerabilities highlight proactive approaches to securing personal area networks. Kim maintains an active research lab at the Boyd Graduate Studies Research Center and has published extensively in top-tier conferences and journals since 2005. His work bridges theoretical advancements with practical implementations, addressing real-world challenges in distributed systems and digital health.

Guido Salvaneschiمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Distributed Systems
• +۵ مورد دیگر

Guido Salvaneschi is a Professor at the School of Computer Science , University of St. Gallen, leading the Programming Group . His work bridges Programming Languages and Software Engineering with applications in Distributed Systems, Reactive Programming, and Secure Software Systems. Research Interests Dr. Salvaneschi focuses on: Multitier Programming Languages Consistency Models in Distributed Systems Reactive Programming for HPC and IoT Secure Software Development with Trusted Execution Environments Recent Publications Trends His recent work spans Infrastructure as Code testing ( CONFLANG ), consistency verification ( POPL ), and CRDT-based local-first software ( TSE journal ). Key themes include hybrid consistency enforcement, type-safe distributed abstractions, and automated verification of algebraic properties. Committee Roles ICSE 2026: Research Track Committee POPL 2025: Reviewer ‹Programming› 2025: Steering Committee Chair ISSTA 2025: Program Committee

Andrea Rosàمشاهده پروفایل

پژوهشگر

• Parallel Computing
• Concurrent Programming
• Performance Optimization
• +۳ مورد دیگر

Andrea Rosà is a researcher at the University of Lugano (USI), Switzerland, with a focus on performance optimization, concurrency, and profiling in the Java Virtual Machine (JVM) ecosystem. His work spans tool development, benchmarking, and parallel computing, often targeting metrics related to task granularity and synchronization. He has contributed to major conferences such as SPLASH, APLAS, and GPCE, and is actively involved in program committees and artifact evaluations. His research includes designing profiling tools like P3 and Renaissance, which analyze parallel applications, lock-free operations, and dynamic program behavior. These tools have been instrumental in benchmarking modern JVM performance and identifying variability in workloads. Andrea has authored numerous papers on profiling Java Streams, vector APIs, and multi-language dynamic analysis. His work often addresses challenges in automated benchmarking, runtime transitions, and task granularity optimization.

Lingming Zhangمشاهده پروفایل

استادیار

• Software Engineering
• Programming Languages
• Computer Science
• +۳ مورد دیگر

Lingming Zhang is an Assistant Professor of Computer Science at The University of Texas at Dallas, affiliated with the Erik Jonsson School of Engineering and Computer Science. His work focuses on advancing automated debugging technologies, particularly for software written in Java within the JVM ecosystem. He holds a NSF CAREER Award supporting his research into maximal and scalable unified debugging solutions. Research Interests: Automated Software Debugging Programming Languages (Java) Software Testing and Verification JVM Ecosystem Optimization Awards: NSF CAREER Award ($520,000, 5-year grant for debugging technology development) Grants: His NSF-funded project, “Maximal and Scalable Unified Debugging for the JVM Ecosystem,” aims to improve error diagnosis and repair in Java-based software systems.