Mihai Varga mihai-varga

mihai-varga / weld.h for C

Created May 29, 2018 10:33

	/**
	*
	* Weld Runtime C Interface.
	* Link the Weld library with -lweld.
	*
	*/
	#ifndef _WELD_H_
	#define _WELD_H_

	#include <stdint.h>

mihai-varga / process mal-weld run times.py

Last active April 13, 2018 11:12

	import sys

	run_times_file = sys.argv[1]
	compile_times_file = sys.argv[2]

	with open(run_times_file, 'r') as f:
	run_times = f.readlines()
	with open(compile_times_file, 'r') as f:
	compile_times = f.readlines()

mihai-varga / mal-weld benchmark.sh

Last active May 29, 2018 10:40

	#! /bin/bash

	PORT=59966
	NUM_RUNS=3
	QUERY_DIR=/export/scratch1/home/mihai/queries
	DBFARM_DIR=/scratch24r1/mihai/dbfarm
	COMPILE_TIMES_OUT=compile_times
	RUN_TIMES_OUT=run_times
	MCLIENT_OUT=mclient_out

mihai-varga / create MonetDBs with TPCH data

Created April 5, 2018 12:19

	#! /bin/bash

	declare -a sfs=("SF-1" "SF-3" "SF-10" "SF-30" "SF-100" "SF-300" "SF-1000")

	for sf in "${sfs[@]}"
	do
	monetdb destroy -f "tpch-$sf"
	monetdb create "tpch-$sf"
	monetdb release "tpch-$sf"
	mclient -lsql -d "tpch-$sf" < /scratch24r1/manegold/ssbm-tpch/TPCH/scripts/1.create_tables.$sf.sql

mihai-varga / mal-weld plots

Last active April 13, 2018 11:11

	<!DOCTYPE HTML>
	<html>
	<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<title>MAL-Weld</title>
	<style type="text/css">
	.plot {
	min-width: 310px;
	height: 400px;

mihai-varga / LibreOffice deps

Last active August 29, 2015 14:22

	sudo apt-get install libcups2-dev libfontconfig1-dev gperf libxslt1-dev \
	libxml2-utils python3-dev libxt-dev libxext-dev libxrender-dev libxrandr-dev \
	bison flex libgconf2-dev libdbus-glib-1-dev libgtk-3-dev libgtk2.0-dev \
	libgstreamer1.0-dev libgstreamer-plugins-base1.0-dev ant junit4 libglew-dev

mihai-varga / minecraft.py

Last active August 29, 2015 14:13

Google Drive folder synchronizer

mihai-varga / Has weird right-to-left characters.txt

Created May 24, 2014 17:52 — forked from endolith/Has weird right-to-left characters.txt

mihai-varga / nvidia-driver

Last active August 29, 2015 13:59

	sudo apt-add-repository ppa:xorg-edgers/ppa
	sudo apt-get update
	sudo apt-get install nvidia-331
	sudo apt-get install nvidia-settings
	sudo nvidia-xconfig
	sudo apt-get install bumblebee
	sudo bumblebeed

mihai-varga / pc_log_sorter.py

Last active August 29, 2015 13:58

	#! /usr/bin/python
	# citeste de la stdin log-ul
	# afiseaza la stdout log-ul sortat
	import fileinput
	import re

	output = []
	header = ""
	content = ""
	for line in fileinput.input():