جست‌وجوی استاد و پژوهشگر

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +۷ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

• Formal Methods
• Software Engineering
• Program Verification
• +۷ مورد دیگر

Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.

Ali Ghanbariمشاهده پروفایل

استادیار

• Software Engineering
• Programming Languages
• Data Science
• +۴ مورد دیگر

Ali Ghanbari is an Assistant Professor in the Department of Computer Science and Software Engineering at Auburn University's College of Engineering. His research focuses on software engineering, programming languages, and data science, with an emphasis on automated program repair, deep learning, and mutation analysis. He received his Ph.D. in Software Engineering from the University of Texas at Dallas and his M.Sc. and B.Sc. from Amirkabir University of Technology in Tehran, Iran. Education: Ph.D. Software Engineering, University of Texas at Dallas M.Sc. Software Engineering, Amirkabir University of Technology B.Sc. Software Engineering, Amirkabir University of Technology Research Interests: Dr. Ghanbari's work spans automated program repair, deep neural network analysis, and mutation-based fault localization. He explores techniques to enhance software quality through methods like patch correctness assessment, object similarity-based prioritization, and optimization of mutation testing frameworks. His contributions include frameworks such as PRF and tools like Shibboleth for hybrid patch evaluation. Publications Trends: His recent work highlights advancements in accelerating mutation analysis, improving deep learning models via modular decomposition, and refining automated repair techniques. Notable contributions include Rocq for goal clone detection and MeMu for faster mutation analysis. Awards & Grants: No specific awards or grants mentioned in the provided materials. Advising & Labs: While no advisees are listed, his research group likely focuses on program repair and deep learning applications. His work is supported by datasets like Defexts, which provides reproducible real-world bugs for JVM languages.

Kenneth Kentمشاهده پروفایل

استاد

• Hardware/Software Co-Design
• Virtual Machines
• Reconfigurable Computing
• +۵ مورد دیگر

Dr. Kenneth Kent is a Professor in the Department of Computer Science at the University of New Brunswick (UNB), where he has served for 14 years. He is the Director of the Information Technology Centre (ITC) and heads the Reconfigurable Computing Group. He also serves as Director of the IBM Centre for Advanced Studies - Atlantic and holds an Honorary Professorship at Hochschule Bonn-Rhein-Sieg. His research focuses on hardware/software co-design, reconfigurable computing, virtual machines, and embedded systems. Dr. Kent earned his PhD and Master of Science in Computer Science from the University of Victoria. His work has led to over 100 refereed publications and the supervision of 70+ graduate students. He co-founded WEnTech Solutions Inc., a software firm addressing waste-to-energy optimization. His awards include the IBM Faculty Fellow of the Year and Project of the Year (as Principal Investigator) for contributions to the J9 Java Virtual Machine. His articles span FPGA acceleration, compiler optimization, cloud storage security, and IoT intrusion detection. Recent work emphasizes energy-efficient Node.js systems and advancements in CAD tools like VTR 9 for FPGA architecture. Dr. Kent’s advising and grants include leading the IBM CAS Atlantic and directing industry-academia collaborations. He has pioneered technologies such as the Eclipse OpenJ9 JVM and the CephArmor storage interface, balancing academic research with commercial innovation. He leads the Reconfigurable Computing Group at UNB and collaborates with the Institute for Visual Computing in Germany. His research bridges theoretical computing and practical applications, with a focus on scalable systems and embedded technologies.

Jens Palsbergمشاهده پروفایل

استاد

• Programming Languages
• Quantum Computing
• Software Engineering
• +۳ مورد دیگر

Jens Palsberg is a Professor and former Department Chair of Computer Science at the University of California, Los Angeles (UCLA), where he currently serves as Director of the UCLA-Amazon Science Hub for Humanity and Artificial Intelligence and co-director of UCLA's quantum research center. He chairs ACM SIGPLAN and is a member of the ACM Council. His research spans programming languages, software engineering, quantum computing, compilers, embedded systems, and information security. Palsberg has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems , and revised Appel's textbook on Modern Compiler Implementation in Java . His recent work shows a significant shift toward quantum computing, including compiler techniques and program analysis for quantum systems. Analysis of his recent publications reveals a clear transition from traditional programming language research to quantum computing, with nearly half of his 2022-2024 publications focusing on quantum topics while maintaining strong work in software engineering and programming languages. His quantum research particularly emphasizes compiler optimization, abstract interpretation, and circuit analysis. ACM SIGPLAN Distinguished Service Award (2012) UCLA teaching award for quantum computing courses (2023) National Science Foundation CAREER and ITR awards Purdue University Faculty Scholar award IBM Faculty Award Okawa Foundation research award Palsberg has served in numerous leadership roles including general chair of POPL, conference chair of LICS, and vice chair of ACM SIGBED. His research has been supported by DARPA, Intel, British Telecom, and the National Science Foundation. He was instrumental in establishing UCLA's Masters degree in quantum science and has mentored numerous students through his legendary proof sessions. He leads a research group of over 30 professors in UCLA's quantum research center and maintains active collaborations across academia and industry, particularly with Amazon through the UCLA-Amazon Science Hub.

Stefan Marrمشاهده پروفایل

پژوهشگر

• Concurrent Programming
• Language Implementation
• Virtual Machines
• +۶ مورد دیگر

Stefan Marr is a faculty member at the University of Kent, United Kingdom, focusing on Concurrent Programming , Language Implementation , and Virtual Machines . His research spans projects like optimizing interpreters, improving concurrency models, and enhancing profiling tools for dynamic languages. Projects : Royal Society Industry Fellowship (FastStart), EPSRC-funded CaMELot, Oracle Labs-funded Automatic Superinstructions. Collaborations : With students and researchers across institutions, including Shopify, Vrije Universiteit Brussel, and Johannes Kepler University Linz. His recent work emphasizes profiling reliability for Java, interpreter performance , and tooling for complex concurrent systems . Projects like SOM (Simple Object Machine) and its variants (SOM++, TruffleSOM, PySOM) highlight his commitment to language implementation research and education. Scientific Awards include fellowships and grants from the Royal Society, EPSRC, and Oracle Labs. His contributions to conferences as program committee member , steering committee , and workshop organizer further underscore his academic leadership.

Jeff Huangمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages
• Concurrency
• +۴ مورد دیگر

Jeff Huang is an Associate Professor in the Department of Computer Science & Engineering at Texas A&M University, affiliated with the College of Engineering. His research focuses on software engineering, programming languages, concurrency, and runtime verification, with notable contributions to static analysis, race detection, and vulnerability mitigation in concurrent systems. Education: Postdoc, Computer Science, University of Illinois at Urbana-Champaign (2013-2014) Ph.D., Computer Science, Hong Kong University of Science and Technology (2012) B.E., Electrical Engineering, National University of Defense Technology, China (2008) Research Interests: Huang's work bridges theoretical foundations and practical applications in concurrency debugging, static analysis tools, and cybersecurity for smart contracts. He emphasizes scalable solutions for pointer analysis, race detection, and vulnerability detection in distributed systems and blockchain technologies. Recent Trends in Publications: His recent work explores AI-driven program execution (e.g., SGLang), blockchain security (e.g., Smart Contract analysis), and dynamic/static analysis techniques for memory safety. These studies underscore advancements in automated tools for securing concurrent and distributed systems. Awards: 2023 ACM SIGSOFT Distinguished Paper Award 2019 DARPA Young Faculty Award 2016 NSF CAREER Award 2013 ACM SIGSOFT Outstanding Doctoral Dissertation Award Advising & Grants: Huang has advised PhD students including Bozhen Liu and Peiming Liu, who have contributed to OpenMP race detection and pointer analysis tools. His grants include NSF awards for pointer analysis as a service and DARPA funding for young faculty research. Labs & Teams: He leads the O2 Lab, focused on concurrency verification and cybersecurity, collaborating with industry partners like Coderrect Inc. and DOE on scalable static analysis frameworks.

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

استاد

• Software Engineering
• Software Engineering for Data Intensive Computing
• Automated Testing
• +۷ مورد دیگر

Miryung Kim is a Professor and Vice Chair of Graduate Studies in UCLA's Computer Science Department, where she directs the Software Engineering and Analysis Laboratory. She is renowned for her pioneering work in software evolution, code clone management, and establishing the emerging field of Software Engineering for Data Intensive Computing (SE4DA and SE4ML). Her research focuses on automated testing and debugging for Apache Spark, developer tools for heterogeneous computing, and conducting systematic studies of refactoring practices in industry. She led the first large-scale study of data scientists in industry and developed JDebloat, a Java bytecode debloating tool that made significant tech transfer impact to the Navy. Her recent publications demonstrate strong trends in fuzz testing for big data analytics and heterogeneous computing, with a focus on natural input generation, co-dependence awareness, and leveraging hardware probes for acceleration. Her work bridges software engineering with data-intensive and heterogeneous computing paradigms. ACM SIGSOFT Influential Educator Award (2022) ICSME Most Influential Paper Award (2023 and 2020) NSF CAREER award Google Faculty Research Award Okawa Foundation Research Award Humboldt Fellow ACM Distinguished Member As an academic advisor, she has produced eight tenure-track faculty members at institutions including Columbia, Purdue, and Virginia Tech. Her research has been supported by National Science Foundation, Air Force Research Laboratory, Google, IBM, Intel, Okawa Foundation, Samsung, and Office of Naval Research. She previously served as Program Co-Chair of ESEC/FSE 2022 and has delivered keynotes at ASE 2019 and ISSTA 2022. She maintains active industry collaborations, serving as an Amazon Scholar at Amazon Web Services and having spent time as a visiting researcher at Microsoft Research.

Ben Hermannمشاهده پروفایل

استاد

• Programming Languages
• Security
• Static Analysis
• +۶ مورد دیگر

Ben Hermann is a Professor for Secure Software Engineering at Technische Universität Dortmund, Germany, with research focusing on the intersection of programming languages and security. His work primarily centers on vulnerability detection using static analysis, risk assessment of software libraries, security guarantees in type systems, and language-based security. His academic journey includes a doctoral degree from Technische Universität Darmstadt in 2016, followed by postdoctoral work in Eric Bodden's Secure Software Engineering Group at the Heinz Nixdorf Institute. Since 2020, he has held a tenure-track professorship at TU Dortmund, after serving as an interim Professor for IT Security at Paderborn University from October 2019 to September 2020. Hermann's research portfolio demonstrates consistent output in static program analysis frameworks, particularly with contributions to Soot and PhASAR. His work spans vulnerability detection, analysis reusability, and research quality in computer science, with emphasis on artifact evaluation. His recent publications show progression from framework development toward security applications and research methodology. Hermann has been actively involved in numerous conferences including ASE, ICSE, ECOOP, and SPLASH, often serving in program committees and as session chair. His research group at TU Dortmund includes students like Maximilian Krebs who presented work on energy consumption prediction of programs. He maintains an active presence in the academic community, advocating for research quality and reproducibility, and serves in various organizational roles including Doctoral Symposium Chair and Diversity & Inclusion Chair for conferences.

Don Sannellaمشاهده پروفایل

استاد

• Computer Science
• Formal Methods
• Algebraic Specification
• +۵ مورد دیگر

Don Sannella is a Professor of Computer Science at the University of Edinburgh, affiliated with the Laboratory for Foundations of Computer Science (LFCS) within the School of Informatics. His research focuses on formal methods, algebraic specification (notably the CASL language), security, and theoretical computer science. He has contributed to foundational work in specification languages and their implementation, including the CoFI initiative. Sannella has authored influential books on formal software development and algebraic specifications. He holds the rank of Fellow of the Royal Society of Edinburgh. His work spans academic leadership, editorship of Theoretical Computer Science , and projects like Mobility and Security (MRG) and App Guarden for secure mobile applications. His teaching includes courses on functional programming, computability, and formal methods. He has advised students such as Nikita Samarin and collaborated on research grants, including those in resource analysis and concurrency. Sannella’s contributions integrate rigorous formal techniques with practical software development challenges, emphasizing modularity, correctness, and security.

Michael Eichbergمشاهده پروفایل

استاد

• Software Engineering
• Static Analysis
• Software Development Tools
• +۳ مورد دیگر

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

Jeff Huangمشاهده پروفایل

دانشیار

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

Jeff Huang is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, specializing in programming languages and software engineering with a focus on concurrency and runtime verification. His research develops advanced program analysis techniques and tools to enhance software performance and reliability. Programming Languages Software Engineering Concurrency Runtime Verification His work has been recognized with prestigious awards including the ACM SIGSOFT Early Career Researcher Award, NSF CAREER Award, Google Faculty Research Award, and DARPA Young Faculty Award. Notably, his research has earned multiple SIGPLAN Research Highlights and PLDI Distinguished Paper Awards. ACM SIGSOFT Early Career Researcher Award NSF CAREER Award Google Faculty Research Award Mozilla Research Award Facebook Research Award DARPA Young Faculty Award ACM SIGSOFT Outstanding Dissertation Award ACM SIGPLAN PLDI Distinguished Paper Award SIGPLAN Research Highlights Jeff Huang actively contributes to academic communities as a committee member in venues like SPLASH, ICSE, ISSTA, and PLDI. He has authored influential papers on concurrency bug detection, pointer analysis, and language translation tools, spanning both theoretical foundations and practical implementations.

• Biomedical Engineering
• Biomedical Signal Processing
• Entropy Analysis
• +۷ مورد دیگر

Georgios Manis is an Associate Professor in the Department of Computer Science and Engineering at the School of Engineering, University of Ioannina, Greece. He holds a PhD from the National Technical University of Athens and has been a faculty member at the University of Ioannina since 2002, progressing from Lecturer to Associate Professor in 2018. He has also served as temporary teaching staff at the University of Patras, University of Crete, and University of Ioannina in the late 1990s and early 2000s. Education: B.Sc. in Computer Engineering (Diploma), National Technical University of Athens (NTUA), 1987–1992 MSc in Advanced Methods in Computer Science (Distributed and Parallel Systems), Queen Mary, University of London, 1992–1993 PhD in Computer Engineering, NTUA, School of Electrical and Computer Engineering, 1993–1997 His research interests lie at the intersection of Biomedical Engineering and Computing Systems , with a strong emphasis on Biomedical Signal Processing , Entropy Analysis , and Machine Learning . He has pioneered work in Bubble Entropy —a parameter-free entropy measure—and developed fast algorithms for entropy computation. His work also extends to compiler design and parallel computing, particularly in the automatic parallelization of recursive functions and loops. The trends in his recent publications reflect a dual focus: (1) biomedical applications involving entropy, heart rate analysis, and disease diagnosis using machine learning (especially Random Forests and SVMs), and (2) high-performance computing, including parallelization techniques and compiler optimizations for multi-core and SVP architectures. His research is highly interdisciplinary, combining signal processing, algorithm design, and clinical applications. Scientific Leadership and Recognition: Guest Editor, Special Issue on “Entropy in Biomedical Engineering”, Entropy (MDPI) Member of the IPAN Laboratory, University of Ioannina Active contributor to IEEE, Elsevier, and MDPI journals He has supervised several graduate students and is involved in funded research projects such as Palimpsest and Homore , focusing on smart systems for cultural interaction and elderly monitoring. His advising contributions are evident in co-authored papers with students like Evanthia Tripoliti and Aristeidis Mastoras. He teaches both undergraduate and postgraduate courses, including Compilers I/II and Biomedical Data Analysis . Laboratories and Teams: He is a member of the IPAN lab at the University of Ioannina, which supports interdisciplinary research in informatics and biomedical applications. His collaborative network includes researchers from Greece and abroad, particularly in the fields of biomedical signal analysis and entropy-based methods.

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.

Bjorn De Sutterمشاهده پروفایل

استاد

• Software Protection and Security
• Code Generation for Accelerators

Bjorn De Sutter is a Full Professor in the Computer Systems Lab within the Department of Electronics and Information Systems at Ghent University, Belgium. His research spans software protection/security (obfuscation, side channels, diversity) and code generation for accelerators like GPUs. Research interests include: Software protection mechanisms against reverse engineering and attacks Compiler techniques for heterogeneous architectures Multi-variant execution and software diversity Cryptographic key extraction and protection modeling Publications focus on software security (67%), systems (20%), and compilers (13%), with recent work in protection evaluation methodologies, GPU compilation, and diversified execution. Key trends include empirical security validation and adaptive protection techniques. Awards and honors: Barco Award for Graduation Dissertations (1998) HiPEAC Technology Transfer Awards (2013, 2018) ACM SIGSOFT Distinguished Paper & Best Paper Award at ICPC 2017 Advises 4 PhD students and 6 Master's candidates. Secured €2M+ funding from: EU FP7 (ASPIRE coordinator) FWO projects on software protection/compilers VLAIO industrial fellowships Leads the Computer Systems Lab focusing on secure compilation and architecture-aware optimization.