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

David I. Augustمشاهده پروفایل

استاد

• Compiler Design
• Programming Languages
• Memory Safety
• +۴ مورد دیگر

David I. August is a Professor at Princeton University specializing in programming languages and compiler systems. His research bridges theoretical compiler techniques with practical systems implementation, focusing on memory safety, speculative execution, and compiler optimization. His primary research interests include Compiler Design , Rust Programming Language safety mechanisms , and LLVM infrastructure extensions . His work emphasizes practical implementations that enhance both performance and security in modern programming systems. Recent publications demonstrate consistent contributions to memory profiling frameworks (PROMPT), Rust safety enhancements, and speculative dependence analysis. His research shows strong focus on making low-level systems programming safer without sacrificing performance. August serves regularly on program committees for major conferences including PLDI and CGO, indicating his standing in the programming languages research community. He has mentored students in compiler construction and programming language design, with research projects often involving practical implementations integrated into production-quality compiler frameworks.

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.

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

استادیار

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

Shaohua Li is an Assistant Professor at The Chinese University of Hong Kong (CUHK), specializing in the correctness and security of critical software systems with emphasis on compilers. His research spans Software Engineering , Programming Languages , and Security , focusing on innovative compiler testing methodologies. Key areas include leveraging large language models for test generation, optimizing fuzzing techniques through prefix-guided execution, and decoupling sanitization mechanisms to reduce overhead in vulnerability detection. His work addresses fundamental challenges in ensuring reliability of systems programming infrastructure. Recent publications demonstrate a cohesive trajectory toward practical compiler validation: from empirical rustc bug analysis to SAND's low-overhead sanitization framework. The research consistently bridges theoretical formal methods with real-world implementation challenges in security-critical systems, showing particular strength in adapting AI techniques for traditional software testing problems.

Patrick Lamمشاهده پروفایل

دانشیار

• Static Program Analysis
• Verifiable Software Specifications
• Software Engineering
• +۸ مورد دیگر

Patrick Lam is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, with a cross-appointment to the Cheriton School of Computer Science. His research focuses on applications of programming languages and static analysis to software engineering challenges, emphasizing verifiable software specifications and program understanding. Dr. Lam has held significant grants from NSERC and is recognized for his impactful work, including the First Decade High Impact Paper award for his Soot framework. Education: Doctorate in Computer Science, Massachusetts Institute of Technology, 2007 Master's in Computer Science, McGill University, 2000 Bachelor's in Joint Honours Mathematics and Computer Science, McGill University, 1999 Research Interests: His primary areas include static program analysis, verifiable software specifications, and compiler design, with a focus on linking high-level software designs to low-level implementations. He explores techniques like lightweight specifications and domain-specific languages to enhance software reliability and efficiency. Recent work also addresses empirical studies of programming practices and security through modularization. Publications: Dr. Lam's recent publications span advancements in static analysis tools (e.g., WasmWalker for WebAssembly), formal verification of code generated by AI tools like GitHub Copilot, and empirical studies on C++ immutability usage. His work bridges theoretical programming language research with practical software engineering applications, emphasizing tools for developer productivity and code reliability. Awards and Recognition: First Decade High Impact Paper recognition for "Soot – A Java Optimization Framework" (2010) Teaching and Grants: He has taught courses such as CS 447, ECE 453, and ECE 459 on software testing and performance programming. Active in grant-funded research, he secured NSERC Engage Grant (2013) and an ongoing NSERC Discovery Grant (2013–2018). Lam has also advised graduate students and contributed to the Software Engineering Program at Waterloo as its Director (2016–2019). Labs and Teams: His research group explores topics in program analysis and software engineering, with collaborations on projects like abstract debugging tools (GobPie) and static analysis frameworks (Soot). He maintains an open-source repository on GitHub, contributing to educational materials and research tools.

Kinan Dak Albabمشاهده پروفایل

استادیار

• Data Privacy
• Systems Security
• Secure Computation
• +۷ مورد دیگر

Kinan Dak Albab is an Assistant Professor at the Faculty of Computing and Data Sciences (CDS) at Boston University, where he joined in summer 2024. His research spans systems, cryptography, and programming languages, focusing on building practical tools for data privacy and compliance-by-construction. He has developed influential systems such as Sesame, K9db, and DP-PIR, which have been published in top venues like SOSP, OSDI, and USENIX Security. PhD in Computer Science, Brown University MS in Computer Science, Boston University (2020) BS in Computer Science, American University of Beirut (2015) Kinan's research centers on data privacy , secure computation , and systems security . He designs tools that allow developers to build applications that are privacy-compliant by construction. His work leverages systems design, cryptographic protocols, and language-level enforcement to reduce developer burden while ensuring strong privacy guarantees. He is particularly interested in GDPR compliance, private information retrieval, and usability of secure systems. His publications span high-impact areas including end-to-end privacy enforcement (Sesame), database systems with built-in privacy (K9db), and efficient private information retrieval (DP-PIR). These works combine systems performance with strong theoretical foundations, enabling real-world deployment in domains like wage gap analysis and public policy. Presidential Award for Excellence in Teaching, Brown University (2025) Teaching Excellence Award, Boston University (2020) Vivli and Microsoft datatheon Outstanding Graduate Submission (2019) Hariri Institute Graduate Fellow (2017–2020) Mark Sawaya Excellence Award, AUB (2015) 1st Place, ACM Lebanese Collegiate Programming Contest (2015) Kinan has advised and collaborated on real-world secure computation deployments, including a project with the Boston Women's Workforce Council and the Greater Boston Chamber of Commerce to measure wage gaps across over 100 companies. His work contributed to the formation of the startup nthparty and has been cited in the White House’s National Strategy on Privacy-Preserving Data Sharing, the UN Handbook on Privacy-Preserving Computation, and the European Commission’s report on Technological Enablers for Privacy. He is the lead developer of the JIFF framework for secure multi-party computation on the web and has created tools like Carousels for resource estimation in secure programs. He leads the ETOS group and is affiliated with multiparty.org , an initiative focused on advancing privacy-preserving technologies through open-source tools and real-world applications.

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

استاد

• Operating Systems
• Real-Time Systems
• Information Security
• +۳ مورد دیگر

Prof. Dr.-Ing. Robert Baumgartl is a faculty member at the Dresden University of Applied Sciences , affiliated with the Faculty of Computer Science/Mathematics . He teaches courses on Operating Systems , Real-Time Systems , and Information Security , with a focus on practical implementations and system-level programming. Research Interests: Real-time task scheduling and resource management Operating system design and optimization Embedded systems and hardware-software co-design Security protocols for distributed systems Low-level programming with Rust and safety-critical applications Contact: Room Z357, HTW Dresden. Office hours: Thursdays, 10:00-11:00 a.m. (SS 2025). Email: robert.baumgartl@htw-dresden.de .

Sonia Hirtمشاهده پروفایل

استاد

• Urban Planning
• Land Use Regulation
• Sustainable Development
• +۴ مورد دیگر

Sonia Hirt serves as Dean and Hughes Professor in Landscape Architecture and Planning at the University of Georgia's College of Environment and Design. With a distinguished career in academic leadership, she previously served as Dean of the School of Architecture, Planning and Preservation at the University of Maryland and Associate Dean for Academic Affairs at Virginia Tech's College of Architecture and Urban Studies. Dr. Hirt earned her architectural training in Sofia, Bulgaria, followed by master's and doctoral degrees in urban and environmental planning from the University of Michigan. Her research spans urban planning, land use regulation, sustainable development, and post-socialist urban transformations, with significant contributions including the 'Planner's Pentangle' framework for 21st century planning. Dr. Hirt's scholarly impact is evidenced by over 90 publications totaling more than 4,000 citations. Her recent work examines shrinking cities, planning markets and pluralism, and reconceptualizing Eastern European urban spaces. She is author of influential books including 'Zoned in the USA,' which has been recognized as one of the top urban planning books of the decade. Scientific Awards and Recognition Guggenheim Fellowship (2023-2024) John Friedmann Best Book Award (2016) Honorable Mention for Book Prize in Political and Social Studies, Davis Center for Russian and Eurasian Studies at Harvard University Honorable Mention for 2015 Best Book Award, Urban Affairs Association One of Ten Best Books in Urban Planning, Design and Development of 2015 (Planetizen) Top Urban Planning Book of the Decade (2010-2020, Planetizen) Top Forty Land Use Law Books of All Time (Book Authority) Dr. Hirt has secured research funding from prestigious organizations including the American Council of Learned Societies, Fulbright Program, Lincoln Institute for Land Policy, and National Endowment for the Humanities. She has served as editor-in-chief of the Journal of Planning History for eight years and is currently working on her sixth book, 'America's Hurry: Making Sense of Time and Space in My Adopted Country,' under contract with MIT Press.

Georgios Portokalidisمشاهده پروفایل

استاد پژوهشی

• Systems Security
• Binary Analysis
• Software Hardening
• +۱ مورد دیگر

Georgios Portokalidis is an Associate Research Professor at IMDEA Software Institute and Visiting Research Professor at Stevens Institute of Technology. He leads research in software systems security with focus on binary analysis, software hardening, and operating system security. His research develops practical defenses against software vulnerabilities through techniques like binary debloating, system call filtering, and hardware-assisted security. Current projects explore Rust language security, processor-assisted protection mechanisms, and vulnerability mitigation through code reduction. Publication trends show evolution from foundational binary analysis to applied security hardening, with recent emphasis on Rust security, hardware-assisted defenses, and real-world system protection. Work demonstrates consistent focus on practical, deployable security solutions. He has supervised numerous PhD students and postdocs, currently mentoring researchers at IMDEA. His group investigates binary analysis, software debloating, and system hardening techniques. Major grants include DARPA YFA (2021-2023) and ONR funding (2017-2022) supporting adaptive binary debloating research. Leads the systems security research group at IMDEA Software Institute, collaborating with international partners. Maintains active research partnerships and regularly contributes to top security conferences as program committee member.

Joshua Sunshineمشاهده پروفایل

استادیار

• Software Engineering
• Programming Languages
• Human-Computer Interaction (HCI)
• +۵ مورد دیگر

Joshua Sunshine is an Assistant Professor in the S3D Software and Societal Systems Department at Carnegie Mellon University's School of Computer Science. His research focuses on the intersection of programming languages, software engineering, and human-computer interaction (HCI), emphasizing usability-driven language design and tools for developers. He leads the REU Site in Software Engineering (REUSE), a National Science Foundation-funded program fostering undergraduate research and equity in computing. Key research areas include: (1) Formal methods for software testing and verification (e.g., TerzoN, Gradual C0), (2) Domain-specific languages for mathematical visualization (Penrose), (3) Secure blockchain programming (Obsidian), and (4) Automated test generation tools (Nanofuzz). His work bridges theory and practice through user-centered methodologies, evident in projects like PLATEAU workshops and Glacier's transitive immutability. Awards include the NSF CAREER Award (2024) and sustained leadership in REU programs. His grants emphasize reproducible scientific programming, framework debugging, and interdisciplinary tool development. Notable contributions include frameworks like Rose for web-based autodiff and Edgeworth for scalable visual activity authoring. Labs/Teams: Core contributor to the S3D group, collaborating with HCI and PL communities. Active in organizing PLATEAU workshops (2018–2023), fostering evaluation and usability research in programming languages.

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

Caleb Stanfordمشاهده پروفایل

استادیار

• Programming Languages
• Formal Methods
• Distributed Systems
• +۴ مورد دیگر

Caleb Stanford is an Assistant Professor in the Department of Computer Science at the University of California, Davis. He specializes in programming languages and formal methods with applications to distributed systems, data processing, and computer security. His research focuses on developing practical tools and theoretical foundations for secure and reliable systems. Research interests span programming languages theory, formal verification techniques for distributed systems, Rust ecosystem security, stream processing verification, and automata theory extensions. Specific projects include securing Rust crates through automated auditing tools, extending derivative-based abstractions for regular expressions, and developing verification frameworks for dataflow programming. His publications demonstrate consistent focus on formal methods applications, with recent emphasis on Rust program safety (2025), stream processing verification (2020-2024), and incremental graph algorithms (2023). Article keywords frequently include formal verification, programming languages, distributed systems, and automata theory. Dr. Stanford actively recruits students for research positions: Undergraduates should demonstrate excellence in relevant coursework Prospective PhD students must apply through UC Davis admissions Current openings focus on Rust security, formal methods, and distributed systems verification He leads the Guided Incremental Digraphs (GID) research project and collaborates with UCSD on Rust security initiatives. Community contributions include serving as Artifact Evaluation Co-Chair for POPL 2024 and committee member for PLDI and OOPSLA conferences.

Ying Wangمشاهده پروفایل

دانشیار

• Dependency management
• Software ecosystem
• Software refactoring
• +۷ مورد دیگر

Dr. Ying Wang is an Associate Professor and doctoral supervisor at the Software College of Northeastern University (China), where she has been working since February 2019. She serves as Assistant Dean at the School of Software and is an active member of several CCF committees including the System Software Committee, Software Engineering Committee, Open Source Development Committee, and Women's Committee. Dr. Wang received her Ph.D. in Software Engineering from Northeastern University in January 2019 under the supervision of Professor Zhiliang Zhu. She completed postdoctoral research at the Hong Kong University of Science and Technology (HKUST) from 2022 to 2023 under Professor Shing-Chi Cheung and was a visiting scholar at Microsoft Research Asia through the StarTrack Program in 2021. Her research focuses on intelligent software development technologies, large AI models, open source software big data analysis, and software supply chain security. She has made significant contributions to the governance of open source software ecosystems across multiple programming languages including Java, C#, Python, Go, JavaScript, Android, and Rust. Her work has led to the development of practical tools like 'League of Legends' for monitoring dependency defects in open source ecosystems, with several technologies commercialized by Huawei and Microsoft. Dr. Wang's recent publications demonstrate her expertise in cross-language dependencies, software component analysis, software refactoring, and the application of large language models in software engineering. Her work spans both theoretical foundations and practical applications, with a strong emphasis on real-world impact through industry collaboration. Among her notable achievements are the ACM SIGSOFT Distinguished Paper Awards at ICSE 2021 and ESEC/FSE 2023, making her the first researcher from Northeastern University to receive this honor. She has also received multiple awards for her doctoral dissertation and prototype implementations. Dr. Wang actively contributes to the academic community as an Associate Editor for IEEE Transactions on Software Engineering and serves on program committees for top conferences including ASE, ICSE, and ESEC/FSE. She mentors a large group of doctoral and master's students, with many alumni securing positions at major technology companies including Huawei, Microsoft, Alibaba, and Tencent.

• Plant Genetics
• Genomics
• Crop Improvement
• +۱۲ مورد دیگر

Professor Donal O'Sullivan is a leading researcher in plant genetics and genomics at the University of Reading, affiliated with the School of Agriculture, Policy and Development and the Department of Crop Genetics. His research focuses on the genetic improvement of key crops such as wheat, barley, and faba bean, with an emphasis on disease resistance, seed quality, and genomic tools for breeding. His research interests span plant genetics , genomics , molecular breeding , legume improvement , and crop disease resistance . He has made significant contributions to understanding the genetic basis of traits such as rust resistance in wheat, vicine-convicine biosynthesis in faba bean, and flowering time in cereals. His work integrates high-throughput genomics, GWAS, QTL mapping, and functional characterization to advance sustainable crop improvement. His recent publications reveal a strong trend in legume genomics , particularly in faba bean, including the landmark sequencing of its large diploid genome and efforts to eliminate anti-nutritional factors. He also contributes to cereal genomics, with work on wheat and barley disease resistance and genetic mapping. His interdisciplinary approach bridges plant science, biochemistry, and agricultural sustainability. While no formal scientific awards are listed in the provided text, his work has been published in top-tier journals such as Nature , Nature Plants , and Theoretical and Applied Genetics , reflecting high scientific impact. Professor O'Sullivan actively collaborates with international breeding programs and research teams across Europe and beyond. He has contributed to major collaborative projects on genetic mapping, DUS testing, and climate-resilient crops. Although no direct mention of student supervision or grant leadership is present, his role as a senior co-author on numerous studies suggests mentorship and research leadership. His work supports the development of improved crop varieties through modern genomic tools, with implications for food security, nutrition, and sustainable agriculture.

Chris Hawblitzelمشاهده پروفایل

پژوهشگر

• Programming Languages
• Operating Systems
• Verification
• +۴ مورد دیگر

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research , affiliated with the Systems Research Group – Redmond . His work bridges programming languages, operating systems, verification, and security, emphasizing the integration of safe programming language features into systems development. Research interests include: Programming Languages and Type Systems Formal Verification of Systems Software Language Design for Security and Safety Systems and Networking Recent publications highlight advancements in Rust verification, linear types for systems, proof automation in F*, assembly language verification, and tactic languages. Key trends involve leveraging type systems for safety, SMT-based automation, and cross-layer formal methods. He has contributed to academic communities as a committee member for conferences such as PLDI 2025 , OOPSLA 2023 , and CPP 2019 , alongside session chair roles.

Stephanie Balzerمشاهده پروفایل

استادیار

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

Dr. Stephanie Balzer is an Assistant Professor in the Principles of Programming Group at Carnegie Mellon University's School of Computer Science. Her research focuses on enabling failure-free software through formal methods like type systems and verification logics. She emphasizes compositional proofs for scalability and practical validation via software artifacts. Programming Languages Type Theory Program Verification Concurrency & Security Her recent work explores timed protocols, disentanglement logic, and multiparty session types. Articles demonstrate semantic logical relations for termination (2025), deadlock freedom in Rust embeddings (2022), and information flow control (2024). Key collaborative papers address cyclic process networks and separation logic frameworks. Scientific recognition includes: NSF CAREER Award (2025) ACM SIGPLAN Distinguished Paper (2022) ECOOP Distinguished Paper (2022) She supervises PhD candidates Yue Yao, Yinsen Zhang, and Zak Kent (with Guy Blelloch), plus Master's student Sonya Simkin. Former advisee Jules Jacobs received Cum Laude distinction at Radboud University. Active in academic service, Balzer chairs PLMW@POPL workshops and co-organizes Oregon Programming Language Summer School. She serves on program committees for LICS, POPL, and ICFP.