Find Academic Supervisors

• Program Synthesis
• Static Analysis
• Programming Languages
• +2 more

Kangjing Huang is a researcher at Purdue University specializing in programming languages and software engineering. Their work bridges theoretical foundations with practical tool development in program synthesis. Research focuses on program synthesis methodologies , particularly reconciling enumerative and deductive approaches. Key contributions include: Developing library-based synthesis techniques for practical code generation Creating frameworks for efficient search space navigation Integrating formal verification with synthesis pipelines Publication trends show consistent advancement in automated programming systems from 2020-2022, with growing emphasis on real-world applicability through library integration. Awards and teaching activities are not documented in available sources. Huang actively contributes to the programming languages research ecosystem through publications at premier venues including PLDI and SAS, with work centered on making program synthesis more scalable and practical for developer workflows.

Christos KotselidisView profile

Associate Professor

• Virtual Machines
• Compilers
• Hardware/Software Co-design
• +7 more

Christos Kotselidis is an Associate Professor at the University of Manchester's School of Computer Science and serves as Chief Engineer at Pierer Innovation (previously mentioned as KTM Innovation). He leads the TornadoVM project, a groundbreaking Java Virtual Machine for heterogeneous hardware acceleration. His work bridges academia and industry, focusing on hardware/software co-design for virtual machines and embedded systems. His research spans chip design, micro-architecture, compilers, virtual machines, and garbage collection. Dr. Kotselidis has pioneered work in heterogeneous computing, particularly in accelerating Java applications on GPUs, FPGAs, and RISC-V architectures. His team's recent development of GPULlama3.java demonstrates the practical application of his research in bringing LLM inference to pure Java with GPU acceleration. His publications show a consistent focus on bridging hardware capabilities with managed runtime systems. The research trajectory reveals increasing sophistication in handling memory hierarchies, parallelism, and cross-architecture execution. His work has significant implications for high-performance computing, AI acceleration, and sustainable computing practices. Dr. Kotselidis actively contributes to the academic community as a program committee member for conferences like ISMM and as an organizer for workshops including VMIL and MoreVMs. He's also involved in EU-funded projects like AERO and DARE, which focus on European processor initiatives and software ecosystems. As project lead for TornadoVM, he mentors a research team at Manchester including Michalis Papadimitriou, Mary Xekalaki, and Thanos Stratikopoulos. His lab (Beehive Lab) develops open-source tools that are widely used in both academic and industrial settings for heterogeneous computing.

Fabrice RastelloView profile

Researcher

• Automatic Parallelization
• Compiler Back-End Optimization
• Static Single Assignment (SSA)
• +4 more

Fabrice Rastello is a leading researcher at Inria, France, where he serves as the leader of the CORSE (Compiler Optimization and Runtime SystEms) research team. His expertise spans automatic parallelization and compiler back-end optimization, with significant contributions to Static Single Assignment (SSA) form theory and register allocation techniques. Affiliated with University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, he maintains an active research profile with continuous publications in top-tier conferences including PLDI, CGO, and PPoPP. His research interests focus on combining theoretical foundations with practical applications in compiler design. Key areas include automatic parallelization techniques (building on his PhD work on tiling as a loop transformation), compiler back-end optimization, and the emerging field of hybrid compilation that bridges static compilation with runtime techniques. He has made significant contributions to register allocation for JIT compilation in the context of SSA properties, advising three PhD students on related topics. Analysis of his recent publications reveals a strong trend toward data movement optimization, with numerous papers on I/O complexity bounds, cache modeling, and microarchitectural performance analysis. His work spans both theoretical computer science and practical applications, including contributions to healthcare technology during the pandemic with the eSpiro ventilator project. He has also explored intersections between compiler techniques and machine learning, particularly in using ML for performance modeling. Fabrice Rastello serves on program committees for major conferences in the field, including PLDI, CGO, and CC, demonstrating his standing in the research community. His 2022 book 'SSA-based Compiler Design' as editor further establishes his authority in compiler theory and practice. His recent work shows continued innovation in compiler techniques, with publications in 2024 demonstrating ongoing research activity across multiple domains including cache modeling, program analysis, and machine learning applications.

Abhik RoychoudhuryView profile

Professor

• Program Analysis
• Software Testing
• Software Security
• +5 more

Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), where he has been working since 2001. He serves as the Editor-in-Chief of ACM Transactions on Software Engineering and Methodology (TOSEM) and chairs the FSE Steering Committee. Professor Roychoudhury leads the TSUNAMi center, a five-year research effort funded by the National Research Foundation in trust-worthy software, and is the Lead Principal Investigator of the Singapore Cyber-security Consortium. Professor Roychoudhury received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. His academic journey has been primarily at NUS, where he has built a distinguished career in software engineering research. His research focuses on software testing and analysis, software security, and trust-worthy software construction. Professor Roychoudhury's research group has developed scalable techniques for testing, debugging, and repair of programs using systematic semantic analysis. His work on automatic program repair has been particularly influential, contributing to the vision of self-healing software. Current research directions include integrating large language models with traditional program analysis techniques for autonomous software engineering, as exemplified by the AutoCodeRover project. Professor Roychoudhury's recent publications demonstrate a strong focus on automated program repair, with increasing integration of large language models and AI techniques. His work spans both theoretical foundations and practical applications, with numerous contributions to top software engineering conferences. The research shows a clear trajectory toward more autonomous software engineering systems that can understand code intent, generate repairs, and verify their correctness. IEEE TCSE New Directions Award (2022) ICSE 2023 Most Influential Paper Award ACM Distinguished Speaker (2013-2019) Fellow of the ACM Professor Roychoudhury has successfully mentored numerous Ph.D. students who have gone on to academic positions at prestigious institutions worldwide, including University College London, Max-Planck Institute, and University of Melbourne. His research is supported by significant grants, including a five-year program on Automated Program Repair at NUS funded by the National Research Foundation, and collaborations with industry partners through the Singapore Cyber-security Consortium. The TSUNAMi center represents a major research initiative with substantial funding for trust-worthy software research. Professor Roychoudhury leads an active research group focused on software analysis and repair. The group has developed several notable systems including AutoCodeRover, an autonomous software engineer that can resolve GitHub issues with minimal LLM cost. The group collaborates extensively with industry, as evidenced by the recent acquisition of AutoCodeRover by Sonar. Current research directions include next-generation fuzzing of stateful systems and the integration of AI techniques with formal methods for more reliable software.

• Software Engineering
• IT Security
• Cloud Systems Engineering
• +3 more

Diomidis Spinellis is a Professor at the Department of Management Science and Technology, Athens University of Economics and Business. He is a leading researcher in software engineering, IT security, and cloud systems engineering, with over 300 publications and 10,000 citations. He has authored award-winning books including Code Reading , Code Quality: The Open Source Perspective , and Effective Debugging: 66 Specific Ways to Debug Software and Systems (2016). As a Senior Member of ACM and IEEE, he served as Editor-in-Chief of IEEE Software (2015–2018) and contributed to open-source tools like CScout, UMLGraph, and dgsh. Award-winning author in software engineering Developer of critical open-source tools Editorial leadership in IEEE Software Contributor to macOS and BSD Unix His research spans code quality, software evolution, security, and developer productivity. Articles highlight Unix modernization, AI-assisted coding, dependency analysis, and incident management. He has served on the IEEE Computer Society Board of Governors and holds degrees from Imperial College London (MEng, PhD). Scientific contributions include open-source datasets (e.g., VulinOSS, Alexandria3k) and innovative tools for software analysis. His work bridges academic research and industrial practice, with case studies on Eclipse, Android APIs, and ING’s incident management.

Aristides EfthymiouView profile

Assistant Professor

• Microarchitecture of Computer Systems
• Digital Systems Design
• VLSI Circuits
• +2 more

Aristides Efthymiou is an Assistant Professor at the Department of Computer Engineering and Informatics, University of Ioannina. He holds a PhD from the University of Manchester (2002) and has held academic positions at the University of Edinburgh (2004–2011) and research roles at the Institute of Microelectronics, National Center for Scientific Research 'Demokritos,' and Integrated Systems Development SA. His research focuses on microarchitecture, digital systems design, and VLSI circuits. Education: Bachelor's and postgraduate diploma in Computer Science, University of Crete (1993–1995) PhD in Computer Science, University of Manchester (2002) Research interests include approximate computing, visible light communications (VLC), and energy-efficient circuit design. He is a member of the VLSI Systems and Computer Architecture Laboratory (VCAS), contributing to projects like the Artemis Program on supply chain traceability. His work spans over 25 international publications, emphasizing hardware optimization and signal processing in VLC systems. Awards: None explicitly mentioned. Lab and Team: Leads the VCAS lab, collaborating with faculty members like Professors George Tsiatouchas and Chrysovalantis Kavousianos. Supervises doctoral candidates in areas like approximate multipliers and VLC systems.

Alex GroceView profile

Associate Professor

• Software Engineering
• Software Testing
• Mutation Testing
• +7 more

Alex Groce is an Associate Professor at the School of Informatics, Computing, and Cyber Systems (SICCS) at Northern Arizona University. He joined NAU in 2017 after serving as faculty at Oregon State University where he was promoted to Associate Professor in 2015. Previously, he was a core member of NASA's Jet Propulsion Laboratory's Laboratory for Reliable Software and taught software testing at Caltech. Educational background includes: Ph.D. in Computer Science from Carnegie Mellon University (2005) B.S. in Computer Science and Multidisciplinary Studies from North Carolina State University (1999) His research focuses on software engineering with emphasis on testing techniques for complex systems. Primary interests include: Development of testing tools like TSTL (Python testing) DeepState (C/C++ unit testing with symbolic execution) Mutation testing frameworks including universalmutator and MuttFuzz Security/reliability of embedded and systems software Dr. Groce leads significant open-source projects and serves on program committees for top conferences including ISSTA, ICSE, ASE, and FSE.

Cyrille ArthoView profile

Associate Professor

• Software Verification
• Software Engineering
• Concurrent Systems
• +5 more

Cyrille Artho is an Associate Professor at the KTH Royal Institute of Technology's School of Computer Science and Communication. He obtained his Master's and Ph.D. degrees from ETH Zurich, with research focused on finding faults in multi-threaded programs. Before joining KTH in 2016, he held research positions at the National Institute of Informatics in Tokyo and the National Institute of Advanced Industrial Science and Technology (AIST) in Japan. His research interests include: Software verification and software engineering Concurrent and networked systems Model-based testing and runtime verification Fault injection techniques Formal methods for distributed systems His recent publications demonstrate strong focus on model checking, test generation, and verification techniques for concurrent/distributed systems, with applications ranging from IoT protocols to Android devices. Notable trends include the development of specialized testing tools and formal verification approaches. Awards and recognitions: ACM SIGSOFT Distinguished Paper Award (ASE 2015) QRS 2015 best paper award Best tool competition winner at SBST 2015 He leads development of several verification tools including Modbat (model-based tester) and Java PathFinder extensions. He is also involved in the KTH Center for Cyber Defense and Information Security management group.

Manuel SerranoView profile

Research Professor

• Programming Languages
• Web Programming
• JavaScript
• +5 more

Manuel Serrano is a Research Professor at Inria Sophia-Antipolis, France, affiliated with Université Côte d'Azur. He is a leading researcher in programming languages, specializing in web programming, JavaScript compilation, and synchronous reactive systems. His work bridges theoretical computer science with practical applications, particularly in the development of innovative programming languages and tools. Dr. Serrano's research interests focus on programming language design and implementation, with particular emphasis on web technologies. He is the creator of several influential systems including Hop (a language for multitier web programming), HipHop.js (a synchronous reactive language for JavaScript), and Bigloo (an optimizing Scheme compiler). His work addresses fundamental challenges in making web programming more structured, efficient, and reliable, while maintaining the flexibility required by modern web applications. His publication record reveals a consistent focus on improving JavaScript performance through ahead-of-time compilation techniques, exploring novel concurrency models for web applications, and developing practical tools for real-world programming challenges. His recent work shows increasing interest in applying synchronous reactive programming to interactive music systems and IoT applications, demonstrating the versatility of his language design approaches. Dr. Serrano actively contributes to the academic community through service on program committees for major conferences including PLDI, ICFP, ECOOP, and SPLASH. He has served as General Chair for Programming 2018 and Scheme 2001, and is a member of the steering committees for the Scheme and Functional Programming workshop and the Dynamic Language Symposium. He leads the INDES research team at Inria Sophia-Antipolis, which focuses on innovative programming models for distributed and ubiquitous computing. His team has developed several open-source software projects including Hop, HipHop, Bigloo, and related tools that have influenced both academic research and practical web development.

• Dependability and Security
• Software Reliability and Security
• Formal Verification
• +7 more

Panagiotis Katsaros is an Associate Professor at the Department of Informatics, Aristotle University of Thessaloniki. His research spans formal verification, model-based system design, dependability, security, and simulation-based performance analysis. He contributes to rigorous methods for embedded systems, IoT, and fault-tolerant computing. His work focuses on Formal verification and model checking Model-based design for multi-core and embedded systems Dependability and security of distributed systems Probabilistic analysis of security risks He has published extensively on these topics, with recent works addressing reactive streaming software, IoT systems, and cloud elasticity. His research often bridges theoretical rigor with practical applications in real-time and safety-critical domains. Scientific awards include BEST PAPER AWARD at 17th Panhellenic Conference on Informatics (PCI 2013) BEST PAPER AWARD at 15th Panhellenic Conference on Informatics (PCI 2011) He collaborates with international institutions and has supervised students in software verification and distributed systems. His contributions to conferences like ETAPS, DSN, and COMPSAC highlight his expertise in systems analysis and software reliability.

• Software Engineering
• Programming Languages
• Software Verification
• +2 more

Jixiang Shen is affiliated with The University of Sydney , Australia, and contributed to the SOAP 2020 conference track at PLDI 2020. His research focuses on software engineering, particularly in the areas of debugging, program analysis, and automated reasoning for software verification. His participation includes authoring the paper Explaining Bug Provenance with Trace Witnesses , which explores techniques for isolating and explaining software bugs through trace witnesses. This work aligns with broader interests in programming languages and software reliability. No awards, students, or email addresses are explicitly listed in the provided information.

Bernhard ScholzView profile

Professor

• Programming Languages
• Compilers
• Static Analysis
• +4 more

Bernhard Scholz is a Professor at the University of Sydney's School of Computer Science. His research focuses on programming languages, compilers, static analysis, and blockchain technologies, with significant contributions to Datalog optimization and smart contract security. He teaches COMP3109 Programming Languages and Paradigms and leads research in declarative programming frameworks. Scholz's primary research interests include: Development of Soufflé, a Datalog-based program analysis framework Ethereum smart contract security through tools like Ethainter and MadMax Parallel data structures for efficient Datalog evaluation Compiler optimizations for embedded systems and cloud environments His recent publications demonstrate a consistent focus on improving the efficiency and security of declarative programming systems, particularly through innovations in Datalog execution and smart contract analysis. This work bridges theoretical computer science with practical applications in blockchain and distributed systems. Scholz has secured research funding including an ARC Discovery Project on adaptive key-value stores and a Fantom Operations grant for smart contract toolchain development. He collaborates with international researchers on parallel computing and blockchain verification projects.

Cristian CadarView profile

Professor

• Software Engineering
• Testing and Verification
• Computer Systems
• +4 more

Cristian Cadar is Professor of Software Reliability in the Department of Computing at the Faculty of Engineering, Imperial College London. He leads the Software Reliability Group, focusing on automatic techniques for increasing the reliability and security of software systems. His research has significant impact in both academia and industry, particularly through the development of widely-used tools. His educational background includes a PhD in Computer Science from Stanford University, and undergraduate and Master's degrees from the Massachusetts Institute of Technology. Cristian's research primarily focuses on software reliability, security, and verification. His work spans symbolic execution, fuzzing, compiler testing, and automated techniques for finding and fixing software bugs. He has pioneered practical, scalable solutions that address real-world software challenges, with particular emphasis on security-critical applications. His research integrates formal methods with practical engineering approaches to create tools that are both theoretically sound and practically useful. Analysis of his recent publications reveals a strong focus on improving fuzzing techniques, enhancing symbolic execution systems, and developing better methods for compiler and infrastructure testing. His work consistently bridges the gap between theoretical foundations and practical implementation, resulting in tools that have substantial real-world impact. EuroSys Jochen Liedtke Award HVC Award BCS Roger Needham Award ACM SIGOPS Hall of Fame Award ACM CCS Test of Time Award ERC Consolidator Grant EPSRC Early-Career Fellowship Cristian has advised numerous PhD and Master's students, contributing significantly to the next generation of software engineering researchers. His research has been supported by prestigious grants including an ERC Consolidator Grant and an EPSRC Early-Career Fellowship. He has held leadership positions in major conferences, serving as Program Co-Chair for ESEC/FSE 2022 and General Chair for ISSTA 2021, demonstrating his standing in the research community. He leads the Software Reliability Group at Imperial College London, which maintains an active research agenda in software testing and verification. The group's work on KLEE and related tools continues to influence both academic research and industrial practice in software reliability engineering.

Yannis SmaragdakisView profile

Professor

• Programming Languages
• Software Engineering
• Static Program Analysis
• +5 more

Yannis Smaragdakis is a Professor at the Department of Informatics, University of Athens, with a 35%-time appointment and concurrent affiliation at Dedaub (a blockchain security company). His research spans programming languages, software engineering, static analysis, and distributed systems, with a current focus on Ethereum smart contract security and declarative program analysis. Notable contributions: Doop framework for Datalog-based program analysis, Gigahorse decompiler, Elipmoc for Ethereum contracts, and foundational work on points-to analysis Key research themes: Static analysis (soundness, precision, scalability), memory management algorithms (EELRU), declarative languages, and concurrency models Recent work emphasizes security analysis of blockchain programs, earning distinctions like the SIGPLAN Research Highlight (2019) and Distinguished Paper Awards . He has advised numerous Ph.D. students and received funding from the ERC and HFRI .

Saba AlimadadiView profile

Assistant Professor

• Software Engineering
• Program Analysis
• Debugging
• +6 more

Saba Alimadadi is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), Burnaby, BC, Canada. Her office is located in TASC1 9413. She holds active roles across multiple top-tier software engineering conferences including ICSE, ASE, ISSTA, and ECOOP. Her research focuses on software engineering for dynamic languages, specializing in program analysis, debugging, and testing techniques for JavaScript, TypeScript, and Python. She develops semi-automated tools to enhance developer productivity in web engineering contexts, with emphasis on comprehension and performance optimization. Her work bridges theoretical program analysis with practical developer tooling. Alimadadi serves extensively on conference program committees including ICSE (2021-2026), ASE (2019-2025), ISSTA (2018-2025), and ECOOP (2022). She has held organizational roles such as SPLASH/ISSTA 2026 Poster/Demo/SRC Co-Chair, SCAM 2024 Engineering Co-Chair, and ISSTA 2022 Artifact Evaluation Co-Chair. Her service spans journal reviewing for TSE, TOSEM, JSS, IST, and JSME. ICSE: Program Committee (2021-2026), Web Co-Chair (2022) ASE: Program Committee (2019-2025), Proceedings Chair (2022) ISSTA: Program Committee (2018-2025), Artifact Evaluation Co-Chair (2022) SPLASH: Publications Chair (2020-2021) She teaches CMPT 276 (Introduction to Software Engineering) and CMPT 982/479 (Special Topics on Web Engineering) at SFU. Her research group actively recruits graduate students and undergraduate researchers through USRA and work-study programs.