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

Bernhard J. Bergerمشاهده پروفایل

مدرس

• Software Security
• Static Code Analysis
• Machine Learning
• +۴ مورد دیگر

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.

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

دانشیار

• security
• programming languages
• systems
• +۷ مورد دیگر

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

Tom Schrijversمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Type Systems
• +۶ مورد دیگر

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

• Software Engineering
• Formal Methods
• Model-Driven Engineering
• +۴ مورد دیگر

Pierre KELSEN is a Full Professor in the Department of Computer Science at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM). His research focuses on Software Engineering, Formal Methods, Model-Driven Engineering, and Algorithmic Graph Theory. He leads the LASSY Laboratory for Advanced Software Systems, emphasizing model decomposition, regulatory compliance, and formal verification techniques. Education: PhD in Computer Science (1993, University of Illinois at Urbana-Champaign), M.Sc. (1989, UIUC), and Diploma (1986, University of Karlsruhe). Postdoctoral work at the University of British Columbia and Max-Planck-Institut für Informatik. Research Interests: - Development of formal modeling languages (e.g., VCL, F-Alloy) - Model transformation and validation frameworks - Algorithms for compliance and complexity challenges - Visual and modular design methodologies Funding: - ASINE (FNR Pearl, 2013–present): Architecture-based service innovation - MaRCo (FNR Core, 2010–2013): Business-centric regulatory compliance Publications span model-driven engineering, formal methods, and algorithmic foundations, with recent work exploring AI integration in domain modeling and compliance analysis. Labs/Teams: LASSY Laboratory, collaborating on tools like Lightning and Democles for executable modeling frameworks.

• Databases
• Programming Languages
• Compilers
• +۷ مورد دیگر

Amir Shaikhha is an Associate Professor (Reader) in the School of Informatics at the University of Edinburgh. He was previously an Assistant Professor (Lecturer) at the same institution from 2020 to 2024 and a Departmental Lecturer at the University of Oxford until August 2020. He is also a Junior Research Fellow at University College, Oxford. His academic journey began with a Ph.D. from EPFL in 2018, where he was awarded the Google Ph.D. Fellowship in structured data analysis and a Ph.D. thesis distinction. His research centers on the design and implementation of data-analytics systems, drawing upon techniques from databases, programming languages, compilers, and machine learning. He develops high-performance systems such as SDQL.py, StructTensor, and VecHT, focusing on the compilation of data science workloads and optimization of tensor operations. His work bridges the gap between high-level abstractions and efficient execution, particularly in sparse and probabilistic computing domains. The recent publications highlight a strong trend in compiler-driven optimizations for data-intensive applications, including automatic differentiation, loop fusion, probabilistic programming, and domain-specific language (DSL) restaging. His research integrates machine learning for systems decisions and emphasizes reproducibility and performance. He has published consistently in top venues like PLDI, OOPSLA, SIGMOD, and CGO, reflecting sustained impact in programming languages and database systems. Dahl-Nygaard Junior Prize, 2025 Google Research Scholar Award, 2025 Most Influential Paper Award, GPCE 2024 Best Paper Award, GPCE 2017 Most Reproducible Paper Award, SIGMOD 2017 Google Ph.D. Fellowship, 2017 Amir Shaikhha has advised PhD students including Hesam Shahrokhi and has been nominated for Best Supervisor of the Year at the University of Edinburgh. He leads research projects that have received recognition and support through awards and grants, including the Google Research Scholar Award. He actively serves the community through program committees (e.g., GPCE, DBPL, DRAGSTERS), editorial roles, and peer review for premier journals. His leadership in organizing workshops and conferences underscores his role as a central figure in the programming languages and databases research communities. He leads a research group focused on compiler and database systems, with recent open-source releases such as StructTensor and VecHT. His team collaborates with researchers from institutions like MIT, EPFL, and TU Berlin, and he co-chairs workshops like Sparse@PLDI and DRAGSTERS. His lab emphasizes innovation in how data-intensive programs are compiled and executed efficiently across modern hardware.

Wouter Lueksمشاهده پروفایل

استاد

• Applied Cryptography
• Anonymous Communication
• Privacy-Preserving Systems
• +۳ مورد دیگر

Wouter Lueks is a faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. His research focuses on designing secure, practical, and privacy-friendly systems using applied cryptography, anonymous communication, and systems engineering. He leads a lab and actively mentors PhD and PostDoc researchers. Education: PhD in Computer Science (Radboud University, Netherlands), advised by Jaap-Henk Hoepman and Bart Jacobs. Postdoctoral Researcher at EPFL, Switzerland (SPRING Lab). Research Interests: Privacy-preserving systems for humanitarian aid and public health. Cryptography in decentralized networks and anonymous communication. Secure protocols for identity management and voting systems. Key Publications: Recent work includes privacy-preserving digital wallets for aid distribution (IEEE S&P 2025), biometric deduplication systems (IEEE S&P 2024), and decentralized proximity tracing protocols (Commun. ACM 2022). His research emphasizes practical applications of zero-knowledge proofs and attribute-based credentials. Awards: Distinguished Paper Award at IEEE S&P 2023. Runner-up Casper Bowden PET Award 2021 and CNIL-Inria Privacy Award 2021. Advising & Grants: Supervises PhD/PostDoc researchers and collaborates on projects funded by EU and industry grants. Active in open-source contributions, including the zksk library and Lightnion anonymous communication tool. Labs/Teams: Principal investigator at CISPA, collaborates with the SPRING Lab (EPFL) and leads interdisciplinary teams in privacy-enhancing technologies.

• Software Engineering
• Video Game Development
• Artificial Intelligence for Software Engineering (AI4SE)
• +۴ مورد دیگر

Cristiano Politowski is an Assistant Professor in the Department of Computer Science at Ontario Tech University’s Faculty of Science. His research focuses on applying software engineering principles to video game development, with particular emphasis on software testing, artificial intelligence for software engineering (AI4SE), deep reinforcement learning, and empirical software engineering. Education includes a PhD in Computer Science and Software Engineering from Concordia University (2022), supervised by Professors Yann-Gaël Guéhéneuc and Fabio Petrillo. Prior to his current role, he held postdoctoral positions at Université de Montréal and École de Technologie Supérieure in Montréal, Canada. Research interests span game engine architecture analysis, automated testing methodologies for games, and bridging gaps between academic theory and industry practices in software engineering. His work often involves empirical studies on software quality, framework impacts, and event-driven systems. Publications reflect a focus on game development challenges, including studies on API compatibility, subsystem coupling visualization, and AI-driven game balance assessment. He actively contributes to the understanding of software processes in the video game industry through surveys and dataset curation initiatives like PlayMyData.

Julian Shunمشاهده پروفایل

دانشیار

• Parallel Computing
• High-Performance Computing
• Graph Analytics
• +۷ مورد دیگر

Julian Shun is an Associate Professor at the Massachusetts Institute of Technology (MIT) in the Department of Electrical Engineering and Computer Science (EECS) and a principal investigator in the Computer Science and Artificial Intelligence Laboratory (CSAIL). Previously, he was a Miller Research Fellow at UC Berkeley and earned his Ph.D. from Carnegie Mellon University under Guy Blelloch. His research focuses on parallel and high-performance computing, with emphasis on graph analytics, spatial/graph clustering, and dynamic algorithms. He designs algorithms with theoretical guarantees and empirical efficiency, along with high-level programming frameworks to simplify parallel code development. His work spans cache-oblivious, external-memory, and streaming graph algorithms, addressing scalability and performance across diverse computational architectures. Julien's recent publications highlight advancements in parallel graph traversal, dynamic connectivity, and approximation algorithms for centrality metrics. His research also explores domain-specific languages like GraphIt for graph analytics and frameworks such as Julienne for work-efficient bucketing. Scientific Awards: Miller Research Fellow at UC Berkeley He has taught graduate-level courses at MIT, including 6.506 (Algorithm Engineering) and 6.886 (Graph Analytics), emphasizing theoretical foundations, experimental analysis, and open-ended research projects.

Saman Amarasingheمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Domain-Specific Languages
• +۷ مورد دیگر

Professor Saman Amarasinghe is a full Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), and Principal Investigator at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Commit compiler research group, which focuses on programming languages and compilers that maximize application performance on modern computing platforms. His work spans multiple academic departments and research centers, with strong affiliations to both MIT's School of Engineering and CSAIL. Professor Amarasinghe's research interests center around high-performance domain-specific languages and compiler technology . His work combines language design with sophisticated compilation techniques to deliver unprecedented performance for targeted application domains. His research spans multiple areas including image processing (Halide), sparse tensor algebra (TACO), graph analytics (GraphIt), stream computations (StreamIt), and bioinformatics (Seq). A significant thread throughout his work is the application of machine learning for compiler optimizations, from Meta optimization in 2003 to the OpenTuner autotuner framework. Analysis of Professor Amarasinghe's recent publications reveals a strong focus on sparse computing , compiler vectorization , and domain-specific language implementation . His work consistently bridges theoretical compiler concepts with practical performance gains across diverse application domains. The progression from earlier work on StreamIt and Halide to more recent projects like GraphIt and TACO shows an evolution toward more specialized, high-performance DSLs targeting specific computational patterns. His 2020-2025 publications particularly emphasize sparse tensor operations, GPU acceleration, and machine learning integration with compiler technology. ACM Fellow (2019) Professor Amarasinghe has made significant contributions to academic entrepreneurship and student development. He founded Determina, Inc. (acquired by VMware) based on security research from his MIT lab and co-founded Lanka Internet Services, Ltd., Sri Lanka's first ISP. As faculty director of MIT Global Startup Labs, his programs across 17 countries have helped create over 20 successful startups. His teaching includes the popular Performance Engineering of Software Systems (6.172) course with Professor Charles Leiserson, as well as innovative project-based courses like the Open Source Software Project Lab and Bring Your Own Software Project Lab. His educational approach emphasizes hands-on experience with compiler and language design concepts. Professor Amarasinghe leads the Commit compiler research group at MIT CSAIL, which has produced numerous influential domain-specific languages and compilers including Halide, TACO, Simit, StreamIt, and GraphIt. The lab maintains strong industry connections through projects like OpenTuner and Determina, and collaborates with researchers worldwide on compiler technology. The group's work spans both theoretical compiler research and practical implementation, with a consistent focus on bridging the performance gap between high-level programming abstractions and hardware capabilities.

Robert Bruce Findlerمشاهده پروفایل

استاد

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

Robert Bruce Findler is a Professor of Computer Science at Northwestern University, specializing in programming languages and software engineering. He serves as a core developer of the Racket programming language and has contributed extensively to language design, macro systems, and gradual typing. Affiliation: Department of Electrical Engineering and Computer Science, McCormick School of Engineering Research Interests: Programming Languages (PL), Domain-Specific Languages (DSLs), Macro Systems, Gradual Typing, Contracts His work spans both theoretical and practical domains, including the development of Racket's Redex framework for semantics engineering and innovative approaches to contract systems in gradual typing. He has been actively involved in the PL community through committee memberships and program organization. Recent research focuses on macro systems (Rhombus), contract optimization (Collapsible Contracts), and language interoperability (The Functional, the Imperative, and the Sudoku). His GitHub contributions reflect ongoing development in Racket and related tools. Key Collaborations: Racket development ecosystem, PLDI/POPL/ICFP/SPLASH conferences Committee Roles: ICFP Programme Committee, REBLS Program Committee, POPLmark Retrospective Panelist

Marcus Gerholdمشاهده پروفایل

استادیار

• Model-Based Testing
• Software Reliability
• Critical Infrastructures
• +۷ مورد دیگر

Marcus Gerhold is an Assistant Professor in the Formal Methods and Tools group at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science. His research focuses on model-based testing for software reliability in critical infrastructures, particularly railway systems, alongside significant contributions to game design and programming language analysis. His educational background includes: PhD in Computer Science from University of Twente (2018): Choice and Chance: Model-based Testing of Stochastic Behaviour MSc in Mathematics from Friedrich Schiller Universität Jena (2013): Embeddings of Weighted Morrey Spaces BSc in Mathematics from Friedrich Schiller Universität Jena (2011): Entropy-, Approximation- and Kolmogorov Numbers on Quasi-Banach Spaces Gerhold's research integrates theoretical model-based testing with practical critical infrastructure applications . His work on railway conformance testing addresses EULYNX controller validation, while his game design research explores affective mirroring in NPCs and procedural dungeon generation. The code modernity analysis stream leverages static analysis to quantify legacy code evolution across languages like Python and PHP, revealing version identification challenges through deep learning. Publication trends show consistent focus on model-based testing methodologies (40%), railway safety applications (25%), and innovative game design/code analysis (35%). Recent work increasingly incorporates AI/ML techniques for UML assessment and Python version identification, while maintaining rigorous formal methods foundations. He actively mentors 63 students across all academic levels and contributes to major research initiatives: STORM_SAFE (ERDF, 2024): Daily Supervisor for WP1/WP2 on software reliability for critical infrastructures ZORRO (KIC grant, 2023): Daily Supervisor for WP4 on zero downtime in cyber-physical systems MISSION (MSCA RISE, 2021-2025): Interim coordinator (early 2024) for space systems modeling As part of the Formal Methods and Tools research group, Gerhold participates in European collaborations while serving on SAC-SVT 2024 and FormaliSE 2023 program committees.

• Software Evolution
• Software Libraries
• APIs
• +۵ مورد دیگر

Thomas Degueule is a CNRS researcher in the Software Engineering group at LaBRI (Bordeaux, France). His research focuses on software evolution , modularity , and comprehension , with a particular emphasis on software libraries , APIs , software ecosystems , and domain-specific languages (DSLs) . Prior to his current role, he worked as a postdoctoral researcher at CWI (Amsterdam) and earned his PhD at IRISA (Rennes, France). Research Themes : Software evolution, API analysis, dependency management, empirical software engineering, DSL engineering Projects : ANR JCJC ALIEN (PI), H2020 CROSSMINER (WP leader), ALE (associate member), LEOC Clarity (member), ANR INS GEMOC (member), ITEA2 MERgE (member) Software Tools : Roseau, Maracas, BreakBot, Melange, Eclipse GEMOC Studio, K3, Alex, Scava His recent publications highlight trends in API breaking changes , dependency evolution , DSL interoperability , and automated software analysis (see articles list for details). He also contributes to software education through tools like MOON and Immediate Feedback for Jupyter Notebooks. Thomas has supervised PhD students including Gustave Monce (University of Bordeaux), Lina Ochoa (now assistant professor at Eindhoven University), Corentin Latappy (post-doc at University of Bordeaux), and Christophe Casseau (lecturer at University of Bordeaux). He actively participates in academic service, serving on program committees for conferences such as ICSE , ASE , ICSME , ISSTA , and SLE , and organizing workshops like SLEBoK and MLE 2021 .

• GPU Computing
• Parallel Computing
• Domain-Specific Languages
• +۵ مورد دیگر

Prof. Dr.-Ing. Richard Membarth is a Research Professor for System-on-a-Chip and AI at the Edge Computing at Technische Hochschule Ingolstadt (THI). He is affiliated with the Hardware-Software Co-Design group and holds a secondary position at the German Research Center for Artificial Intelligence (DFKI) Saarbrücken. Co-creator of DSL frameworks like AnyDSL and Hipacc Key contributor to MetaDL (AI metaprogramming) and PRIME (predictive rendering) His research bridges GPU computing , domain-specific languages , and compiler technology , with recent work on Vulkan SPIR-V compilation and device-driven SpMV algorithms . Notable awards include the HiPEAC Paper Award (2018) and multiple Best Paper Awards for his compiler frameworks.

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.

• Software Engineering
• Model Driven Engineering
• Software Product Lines
• +۷ مورد دیگر

Jean-Marc Jezequel is a Professor of Software Engineering at University of Rennes , affiliated with CNRS , Inria , IRISA , and Institut Universitaire de France (IUF) . His research focuses on Model-Driven Engineering , Software Product Lines , Dynamic Adaptation , and Executable Meta-languages . Key Contributions : Pioneering work in aspect-oriented and model-driven approaches for software evolution Foundational research on model transformations (e.g., UMLAUT framework) Advances in testing and validation of distributed systems Research Trends from his recent publications include: Intelligent modeling assistance integrating machine learning Contextual variability modeling for complex systems Runtime model execution for self-adaptive systems Formal methods and constraint resolution for UML validation Collaborations include researchers from Luxembourg, Montreal, Colorado State University, and INRIA.