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

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.

Peter Sewellمشاهده پروفایل

استاد

• Concurrency
• Programming Languages
• Formal Methods
• +۵ مورد دیگر

Peter Sewell is Professor of Computer Science at the University of Cambridge Computer Laboratory, where he builds rigorous foundations for real-world computer systems to enhance robustness, security, and formal verification of hardware-software interactions. His educational background includes undergraduate studies at the University of Cambridge and University of Oxford, followed by a PhD from the University of Edinburgh in 1995 under Robin Milner's supervision. Professor Sewell's research focuses on concurrency models (x86, ARM, Power, C/C++11), verified compilation, formal semantics for C/linking/filesystems/TLS, and applied semantics tools. He pioneers executable ISA specifications through projects like Sail and Cerberus, addressing relaxed-memory concurrency and capability-based security architectures. His 2020-2026 publications reveal a clear trajectory toward formal verification of hardware security properties, with increasing emphasis on capability systems (Arm Morello, CHERI) and real-world applicability of concurrency models across ARM, RISC-V, and MIPS architectures. Scientific recognition: Royal Society University Research Fellowship (1999-2007) He leads major research initiatives in systems security formalization, supported by Cambridge positions and collaborative projects with industry partners. His work bridges theoretical formal methods and practical systems engineering through executable semantics frameworks. As a core member of Cambridge's Systems Research Group, he directs projects including Sail (ISA semantics), Cerberus (C semantics), and verification frameworks for capability architectures, fostering interdisciplinary collaboration across hardware and software security domains.

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

استادیار

• Formal Verification
• Programming Languages
• Systems Programming
• +۳ مورد دیگر

Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.

Raffi Khatchadourianمشاهده پروفایل

دانشیار

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

Raffi Khatchadourian is an Associate Professor in the Department of Computer Science at Hunter College and the Graduate Center of the City University of New York (CUNY). His research focuses on techniques for automated software evolution, particularly automated refactoring and source code recommendation systems, with the goal of easing the burden associated with evolving large and complex software through automated tools. He also conducts research on the automated analysis of Object-Oriented programs. Ph.D., Computer Science & Engineering, Ohio State University (2011) MS, Computer Science & Engineering, Ohio State University (2010) BS, Computer Science, Monmouth University (2004) Khatchadourian's research spans multiple areas of software engineering and programming languages, with particular emphasis on automated software evolution techniques. His work addresses critical challenges in refactoring legacy systems to modern language constructs, optimizing parallel processing in Java 8 streams, and addressing technical debt in machine learning systems. His recent research has expanded into deep learning program transformation, where he develops techniques to convert imperative deep learning code to more efficient graph execution models while ensuring safety. His approach combines static analysis, program transformation, and empirical validation to create practical tools that developers can integrate into their workflows. Analysis of Khatchadourian's recent publications reveals a strong focus on bridging the gap between theoretical program analysis and practical software engineering challenges. His work increasingly intersects with machine learning systems, examining both how to improve ML code through refactoring and how to ensure safety in deep learning frameworks. The research demonstrates consistent evolution from foundational work on Java language features toward more complex systems involving concurrency, deep learning, and automated program transformation. Distinguished Paper Award at SCAM '18 for work on Java 8 stream optimization EAPLS Best Paper Award at FASE '20 for study on Java 8 stream usage EAPLS Distinguished Paper Award at FASE '25 for Deep Learning refactoring work Best Paper Award nominee at IJCAI '24 for AI safety framework Khatchadourian actively mentors graduate and undergraduate students, with several advisees going on to successful academic and industry positions. His former Ph.D. student Tatiana Castro Vélez accepted a tenure-track Assistant Professor position at the University of Puerto Rico. He has supervised numerous master's theses and undergraduate research projects, often resulting in co-authored publications at top software engineering venues. His research has been supported by various grants, though specific funding details are not prominently featured in the available information. Through his work on tools like Fraglight for aspect-oriented programming and Hybridize Functions for deep learning refactoring, Khatchadourian has established a research group focused on practical program analysis and transformation. His lab develops Eclipse plugins and other IDE-integrated tools that help developers with automated refactoring, bug detection, and code optimization. The group maintains active collaborations with researchers at other institutions and contributes to open-source projects on GitHub.

• Databases
• Data Management
• Provenance Analysis
• +۶ مورد دیگر

Val Tannen is a Professor at the University of Pennsylvania, specializing in database systems, provenance analysis, and programming languages. His research focuses on data management, query languages, and systems like DBSP and ORCHESTRA. Collaborations include work with co-authors such as Zachary Ives, Susan Davidson, and Todd Green. Key research interests include provenance for databases, incremental view maintenance, and data integration. His work bridges theoretical foundations and practical applications in systems like DBSP for stream processing and ORCHESTRA for collaborative data sharing. Publications span provenance frameworks, query optimization, and distributed systems. While no awards are explicitly listed, his contributions to database theory and systems are widely recognized.

Giles Regerمشاهده پروفایل

مدرس ارشد

• Automated Theorem Proving
• Runtime Verification
• Program Verification
• +۷ مورد دیگر

Giles Reger is a Senior Lecturer in the Formal Methods Group of the School of Computer Science at the University of Manchester. He completed his BA in Computer Science at the University of Cambridge in 2009, followed by an MSc in Advanced Computer Science at the University of Manchester in 2010 (awarded Highest Achiever of the Year), and earned his PhD from the University of Manchester in 2014 with a thesis titled "Automata based monitoring and mining of execution traces". His research spans several key areas within computer science: Automated Theorem Proving (first-order) Saturation-based techniques Reasoning with theories and quantifiers Finite Model finding Collaborative and Concurrent proof attempts Runtime Monitoring/Verification Temporal specification languages Specification Mining/Inference Dr. Reger leads multiple EPSRC-funded research projects including SCorCH (Secure Code for Capability Hardware), CAPS (Collaborative Architectures for Proof Search), and QuTie (reasoning with Quantifiers and Theories). His work on the Vampire theorem prover and MarQ monitoring tool demonstrates his bridge between theoretical computer science and practical applications. Recent publications show strong focus on runtime verification, theorem proving, and program analysis with applications to security and performance monitoring. Notable awards: Highest Achiever of the Year Award for MSc studies Dr. Reger collaborates extensively with institutions including the University of Oxford, Arm, Amazon Web Services, and CERN (CMS Experiment). As Manchester lead on the SCorCH project, he develops formal analysis tools for security-aware hardware chips. His work on the VyPR framework enables developers to analyze Python program performance through temporal specification languages and monitoring algorithms.

• Artificial Intelligence
• Medical Informatics
• Software Engineering
• +۴ مورد دیگر

Dr. rer. nat. Joscha Grüger is a researcher at the Experience-based Learning Systems department of the University of Trier . His work bridges artificial intelligence, medical informatics, and software engineering, focusing on AI-driven solutions for healthcare and data-intensive applications. Current research projects include: KI-AIM : AI-based anonymization in medicine KIAFlex : Interactive AI assistance for predictive and flexible control in discharge management DaTreFo : Encrypted data stewardship for medical research Pre-OnkoCase : Case-oriented decision support for skin cancer treatment His publications highlight expertise in probabilistic programming, IoT-enhanced event logs, and clinical decision support systems. Collaborations span international conferences like Petri Nets 2025, ICCBR, and RCIS. Contact: Joscha.Grueger@dfki.de .

Claire Le Gouesمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Defect Repair
• +۵ مورد دیگر

Claire Le Goues is a Professor of Computer Science at Carnegie Mellon University, primarily affiliated with the Software and Societal Systems Department (S3D) within the School of Computer Science (SCS). She serves as the Associate Department Head for Faculty within S3D and leads the squaresLab research group. Le Goues also co-directs the REUSE@CMU summer program and teaches software engineering and program analysis at undergraduate, master's, and PhD levels. Her research spans software engineering and programming languages, with a particular focus on how to construct, maintain, evolve, improve/debug, and assure high-quality software systems. Le Goues has made significant contributions to automated program repair, program analysis, and defect detection. Her work often bridges theoretical foundations with practical applications, addressing real-world challenges in software development and maintenance. Le Goues' recent publications demonstrate a clear trend toward integrating large language models and generative AI with traditional software engineering techniques. Her research examines how these technologies can enhance program repair (BatFix, AdverIntent-Agent), vulnerability detection (Interpretable Vulnerability Detection Reports), and testing (LWDIFF for WebAssembly). This represents an evolution from her earlier foundational work in program repair (GenProg) toward leveraging contemporary AI advancements. She has mentored numerous students through her squaresLab research group and has been instrumental in developing educational programs that prepare the next generation of software engineers. Le Goues is also known for her advocacy for double-blind review processes in academic conferences, having implemented this approach when co-chairing the Symposium for Search-Based Software Engineering in 2014.

Brigitte Pientkaمشاهده پروفایل

استاد

• Programming Languages
• Verification
• Type Theory
• +۶ مورد دیگر

Brigitte Pientka is a Professor at McGill University's School of Computer Science , where she leads the Computation and Logic group . She earned her PhD from Carnegie Mellon University in 2003 and previously studied at the University of Edinburgh and Technical University of Darmstadt. Education PhD in Computer Science, Carnegie Mellon University (2003) University of Edinburgh Technical University of Darmstadt Research Interests Her work focuses on the theoretical and practical foundations for building reliable software systems, combining logic, type theory, and verification with system-building. Key areas include: Type Theory and Dependent Types Logical Frameworks and Mechanized Metatheory Session-Typed Concurrency and Linear Logic Metaprogramming and Contextual Type Systems Theorem Proving and Formal Verification Functional Programming and Language-Based Security Professional Roles She has served as: PC Chair for ICFP'24 and CPP'24 General Chair for POPL'20 Executive Editor of Logical Methods in Computer Science Steering Committee Member for LICS, POPL, and ESOP Scientific Awards Dr. Pientka has received: Test of Time Award at PPDP'18 Humboldt Fellowship for research at MPI-SWS, Germany Labs & Teams She actively develops the Beluga programming language , a tool for mechanizing meta-theory proofs and type-driven program manipulation.

• Logic in Computer Science
• Coalgebras
• Modal Logics
• +۷ مورد دیگر

Corina Cirstea is a Professor in the School of Electronics and Computer Science at the University of Southampton, where she has been a faculty member since 2003. She holds a DPhil in Computation from the University of Oxford and previously served as a Junior Research Fellow at St. John's College, Oxford. She is the Programme Leader for the BEng/MEng in Software Engineering and teaches core modules including Algorithmics, Theory of Computing, and Automated Software Verification. Education: DPhil in Computation, University of Oxford (2000) Junior Research Fellowship, St. John's College, Oxford (1999–2003) Her research focuses on logic and models of computation, particularly coalgebras and their applications in automated verification and synthesis. She explores coalgebraic temporal logics, trace semantics, and formal modeling of real-time and resource-aware systems, primarily using Event-B. Her work bridges theoretical foundations with practical system verification, especially in safety-critical domains. The analysis of her recent publications reveals a strong trend in formal methods, with consistent contributions to real-time system modeling, refinement techniques, and coalgebraic semantics. Her work integrates theoretical depth with engineering applications, particularly in automated verification and system design. Scientific Service and Recognition: Member of the editorial board, Compositionality journal Member of IFIP Working Group 1.3 Member of CALCO Steering Committee Member of CMCS Steering Committee Program Committee member for SEFM 2021, MFPS 2021, HIGHLIGHTS 2021, ICALP 2021, MFCS 2021, ACT 2020, ICE 2020, CMCS 2020, FOSSACS 2020 She advises PhD students including Chenyang Zhu and Eman Alkhammash, and has been involved in multiple research grants focused on formal verification, real-time systems, and software engineering. She collaborates extensively with researchers such as Michael Butler and Ichiro Hasuo. Her work contributes to both foundational theory and practical tooling in formal methods. She is associated with research groups and initiatives in formal methods and theoretical computer science at the University of Southampton, particularly within the broader context of software engineering and system verification.

• Database Systems
• Distributed Data Management
• Concurrency Control
• +۵ مورد دیگر

Alan D. Fekete is a Professor at the University of Sydney's Department of Computer Science, specializing in database systems, distributed data management, and consistency models. His work spans transaction processing, cloud computing, and query optimization, with recent focus on enhancing database concurrency and serializable execution. Key Research Areas: Database Concurrency & Transaction Isolation Multicore Scalability & Distributed Systems Cloud Data Consistency & Replication Query Optimization & NoSQL Performance Recent publications (2023-2025) explore transactional frameworks for analytical interfaces, DB-OS co-design for data ingestion, and mixed isolation levels for serializable execution. Earlier works (2018-2014) address scalable lock managers, coordination avoidance in databases, and consistency properties in cloud storage. He has contributed to educational initiatives, including a data-centric computing curriculum (2021) and teaching threading concepts (2008). Collaborations include co-authors like Nancy Lynch, Uwe Röhm, and Joseph Hellerstein.

Julia Lawallمشاهده پروفایل

پژوهشگر

• Operating Systems
• Domain-Specific Languages
• Program Transformation
• +۴ مورد دیگر

Julia Lawall is a Senior Research Scientist (Directrice de Recherche) at Inria-Paris, where she leads research in the Whisper group. She has made significant contributions to the fields of programming languages, operating systems, and software engineering, with a particular focus on program transformation and Linux kernel development. Her work bridges theoretical computer science with practical software engineering challenges. Dr. Lawall's research primarily centers on the design and implementation of domain-specific languages for operating system problems, program transformation techniques, and automated software evolution. Her most notable contribution is the Coccinelle framework, which has been instrumental in automating the evolution of Linux device drivers for over a decade. Her work spans from theoretical foundations in optimal reduction of the lambda calculus to practical tools that address real-world software maintenance challenges in large-scale systems like the Linux kernel. Her publication record demonstrates consistent contributions across multiple domains, with recent work focusing on Android API evolution, Linux kernel bug detection, and program transformation techniques. The trajectory of her research shows a progression from theoretical programming language concepts to increasingly practical applications in system software maintenance and evolution. EuroSys Test of time award for 'Documenting and Automating Collateral Evolutions in Linux Device Drivers' at EuroSys 2008 Best paper award for 'Diagnosys: Automatic Generation of a Debugging Interface to the Linux kernel' at ASE 2012 Most Influential ICFP Paper Award for foundational work on lambda calculus Best Reviewer at GPCE 2020 and Distinguished Reviewer at ASE 2020 Dr. Lawall has been actively involved in the academic community, serving as program co-chair for numerous prestigious conferences including ASE 2019, FSE 2026, and EuroSys 2025. She has also contributed to community initiatives as the Linux kernel coordinator for Outreachy (2015-2018) and as a member of the advisory board for Software Heritage. Her leadership extends to editorial roles, including associate editor for Higher-Order and Symbolic Computation and membership on the editorial board of Science of Computer Programming. She leads the Whisper research group at Inria-Paris, which focuses on program transformation techniques and their applications to system software. The group has developed several influential tools including Coccinelle, Coccinelle4J, LiLiput, Prequel, and JMake, which have had substantial impact on both academic research and industrial practice in software maintenance and evolution.

• High-Performance Computing
• Parallel Programming
• Computer Architecture
• +۳ مورد دیگر

Prof. Dr. rer. nat. Matthias S. Müller is a Universitätsprofessor and Director of the IT Center at RWTH Aachen University. His research focuses on High-Performance Computing (HPC), parallel programming models, correctness verification, energy-aware computing, and tools for distributed systems. He leads the High-Performance Computing group, contributing to advancements in HPC resource management, runtime systems, and sustainable computing practices. Key areas of expertise include MPI and OpenMP correctness checking, static and dynamic analysis techniques, performance optimization for heterogeneous architectures, and energy footprint modeling. Müller has extensively collaborated on projects like MUST (MPI correctness tool), OMPT tools, and frameworks for analyzing hybrid parallel applications. His work bridges theoretical computer science with practical implementation challenges in large-scale computing environments. Notable contributions include developing methods for data race detection in Remote Memory Access (RMA) programs, latency-aware power management models, and educational frameworks for HPC lab courses. His research often emphasizes tool development, runtime systems, and interdisciplinary applications of HPC across engineering domains. Müller's lab is part of RWTH Aachen's IT Center, which provides infrastructure and expertise for computational research. He actively publishes in top-tier conferences and journals, addressing challenges in parallel programming, energy efficiency, and distributed computing systems.

Timo Hönigمشاهده پروفایل

استاد

• Operating Systems
• System Software
• Energy-Aware Computing Systems
• +۳ مورد دیگر

Prof. Timo Hönig is a Professor leading the Bochum Operating Systems and System Software (BOSS) Research Group at Ruhr-Universität Bochum (RUB). Previously, he served as an Assistant Professor at Friedrich-Alexander-University Erlangen-Nürnberg (FAU), where he was part of Department of Computer Science 4. His research focuses on Energy-Aware Computing Systems, Operating Systems, and System Software design with applications in embedded and real-time systems. Key research projects include the DFG Collaborative Research Center/TR 89 (Invasive Computing) and the DFG SPP 1914 (Latency- and Resilience-Aware Networking). He has received notable awards such as the SOSP SRC Gold Medal (2019) and the ISORC Best Paper Award (2017). He actively contributes to conferences like ACM EuroSys and USENIX ATC, and has led initiatives like the Albatross runtime system for energy-efficient HPC clusters. Teaching includes courses on Energy-Aware Computing and Operating Systems Technology. His work bridges theoretical system software design with practical applications in energy efficiency and heterogeneous architectures. The BOSS group explores future system software challenges for many-core and NVM-based systems.

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

استادیار

• Usability of programming languages
• User-centered programming language design
• Type systems for safety
• +۶ مورد دیگر

Michael Coblenz is an Assistant Professor in the Computer Science Department at University of California, San Diego. His research focuses on integrating user-centered design into programming language development, creating safer languages for blockchain and scientific computing. He completed his Ph.D. at Carnegie Mellon University under Jonathan Aldrich and Brad A. Myers, followed by a Basili postdoctoral fellowship at University of Maryland. Specializes in usability of programming languages Created Obsidian language for safer smart contracts Developed PLIERS methodology for iterative language design Active in Rust usability and REST API quality research His work bridges programming languages and human-computer interaction, with recent projects including Kale (safer spreadsheets) and climate change-focused programming tools. He has served on program committees for SPLASH, VL/HCC, and HATRA conferences. 2025: Graduate Consortium Co-chair at VL/HCC 2024: HATRA Organizing Chair 2023: Doctoral Symposium Chair at SPLASH