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

• Distributed Computing
• Concurrent Computing
• Transactional Memory
• +۴ مورد دیگر

Rachid Guerraoui is a Moroccan-Swiss computer scientist and Full Professor in the School of Computer and Communication Sciences at EPFL. He is renowned for his significant contributions to distributed and concurrent computing, holding the prestigious Chair in Distributed Computing at the Collège de France (2018-19). As an ACM Fellow (2012) and recipient of the Dahl-Nygaard Senior Prize (2024), his work has shaped both theoretical foundations and practical implementations in distributed systems. Guerraoui earned simultaneous Master's degrees in Computer Engineering from École supérieure d'informatique électronique automatique (ESIEA) and in Computer Science from Pierre and Marie Curie University in 1989. He completed his PhD at Université d'Orsay in 1992 under the supervision of Christian Fluhr, with a dissertation titled "Programmation Répartie par Objets: Études et Propositions." Following postdoctoral research at EPFL, he joined the computer science faculty in 1999 after working at HP Labs and MIT. Guerraoui's research spans distributed computing, concurrent systems, transactional memory, and asynchronous algorithms. His work on establishing theoretical foundations of Transactional Memory, including the concept of opacity, has been highly influential. He has also made significant contributions to scalable information dissemination methods, asynchronous distributed computations, and the mathematical abstraction of indulgence. His research bridges theoretical rigor with practical implementations, as evidenced by systems like SwissTM and STMBench7. His publication record shows a clear evolution from theoretical foundations to practical implementations and broader applications. Early work focused on fundamental problems like consensus and renaming, while more recent publications address machine learning applications and public understanding of AI. The consistent thread throughout his career is a focus on making distributed systems more reliable, efficient, and accessible. Guerraoui has received numerous prestigious awards including: ACM Fellow (2012) ERC Advanced Grant Award (2013) Google Focused Award (2014) Middleware Best Paper Award (2014) Middleware 10-Years Best Paper Award Chair in Distributed Computing, Collège de France (2018-19) Dahl-Nygaard Senior Prize (2024) As an academic advisor, Guerraoui has mentored students including El Mahdi El Mahmdi, with whom he co-created the Wandida project - a collection of educational videos on computer science. His research has been supported by significant grants from the European Research Council and Google. Beyond research, Guerraoui actively participates in public discourse, particularly regarding computer science education and technology policy. Guerraoui leads the Distributed Computing Laboratory (DCL) at EPFL, which focuses on advancing the state of the art in distributed systems. The lab's work spans theoretical foundations, practical implementations, and educational outreach, reflecting Guerraoui's holistic approach to computer science research and education.

Evaggelos Kaselourisمشاهده پروفایل

استادیار

• Applied Physics
• Applied Mathematics
• Vibro-acoustics
• +۵ مورد دیگر

Evaggelos Kaselouris is an Assistant Professor at the Hellenic Mediterranean University's Department of Music Technology and Acoustics and a Researcher at the Institute of Plasma Physics and Lasers (IPPL). His affiliations include prior roles as a PostDoc at IPPL (2016–2023) and a Scientific Collaborator at the Technological Educational Institute of Crete (2011–2016). He holds a PhD from the Technical University of Crete and a degree in Applied Physics and Mathematics from the National Technical University of Athens. Dr. Kaselouris's research integrates multiphysics simulations across applied physics, plasma dynamics, and vibro-acoustics. Key areas include: Laser-generated acoustic waves and their applications in material characterization and musical instrument analysis. Finite element modeling of thermo-mechanical processes in laser machining and plasma instabilities. Development of crystalline undulators for narrowband gamma-ray radiation and optically shaped gas targets for ion acceleration. His computational work employs FEM/BEM to simulate phenomena ranging from nanostructured surface modifications to violin bridge dynamics. Recent studies emphasize laser-based interferometry for instrument diagnostics and ultrafast photoacoustic transduction in thin films. He actively collaborates on European projects (e.g., TECHNO-CLS) and contributes to the ESFRI infrastructure HiPER. No awards or supervised students are documented, but his lab leverages IPPL's high-power laser systems and advanced simulation tools for experimental validation.

Jifeng Xuanمشاهده پروفایل

استاد

• Software Analysis and Testing
• Software Testing
• Software Debugging
• +۲ مورد دیگر

Jifeng Xuan is a Professor and Deputy Dean at the School of Computer Science, Wuhan University, China. He leads the CSTAR (Centre of Software Testing, Analysis and Reliability) research group and has made significant contributions to software engineering, particularly in software testing, debugging, and analysis. Dr. Xuan completed his bachelor's degree and PhD at OSCAR Lab, School of Software, Dalian University of Technology, China, under the supervision of Prof. He Jiang. He also conducted postdoctoral research at SPIRALS Team in INRIA Lille - Nord Europe, France, working with Dr. Martin Monperrus and Prof. Lionel Seinturier. His research focuses on Software Analysis and Testing , with specific interests in software testing and debugging, software data analysis, and search-based software engineering. Dr. Xuan's work bridges theoretical foundations with practical applications, addressing real-world challenges in software quality assurance. His research has led to numerous publications in top-tier software engineering venues and has influenced both academic research and industrial practices. Dr. Xuan's recent publications demonstrate a strong focus on innovative approaches to software testing, debugging, and analysis. His work spans multiple subfields including log analysis, fuzz testing, bug triage, and automated program repair. He has made significant contributions to understanding software crashes, improving bug report quality, and developing techniques for more effective software testing and analysis. 2025 ACM SIGSOFT Distinguished Paper Award 2025 IEEE TCSE Distinguished Paper Award 2024 CCF NASAC Youth Software Innovation Award 2018 ACM SIGSOFT Distinguished Paper Award 2015 Young Talent Development Program of CAST and CCF 2015 Luojia Young Scholar Program of Wuhan University 2014 Outstanding Doctoral Dissertation of CCF Dr. Xuan actively mentors PhD and master's students through his CSTAR research group at Wuhan University. He has served on numerous program committees for major software engineering conferences including ICSE, FSE, ASE, and ISSTA. His editorial service includes roles on the editorial boards of Empirical Software Engineering (EMSE), PLOS One, and Frontiers of Computer Science. Dr. Xuan has also organized several workshops and conferences, demonstrating his leadership in the software engineering community. As founder of CSTAR (Centre of Software Testing, Analysis and Reliability), Dr. Xuan leads a research team focused on advancing the state of the art in software quality assurance. The group's work spans theoretical foundations and practical applications, with strong connections to industry challenges. CSTAR has established collaborations with both domestic and international research institutions, contributing to a vibrant research ecosystem in software engineering.

Yufei Dingمشاهده پروفایل

دانشیار

• Compiler Technology
• Machine Learning
• Quantum Computing
• +۳ مورد دیگر

Yufei Ding is an Associate Professor in the Computer Science & Engineering Department at the University of California, San Diego (UCSD), where she leads the PICASSO Lab. Her research spans domain-specific language design, architecture and compiler optimization, and hardware acceleration, with current focus on developing high-performance, energy-efficient, and high-fidelity programming frameworks for quantum computing and machine learning. Dr. Ding received her Ph.D. in Computer Science from North Carolina State University and a B.S. in Physics from the University of Science and Technology of China. Her interdisciplinary background bridges physics and computer science, enabling her to tackle challenges in emerging computing paradigms. Her research interests focus on Compiler Technology, Machine Learning, and Quantum Computing , with specific expertise in domain-specific language design, architecture and compiler optimization, and hardware acceleration. Dr. Ding's work addresses critical challenges in programming frameworks for emerging technologies, particularly in making quantum computing more accessible and efficient through innovative compiler techniques and runtime systems. Dr. Ding's scientific contributions have been recognized with prestigious awards including the NSF CAREER Award (2020) and the IEEE Computer Society TCHPC Early Career Researchers Award for Excellence in High-Performance Computing (2019) . As an active researcher and educator, Dr. Ding serves on program committees for major conferences including PLDI, PPoPP, and SPLASH. She currently has Ph.D. openings in quantum computing and machine learning systems research, as well as a postdoc position in quantum computing for physics Ph.D. candidates with relevant background. Dr. Ding founded and leads the PICASSO Lab at UCSD, which focuses on developing innovative solutions for programming emerging computing technologies. The lab's work bridges theoretical foundations with practical implementations to address real-world challenges in high-performance computing.

Shachar Itzhakyمشاهده پروفایل

دانشیار

• Program Synthesis
• Automated Reasoning
• Functional Programming
• +۵ مورد دیگر

Shachar Itzhaky is an Associate Professor in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa. His research spans multiple areas of programming languages, formal methods, and software engineering, with a focus on making program development and verification more accessible and efficient. He has served on program committees for numerous prestigious conferences including PLDI, POPL, SPLASH, and ICFP. Dr. Itzhaky's research interests center around program synthesis, automated reasoning, and formal verification. His work in program synthesis explores techniques for automatically generating programs from high-level specifications, with applications in end-user programming and software development. In automated reasoning, he has made significant contributions to e-graph based reasoning, invariant inference, and property-directed verification. His research in formal methods focuses on practical applications for program verification, particularly for data structures and security properties. An analysis of his recent publications reveals a strong focus on leveraging advanced formal techniques for practical program understanding and generation. His work consistently bridges theoretical foundations with practical applications, particularly in program synthesis, verification, and end-user programming tools. The trend shows increasing integration of machine learning techniques with traditional formal methods, as well as expanding applications to security and privacy domains. ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award Dr. Itzhaky has been actively involved in the programming languages research community, serving on numerous program committees and contributing to the advancement of formal methods and program synthesis. His work has practical implications for software development tools, security analysis, and end-user programming environments. While specific grant information isn't detailed in the provided text, his extensive publication record in top-tier venues suggests successful funding for his research endeavors. His work on projects like Object Spreadsheets and Lifty demonstrates a commitment to creating practical tools that address real-world programming challenges. Dr. Itzhaky's research is conducted within the vibrant programming languages and formal methods group at Technion's Computer Science department. His work intersects with multiple research threads including program synthesis, verification, and security, suggesting collaboration across these areas within the department. His tools like EPR-based Verification, PDR∀, and VeriCon represent significant technical contributions that likely form the basis of ongoing research projects with students and collaborators.

Qirun Zhangمشاهده پروفایل

دانشیار

• Program Analysis
• Programming Languages
• Software Engineering
• +۴ مورد دیگر

Qirun Zhang is the Catherine M. and James E. Allchin Early Career Associate Professor in the School of Computer Science at Georgia Institute of Technology. His research focuses on program analysis, compiler optimization, and formal language theory, with numerous publications in top-tier programming language and software engineering conferences including PLDI, POPL, OOPSLA, and FSE. He teaches courses on compilers, program analysis, and software testing. Dr. Zhang's research interests center on improving software reliability and security through advanced program analysis techniques. He approaches problems from perspectives including computational complexity, analytic combinatorics, graph theory, and formal languages. His work often bridges theoretical foundations with practical applications in compiler design and program verification. His recent publications show a strong focus on context-free language reachability, Dyck-language based analyses, and SMT solving techniques. His research demonstrates consistent innovation in making program analysis more precise while maintaining scalability, with applications ranging from debug information validation to software debloating and type inference. PLDI Distinguished Paper Award (2020) SIGSOFT Distinguished Paper Award (2023) OOPSLA Distinguished Artifact Award (2022) Dr. Zhang actively mentors PhD and MS students, with current advisees including Camille Bossut and Benjamin Mikek. His service to the academic community includes Artifact Evaluation Co-Chair roles for PLDI 2025 and 2026, and program committee membership for numerous top conferences including PLDI, POPL, and OOPSLA. He leads research projects including SLOT, Context-Free Language Reachability with Transitive Redundancy Elimination, and Debug Information Validation.

Adam Chlipalaمشاهده پروفایل

استاد

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

Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.

Byron Cookمشاهده پروفایل

استاد

• Verification
• Automated Reasoning
• Program analysis
• +۸ مورد دیگر

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. He leads Amazon's Automated Reasoning Group (ARG) and has driven the broad adoption of formal methods across AWS services. His career spans academia and industry, with significant contributions to program verification and automated reasoning. His research focuses on verification, automated reasoning, program analysis, computer/network security, programming languages, theorem proving, logic, and applications to hardware design, operating systems, and biological systems. Cook's work bridges theoretical foundations with practical applications in cloud security and system reliability, particularly through his leadership in applying formal methods to AWS infrastructure. Cook's recent publications demonstrate a strong focus on applying automated reasoning to cloud security challenges, particularly around access control policies, network reachability, and cryptographic implementations. His work shows a clear trajectory from theoretical program verification toward practical security applications in large-scale cloud environments, with emphasis on making formal methods accessible to developers through "one-click" verification tools. Scientific Awards: FREng (Fellow of the Royal Academy of Engineering) As an academic advisor, Cook has mentored numerous PhD students and interns who have gone on to significant careers in programming languages and verification research. His work at Amazon has secured substantial research funding for developing and deploying automated reasoning tools across AWS services. Cook founded and leads Amazon's Automated Reasoning Group (ARG), which develops tools like IAM Access Analyzer, Tiros, Zelkova, and T2. Previously, he managed the Programming Principles and Tools (PPT) group at Microsoft Research Cambridge, where he co-founded projects including TERMINATOR, SLAyer, and the Bio Model Analyzer (BMA).

Chen Dingمشاهده پروفایل

استاد

• Computer memory
• Locality theory
• Cache optimization
• +۵ مورد دیگر

Chen Ding is a Professor and Chair of the Computer Science Department at the University of Rochester, where he leads research in computer memory systems and locality theory. His work focuses on optimizing memory hierarchy performance across computing platforms from handheld devices to supercomputers. Ph.D. from Rice University (2000) M.S. from MTU (1996) B.S. from Beijing University (1994) Professor Ding's research centers on the scientific foundation of computer memory, particularly locality theory and its applications for minimizing data movement - the primary bottleneck in modern computing systems. His work has established that data movement, data reuse, and working set are mathematically related manifestations of the same underlying phenomenon. His research spans parallel program locality, data movement complexity, relational theory of locality, reference affinity, and whole-program locality analysis. His recent publications demonstrate a continued focus on memory system optimization, with particular emphasis on lease caching, symmetric locality modeling, and continuous-time analysis of Zipfian workloads. His work bridges theoretical foundations with practical implementations across CPU/GPU cache modeling, cache sharing optimization, and key-value memory caching systems. NSF CAREER award (2003) DOE Young Investigator Award (2002) Professor Ding has supervised numerous graduate students, including Lavaee who contributed to the "Hardness of data packing" research presented at POPL'16. His work has received consistent funding from NSF and DOE, supporting his research in memory systems and parallel programming. He has served in leadership roles including General Chair for ISMM 2020 and committee positions for major conferences like PLDI and PPoPP. His research group maintains the roclocality.org resource and develops tools like SLO (suggestions of locality optimizations) for analyzing and improving program locality. The group collaborates with industry partners including Microsoft Research, where Ding served as a Visiting Researcher, and academic institutions worldwide.

Derek Dreyerمشاهده پروفایل

استاد

• Programming Language Theory
• Type Systems
• Formal Verification
• +۵ مورد دیگر

Derek Dreyer serves as Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and holds the position of Honorarprofessor (Honorary Professor) of Computer Science at Saarland University's Saarland Informatics Campus. With a PhD from Carnegie Mellon University, he has established himself as a leading researcher at the intersection of programming language theory and practical software verification. Dreyer's research focuses on developing formal methods that bridge theoretical foundations with real-world systems programming challenges. His work has significantly advanced the theoretical understanding of programming languages, particularly in the areas of type systems, separation logic, and concurrency. He is renowned for his contributions to the formal verification of the Rust programming language, including the influential RustBelt project. His recent publications demonstrate a consistent focus on making formal verification practical for industrial-strength codebases. The research trajectory shows increasing sophistication in handling complex systems properties while maintaining theoretical rigor. His work spans from foundational logical frameworks to applied verification techniques for specific language features and system components. As an academic leader, Dreyer has served as Program Chair for major conferences including POPL and ICFP, and has mentored numerous students and postdocs. He is known for his insightful commentary on academic life, including a widely-read blog post addressing impostor syndrome in research careers. Dreyer leads a vibrant research group at MPI-SWS that collaborates extensively with both academic and industrial partners. His team's work has influenced both theoretical developments in programming languages and practical verification tools used in industry.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Software-Defined Networking
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University's Bowers Computing and Information Science college. He also serves as a Visiting Professor at EPFL's Data Center Systems Laboratory during the 2023-24 academic year and as a Visiting Researcher at Jane Street. His research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems, with particular emphasis on software-defined networking. Dr. Foster's educational background includes: PhD in Computer Science from the University of Pennsylvania MPhil in History and Philosophy of Science from Cambridge University BA in Computer Science from Williams College Nate Foster's research spans multiple areas within programming languages and systems. His current work focuses on the design and implementation of languages for programming software-defined networks. He has also made significant contributions to bidirectional languages (also known as "lenses"), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His interdisciplinary approach combines theoretical foundations with practical systems building, seeking to bridge the gap between formal methods and real-world network programming. An analysis of Foster's recent publications reveals a strong focus on network programming languages, particularly NetKAT and P4. His work consistently applies formal methods to networking problems, with increasing emphasis on verification, equivalence checking, and symbolic execution techniques. The research trajectory shows progression from foundational language design to practical verification tools, demonstrating how theoretical programming language concepts can solve real-world networking challenges. Dr. Foster has received numerous prestigious awards for his contributions: Sloan Research Fellowship NSF CAREER Award ACM SIGPLAN Robin Milner Young Researcher Award (2023) Most Influential POPL Paper Award Tien '72 Teaching Award Google Research Award Yahoo! Academic Career Enhancement Award Cornell Engineering Research Excellence Award Morris and Dorothy Rubinoff Award ACM SIGCOMM Rising Star Award As an active member of the programming languages community, Foster has advised numerous graduate students and secured significant research funding through his NSF CAREER award and Google Research Award. He has served in leadership roles for major conferences including PLDI, POPL, and ICFP, demonstrating his commitment to mentoring the next generation of researchers through programs like PLMW@PLDI. His collaborative approach is evident in his extensive co-authorship network across academia and industry. Foster leads research in the area of programming languages for networking, with particular focus on the NetKAT framework for network verification. His work bridges the gap between formal methods and practical networking systems, creating tools that have influenced both academic research and industry practice in software-defined networking. His collaborations with institutions like EPFL and industry partners like Jane Street demonstrate the real-world impact of his research agenda.

Rajiv Guptaمشاهده پروفایل

استاد

• Parallel Computing
• Compilers
• Computer Architectures
• +۴ مورد دیگر

Rajiv Gupta is a Distinguished Professor and the Amrik Singh Poonian Professor of Computer Science at the University of California, Riverside (UCR), where he serves as Associate Dean for Academic Personnel in the Bourns College of Engineering (BCOE). He is a member of the RIPLE research group and has co-authored 327 papers with an h-index of 69 and over 16,600 citations. His extensive service includes chairing major conferences such as FCRC 2015, PPoPP 2020, ASPLOS 2011, and PLDI 2008. Professor Gupta's research focuses on Programming, Compiler, Runtime & Architectural Support for Parallel & Distributed Heterogeneous Systems and Software Tools for Monitoring and Managing Runtime Behavior . His work spans graph analytics with scalability and performance, understanding and managing the dynamic behavior of parallel programs, software speculation for irregular parallelism, dynamic program analysis for secure and reliable computing, and compiler optimizations with architectural support. His research has significant applications in high-performance computing, GPU programming, and distributed systems. Analysis of his recent publications reveals a strong focus on graph processing systems, with particular emphasis on evolving and streaming graph analytics. His work addresses critical challenges in memory management for large-scale graph processing, hardware acceleration for graph algorithms, and optimization techniques for concurrent and distributed graph computations. The research demonstrates a progression from foundational compiler and architecture work to increasingly sophisticated systems for handling modern data-intensive computing challenges. Fellow of the ACM (2009) Fellow of the IEEE (2008) Fellow of the AAAS (2011) NSF Presidential Young Investigator Award (1991) UCR Doctoral Dissertation Advisor/Mentor Award (2012) Multiple best paper awards across major conferences Two students won ACM SIGPLAN Outstanding Doctoral Dissertation Award Five advisees received NSF CAREER Award Professor Gupta has supervised 42 PhD students to completion and currently advises several doctoral candidates. His advising success is reflected in his students' achievements, including multiple award-winning dissertations and significant career accomplishments in academia and industry. His research has been supported by numerous grants from NSF, DARPA, and industry partners, enabling sustained investigation into parallel computing systems. The RIPLE research group under his leadership has produced influential work that bridges theoretical foundations with practical system implementations. As the leader of the RIPLE research group at UC Riverside, Professor Gupta oversees a vibrant team focused on innovative approaches to parallel and distributed computing. The group maintains strong collaborations with industry partners and other academic institutions, contributing to the development of next-generation computing systems. Current projects include GRASP (Graph Analytics with Scalability & Performance) and research on understanding and managing the dynamic behavior of parallel programs, reflecting the group's continued focus on cutting-edge computing challenges.

Ranjit Jhalaمشاهده پروفایل

استاد

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

Ranjit Jhala is a Professor of Computer Science Engineering in the Jacobs School of Engineering at the University of California, San Diego. His research focuses on building reliable computer systems through programming languages and software engineering techniques. His primary research interests include Programming Languages, Formal Verification, and Software Engineering. He draws from and contributes to areas such as Type Systems, Model Checking, Program Analysis, and Automated Deduction, bridging theoretical foundations with practical implementations for real-world software development. Prof. Jhala's publication record shows a consistent trajectory in refinement type systems, evolving from Liquid Haskell to Flux for Rust, while also exploring neurosymbolic approaches to error repair and type error diagnosis. His work demonstrates a commitment to making formal verification techniques accessible to practitioners. He leads the Programming Systems Group at UCSD, mentoring graduate students and collaborating with researchers across the programming languages community. His service includes General Chair roles for POPL 2018 and PLDI 2022, reflecting his leadership position in the field. Prof. Jhala is also known for his mentoring activities, including talks on academic presentation skills and participation in ICFP's mentoring programs for students and early-career researchers.

Konstantinos Kallasمشاهده پروفایل

استادیار

• Computer Systems
• Compilers
• Programming Languages
• +۱ مورد دیگر

Konstantinos Kallas serves as Assistant Professor of Computer Science at the University of California, Los Angeles (UCLA), commencing his appointment in January 2025. Previously affiliated with the University of Pennsylvania as evidenced by his 2020 PLDI contribution, his research bridges theoretical formal methods with practical systems engineering across multiple high-impact conferences including PLDI, POPL, and SPLASH. His research program centers on enhancing computational efficiency and correctness in systems software, with three flagship projects defining his trajectory: PaSh for automatic shell script parallelization, Durable Functions for stateful serverless computing semantics, and DiffStream for differential testing of stream processing. These efforts consistently target the intersection of programming language theory and real-world systems constraints, particularly in parallelism, concurrency, and cloud-native environments where correctness guarantees are challenging to implement. Analysis of his publication history since 2020 reveals a methodological pattern: developing formal semantic models to enable practical optimizations in distributed systems. His work increasingly focuses on serverless architectures and data-intensive pipelines, with recent contributions emphasizing automated verification techniques. The evolution from shell script optimization (2020-2021) to serverless state management (2021-2022) demonstrates strategic expansion into cloud computing's hardest problems. Dr. Kallas actively contributes to the academic community through program committee service for PLDI (2022, 2025), POPL (2021, 2022, 2023), and SPLASH (2020-2023), including leadership roles as Publicity Co-Chair for PLDI 2025 and 2026. His June 2024 announcement confirms recruitment for Fall 2025 students at UCLA, targeting researchers interested in systems, compilers, and programming languages who can advance his work on correctness-preserving parallelization and serverless computing.

Fredrik Kjolstadمشاهده پروفایل

استادیار

• Compilers
• Programming Models
• Performance Engineering
• +۳ مورد دیگر

Fredrik Kjolstad is an Assistant Professor in the Department of Computer Science at Stanford University, specializing in compilers and programming models for sparse computing and performance engineering. His research focuses on separating algorithms from data representations to enable portable applications across diverse hardware platforms. His research interests span compilers, programming models, performance engineering, and computer architecture, with particular emphasis on sparse tensor algebra, compiler design for heterogeneous systems, and high-performance computing. He has pioneered frameworks like TACO, Simit, and Distal that enable efficient sparse computations across CPUs, GPUs, and specialized accelerators. Dr. Kjolstad's publications demonstrate expertise in compiler optimization techniques for sparse data structures, tensor algebra, and distributed systems. His work consistently addresses the challenge of bridging high-level programming abstractions with efficient hardware execution across diverse architectures. MIT EECS First Place George M. Sprowls PhD Thesis Award NSF CAREER Award Rosing Award Adobe Fellowship Google Research Scholarship Best Paper Awards at EuroMPI 2013, OOPSLA 2017, and OOPSLA 2021 ISCA Distinguished Artifact Award PLDI and OOPSLA Distinguished Paper Awards He advises multiple PhD students including James Dong, Olivia Hsu, and Rohan Yadav, while leading research on compiler technologies that have received significant grant support. His group develops practical tools like the TACO compiler and Legate Sparse that are used in both academic and industrial settings. Current projects focus on programmable accelerators for sparse tensor algebra, distributed sparse computing, and compiler support for emerging hardware architectures.