kaist-cp.github.io's People
Forkers
kyagrd kyeongmincho jiseunghong hydium tomtomjhj anemoneflower hyunsukimsokcho tamribka isyangban coolofficials navy3690 lomotos10 jeong0982 gabriel4256 travis1829 minseongg jirheee cmpark0126 poppindouble junsooo kingdoctor123 doehyunbaek woojinnn jh05013 lee-janggun 3-24 jisung-park meraroo buttercrab m-spitfire jaewookim08 powergee cwlo2f kimjungwow zzz845zz jgiriboy 33577 anhaechan existar33kaist-cp.github.io's Issues
update research projects
-
Low-cost verification of OS: toy OS's have been formally verified so far, but only with a great labor cost.
It doesn't scale to more realistic OS's. I'd like to formally verify them with lower cost.
The key idea is leveraging Rust type system as a static analyzer. We can the safety guarantee (for those written in the safe part of Rust) "for free." -
Compiler for FPGA: FPGA's parallelism is unparalleled with that of CPUs.
FPGAs are particularly beneficial when control flow is not so regular. (For programs with regular control flow, GPUs would be better.)
But the main challenge in using FPGA is programmability. It's just too difficult.
There's prior work on compiling C to FPGA, but it suffers from many problems.
We aim to design a new high-level language that better suits with FPGA, and build a compiler for the language to FPGA. -
persistent synchronization patterns verification
Unnecessary line breaks at bibliography on profile page
The bibliography information on students' pages look weird, due to line breaks.
I guess it comes from _include/person_contact.md
.
It seems line break happens if a person does not have an orcid information.
Publication
Write lab tips, rules, identity, ...
https://cp.kaist.ac.kr/c* link doesn't work
Trying to access base URL + path starts with a character 'c' like 'https://cp.kaist.ac.kr/c*', the page doesn't show proper contents but it shows sentence '404 Not Found' only. It is a very strange situation. Because if there is no path starts with 'c' on the server, the server should show 404 page we customed.
This situation only appears in cp.kaist.ac.kr, not in local.
Calendar
Home
Ensure that sf.snu.ac.kr/jeehoon.kang is fully migrated
- Awards and Honors
- Invited Talks
- Services
- Research
- Photo?
- Thesis
favicon.ico
Lectures are in two pages
Lectures가 index.md
, _people/jeehoon.kang.md
두 페이지에 있습니다.
[Bug] Nav bar goes over screen.
Browser: Firefox version 95.0
Bug:
- Font size in navigation bar is too big that it goes off the screen, leading to a horizontal scroll bar at the bottom.
- Font size is too big on Firefox.
- It works on Chromium Version 96.0.4664.45, there is no bug on chrome iOS app too.
Reason:
I think the bug comes from jekyll itself.
On Chrome, jekyll use -webkit-text-size-adjust: 100%;
for the whole html
. But this property is not capable with Firefox, in Firefox we need to use font-size-adjust: 0.45
.
I tried for a while to fix the bug but I can't get it work....I am opening this issue just let other's know.
research/teaching statement
Create personal websites
This is a meta issue on personal websites.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.