praca naukowa

2

kiedyś tam pewnie będę musiał dyploma popełnić i patrząc do przodu zastanawiam się nad tematem

risercz arijas które wydają mi się ciekawe

  • formalna weryfikacja kodu (języki wysokiego poziomu do modelowania) mam wątpliwości czy jest tu w ogóle o czym pisać na np. 70 stron

  • kompilatory z naciskiem na frontend + coś z llvm, ale obawiam się, że miną 3 miesiące, a ja nadal będę skakał pomiędzy artykułami i próbował posklejać "coś"

lub krud, żeby szybko zaklepać i nie ryzykować potrzeby przedłużania terminu oddania pracy

ma ktoś jakiegoś expa w tych tematach?

na pytanie @Silv

infa / software eng.

0

Magisterka, jak rozumiem?


UPDATE: Jaka nazwa kierunku i specjalności?

3

Wymyśl coś fajnego ale coś co uznasz, że dasz rade zrobić bez zbędnej zabawy i analizy. To tylko inżynierka. Rozwlekasz tekst o każdej drobnej rzeczy w kodzie i nagle wychodzi zbyt dużo tekstu :)

2

Docsy LLVM mają nawet tutoriale do prostych customowych frontendów / backendów ;)

Jakbyś chciał stworzyć własny WeiXiao++ na inż to śmiało możesz się brać za frontend, dopóki nie masz własnej architektury to backendu nie musisz ruszać, z tego co kojarzę LLVM targetuje WASM :]

https://llvm.org/docs/tutoria[...]stLanguageFrontend/index.html

1

formalna weryfikacja kodu (języki wysokiego poziomu do modelowania) mam wątpliwości czy jest tu w ogóle o czym pisać na np. 70 stron

Jasne że jest, tylko że to jest dość trudna działka i może overkill na inż, ale zależy co konkretnie chciałbyś zrobić za analizę. Ewentualnie jak chcesz podkręcić level wyżej, to możesz zrobić analizę nie kodu źródłowego, tylko binarek, albo przynajmniej bytecodu LLVM, żeby zrobić coś bardziej uniwersalnego. To zresztą automatycznie łączy się z twoją drugą opcją, bo wtedy taki analizator może być pluginem do LLVM i masz np. step kompilacji który cośtam automatycznie analizuje.

6
WeiXiao napisał(a):

risercz arijas które wydają mi się ciekawe

Najpierw dostępni promotorzy i tematy które podejmą się z tobą prowadzić.

Promotor ma zawsze rację ale rzadko kiedy ma czas i jest dostępny itp itd

Dużo doktorów nie lubi zajmować się dyplomantami (lic inż) i traktuje to jako zło konieczne

TLDR;
Najpierw promotor. Z promotorem wybierzecie temat.

1

@BraVolt:

Najpierw dostępni promotorzy i tematy które podejmą się z tobą prowadzić.

Teraz do mnie doszło, że z formalnej to chyba nawet nie miałbym go kogo pójść, bo nie kojarzę, aby ktokolwiek się tym zajmował :O

1
WeiXiao napisał(a):

Teraz do mnie doszło, że z formalnej to chyba nawet nie miałbym go kogo pójść, bo nie kojarzę, aby ktokolwiek się tym zajmował :O

Od razu sprawdź, czy fajni promotorzy od ciekawych dziedzin nie są już powybierani i nie mają wyczerpanego limitu dyplomantów na 2 lata do przodu.

1

Inżynierka to luz, wg mnie nie ma co się wysilać. Pewnie starczy jakaś apka do zrobienia (ja robiłem prostą wersję strony typu futbolowo). Coś trudniejszego zostaw sobie na magisterkę.

0

Inżynierka to luz, wg mnie nie ma co się wysilać. Pewnie starczy jakaś apka do zrobienia (ja robiłem prostą wersję strony typu futbolowo). Coś trudniejszego zostaw sobie na magisterkę.

Tylko czemu? Tak to przynajmniej ma się jakiś ciekawy projekt do wpisania w CV / do pochwalenia się, a można też myśleć o ciągnieciu tej tematyki dalej na mgr jeśli wyjdzie coś fajnego. Potem ludzie kończą studia, CV puste, a jak spytasz o inż to mówią że generic cruda z tutoriala robili. A potem jest płacz ze nie ma pracy dla juniorów!!!11 ;]

1 użytkowników online, w tym zalogowanych: 0, gości: 1, botów: 0