Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| seminars [2025-03-18] – [Automated Reasoning with Continuous Data] Martin Ziegler | seminars [2025-08-13] (current) – [XpLUTo: Modelling Bulk Parallel Processing in RAM via Lookup Tables] Martin Ziegler | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Seminar on Theoretical Computer Science, Logic, and Real Computation ====== | ====== Seminar on Theoretical Computer Science, Logic, and Real Computation ====== | ||
| + | * [[Seminars# | ||
| * [[Seminars# | * [[Seminars# | ||
| * [[Seminars# | * [[Seminars# | ||
| Line 13: | Line 14: | ||
| ===== 2025 ===== | ===== 2025 ===== | ||
| + | |||
| + | ====XpLUTo: Modelling Bulk Parallel Processing in RAM via Lookup Tables==== | ||
| + | * August 12, 4pm KST | ||
| + | * E3-1 #4420 and online | ||
| + | * Nguyên Trần Bảo (HCMUT and KAIST) | ||
| + | |||
| + | Processing-in-memory (PIM) has been investigated for its ability to | ||
| + | perform bulk data operations while eliminating data movement, which is a major | ||
| + | performance bottleneck. However, existing designs, regardless of how minimal, | ||
| + | still require modifications to the physical memory circuitry. Moreover, each | ||
| + | proposed operation introduces different primitives, inherently hindering the development | ||
| + | of a general design capable of supporting all operations. In this work, | ||
| + | we propose XPLUTO, a new parallel architecture model that leverages the capabilities | ||
| + | of PIM. Our key observation is that, in the worst case, any complex | ||
| + | operation can be implemented via a lookup table (precomputation and query), | ||
| + | which can be viewed as a SIMD (single-instruction multiple-data) operation. | ||
| + | Based on this insight, we focus on designing algorithms built upon SIMD operations, | ||
| + | with asymptotic costs estimated according to lookup table performance. | ||
| + | So far, XPLUTO has demonstrated the ability to emulate various problems, | ||
| + | including sorting, addition, and prefix operations. | ||
| + | |||
| ====Integer factorization of matrices and 4-dimensional genera of knots==== | ====Integer factorization of matrices and 4-dimensional genera of knots==== | ||
| - | * March 19, 9:05am KST | + | * March 19, 9:15am KST |
| + | * N1 #601 | ||
| * Alexander Stoimenov (Dongguk U) | * Alexander Stoimenov (Dongguk U) | ||
| Line 29: | Line 52: | ||
| ====Automated Reasoning with Continuous Data==== | ====Automated Reasoning with Continuous Data==== | ||
| - | * March 19, 9:45am KST | + | * March 19, 10:00am KST |
| + | * N1 #601 | ||
| * Margarita Korovina (IIS SB RAS) | * Margarita Korovina (IIS SB RAS) | ||
| Line 50: | Line 74: | ||
| ====From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic==== | ====From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic==== | ||
| - | * March 19, 10:30am KST | + | * March 19, 10:45am KST |
| + | * N1 #601 | ||
| * Norbert Müller (Uni Trier) | * Norbert Müller (Uni Trier) | ||
| Due to their uncountability, | Due to their uncountability, | ||
| - | | + | completely |
| - | different compared to countable sets like the integer or even the | + | different compared to countable sets like the integer or even the |
| - | rational | + | rational |
| - | numbers. In the talk we present basic ideas for implementations in | + | numbers. In the talk we present basic ideas for implementations in |
| - | an existing | + | an existing |
| - | library written in C++ and in a derived current approach in | + | library written in C++ and in a derived current approach in |
| - | Python. | + | Python. |
| - | + | ||
| ===== 2024 ===== | ===== 2024 ===== | ||