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

Dongyoon Leeمشاهده پروفایل

استادیار

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

Dongyoon Lee is an Assistant Professor in the Department of Computer Science at Stony Brook University's College of Engineering and Applied Sciences. His research focuses on software engineering challenges in programming languages and security, with emphasis on regular expression analysis and empirical studies. His research interests include: Software reliability through regex generalizability testing Developer decision-making in security-critical contexts Empirical measurement of programming language features across ecosystems Security implications of common coding patterns His publication trends reveal strong focus on practical security vulnerabilities in developer tools, particularly analyzing regular expression implementations across multiple programming languages. The work combines empirical measurement with human factors analysis to identify systemic risks. Lee actively contributes to the software engineering community through leadership roles in major conferences: LCTES 2025: Program Committee & Steering Committee LCTES 2023: Program Chair & Session Chair CGO 2022: Author of HECATE compiler optimization work ASE 2019: Two regex-related research papers His advising and community engagement is demonstrated through consistent program committee service since 2016 across PLDI, LCTES, CC, CGO, and ASE conferences. He has chaired sessions on storage systems, scheduling, and techniques for specific domains, showing breadth in systems software research.

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

استاد

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

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

Jeronimo Castrillonمشاهده پروفایل

استاد

• Compiler Construction
• Embedded Systems
• High-Level Synthesis
• +۲ مورد دیگر

Prof. Jeronimo Castrillon serves as a Professor and holds the Chair for Compiler Construction at Dresden University of Technology. Based at Helmholtzstrasse 18, 3rd floor, Room BAR III68 in Dresden, Germany, his contact details include email jeronimo.castrillon@tu-dresden.de and phone +49 (0)351 463 42716. His research centers on Compiler Construction , focusing on compiler design, optimization techniques, and code generation for resource-constrained systems. This work extends to Embedded Systems where efficient compilation is critical, High-Level Synthesis for hardware design automation, and Computer Architecture through compiler-architecture co-design. His expertise bridges theoretical foundations and practical implementations in programming language ecosystems. As chairholder, he leads academic activities within the Compiler Construction unit, contributing to curriculum development and research supervision in computer engineering disciplines.

Koushik Senمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Formal Methods

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research focuses on developing software tools and methodologies to enhance programmer productivity and software quality, with expertise in Software Engineering, Programming Languages, and Formal Methods. Education: B.Tech from Indian Institute of Technology, Kanpur M.S. and Ph.D. in Computer Science from University of Illinois at Urbana-Champaign Research Focus: Professor Sen pioneers automated testing techniques including concolic testing and DART (Directed Automated Random Testing). His work bridges formal methods with practical software development, emphasizing bug detection, program synthesis, and AI-driven software analysis tools. Recent innovations include machine learning approaches for code recommendation and fuzzing. Publication Trends: His recent publications (2019-2023) demonstrate strong emphasis on fuzzing techniques, program synthesis, and AI/ML applications in software engineering. Notable domains include smart contract security, automated testing, and developer tooling, with frequent collaborations in top-tier conferences. Awards and Honors: NSF CAREER Award (2008) Sloan Foundation Fellowship (2011) IFIP TC2 Manfred Paul Award (2010) Okawa Foundation Research Grant (2015) Multiple ACM SIGSOFT Distinguished Paper Awards UIUC Distinguished Alumni Educator Award (2014) Leadership: Active program committee member for premier conferences (PLDI, ICSE, ISSTA) and keynote speaker. His research is supported by NSF, Okawa Foundation, and Sloan Foundation.

Yue Liمشاهده پروفایل

دانشیار

• Program Analysis
• Programming Languages
• Static Program Analysis
• +۳ مورد دیگر

Yue Li is an Associate Professor at the School of Computer Science, Nanjing University, where they co-run the PASCAL Research Group with Tian Tan. Their work focuses on static program analysis techniques and tools for programming languages, software engineering, security, and hardware verification. PhD in Computer Science from UNSW Sydney (2016) Postdoctoral research at Aarhus University (Denmark) and UNSW Sydney B.Eng and M.Eng from Northwestern Polytechnical University (2010, 2012) Research interests center on Program Analysis and Programming Languages , with a focus on: Pointer analysis for database-backed applications Context sensitivity optimization Reflection analysis in Java/Android Operational semantics for hardware languages Distributed dataflow analysis frameworks Developer-friendly static analysis tools Key publication trends (2016-2025) span static analysis , pointer precision , reflection handling , and tool frameworks across conferences like OOPSLA, PLDI, ICSE, ISSTA, and journals including TOPLAS and IEEE TSE. Notable artifacts include Tai-e and Chianina systems. 2025: ICSE Best Artifact & Distinguished Paper Awards 2024: IEEE TSE Publication on Generic Sensitivity 2023: OOPSLA Distinguished Artifact, SPLASH/ECOOP committees 2021: National Youth Talent Support Program, ZiJin Scholar 2016: ECOOP Distinguished Paper, CGO Best Paper As co-PI of PASCAL Research Group, they lead projects on precision-guided analysis, microservice systems, and cloud-based dataflow frameworks, with teaching awards for SICP and Software Analysis courses.

• Programming Languages
• Software Engineering
• Formal Methods
• +۳ مورد دیگر

L. Thomas van Binsbergen is a Professor in the Department of Computer Science & Computer Engineering at the University of Wisconsin-La Crosse, affiliated with the College of Science & Health. His work focuses on language design, formal methods, and policy-based systems. His research explores Executable formal specifications of programming languages Modular meta-language frameworks (e.g., iCoLa+, eFLINT) Data-dependent grammars for network protocols Purpose-based access control derived from GDPR Functional parsing algorithms (GLL, Happy-GLL) Policy enforcement in distributed systems Recent publications (2020-2025) demonstrate trends in language parametric design, security policy formalization, and exploratory programming environments. Notable collaborations include Damian Frölich, Tim Müller, and Tom M. van Engers. Van Binsbergen earned his PhD from Royal Holloway, University of London (2019) and contributes to conferences like GPCE, SLE, and workshops on programming language theory and data security.

Heiner Giefersمشاهده پروفایل

استاد

• Cloud Computing
• Hardware Acceleration
• Field-Programmable Gate Arrays
• +۷ مورد دیگر

Heiner Giefers is a Professor for Cloud Computing at the Department of Computer Science and Natural Sciences at Southwestphalia University of Applied Sciences since 2018. Prior to this position, he worked as a Research Staff Member at IBM Research - Zürich (2013-2018), focusing on hardware acceleration in cloud environments, implementation of big data algorithms on FPGAs, and development of hardware platforms for approximate and in-memory computing. Dr. Giefers received his doctorate (Dr. rer. nat.) from Universität Paderborn in 2012 with a dissertation titled "Design and Programming of Reconfigurable Mesh based Many-Cores." His academic journey at Universität Paderborn includes serving as an Academic Council Member (Akademischer Rat a.Z.) from 2008-2013 and as a Scientific Staff Member from 2006-2012, where he taught digital technology and computer architecture. Professor Giefers' research focuses on energy-efficient computing, particularly through hardware acceleration using FPGAs for cloud and AI workloads. His work spans cloud computing infrastructure, hardware-software co-design, approximate computing, in-memory computing, and energy-efficient implementations of machine learning algorithms. He has made significant contributions to the field of reconfigurable hardware for high-performance computing applications. His recent publications show a strong trend toward applying hardware acceleration techniques to artificial intelligence and machine learning workloads, with a particular focus on energy efficiency. His work bridges the gap between theoretical computer science and practical hardware implementation, often resulting in patented technologies that address real-world computing challenges in cloud environments. Best Paper Award for "Stochastic Matrix-Function Estimators: Scalable Big-Data Kernels with High Performance" (2016) Best Paper Award Nomination for "Energy-Efficient Stochastic Matrix Function Estimator for Graph Analytics on FPGA" (2016) Best Paper Award Nomination for "Analyzing the energy-efficiency of dense linear algebra kernels by power-profiling a hybrid CPU/FPGA system" (2014) Best Paper Award Nomination for "A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier" (2010) Professor Giefers actively supervises numerous Bachelor's and Master's students, with over 50 completed theses covering topics from machine learning and cloud computing to IoT systems and hardware acceleration. He leads the "Energy-efficient AI" project (eki), which aims to increase the energy efficiency of AI systems through approximation techniques for FPGA implementation. Additionally, he collaborates with Prof. Dr. Christian Plessl on the "Digital teaching materials with Jupyter Notebooks" project, creating interactive learning materials that integrate teaching content, program code, and results into a single document. His work extends to practical applications through multiple patents related to FPGA implementations, neural networks, and memory systems, demonstrating his commitment to translating research into real-world solutions.

Ablet Semetمشاهده پروفایل

پژوهشگر

• General Turkology
• Turkish-Chinese and Turkish-Mongolian language contacts
• Linguistic and cultural contacts among the Islamic Turkic peoples
• +۳ مورد دیگر

Dr. Ablet Semet is a researcher at the University of Göttingen specializing in Turkology with expertise in Old Turkic language and cultural contacts among Turkic peoples. His institutional affiliation centers on Central Asian linguistic studies within the university's research framework, focusing on historical interactions between Turkic communities and neighboring civilizations. His research spans General Turkology, Turkish-Chinese and Turkish-Mongolian language contacts, and Islamic Turkic cultural exchanges. Semet's work emphasizes philological analysis of primary sources including the Xuanzang biography, Buddhist texts, and folklore traditions. His methodological approach combines textual criticism with historical linguistics to reconstruct cultural transmission routes across Eurasia. Analysis of Semet's 15 most recent publications reveals consistent focus on Old Turkic manuscripts (particularly Xuanzang-related texts), Buddhist narrative traditions, and comparative studies of measurement systems in Turkic cultures. His research demonstrates interdisciplinary integration of linguistics, religious studies, and historical anthropology with strong emphasis on manuscript evidence from Turfan and Central Asian collections. No scientific awards were documented in the available information. While no student advising or grant information appears in the provided materials, Semet's extensive collaborative work with scholars like Simone-Christiane Raschmann and Jens Wilkens indicates active participation in international research networks focused on Turkic manuscript studies.

• Software Systems
• Programming Languages
• Compiler Construction
• +۵ مورد دیگر

Johannes Waldmann is a Professor and Dean of Computer Science at the Faculty of Computer Science and Media, Leipzig University of Applied Sciences (HTWK Leipzig). He serves as a Member of the Faculty Council and maintains active engagement with students through regular office hours on Wednesdays from 10:00-10:30, requiring advance registration via email or the OPAL learning platform. Professor Waldmann's research spans theoretical computer science with practical applications, focusing on programming paradigms and languages, compiler construction, and computational complexity across different calculation models. His expertise includes declarative programming approaches (functional and constraint programming), automata theory, and formal languages. More recently, he has applied his theoretical knowledge to develop auto-grading systems for e-learning environments, bridging foundational computer science with educational technology. His teaching philosophy emphasizes mathematical foundations in computer science education, as reflected in his reference to G.H. Hardy's "A Mathematician's Apology," where he notes that "pure mathematics is distinctly more useful than applied" because "mathematical technique is taught mainly through pure mathematics." As Dean of Computer Science, he plays a pivotal leadership role in shaping academic programs and ensuring their alignment with both theoretical rigor and industry relevance at HTWK Leipzig.

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.

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

دانشیار

• software reliability
• quality assurance of machine learning systems
• autonomous vehicles
• +۵ مورد دیگر

Jinqiu Yang is an Associate Professor in the Department of Computer Science and Software Engineering at Concordia University in Montreal, Canada. Her research focuses on improving software reliability and quality assurance, particularly in the context of machine learning systems and autonomous vehicles. She leads active research projects in software testing, automated program repair, and mining software repositories, with strong connections to both academic and industrial applications. Her research interests span software reliability, quality assurance of machine learning systems including autonomous vehicles, software testing, automated program repair, text analytics of software artifacts, and mining software repositories. She has developed novel approaches for testing deep learning libraries, evaluating robustness in autonomous driving systems, and tracking the evolution of static code warnings. Her work bridges traditional software engineering with emerging challenges in AI systems, addressing critical issues of reliability and safety in complex software environments. Yang's recent publications (2021-2025) demonstrate a clear trajectory toward AI/ML system reliability, with increasing focus on autonomous vehicles, concept drift detection, and security aspects of large language models. Her work spans both theoretical foundations and practical applications, often involving empirical studies of real-world systems and development of practical tools to address identified challenges. ACM SIGSOFT Distinguished Paper Award Dr. Yang actively mentors graduate students and is currently recruiting Master's and PhD candidates. She has secured significant research funding including NSERC Discovery Grants (2019-2025), Gina Cody Research and Innovation Fellowship (2024-2026), and participation in the NSERC CREATE Program SE4AI (2021-2026). Her research is supported by multiple grants including NOVA – FRQNT-NSERC PROGRAM (2024-2027) and Volt-Age Seed Grant (2024-2026). She leads research in the O-RISA Lab at Concordia University, focusing on reliability and security aspects of intelligent software systems. Her team collaborates with industry partners including IBM, where she previously worked at IBM Watson Research Lab and IBM CAS, bringing practical experience to her academic research.

Jingling Xueمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Program Analysis
• +۵ مورد دیگر

Jingling Xue is a Scientia Professor at the School of Computer Science and Engineering at the University of New South Wales (UNSW) in Sydney, Australia. As an IEEE Fellow of the Computer Society, he leads the Programming Languages and Compilers research group, focusing on practical applications of compiler optimization and program analysis techniques. His work bridges theoretical foundations with real-world software systems, particularly in developing open-source tools for large-scale program analysis. Professor Xue received his B.Eng and M.Eng degrees from Tsinghua University in 1984 and 1987, respectively, followed by a PhD from the University of Edinburgh in 1992. His academic journey has established him as a leading figure in programming languages and compiler technology. Xue's research spans programming languages, compiler technology, and program analysis with emphasis on practical relevance. His current projects include compiler techniques for improving parallelism and locality, pointer/alias analysis for million-line-scale programs, and static/dynamic analysis for detecting bugs and security vulnerabilities in real-world applications like web browsers and Android apps. His group actively develops open-source tools to support scientific replicability and reproducibility in these areas. His recent publications demonstrate a strong focus on applying program analysis techniques to modern challenges including AI compilers, homomorphic encryption, security vulnerability detection, and graph processing systems. The work shows evolution from traditional compiler optimization to addressing emerging domains like privacy-preserving computation and deep learning systems while maintaining rigorous theoretical foundations. Scientific Awards: Best Paper Award at CGO'13 Best Paper Award at CGO'16 Distinguished Paper Award at ECOOP'16 Distinguished Paper Award at ICSE'18 Distinguished Paper Award at ISSTA'19 Distinguished Paper Award at ASE'19 Distinguished Artifact Award at ISSTA'23 Best Artifact Award at FSE'23 Distinguished Paper Award at ASE'23 Test-of-Time Award at CGO'21 Professor Xue has successfully supervised 30 PhD students to completion, many of whom now work as professors or researchers in academia and industry. He has served as Program Chair for major conferences including LCTES'13, CC'18, CGO'20, and General Chair for LCTES'20. His group currently focuses on memory safety in Rust, smart contract analysis, AI compilers, compilation for privacy-preserving computation, and adversarial attacks in deep learning. The Programming Languages and Compilers group maintains strong connections with industry partners, translating theoretical advances into practical tools for real-world software development challenges. Their work on pointer analysis, memory safety, and compiler optimizations continues to influence both academic research and industrial practice.

Sarah Fakhouryمشاهده پروفایل

پژوهشگر

• Formal Methods
• Software Engineering
• AI-Assisted Programming
• +۵ مورد دیگر

Sarah Fakhoury is a Senior Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond. Her work bridges formal methods, empirical software engineering, machine learning, and human-computer interaction to optimize developer cognitive effort in AI-assisted programming tools. Her research focuses on trustworthy AI for code generation , leveraging formal verification to ensure correctness in LLM-generated outputs. Key areas include program comprehension, source code readability, and empirical evaluation of developer-AI interaction. She develops tools like 3DGen for provably correct binary parsers and NL2Fix for natural language-based code repair. Her publications reveal strong trends in formal methods integration with AI (60% of recent work), empirical developer studies (30%), and readability/metrics innovation (10%). Keywords cluster around program verification, LLM evaluation, and cognitive load measurement. ACM/SIGSOFT Distinguished Paper Award (ICPC 2018) Fakhoury actively contributes to the academic community as PC member for ASE, ICSE, and ESEC/FSE. She co-organizes workshops like Muslims in ML at NeurIPS and mentors through SMeW. Her RiSE group collaboration with Shuvendu Lahiri and Madanlal Musuvathi drives Microsoft's trustworthy AI4Code initiatives, focusing on verifiable developer tools.

• Computer Networking
• Software-Defined Networking (SDN)
• Distributed Systems
• +۳ مورد دیگر

Mario Baldi is a researcher affiliated with the Polytechnic University of Turin, Italy , with significant contributions to computer networking , distributed systems , and software-defined networking . Key research themes: network function virtualization , programmable dataplanes , time-driven scheduling , and traffic analysis . Recent work focuses on RDMA-enabled compute offloading (2023) and DNN inference in network data planes (2023). Longstanding expertise in multicast routing , voice/data packet efficiency , and XML-based protocol parsing (2000–2006). Collaboration network includes Yoram Ofek , Fulvio Risso , and Han Hee Song , with 99+ publications spanning 1994–2023.

• Electronic Design Automation (EDA)
• Computer Architecture
• Embedded Systems
• +۵ مورد دیگر

Prof. Wolfgang Ecker is a Professor at the Technical University of Munich (TUM), affiliated with the Chair of Design Automation within the TUM School of Computation, Information and Technology . His research focuses on Electronic Design Automation (EDA), RISC-V processor architectures, and hardware-software co-design. He leads projects advancing EDA tools for embedded systems, neural network acceleration, and formal verification methodologies. Ecker's work bridges machine learning techniques with traditional EDA challenges, addressing topics like energy-efficient AI inference and automated documentation generation. His contributions span compiler optimization, FPGA implementations, and fault analysis in digital systems. Recent research highlights include contributions to the TRISTAN project for RISC-V ecosystem development, model-driven architecture frameworks, and AI-driven timing analysis. He actively collaborates on open-source EDA tools and explores Rust-based embedded systems development. Ecker’s lab emphasizes practical applications in edge computing and automotive microcontroller safety, with a strong emphasis on interdisciplinary collaboration across TUM’s CIT School. His publications (15 most recent listed) reflect a focus on EDA tool innovation, processor design, and leveraging machine learning for hardware optimization. While no specific awards are mentioned, his involvement in ERC-funded projects and leadership in international collaborations underscores his academic impact.