Sleeping on the night of Shavuot? Some sources...

Shir Hashirim Rabba 1:56:

ב) ר' פנחס בשם רבי הושעיא אמר: 
עד שהמלך במסבו 
עד שהמלך מלכי המלכים הקדוש ב"ה במסבו ברקיע. 
כבר הקדים, שנאמר: (שמות י"ט) ויהי ביום השלישי בהיות הבקר.

למלך שגזר ליום פלוני, אני נכנס למדינה, וישנו להם בני המדינה כל הלילה. 
וכשבא המלך ומצאם ישנים, העמיד עליהם בקלאנין בוקינס ושופר, והיה השר של אותה מדינה, מעוררן ומוציאן לאפנתי של מלך, והיה המלך מהלך לפניהם, עד שהגיע לפלטין שלו.

כך הקדוש ברוך הוא הקדים, דכתיב: (שם) ויהי ביום השלישי בהיות הבקר. 
וכתיב: (שם) כי ביום השלישי ירד ה' לעיני כל העם. 
ישנו להם ישראל כל אותו הלילה, לפי ששינה של עצרת עריבה והלילה קצרה. 

אמר ר' יודן: 
אפילו פורטענא לא עקץ בם. בא הקדוש ברוך הוא ומצאן ישנים, התחיל מעמיד עליהם בקלאנין. הדא הוא דכתיב: "ויהי ביום השלישי בהיות הבקר ויהי קולות וברקים". 
והיה משה מעורר לישראל ומוציאן, לאפנתי של מלך מלכי המלכים הקדוש ברוך הוא. 
הדא הוא דכתיב: (שם) ויוצא משה את העם לקראת האלהים. והיה הקדוש ברוך הוא מהלך לפניהם, עד שהגיע להר סיני. דכתיב: (שם) והר סיני עשן כלו. 

אמר רבי יצחק: 
זה הוא, שמקנתרן על ידי ישעיהו. שנאמר: (ישעיה נ') מדוע באתי ואין איש, קראתי ואין עונה, הקצר קצרה ידי מפדות?! 

Pirkei DeRabbi Eliezer, perek 41, and see the commentary.

And Ibn Ezra, on Yitro, giving precisely the opposite peshat in the pasuk, such that there would be no need for tikkun. Perhaps we can argue for reenactment?

[יט, יא]

והיו נכנים -

אולי לא יישן אדם בהם בלילה. שישמעו קול ה' בבקר. כדרך כוהן גדול ביום הכפורים.

This is not a comprehensive list of sources. I should bring the Zohar, Magen Avraham, etc.

At A Simple Jew, Rabbi Micha Golshevsky on the Arizal's assurance to the one who stays up learning all night Shavuos.